1. A method of predicting, with respect to a stack in a processor, the stack having a stack pointer, pointer values of variables stored in the stack, the method comprising: in response to detection of a first instruction storing a variable to the stack with reference to the stack pointer, storing in a data structure a data entry comprising a unique ID for the stack pointer, a parameter representing a value of the variable before it was stored to the stack and an offset to the stack pointer at which the variable is stored; subsequent to detection of the first instruction and in response to detection of a second instruction loading a variable from the stack with reference to the stack pointer, searching by at least one processor the data structure for an entry corresponding to the detected second instruction; and in response to finding a corresponding entry in the data structure, updating an effective value of an architectural register referenced in the detected second instruction using information stored in the corresponding entry.