Is liveIns in machineBasicBlock only valid for first block in machine function?
I believe they should be valid for all blocks, or the verifier will
complain at you. I'm sure I've had to fix a bug where I forgot to
update them properly.