------- Comment #10 from rguenth at gcc dot gnu dot org 2008-01-12 13:05 ------- The first testcase in the original report is fixed by comparison canonicalization, even if a temporary is used (forwprop re-instantiates the canonicalized comparison).
The testcase in comment #1 is fixed by FRE simplifying binary expressions: Value numbering D.1178_3 stmt = D.1178_3 = k_2 < i_1(D); RHS k_2 < i_1(D) simplified to 1 has constants 0 So none of the testcases is useful to show missing optimizations in VRP anymore. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25145
