1 /**************************************************************************
3 * Copyright 2009 VMware, Inc.
6 * Permission is hereby granted, free of charge, to any person obtaining a
7 * copy of this software and associated documentation files (the
8 * "Software"), to deal in the Software without restriction, including
9 * without limitation the rights to use, copy, modify, merge, publish,
10 * distribute, sub license, and/or sell copies of the Software, and to
11 * permit persons to whom the Software is furnished to do so, subject to
12 * the following conditions:
14 * The above copyright notice and this permission notice (including the
15 * next paragraph) shall be included in all copies or substantial portions
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
19 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
20 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT.
21 * IN NO EVENT SHALL VMWARE AND/OR ITS SUPPLIERS BE LIABLE FOR
22 * ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
23 * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
24 * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
26 **************************************************************************/
30 * Convenient representation of SIMD types.
32 * @author Jose Fonseca <jfonseca@vmware.com>
40 #include "pipe/p_compiler.h"
41 #include "gallivm/lp_bld.h"
46 * Native SIMD register width.
48 * 128 for all architectures we care about.
50 #define LP_NATIVE_VECTOR_WIDTH 128
53 * Several functions can only cope with vectors of length up to this value.
54 * You may need to increase that value if you want to represent bigger vectors.
56 #define LP_MAX_VECTOR_LENGTH 16
60 * The LLVM type system can't conveniently express all the things we care about
61 * on the types used for intermediate computations, such as signed vs unsigned,
62 * normalized values, or fixed point.
66 * Floating-point. Cannot be used with fixed. Integer numbers are
67 * represented by this zero.
72 * Fixed-point. Cannot be used with floating. Integer numbers are
73 * represented by this zero.
78 * Whether it can represent negative values or not.
80 * If this is not set for floating point, it means that all values are
81 * assumed to be positive.
86 * Whether values are normalized to fit [0, 1] interval, or [-1, 1]
87 * interval for signed types.
89 * For integer types it means the representable integer range should be
90 * interpreted as the interval above.
92 * For floating and fixed point formats it means the values should be
93 * clamped to the interval above.
100 * For fixed point values, the fixed point is assumed to be at half the
106 * Vector length. If length==1, this is a scalar (float/int) type.
108 * width*length should be a power of two greater or equal to eight.
110 * @sa LP_MAX_VECTOR_LENGTH
117 * We need most of the information here in order to correctly and efficiently
118 * translate an arithmetic operation into LLVM IR. Putting it here avoids the
119 * trouble of passing it as parameters.
121 struct lp_build_context
123 LLVMBuilderRef builder
;
126 * This not only describes the input/output LLVM types, but also whether
127 * to normalize/clamp the results.
131 /** Same as lp_build_undef(type) */
134 /** Same as lp_build_zero(type) */
137 /** Same as lp_build_one(type) */
142 /** Create scalar float type */
143 static INLINE
struct lp_type
144 lp_type_float(unsigned width
)
146 struct lp_type res_type
;
148 memset(&res_type
, 0, sizeof res_type
);
149 res_type
.floating
= TRUE
;
150 res_type
.sign
= TRUE
;
151 res_type
.width
= width
;
158 /** Create vector of float type */
159 static INLINE
struct lp_type
160 lp_type_float_vec(unsigned width
)
162 struct lp_type res_type
;
164 memset(&res_type
, 0, sizeof res_type
);
165 res_type
.floating
= TRUE
;
166 res_type
.sign
= TRUE
;
167 res_type
.width
= width
;
168 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
174 /** Create scalar int type */
175 static INLINE
struct lp_type
176 lp_type_int(unsigned width
)
178 struct lp_type res_type
;
180 memset(&res_type
, 0, sizeof res_type
);
181 res_type
.sign
= TRUE
;
182 res_type
.width
= width
;
189 /** Create vector int type */
190 static INLINE
struct lp_type
191 lp_type_int_vec(unsigned width
)
193 struct lp_type res_type
;
195 memset(&res_type
, 0, sizeof res_type
);
196 res_type
.sign
= TRUE
;
197 res_type
.width
= width
;
198 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
204 /** Create scalar uint type */
205 static INLINE
struct lp_type
206 lp_type_uint(unsigned width
)
208 struct lp_type res_type
;
210 memset(&res_type
, 0, sizeof res_type
);
211 res_type
.width
= width
;
218 /** Create vector uint type */
219 static INLINE
struct lp_type
220 lp_type_uint_vec(unsigned width
)
222 struct lp_type res_type
;
224 memset(&res_type
, 0, sizeof res_type
);
225 res_type
.width
= width
;
226 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
232 static INLINE
struct lp_type
233 lp_type_unorm(unsigned width
)
235 struct lp_type res_type
;
237 memset(&res_type
, 0, sizeof res_type
);
238 res_type
.norm
= TRUE
;
239 res_type
.width
= width
;
240 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
246 static INLINE
struct lp_type
247 lp_type_fixed(unsigned width
)
249 struct lp_type res_type
;
251 memset(&res_type
, 0, sizeof res_type
);
252 res_type
.sign
= TRUE
;
253 res_type
.fixed
= TRUE
;
254 res_type
.width
= width
;
255 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
261 static INLINE
struct lp_type
262 lp_type_ufixed(unsigned width
)
264 struct lp_type res_type
;
266 memset(&res_type
, 0, sizeof res_type
);
267 res_type
.fixed
= TRUE
;
268 res_type
.width
= width
;
269 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
276 lp_build_elem_type(struct lp_type type
);
280 lp_build_vec_type(struct lp_type type
);
284 lp_check_elem_type(struct lp_type type
, LLVMTypeRef elem_type
);
288 lp_check_vec_type(struct lp_type type
, LLVMTypeRef vec_type
);
292 lp_check_value(struct lp_type type
, LLVMValueRef val
);
296 lp_build_int_elem_type(struct lp_type type
);
300 lp_build_int_vec_type(struct lp_type type
);
304 lp_build_int32_vec4_type(void);
308 lp_uint_type(struct lp_type type
);
312 lp_int_type(struct lp_type type
);
316 lp_wider_type(struct lp_type type
);
320 lp_build_context_init(struct lp_build_context
*bld
,
321 LLVMBuilderRef builder
,
322 struct lp_type type
);
325 #endif /* !LP_BLD_TYPE_H */