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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162 | ------------------------------------------------------------------------------
-- --
-- Matreshka Project --
-- --
-- Localization, Internationalization, Globalization for Ada --
-- --
-- Runtime Library Component --
-- --
------------------------------------------------------------------------------
-- --
-- Copyright © 2010-2013, Vadim Godunko <vgodunko@gmail.com> --
-- All rights reserved. --
-- --
-- Redistribution and use in source and binary forms, with or without --
-- modification, are permitted provided that the following conditions --
-- are met: --
-- --
-- * Redistributions of source code must retain the above copyright --
-- notice, this list of conditions and the following disclaimer. --
-- --
-- * Redistributions in binary form must reproduce the above copyright --
-- notice, this list of conditions and the following disclaimer in the --
-- documentation and/or other materials provided with the distribution. --
-- --
-- * Neither the name of the Vadim Godunko, IE nor the names of its --
-- contributors may be used to endorse or promote products derived from --
-- this software without specific prior written permission. --
-- --
-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS --
-- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT --
-- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR --
-- A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT --
-- HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, --
-- SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED --
-- TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR --
-- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF --
-- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING --
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS --
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. --
-- --
------------------------------------------------------------------------------
-- $Revision: 4061 $ $Date: 2013-08-31 03:30:58 +0400 (Сб, 31 авг 2013) $
------------------------------------------------------------------------------
-- This package provides set of Intel's specific data types for MMX/SSE/AVX
-- instruction sets. Children packages provide operations on this types,
-- one child package covers one instruction set. Types declarations are
-- specific for GNAT compiler. The way how subprograms are defined is also
-- GNAT specific, it allows to highly optimize code and replace one function
-- by one instruction in most cases.
------------------------------------------------------------------------------
with Ada.Unchecked_Conversion;
with Interfaces;
package Matreshka.SIMD.Intel is
pragma Pure;
-- 256-bit types
type v32qi is array (1 .. 32) of Interfaces.Integer_8;
for v32qi'Alignment use 32;
pragma Machine_Attribute (v32qi, "vector_type");
pragma Machine_Attribute (v32qi, "may_alias");
type v16hi is array (1 .. 16) of Interfaces.Integer_16;
for v16hi'Alignment use 32;
pragma Machine_Attribute (v16hi, "vector_type");
pragma Machine_Attribute (v16hi, "may_alias");
type v8si is array (1 .. 8) of Interfaces.Integer_32;
for v8si'Alignment use 32;
pragma Machine_Attribute (v8si, "vector_type");
pragma Machine_Attribute (v8si, "may_alias");
type v4di is array (1 .. 4) of Interfaces.Integer_64;
for v4di'Alignment use 32;
pragma Machine_Attribute (v4di, "vector_type");
pragma Machine_Attribute (v4di, "may_alias");
type v8sf is array (1 .. 8) of Interfaces.IEEE_Float_32;
for v8sf'Alignment use 32;
pragma Machine_Attribute (v8sf, "vector_type");
pragma Machine_Attribute (v8sf, "may_alias");
type v4df is array (1 .. 4) of Interfaces.IEEE_Float_64;
for v4df'Alignment use 32;
pragma Machine_Attribute (v4df, "vector_type");
pragma Machine_Attribute (v4df, "may_alias");
-- 128-bit types
type v16qi is array (1 .. 16) of Interfaces.Integer_8;
for v16qi'Alignment use 16;
pragma Machine_Attribute (v16qi, "vector_type");
pragma Machine_Attribute (v16qi, "may_alias");
type v8hi is array (1 .. 8) of Interfaces.Integer_16;
for v8hi'Alignment use 16;
pragma Machine_Attribute (v8hi, "vector_type");
pragma Machine_Attribute (v8hi, "may_alias");
type v4si is array (1 .. 4) of Interfaces.Integer_32;
for v4si'Alignment use 16;
pragma Machine_Attribute (v4si, "vector_type");
pragma Machine_Attribute (v4si, "may_alias");
type v2di is array (1 .. 2) of Interfaces.Integer_64;
for v2di'Alignment use 16;
pragma Machine_Attribute (v2di, "vector_type");
pragma Machine_Attribute (v2di, "may_alias");
type v4sf is array (1 .. 4) of Interfaces.IEEE_Float_32;
for v4sf'Alignment use 16;
pragma Machine_Attribute (v4sf, "vector_type");
pragma Machine_Attribute (v4sf, "may_alias");
type v2df is array (1 .. 2) of Interfaces.IEEE_Float_64;
for v2df'Alignment use 16;
pragma Machine_Attribute (v2df, "vector_type");
pragma Machine_Attribute (v2df, "may_alias");
-- 64-bit types
type v8qi is array (1 .. 8) of Interfaces.Integer_8;
for v8qi'Alignment use 8;
pragma Machine_Attribute (v8qi, "vector_type");
pragma Machine_Attribute (v8qi, "may_alias");
type v4hi is array (1 .. 4) of Interfaces.Integer_16;
for v4hi'Alignment use 8;
pragma Machine_Attribute (v4hi, "vector_type");
pragma Machine_Attribute (v4hi, "may_alias");
type v2si is array (1 .. 2) of Interfaces.Integer_32;
for v2si'Alignment use 8;
pragma Machine_Attribute (v2si, "vector_type");
pragma Machine_Attribute (v2si, "may_alias");
type v1di is array (1 .. 1) of Interfaces.Integer_64;
for v1di'Alignment use 8;
pragma Machine_Attribute (v1di, "vector_type");
pragma Machine_Attribute (v1di, "may_alias");
-- Type conversion operations.
function To_v16hi is new Ada.Unchecked_Conversion (v4df, v16hi);
function To_v4df is new Ada.Unchecked_Conversion (v16hi, v4df);
function To_v16qi is new Ada.Unchecked_Conversion (v8hi, v16qi);
function To_v8hi is new Ada.Unchecked_Conversion (v4si, v8hi);
function To_v8hi is new Ada.Unchecked_Conversion (v2di, v8hi);
function To_v4si is new Ada.Unchecked_Conversion (v8hi, v4si);
function To_v2di is new Ada.Unchecked_Conversion (v4si, v2di);
function To_v2di is new Ada.Unchecked_Conversion (v8hi, v2di);
function To_v8qi is new Ada.Unchecked_Conversion (v2si, v8qi);
function To_v4hi is new Ada.Unchecked_Conversion (v8qi, v4hi);
function To_v4hi is new Ada.Unchecked_Conversion (v2si, v4hi);
function To_v2si is new Ada.Unchecked_Conversion (v4hi, v2si);
function To_v2si is new Ada.Unchecked_Conversion (v8qi, v2si);
end Matreshka.SIMD.Intel;
|