compute
Determine which registers are live-in for each block. We distinguish between always-live-in, where all future paths from the start of a block lead to a use of the register, and sometimes-live-in, where at least one future path from the start of the block leads to a use of the register.