Hi Vlad, Thanks for working on this!
> - EXECUTE_IF_SET_IN_BITMAP (reg_live_out, 0, j, bi) > - if (j >= FIRST_PSEUDO_REGISTER) > - mark_pseudo_live (j); > + EXECUTE_IF_SET_IN_BITMAP (reg_live_out, FIRST_PSEUDO_REGISTER, j, bi) > + mark_pseudo_live (j); FWIW, the above is optimized by GCC itself, in VRP. (I was surprised and impressed by that :-) Ciao! Steven