* tree-if-conv.c (tree-ssa-loop.h): Include header file.
commit189d070677016c1ea25553a3ab4d926c6c20a434
authoramker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 9 May 2016 11:44:03 +0000 (9 11:44 +0000)
committeramker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 9 May 2016 11:44:03 +0000 (9 11:44 +0000)
tree0bc305c854d198927d3503e42a9cc89202fc8b3f
parentf388e6c088a34248c4332c8ce1bd41a1b8c2f368
* tree-if-conv.c (tree-ssa-loop.h): Include header file.
(tree-ssa-loop-niter.h): Ditto.
(idx_within_array_bound, ref_within_array_bound): New functions.
(ifcvt_memrefs_wont_trap): Check if array ref is within bound.
Factor out check on writable base object to ...
(base_object_writable): ... here.

gcc/testsuite/
* gcc.dg/tree-ssa/ifc-9.c: New test.
* gcc.dg/tree-ssa/ifc-10.c: New test.
* gcc.dg/tree-ssa/ifc-11.c: New test.
* gcc.dg/tree-ssa/ifc-12.c: New test.
* gcc.dg/vect/pr61194.c: Remove XFAIL.
* gcc.dg/vect/vect-23.c: Remove XFAIL.
* gcc.dg/vect/vect-mask-store-move-1.c: Revise test check.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@236026 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ifc-10.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/ifc-11.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/ifc-12.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/ifc-9.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/vect/pr61194.c
gcc/testsuite/gcc.dg/vect/vect-23.c
gcc/testsuite/gcc.dg/vect/vect-mask-store-move-1.c
gcc/tree-if-conv.c