Determine block epilog code - 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 epilog code
append store code to this
append load code to this
See Implementation
Determine block epilog code - it's either assignments to register, or storing register back in memory.