summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/vect15.adb
blob: b19a224040960d111a41c8e7234498a356c2d32f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
-- { dg-do compile { target i?86-*-* x86_64-*-* } }
-- { dg-options "-O3 -msse2 -fdump-tree-vect-details" }

package body Vect15 is

   procedure Add (X, Y : Sarray; R : out Sarray) is
   begin
      R(1) := X(5) + Y(5);
      for I in 1 .. 4 loop
         R(I + 1) := X(I) + Y(I);
      end loop;
   end;

end Vect15;

-- { dg-final { scan-tree-dump-not "possible aliasing" "vect"  } }