This is mostly NFC except that for end of BB not previous slot is used.
Idx is used to find a def of sibling live interval in that slot.
The def on end of MBB and previous slot of end MBB should be the same,
so it should be NFC.
Details
Details
Diff Detail
Diff Detail