This is a variant of the SparseConstantPropagation, which only tracks the stack pointer used in a function. We initiate the stack pointer with a constant first, and check how it propagates within the function. StackPointerPropagation is generally much faster than SparseConstantPropagation due to its simplicity.