------- Comment #21 from dberlin at gcc dot gnu dot org 2008-10-15 17:55 ------- Subject: Re: [4.4 Regression] calculix gets wrong answer for -O1 -ffast-math
> > It already does (I fixed that recently), but we only phi-translate during > insertion and we > don't insert for that case, as obviously there is no partial redundancy. True, but if it discovered all the new phi arguments would be constant it used to create a new phi node with the new constant values and let eliminate replace the old calculation with the new phi node. Maybe it only did this if all the constants ended up the same value, but it would be trivial to do it if all the arguments are constant, regardless of whether they are the same value. :) --Dan -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37449
