Instead of testing whether an instruction dominates the loop preheader,