1. A method of inserting spill code to handle a set of spilled variables, the spilled variables being identified by a register allocation procedure, into a plurality of instructions generated by a compiler, the spill code adapted for a CISC machine having registers used when executing instructions, comprising: (a) processing each instruction in the plurality of instructions by: (i) when a variable within the instruction is dead after the instruction: (1) generating a spill code load instruction for each spilled variable included in a set of spilled variables to be loaded, the set of spilled variables to be loaded being a subset of the set of spilled variables; (2) removing all variables from the set of spilled variables to be loaded; and (3) removing all entries from a mapping from spilled variables to temporary variables; (ii) determining if the instruction includes a variable in the set of spilled variables, and if so, for each such variable: (1) adding an entry to the mapping from spilled variables to temporary variables; and (2) generating a store instruction to store the variable to the stack location if a store to a stack location for the variable is necessary, and (iii) generating a substitute instruction by applying the mapping from spilled variables to temporary variables; and (b) inserting the generated instructions.