------- Comment #12 from rguenther at suse dot de 2008-02-03 13:29 ------- Subject: Re: Incorrect branching with -Ox on hppa
On Sun, 3 Feb 2008, steven at gcc dot gnu dot org wrote: > ------- Comment #10 from steven at gcc dot gnu dot org 2008-02-03 13:19 > ------- > The following code from simplify_if_then_else() triggers: > > /* Look for cases where we have (abs x) or (neg (abs X)). */ In fact, this transformation is only valid for signed x because iff x == 0x8000, (abs x) is undefined while (neg x) is not. So depending on how abs is implemented in the md file the transformation may be value changing; thus I suggest to rip it out. Richard. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34627
