Determine block prolog code for s - it's either assignments to register, or storing register back in memory.
block to generate prolog code for
symbol in the block that may need prolog code
append store code to this
append load code to this
See Implementation
Determine block prolog code for s - it's either assignments to register, or storing register back in memory.