> > If you remove the test and replace it with 1, it'll never PRE anything. > IE the whole test :) You surely can do better than the is_gimple_min_invariant test. Originally, i had it using SCEV + simple_iv, but this was a bit too expensive. You might be able to get away with removing that part of the test, however.