We now add missing keeps exactly before register allocation where we
actually need them (so that unused outputs which still need registers
assigned are not missed by the register allocation).