Description

SSAGenBlock emits end-of-block Progs. SSAGenValue should be called for all values in the block before SSAGenBlock.