From dcbf81c94423262b09c3f81e5e1fd3c9b999ff2d Mon Sep 17 00:00:00 2001 From: Richard Sandiford Date: Sat, 8 Jul 2017 10:38:40 +0000 Subject: [PATCH] Force a dependence distance of 1 in gnat.dg/vect17.adb 2017-07-08 Richard Sandiford 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 --- gcc/testsuite/ChangeLog | 9 +++++++++ gcc/testsuite/gnat.dg/vect15.adb | 5 +++-- gcc/testsuite/gnat.dg/vect15.ads | 2 +- gcc/testsuite/gnat.dg/vect16.adb | 8 +++++--- gcc/testsuite/gnat.dg/vect16.ads | 2 +- gcc/testsuite/gnat.dg/vect17.adb | 5 +++-- gcc/testsuite/gnat.dg/vect17.ads | 2 +- 7 files changed, 23 insertions(+), 10 deletions(-) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 73db4a70eca..d9cf47871fc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,12 @@ +2017-07-08 Richard Sandiford + + * 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 PR c++/79300 diff --git a/gcc/testsuite/gnat.dg/vect15.adb b/gcc/testsuite/gnat.dg/vect15.adb index ad66836a401..b19a2240409 100644 --- 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 91375127deb..5c813246087 100644 --- 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 99fe32081de..9ef5e32449c 100644 --- 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 0192dccb13e..882bf2a740c 100644 --- 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 f574ea22157..76b6fc7de5a 100644 --- 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 5c26157924e..3a6ab660f89 100644 --- 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); -- 2.30.2