]> git.ipfire.org Git - thirdparty/gcc.git/commit
* gcc-interface/ada-tree.h (DECL_RESTRICTED_ALIASING_P): New flag.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 2 Oct 2015 09:18:34 +0000 (09:18 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 2 Oct 2015 09:18:34 +0000 (09:18 +0000)
commit9bd28516c7b3d2cdc274be3ce6f774170f224f68
tree0c86523efe143f65b5f0ec98fe758a0d5d63d52a
parent38be10cfe76f8f753052efb855a3cbde7b08c471
* gcc-interface/ada-tree.h (DECL_RESTRICTED_ALIASING_P): New flag.
* gcc-interface/decl.c (gnat_to_gnu_param): For parameters passed by
reference but whose type isn't by-ref and whose mechanism hasn't been
forced to by-ref, set the DECL_RESTRICTED_ALIASING_P flag directly on
them instead of changing their type.
* gcc-interface/trans.c (scan_rhs_r): New helper function.
(independent_iterations_p): New predicate.
(Loop_Statement_to_gnu): For a loop with an iteration scheme, set an
ivdep pragma if the iterations are independent.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228377 138bc75d-0d04-0410-961f-82ee72b054a4
13 files changed:
gcc/ada/ChangeLog
gcc/ada/gcc-interface/ada-tree.h
gcc/ada/gcc-interface/decl.c
gcc/ada/gcc-interface/trans.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/vect15.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect15.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect16.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect16.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect17.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect17.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect18.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect18.ads [new file with mode: 0644]