File : g-alvevi.ads
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- G N A T . A L T I V E C . V E C T O R _ V I E W S --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 2005-2009, Free Software Foundation, Inc. --
10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
17 -- --
18 -- --
19 -- --
20 -- --
21 -- --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
26 -- --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
29 -- --
30 ------------------------------------------------------------------------------
31
32 -- This unit provides public 'View' data types from/to which private vector
33 -- representations can be converted via Altivec.Conversions. This allows
34 -- convenient access to individual vector elements and provides a simple way
35 -- to initialize vector objects.
36
37 -- Accessing vector contents with direct memory overlays should be avoided
38 -- because actual vector representations may vary across configurations, for
39 -- instance to accommodate different target endianness.
40
41 -- The natural representation of a vector is an array indexed by vector
42 -- component number, which is materialized by the Varray type definitions
43 -- below. The 16byte alignment constraint is unfortunately sometimes not
44 -- properly honored for constant array aggregates, so the View types are
45 -- actually records enclosing such arrays.
46
47 package GNAT.Altivec.Vector_Views is
48
49 ---------------------
50 -- char components --
51 ---------------------
52
53 type Vchar_Range is range 1 .. 16;
54
55 type Varray_unsigned_char is array (Vchar_Range) of unsigned_char;
56 for Varray_unsigned_char'Alignment use VECTOR_ALIGNMENT;
57
58 type VUC_View is record
59 Values : Varray_unsigned_char;
60 end record;
61
62 type Varray_signed_char is array (Vchar_Range) of signed_char;
63 for Varray_signed_char'Alignment use VECTOR_ALIGNMENT;
64
65 type VSC_View is record
66 Values : Varray_signed_char;
67 end record;
68
69 type Varray_bool_char is array (Vchar_Range) of bool_char;
70 for Varray_bool_char'Alignment use VECTOR_ALIGNMENT;
71
72 type VBC_View is record
73 Values : Varray_bool_char;
74 end record;
75
76 ----------------------
77 -- short components --
78 ----------------------
79
80 type Vshort_Range is range 1 .. 8;
81
82 type Varray_unsigned_short is array (Vshort_Range) of unsigned_short;
83 for Varray_unsigned_short'Alignment use VECTOR_ALIGNMENT;
84
85 type VUS_View is record
86 Values : Varray_unsigned_short;
87 end record;
88
89 type Varray_signed_short is array (Vshort_Range) of signed_short;
90 for Varray_signed_short'Alignment use VECTOR_ALIGNMENT;
91
92 type VSS_View is record
93 Values : Varray_signed_short;
94 end record;
95
96 type Varray_bool_short is array (Vshort_Range) of bool_short;
97 for Varray_bool_short'Alignment use VECTOR_ALIGNMENT;
98
99 type VBS_View is record
100 Values : Varray_bool_short;
101 end record;
102
103 --------------------
104 -- int components --
105 --------------------
106
107 type Vint_Range is range 1 .. 4;
108
109 type Varray_unsigned_int is array (Vint_Range) of unsigned_int;
110 for Varray_unsigned_int'Alignment use VECTOR_ALIGNMENT;
111
112 type VUI_View is record
113 Values : Varray_unsigned_int;
114 end record;
115
116 type Varray_signed_int is array (Vint_Range) of signed_int;
117 for Varray_signed_int'Alignment use VECTOR_ALIGNMENT;
118
119 type VSI_View is record
120 Values : Varray_signed_int;
121 end record;
122
123 type Varray_bool_int is array (Vint_Range) of bool_int;
124 for Varray_bool_int'Alignment use VECTOR_ALIGNMENT;
125
126 type VBI_View is record
127 Values : Varray_bool_int;
128 end record;
129
130 ----------------------
131 -- float components --
132 ----------------------
133
134 type Vfloat_Range is range 1 .. 4;
135
136 type Varray_float is array (Vfloat_Range) of C_float;
137 for Varray_float'Alignment use VECTOR_ALIGNMENT;
138
139 type VF_View is record
140 Values : Varray_float;
141 end record;
142
143 ----------------------
144 -- pixel components --
145 ----------------------
146
147 type Vpixel_Range is range 1 .. 8;
148
149 type Varray_pixel is array (Vpixel_Range) of pixel;
150 for Varray_pixel'Alignment use VECTOR_ALIGNMENT;
151
152 type VP_View is record
153 Values : Varray_pixel;
154 end record;
155
156 end GNAT.Altivec.Vector_Views;