gcc/testsuite/gnat.dg/vect12.ads

   1 package Vect12 is
   2
   3    -- Constrained array types are vectorizable
   4    type Sarray is array (1 .. 4) of Float;
   5    for Sarray'Alignment use 16;
   6
   7    function "+" (X, Y : Sarray) return Sarray;
   8    procedure Add (X, Y : Sarray; R : out Sarray);
   9
  10 end Vect12;