projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 655b5fc) | patch
re PR tree-optimization/80558 (VRP not handling x & -2 well)
authorJakub Jelinek <jakub@redhat.com>
Fri, 5 May 2017 15:43:22 +0000 (17:43 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Fri, 5 May 2017 15:43:22 +0000 (17:43 +0200)
commitac699a047f74de2bb8f1d538b07c89075cd25c84
treed406a59213928fe0dded5f9492923ddd28567856tree
parent655b5fc85b56cf9ac46af952041abf56ca383faacommit | diff
re PR tree-optimization/80558 (VRP not handling x & -2 well)

PR tree-optimization/80558
* tree-vrp.c (extract_range_from_binary_expr_1): Optimize
[x, y] op z into [x op, y op z] for op & or | if conditions
are met.

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

From-SVN: r247641
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp115.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history