* match.pd (bit_and (plus/minus (convert @0) (convert @1) mask): New
commit8cd9143e12d8fd7c4bc512443ded2475e404d10f
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 May 2015 13:18:07 +0000 (7 13:18 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 May 2015 13:18:07 +0000 (7 13:18 +0000)
tree5cc975e1ee19aa16d83a69b02b66bd72b50748e7
parentfabf26080cb4cc3fecd30d409ec9c63f0ec42eff
* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@222877 138bc75d-0d04-0410-961f-82ee72b054a4
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]