gcc/testsuite/gnat.dg/unroll1.ads


1
2
3
4
5
6
7
8
9

package Unroll1 is

   type Sarray is array (1 .. 4) of Float;
   for Sarray'Alignment use 16;

   function "+" (X, Y : Sarray) return Sarray;
   procedure Add (X, Y : Sarray; R : out Sarray);

end Unroll1;