PR tree-optimization/80558
commit561c04883034820c23ad3e5a4bf952b2588ce42f
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 5 May 2017 15:43:22 +0000 (5 15:43 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 5 May 2017 15:43:22 +0000 (5 15:43 +0000)
treed406a59213928fe0dded5f9492923ddd28567856
parenta869c476adc2e59b04c91b26367c1a3d550c8926
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247641 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/vrp115.c [new file with mode: 0644]
gcc/tree-vrp.c