NOP conversions in X+CST+CST
commit049318f9b779b90ac114ae7a2f5eb6c3a3da347b
authorglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Jun 2017 11:16:27 +0000 (21 11:16 +0000)
committerglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Jun 2017 11:16:27 +0000 (21 11:16 +0000)
treed7d3b962f704495dcb135053bb1c5c4b75a8b6c2
parentc0de8f194f7f4c966783078f688ba76ceed79ff3
NOP conversions in X+CST+CST

2017-06-21  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* match.pd (nop_convert): New predicate.
((A +- CST1) +- CST2): Allow some NOP conversions.

gcc/testsuite/
* gcc.dg/tree-ssa/addadd.c: Un-XFAIL.
* gcc.dg/tree-ssa/addadd-2.c: New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@249447 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/addadd-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/addadd.c