gcc/testsuite/gnat.dg/vect6.ads

   1 with Vect6_Pkg;
   2
   3 package Vect6 is
   4
   5    -- Unconstrained array types are vectorizable, possibly with special
   6    -- help for the programmer
   7    type Varray is array (Vect6_Pkg.Index_Type range <>) of Long_Float;
   8    for Varray'Alignment use 16;
   9
  10    function "+" (X : Varray; Y : Long_Float) return Varray;
  11    procedure Add (X : not null access Varray; Y : Long_Float; R : not null access Varray);
  12
  13
  14    -- Constrained array types are vectorizable
  15    type Sarray is array (Vect6_Pkg.Index_Type(1) .. Vect6_Pkg.Index_Type(4))
  16      of Long_Float;
  17    for Sarray'Alignment use 16;
  18
  19    function "+" (X : Sarray; Y : Long_Float) return Sarray;
  20    procedure Add (X : not null access Sarray; Y : Long_Float; R : not null access Sarray);
  21
  22
  23    type Darray1 is array (Vect6_Pkg.Index_Type(1) .. Vect6_Pkg.N) of Long_Float;
  24    for Darray1'Alignment use 16;
  25
  26    function "+" (X : Darray1; Y : Long_Float) return Darray1;
  27    procedure Add (X : not null access Darray1; Y : Long_Float; R : not null access Darray1);
  28
  29
  30    type Darray2 is array (Vect6_Pkg.K .. Vect6_Pkg.Index_Type(4)) of Long_Float;
  31    for Darray2'Alignment use 16;
  32
  33    function "+" (X : Darray2; Y : Long_Float) return Darray2;
  34    procedure Add (X : not null access Darray2; Y : Long_Float; R : not null access Darray2);
  35
  36
  37    type Darray3 is array (Vect6_Pkg.K .. Vect6_Pkg.N) of Long_Float;
  38    for Darray3'Alignment use 16;
  39
  40    function "+" (X : Darray3; Y : Long_Float) return Darray3;
  41    procedure Add (X : not null access Darray3; Y : Long_Float; R : not null access Darray3);
  42
  43 end Vect6;