On Wed, 25 Nov 2020, Ilya Leoshkevich via Gcc wrote:
I have a C floating point comparison (a <= b && a >= b), which
test_for_singularity turns into (a <= b && a == b) and vectorizer turns
into ((a <= b) & (a == b)). So far so good.
eliminate_redundant_comparison, however, turns it into just (a == b).
I don't think this is correct, because (a <= b) traps and (a == b)
doesn't.
Hello,
let me just mention the old
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53805
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53806
There has been some debate about the exact meaning of -ftrapping-math, but
don't let that stop you.
--
Marc Glisse
