Hi Sheng, > 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. Cheers. Tim