[Bug middle-end/94035] Wrong optimization: conditional equivalence vs. values with several representations

2020-03-06 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94035 --- Comment #6 from rguenther at suse dot de --- On Thu, 5 Mar 2020, ch3root at openwall dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94035 > > --- Comment #5 from Alexander Cherepanov --- > I see. But the problem with

[Bug middle-end/94035] Wrong optimization: conditional equivalence vs. values with several representations

2020-03-05 Thread ch3root at openwall dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94035 --- Comment #5 from Alexander Cherepanov --- I see. But the problem with decimal floating-point formats remains... Based on bug 93806, comment 41, here is an example with equal but different values:

[Bug middle-end/94035] Wrong optimization: conditional equivalence vs. values with several representations

2020-03-05 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94035 --- Comment #4 from joseph at codesourcery dot com --- On Thu, 5 Mar 2020, ch3root at openwall dot com wrote: > What about IBM extended double (double-double)? All cases where (double)(hi + > lo) != hi are trap representations too? I think so.

[Bug middle-end/94035] Wrong optimization: conditional equivalence vs. values with several representations

2020-03-05 Thread ch3root at openwall dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94035 --- Comment #3 from Alexander Cherepanov --- (In reply to jos...@codesourcery.com from comment #2) > I think pseudo-denormals should be considered trap representations. Cool! What about IBM extended double (double-double)? All cases where

[Bug middle-end/94035] Wrong optimization: conditional equivalence vs. values with several representations

2020-03-04 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94035 --- Comment #2 from joseph at codesourcery dot com --- I think pseudo-denormals should be considered trap representations.

[Bug middle-end/94035] Wrong optimization: conditional equivalence vs. values with several representations

2020-03-04 Thread ch3root at openwall dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94035 --- Comment #1 from Alexander Cherepanov --- clang bug -- https://bugs.llvm.org/show_bug.cgi?id=45101