Hi Jakub, > Verify LiveIntervals against the CFG, ensuring that live-in values are live-out > of all predecessors. does this work properly for landing pads, which have the exception register and selector register marked live-in? Ciao, Duncan.