match.pd: Implement more binary patterns exercised by fold_stmt.
authorRichard Biener <rguenther@suse.de>
Fri, 14 Nov 2014 09:30:08 +0000 (09:30 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 14 Nov 2014 09:30:08 +0000 (09:30 +0000)
commita7f24614b3c58d03f40d55fe195056dd8423f8f5
tree9177e5ba8b8545c43beebde22b0469869aeb6402
parent5b98e88f0ca10ffc89eed4c8fb69ad1c74ef5b44
match.pd: Implement more binary patterns exercised by fold_stmt.

2014-11-14  Richard Biener  <rguenther@suse.de>

* match.pd: Implement more binary patterns exercised by
fold_stmt.
* fold-const.c (sing_bit_p): Export.
(exact_inverse): Likewise.
(fold_binary_loc): Remove patterns here.
(tree_unary_nonnegative_warnv_p): Use CASE_CONVERT.
* fold-const.h (sing_bit_p): Declare.
(exact_inverse): Likewise.

* gcc.c-torture/execute/shiftopt-1.c: XFAIL invalid parts.

From-SVN: r217545
gcc/ChangeLog
gcc/fold-const.c
gcc/fold-const.h
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/shiftopt-1.c