https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109154
--- Comment #8 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- (In reply to avieira from comment #5) > Im slightly confused here, on entry to BB 5 we know the opposite of _1 < 0.0 > no? if we branch to BB 5 we know !(_1 < 0.0) so we can't fold _1 <= 1.0, we > just know that the range of _1 is >= 0.0 . Or am I misreading, I've not > tried compiling myself just going off the code both of you posted here. Sorry, I should've been more clear. _1 is < 0.0 on entry to BB5, but only on the 4->5->?? path which is what's being analyzed.
