Force a dependence distance of 1 in gnat.dg/vect17.adb

2017-07-08  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/testsuite/
	* gnat.dg/vect15.ads (Sarray): Increase range to 1 .. 5.
	* gnat.dg/vect16.ads (Sarray): Likewise.
	* gnat.dg/vect17.ads (Sarray): Likewise.
	* gnat.dg/vect15.adb (Add): Create a dependence distance of 1.
	* gnat.dg/vect16.adb (Add): Likewise.
	* gnat.dg/vect17.adb (Add): Likewise.

From-SVN: r250074

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 73db4a70eca6348ca51c04057384d1cf85e7f49a..d9cf47871fc5438157b7d6be6c5282a134700579 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,12 @@
+2017-07-08  Richard Sandiford  <richard.sandiford@linaro.org>
+
+       * gnat.dg/vect15.ads (Sarray): Increase range to 1 .. 5.
+       * gnat.dg/vect16.ads (Sarray): Likewise.
+       * gnat.dg/vect17.ads (Sarray): Likewise.
+       * gnat.dg/vect15.adb (Add): Create a dependence distance of 1.
+       * gnat.dg/vect16.adb (Add): Likewise.
+       * gnat.dg/vect17.adb (Add): Likewise.
+
 2017-07-07  David Malcolm  <dmalcolm@redhat.com>
 
        PR c++/79300

diff --git a/gcc/testsuite/gnat.dg/vect15.adb b/gcc/testsuite/gnat.dg/vect15.adb
index ad66836a40182a29309e31aec9532200ff16804e..b19a224040960d111a41c8e7234498a356c2d32f 100644 (file)
--- a/gcc/testsuite/gnat.dg/vect15.adb
+++ b/gcc/testsuite/gnat.dg/vect15.adb
@@ -5,8 +5,9 @@ package body Vect15 is
 
    procedure Add (X, Y : Sarray; R : out Sarray) is
    begin
-      for I in Sarray'Range loop
-         R(I) := X(I) + Y(I);
+      R(1) := X(5) + Y(5);
+      for I in 1 .. 4 loop
+         R(I + 1) := X(I) + Y(I);
       end loop;
    end;
 

diff --git a/gcc/testsuite/gnat.dg/vect15.ads b/gcc/testsuite/gnat.dg/vect15.ads
index 91375127deb088314fb73ed0b6f44834d08b47ac..5c81324608777e779b6f144e99410e9ace66e9ea 100644 (file)
--- a/gcc/testsuite/gnat.dg/vect15.ads
+++ b/gcc/testsuite/gnat.dg/vect15.ads
@@ -1,6 +1,6 @@
 package Vect15 is
 
-   type Sarray is array (1 .. 4) of Long_Float;
+   type Sarray is array (1 .. 5) of Long_Float;
    for Sarray'Alignment use 16;
 
    procedure Add (X, Y : Sarray; R : out Sarray);

diff --git a/gcc/testsuite/gnat.dg/vect16.adb b/gcc/testsuite/gnat.dg/vect16.adb
index 99fe32081de089d087a0067f9d2bf40161cd2a71..9ef5e32449c69fb7a9e22dc5fd41b7720b015749 100644 (file)
--- a/gcc/testsuite/gnat.dg/vect16.adb
+++ b/gcc/testsuite/gnat.dg/vect16.adb
@@ -5,9 +5,11 @@ package body Vect16 is
 
    procedure Add_Sub (X, Y : Sarray; R,S : out Sarray) is
    begin
-      for I in Sarray'Range loop
-         R(I) := X(I) + Y(I);
-         S(I) := X(I) - Y(I);
+      R(1) := X(5) + Y(5);
+      S(1) := X(5) - Y(5);
+      for I in 1 .. 4 loop
+         R(I + 1) := X(I) + Y(I);
+         S(I + 1) := X(I) - Y(I);
       end loop;
    end;
 

diff --git a/gcc/testsuite/gnat.dg/vect16.ads b/gcc/testsuite/gnat.dg/vect16.ads
index 0192dccb13ee28eef691df26918cdb49ca345a7e..882bf2a740c4fdd9dd6164bd2b6f0f1f836c40ea 100644 (file)
--- a/gcc/testsuite/gnat.dg/vect16.ads
+++ b/gcc/testsuite/gnat.dg/vect16.ads
@@ -1,6 +1,6 @@
 package Vect16 is
 
-   type Sarray is array (1 .. 4) of Long_Float;
+   type Sarray is array (1 .. 5) of Long_Float;
    for Sarray'Alignment use 16;
 
    procedure Add_Sub (X, Y : Sarray; R,S : out Sarray);

diff --git a/gcc/testsuite/gnat.dg/vect17.adb b/gcc/testsuite/gnat.dg/vect17.adb
index f574ea22157d70ea34ee2806c4a917170a6e9e0f..76b6fc7de5a2d9ce8737eb7322958e95b05d6b85 100644 (file)
--- a/gcc/testsuite/gnat.dg/vect17.adb
+++ b/gcc/testsuite/gnat.dg/vect17.adb
@@ -5,8 +5,9 @@ package body Vect17 is
 
    procedure Add (X, Y : aliased Sarray; R : aliased out Sarray) is
    begin
-      for I in Sarray'Range loop
-         R(I) := X(I) + Y(I);
+      R(1) := X(5) + Y(5);
+      for I in 1 .. 4 loop
+         R(I + 1) := X(I) + Y(I);
       end loop;
    end;
 

diff --git a/gcc/testsuite/gnat.dg/vect17.ads b/gcc/testsuite/gnat.dg/vect17.ads
index 5c26157924e3093a9f0df6902d540d62d47a839c..3a6ab660f89dac5d4ad6e60439a893445397e2a7 100644 (file)
--- a/gcc/testsuite/gnat.dg/vect17.ads
+++ b/gcc/testsuite/gnat.dg/vect17.ads
@@ -1,6 +1,6 @@
 package Vect17 is
 
-   type Sarray is array (1 .. 4) of Long_Float;
+   type Sarray is array (1 .. 5) of Long_Float;
    for Sarray'Alignment use 16;
 
    procedure Add (X, Y : aliased Sarray; R : aliased out Sarray);