2 * Copyright © 2012 Intel Corporation
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
21 * DEALINGS IN THE SOFTWARE.
23 #include <gtest/gtest.h>
24 #include "main/mtypes.h"
25 #include "main/macros.h"
26 #include "util/ralloc.h"
27 #include "uniform_initializer_utils.h"
31 fill_storage_array_with_sentinels(gl_constant_value
*storage
,
33 unsigned red_zone_size
)
35 for (unsigned i
= 0; i
< data_size
; i
++)
36 storage
[i
].u
= 0xDEADBEEF;
38 for (unsigned i
= 0; i
< red_zone_size
; i
++)
39 storage
[data_size
+ i
].u
= 0xBADDC0DE;
43 * Verfiy that markers past the end of the real uniform are unmodified
45 static ::testing::AssertionResult
46 red_zone_is_intact(gl_constant_value
*storage
,
48 unsigned red_zone_size
)
50 for (unsigned i
= 0; i
< red_zone_size
; i
++) {
51 const unsigned idx
= data_size
+ i
;
53 if (storage
[idx
].u
!= 0xBADDC0DE)
54 return ::testing::AssertionFailure()
55 << "storage[" << idx
<< "].u = " << storage
[idx
].u
56 << ", exepected data values = " << data_size
57 << ", red-zone size = " << red_zone_size
;
60 return ::testing::AssertionSuccess();
63 static const int values
[] = {
64 2, 0, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53
68 * Generate a single data element.
70 * This is by both \c generate_data and \c generate_array_data to create the
74 generate_data_element(void *mem_ctx
, const glsl_type
*type
,
75 ir_constant
*&val
, unsigned data_index_base
)
77 /* Set the initial data values for the generated constant.
79 ir_constant_data data
;
80 memset(&data
, 0, sizeof(data
));
81 for (unsigned i
= 0; i
< type
->components(); i
++) {
82 const unsigned idx
= (i
+ data_index_base
) % ARRAY_SIZE(values
);
83 switch (type
->base_type
) {
86 case GLSL_TYPE_SAMPLER
:
88 data
.i
[i
] = values
[idx
];
91 data
.f
[i
] = float(values
[idx
]);
94 data
.b
[i
] = bool(values
[idx
]);
96 case GLSL_TYPE_DOUBLE
:
97 data
.d
[i
] = double(values
[idx
]);
99 case GLSL_TYPE_UINT64
:
100 data
.u64
[i
] = (uint64_t) values
[idx
];
102 case GLSL_TYPE_INT64
:
103 data
.i64
[i
] = (int64_t) values
[idx
];
105 case GLSL_TYPE_ATOMIC_UINT
:
106 case GLSL_TYPE_STRUCT
:
107 case GLSL_TYPE_ARRAY
:
109 case GLSL_TYPE_ERROR
:
110 case GLSL_TYPE_INTERFACE
:
111 case GLSL_TYPE_SUBROUTINE
:
112 case GLSL_TYPE_FUNCTION
:
113 case GLSL_TYPE_FLOAT16
:
114 case GLSL_TYPE_UINT16
:
115 case GLSL_TYPE_INT16
:
116 case GLSL_TYPE_UINT8
:
123 /* Generate and verify the constant.
125 val
= new(mem_ctx
) ir_constant(type
, &data
);
127 for (unsigned i
= 0; i
< type
->components(); i
++) {
128 switch (type
->base_type
) {
131 case GLSL_TYPE_SAMPLER
:
132 case GLSL_TYPE_IMAGE
:
133 ASSERT_EQ(data
.i
[i
], val
->value
.i
[i
]);
135 case GLSL_TYPE_FLOAT
:
136 ASSERT_EQ(data
.f
[i
], val
->value
.f
[i
]);
139 ASSERT_EQ(data
.b
[i
], val
->value
.b
[i
]);
141 case GLSL_TYPE_DOUBLE
:
142 ASSERT_EQ(data
.d
[i
], val
->value
.d
[i
]);
144 case GLSL_TYPE_UINT64
:
145 ASSERT_EQ(data
.u64
[i
], val
->value
.u64
[i
]);
147 case GLSL_TYPE_INT64
:
148 ASSERT_EQ(data
.i64
[i
], val
->value
.i64
[i
]);
150 case GLSL_TYPE_ATOMIC_UINT
:
151 case GLSL_TYPE_STRUCT
:
152 case GLSL_TYPE_ARRAY
:
154 case GLSL_TYPE_ERROR
:
155 case GLSL_TYPE_INTERFACE
:
156 case GLSL_TYPE_SUBROUTINE
:
157 case GLSL_TYPE_FUNCTION
:
158 case GLSL_TYPE_FLOAT16
:
159 case GLSL_TYPE_UINT16
:
160 case GLSL_TYPE_INT16
:
161 case GLSL_TYPE_UINT8
:
170 generate_data(void *mem_ctx
, enum glsl_base_type base_type
,
171 unsigned columns
, unsigned rows
,
174 /* Determine what the type of the generated constant should be.
176 const glsl_type
*const type
=
177 glsl_type::get_instance(base_type
, rows
, columns
);
178 ASSERT_FALSE(type
->is_error());
180 generate_data_element(mem_ctx
, type
, val
, 0);
184 generate_array_data(void *mem_ctx
, enum glsl_base_type base_type
,
185 unsigned columns
, unsigned rows
, unsigned array_size
,
188 /* Determine what the type of the generated constant should be.
190 const glsl_type
*const element_type
=
191 glsl_type::get_instance(base_type
, rows
, columns
);
192 ASSERT_FALSE(element_type
->is_error());
194 const glsl_type
*const array_type
=
195 glsl_type::get_array_instance(element_type
, array_size
);
196 ASSERT_FALSE(array_type
->is_error());
198 /* Set the initial data values for the generated constant.
200 exec_list values_for_array
;
201 for (unsigned i
= 0; i
< array_size
; i
++) {
202 ir_constant
*element
;
204 generate_data_element(mem_ctx
, element_type
, element
, i
);
205 values_for_array
.push_tail(element
);
208 val
= new(mem_ctx
) ir_constant(array_type
, &values_for_array
);
212 uint64_storage(union gl_constant_value
*storage
)
215 memcpy(&val
, &storage
->i
, sizeof(uint64_t));
220 double_storage(union gl_constant_value
*storage
)
223 memcpy(&val
, &storage
->i
, sizeof(double));
228 * Verify that the data stored for the uniform matches the initializer
230 * \param storage Backing storage for the uniform
231 * \param storage_array_size Array size of the backing storage. This must be
232 * less than or equal to the array size of the type
233 * of \c val. If \c val is not an array, this must
235 * \param val Value of the initializer for the unifrom.
239 verify_data(gl_constant_value
*storage
, unsigned storage_array_size
,
240 ir_constant
*val
, unsigned red_zone_size
,
241 unsigned int boolean_true
)
243 if (val
->type
->is_array()) {
244 const glsl_type
*const element_type
= val
->const_elements
[0]->type
;
246 for (unsigned i
= 0; i
< storage_array_size
; i
++) {
247 verify_data(storage
+ (i
* element_type
->components()), 0,
248 val
->const_elements
[i
], 0, boolean_true
);
251 const unsigned components
= element_type
->components();
253 if (red_zone_size
> 0) {
254 EXPECT_TRUE(red_zone_is_intact(storage
,
255 storage_array_size
* components
,
259 ASSERT_EQ(0u, storage_array_size
);
260 for (unsigned i
= 0; i
< val
->type
->components(); i
++) {
261 switch (val
->type
->base_type
) {
264 case GLSL_TYPE_SAMPLER
:
265 case GLSL_TYPE_IMAGE
:
266 EXPECT_EQ(val
->value
.i
[i
], storage
[i
].i
);
268 case GLSL_TYPE_FLOAT
:
269 EXPECT_EQ(val
->value
.f
[i
], storage
[i
].f
);
272 EXPECT_EQ(val
->value
.b
[i
] ? boolean_true
: 0, storage
[i
].i
);
274 case GLSL_TYPE_DOUBLE
:
275 EXPECT_EQ(val
->value
.d
[i
], double_storage(&storage
[i
*2]));
277 case GLSL_TYPE_UINT64
:
278 EXPECT_EQ(val
->value
.u64
[i
], uint64_storage(&storage
[i
*2]));
280 case GLSL_TYPE_INT64
:
281 EXPECT_EQ(val
->value
.i64
[i
], uint64_storage(&storage
[i
*2]));
283 case GLSL_TYPE_ATOMIC_UINT
:
284 case GLSL_TYPE_STRUCT
:
285 case GLSL_TYPE_ARRAY
:
287 case GLSL_TYPE_ERROR
:
288 case GLSL_TYPE_INTERFACE
:
289 case GLSL_TYPE_SUBROUTINE
:
290 case GLSL_TYPE_FUNCTION
:
291 case GLSL_TYPE_FLOAT16
:
292 case GLSL_TYPE_UINT16
:
293 case GLSL_TYPE_INT16
:
294 case GLSL_TYPE_UINT8
:
301 if (red_zone_size
> 0) {
302 EXPECT_TRUE(red_zone_is_intact(storage
,
303 val
->type
->components(),