gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization17_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

package Loop_Optimization17_Pkg is

   type vector is array (1..3) of Long_Float;

   type Rec is
      record
         I : Integer;
         V1, V2 : Vector;
         S : Long_Float;
      end record;

   for  Rec  use
      record
         I  at   0 range  0 .. 31;
         V1 at   4 range  0 .. 191;
         V2 at  28 range  0 .. 191;
         S  at  52 range  0 .. 63;
      end  record;
   for Rec'Alignment use 4;
   for Rec'Size use 480;

   type Index_T is range 1 .. 5;
   type Arr is array (Index_T) of Rec;

   Object : Arr;

   function F (V : Vector) return Vector;

end Loop_Optimization17_Pkg;