[Bug tree-optimization/69682] New: expression (a && (b==c)) with side effects rewritten to ((b==c) & a)

rity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: mtliang at synopsys dot com Target Milestone: --- Created attachment 37586 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37586&action=

[Bug tree-optimization/69682] expression (a && (b==c)) with side effects rewritten to ((b==c) & a)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69682 --- Comment #1 from Mike Liang --- Created attachment 37587 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37587&action=edit Makefile

[Bug tree-optimization/69682] expression (a && (b==c)) with side effects rewritten to ((b==c) & a)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69682 --- Comment #2 from Mike Liang --- Created attachment 37588 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37588&action=edit run tests

[Bug tree-optimization/69682] expression (a && (b==c)) with side effects rewritten to ((b==c) & a)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69682 --- Comment #4 from Mike Liang --- I see. With -fsignalling-nans the 004t.gimple at -O1 is generated as I expected and all is well. Thanks for you help!

[Bug tree-optimization/69308] New: ifcombine joins together floating point expression with side effects

Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: mtliang at synopsys dot com Target Milestone: --- Created attachment 37366 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37366&action=edit test cas

[Bug tree-optimization/69308] ifcombine joins together floating point expression with side effects

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69308 --- Comment #1 from Mike Liang --- Created attachment 37367 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37367&action=edit Makefile

[Bug tree-optimization/69308] ifcombine joins together floating point expression with side effects

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69308 --- Comment #2 from Mike Liang --- Created attachment 37369 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37369&action=edit run tests

[Bug tree-optimization/69308] ifcombine joins together floating point expression with side effects

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69308 --- Comment #4 from Mike Liang --- The test case passes both a signaling NaN and a quiet NaN through the expression and FPE is only triggered by the signaling NaN.

[Bug tree-optimization/69308] ifcombine joins together floating point expression with side effects

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69308 --- Comment #6 from Mike Liang --- Oh, I see. You're saying this can be a problem for both QNaN and SNaN because an ordered comparison instruction could be generated. Does this mean floating point expressions should never be combined?

[Bug tree-optimization/69308] ifcombine joins together floating point expression with side effects

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69308 --- Comment #8 from Mike Liang --- No, -ftrapping-math does not change the outcome. I'm building x86_64 on RHEL 6.6.