https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61747
--- Comment #2 from vincenzo Innocente <vincenzo.innocente at cern dot ch> --- > I think you need -fno-signed-zeros for the transformation to be valid. possible. but then is the O2 code that is wrong? in any case adding -fno-signed-zeros makes no difference w/r/t O2 alone