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 <llvm-c/Core.h>
42 #include <pipe/p_compiler.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
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 static INLINE
struct lp_type
143 lp_type_float(unsigned width
)
145 struct lp_type res_type
;
147 memset(&res_type
, 0, sizeof res_type
);
148 res_type
.floating
= TRUE
;
149 res_type
.sign
= TRUE
;
150 res_type
.width
= width
;
151 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
157 static INLINE
struct lp_type
158 lp_type_int(unsigned width
)
160 struct lp_type res_type
;
162 memset(&res_type
, 0, sizeof res_type
);
163 res_type
.sign
= TRUE
;
164 res_type
.width
= width
;
165 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
171 static INLINE
struct lp_type
172 lp_type_uint(unsigned width
)
174 struct lp_type res_type
;
176 memset(&res_type
, 0, sizeof res_type
);
177 res_type
.width
= width
;
178 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
184 static INLINE
struct lp_type
185 lp_type_unorm(unsigned width
)
187 struct lp_type res_type
;
189 memset(&res_type
, 0, sizeof res_type
);
190 res_type
.norm
= TRUE
;
191 res_type
.width
= width
;
192 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
198 static INLINE
struct lp_type
199 lp_type_fixed(unsigned width
)
201 struct lp_type res_type
;
203 memset(&res_type
, 0, sizeof res_type
);
204 res_type
.sign
= TRUE
;
205 res_type
.fixed
= TRUE
;
206 res_type
.width
= width
;
207 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
213 static INLINE
struct lp_type
214 lp_type_ufixed(unsigned width
)
216 struct lp_type res_type
;
218 memset(&res_type
, 0, sizeof res_type
);
219 res_type
.fixed
= TRUE
;
220 res_type
.width
= width
;
221 res_type
.length
= LP_NATIVE_VECTOR_WIDTH
/ width
;
228 lp_build_elem_type(struct lp_type type
);
232 lp_build_vec_type(struct lp_type type
);
236 lp_check_elem_type(struct lp_type type
, LLVMTypeRef elem_type
);
240 lp_check_vec_type(struct lp_type type
, LLVMTypeRef vec_type
);
244 lp_check_value(struct lp_type type
, LLVMValueRef val
);
248 lp_build_int_elem_type(struct lp_type type
);
252 lp_build_int_vec_type(struct lp_type type
);
256 lp_build_int32_vec4_type(void);
260 lp_int_type(struct lp_type type
);
264 lp_wider_type(struct lp_type type
);
268 lp_build_context_init(struct lp_build_context
*bld
,
269 LLVMBuilderRef builder
,
270 struct lp_type type
);
273 #endif /* !LP_BLD_TYPE_H */