https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66739
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at gcc dot gnu.org
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
This case is special in the sense that a - b on some targets already computes
a - b != 0 but we don't have any way to represent this on GIMPLE. This
also only works when a - b is computed "close" to the comparison.
