re PR middle-end/62263 (Good codegen for bitwise rotate requires code that is technic...
authorJakub Jelinek <jakub@redhat.com>
Sat, 14 Oct 2017 18:47:14 +0000 (20:47 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Sat, 14 Oct 2017 18:47:14 +0000 (20:47 +0200)
commitcc453086d255f5443d956874c0a95877913c759f
treeb18c1cc33cf45585ac6de0923741e82e5015179b
parent6af90df0e442b8317844bc5af96ecda4af4c2008
re PR middle-end/62263 (Good codegen for bitwise rotate requires code that is technically undefined behavior)

PR middle-end/62263
PR middle-end/82498
* tree-ssa-forwprop.c (simplify_rotate): Allow def_arg1[N]
to be any operand_equal_p operands.  For & (B - 1) require
B to be power of 2.  Recognize
(X << (Y & (B - 1))) | (X >> ((-Y) & (B - 1))) and similar patterns.

* c-c++-common/rotate-5.c (f2): New function.  Move old
function to ...
(f4): ... this.  Use 127 instead of 128.
(f3, f5, f6): New functions.
(main): Test all f[1-6] functions, with both 0 and 1 as
second arguments.
* c-c++-common/rotate-6.c: New test.
* c-c++-common/rotate-6a.c: New test.
* c-c++-common/rotate-7.c: New test.
* c-c++-common/rotate-7a.c: New test.
* c-c++-common/rotate-8.c: New test.

From-SVN: r253760
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/rotate-5.c
gcc/testsuite/c-c++-common/rotate-6.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/rotate-6a.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/rotate-7.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/rotate-7a.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/rotate-8.c [new file with mode: 0644]
gcc/tree-ssa-forwprop.c