match.pd (bit_and (plus/minus (convert @0) (convert @1) mask): New simplifier to...
authorJeff Law <law@redhat.com>
Thu, 7 May 2015 13:18:07 +0000 (07:18 -0600)
committerJeff Law <law@gcc.gnu.org>
Thu, 7 May 2015 13:18:07 +0000 (07:18 -0600)
commit48451e8f3c819d5f706596e32cf6d9b3cb600b5b
tree5cc975e1ee19aa16d83a69b02b66bd72b50748e7
parent963ba1b266651a71ad1eee55607ea9ee34c1de7c
match.pd (bit_and (plus/minus (convert @0) (convert @1) mask): New simplifier to narrow arithmetic.

* match.pd (bit_and (plus/minus (convert @0) (convert @1) mask): New
simplifier to narrow arithmetic.
* generic-match-head.c: (types_match, single_use): New functions.
* gimple-match-head.c: (types_match, single_use): New functions.

* gcc.dg/tree-ssa/shorten-1.c: New test.

From-SVN: r222877
gcc/ChangeLog
gcc/generic-match-head.c
gcc/gimple-match-head.c
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/shorten-1.c [new file with mode: 0644]