1 /*-------------------------------------------------------------------------
2 * drawElements Quality Program OpenGL ES 2.0 Module
3 * -------------------------------------------------
4 *
5 * Copyright 2014 The Android Open Source Project
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License");
8 * you may not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS,
15 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
18 *
19 *//*!
20 * \file
21 * \brief Shader matrix arithmetic tests.
22 *
23 * Variables:
24 * + operation
25 * - mat OP mat
26 * - mat OP vec
27 * - vec OP mat
28 * - mat OP scalar
29 * - OP mat
30 * + matrix source
31 * - constant (ctor)
32 * - uniform
33 * - vertex input
34 * - fragment input
35 * + other operand: always dynamic data?
36 * + how to reduce to vec3?
37 *//*--------------------------------------------------------------------*/
38
39 #include "es2fShaderMatrixTests.hpp"
40 #include "glsShaderRenderCase.hpp"
41 #include "gluShaderUtil.hpp"
42 #include "tcuVector.hpp"
43 #include "tcuMatrix.hpp"
44 #include "tcuMatrixUtil.hpp"
45 #include "deStringUtil.hpp"
46
47 #include "glwEnums.hpp"
48 #include "glwFunctions.hpp"
49
50 namespace deqp
51 {
52 namespace gles2
53 {
54 namespace Functional
55 {
56
57 using std::string;
58 using std::vector;
59 using namespace glu;
60 using namespace deqp::gls;
61
62 using tcu::Vec2;
63 using tcu::Vec3;
64 using tcu::Vec4;
65 using tcu::Mat2;
66 using tcu::Mat3;
67 using tcu::Mat4;
68
69 // Uniform / constant values for tests.
70 // \note Input1 should not contain 0 components as it is used as divisor in div cases.
71 // \todo [2012-02-14 pyry] Make these dynamic.
72 static const float s_constInFloat[2] = { 0.5f, -0.2f };
73 static const Vec2 s_constInVec2[2] = { Vec2(1.2f, 0.5f), Vec2(0.5f, 1.0f) };
74 static const Vec3 s_constInVec3[2] = { Vec3(1.1f, 0.1f, 0.5f), Vec3(-0.2f, 0.5f, 0.8f) };
75 static const Vec4 s_constInVec4[2] = { Vec4(1.4f, 0.2f, -0.5f, 0.7f), Vec4(0.2f, -1.0f, 0.5f, 0.8f) };
76
77 static const float s_constInMat20[] = { 0.6f, -1.0f, 0.7f, 0.4f };
78 static const float s_constInMat21[] = { -0.5f, -0.4f, 0.7f, -0.8f };
79
80 static const float s_constInMat31[] =
81 {
82 1.2f, 0.1f, -0.1f,
83 0.1f, 0.9f, 0.2f,
84 0.2f, -0.1f, 0.7f
85 };
86 static const float s_constInMat41[] =
87 {
88 1.2f, -0.2f, 0.4f, 0.1f,
89 0.1f, 0.8f, -0.1f, -0.2f,
90 -0.2f, 0.1f, -1.1f, 0.3f,
91 0.1f, 0.2f, 0.3f, 0.9f
92 };
93
94 static const Mat2 s_constInMat2[2] = { tcu::Mat2(s_constInMat20), tcu::Mat2(s_constInMat21) };
95 static const Mat3 s_constInMat3[2] = { tcu::translationMatrix(tcu::Vec2(0.2f, -0.3f)), tcu::Mat3(s_constInMat31) };
96 static const Mat4 s_constInMat4[2] = { tcu::translationMatrix(tcu::Vec3(0.2f, -0.3f, 0.15f)), tcu::Mat4(s_constInMat41) };
97
98 namespace MatrixCaseUtils
99 {
100
101 enum InputType
102 {
103 INPUTTYPE_CONST = 0,
104 INPUTTYPE_UNIFORM,
105 INPUTTYPE_DYNAMIC,
106
107 INPUTTYPE_LAST
108 };
109
110 struct ShaderInput
111 {
ShaderInputdeqp::gles2::Functional::MatrixCaseUtils::ShaderInput112 ShaderInput (InputType inputType_, DataType dataType_, Precision precision_)
113 : inputType (inputType_)
114 , dataType (dataType_)
115 , precision (precision_)
116 {
117 }
118
119 InputType inputType;
120 DataType dataType;
121 Precision precision;
122 };
123
124 enum MatrixOp
125 {
126 OP_ADD = 0,
127 OP_SUB,
128 OP_MUL,
129 OP_DIV,
130 OP_COMP_MUL,
131 OP_UNARY_PLUS,
132 OP_NEGATION,
133 OP_PRE_INCREMENT,
134 OP_PRE_DECREMENT,
135 OP_POST_INCREMENT,
136 OP_POST_DECREMENT,
137 OP_ADD_INTO,
138 OP_SUBTRACT_FROM,
139 OP_MULTIPLY_INTO,
140 OP_DIVIDE_INTO,
141
142 OP_LAST
143 };
144
145 // Type traits.
146
147 template <int DataT>
148 struct TypeTraits;
149
150 #define DECLARE_TYPE_TRAIT(DATATYPE, TYPE) \
151 template<> \
152 struct TypeTraits<DATATYPE> { \
153 typedef TYPE Type; \
154 }
155
156 DECLARE_TYPE_TRAIT(TYPE_FLOAT, float);
157 DECLARE_TYPE_TRAIT(TYPE_FLOAT_VEC2, tcu::Vec2);
158 DECLARE_TYPE_TRAIT(TYPE_FLOAT_VEC3, tcu::Vec3);
159 DECLARE_TYPE_TRAIT(TYPE_FLOAT_VEC4, tcu::Vec4);
160 DECLARE_TYPE_TRAIT(TYPE_FLOAT_MAT2, tcu::Mat2);
161 DECLARE_TYPE_TRAIT(TYPE_FLOAT_MAT3, tcu::Mat3);
162 DECLARE_TYPE_TRAIT(TYPE_FLOAT_MAT4, tcu::Mat4);
163
164 // Operation info
165
166 enum OperationType
167 {
168 OPERATIONTYPE_BINARY_OPERATOR = 0,
169 OPERATIONTYPE_BINARY_FUNCTION,
170 OPERATIONTYPE_UNARY_PREFIX_OPERATOR,
171 OPERATIONTYPE_UNARY_POSTFIX_OPERATOR,
172 OPERATIONTYPE_ASSIGNMENT,
173
174 OPERATIONTYPE_LAST
175 };
176
getOperationName(MatrixOp op)177 static const char* getOperationName (MatrixOp op)
178 {
179 switch (op)
180 {
181 case OP_ADD: return "+";
182 case OP_SUB: return "-";
183 case OP_MUL: return "*";
184 case OP_DIV: return "/";
185 case OP_COMP_MUL: return "matrixCompMult";
186 case OP_UNARY_PLUS: return "+";
187 case OP_NEGATION: return "-";
188 case OP_PRE_INCREMENT: return "++";
189 case OP_PRE_DECREMENT: return "--";
190 case OP_POST_INCREMENT: return "++";
191 case OP_POST_DECREMENT: return "--";
192 case OP_ADD_INTO: return "+=";
193 case OP_SUBTRACT_FROM: return "-=";
194 case OP_MULTIPLY_INTO: return "*=";
195 case OP_DIVIDE_INTO: return "/=";
196 default:
197 DE_ASSERT(DE_FALSE);
198 return "";
199 }
200 }
201
getOperationType(MatrixOp op)202 static OperationType getOperationType (MatrixOp op)
203 {
204 switch (op)
205 {
206 case OP_ADD: return OPERATIONTYPE_BINARY_OPERATOR;
207 case OP_SUB: return OPERATIONTYPE_BINARY_OPERATOR;
208 case OP_MUL: return OPERATIONTYPE_BINARY_OPERATOR;
209 case OP_DIV: return OPERATIONTYPE_BINARY_OPERATOR;
210 case OP_COMP_MUL: return OPERATIONTYPE_BINARY_FUNCTION;
211 case OP_UNARY_PLUS: return OPERATIONTYPE_UNARY_PREFIX_OPERATOR;
212 case OP_NEGATION: return OPERATIONTYPE_UNARY_PREFIX_OPERATOR;
213 case OP_PRE_INCREMENT: return OPERATIONTYPE_UNARY_PREFIX_OPERATOR;
214 case OP_PRE_DECREMENT: return OPERATIONTYPE_UNARY_PREFIX_OPERATOR;
215 case OP_POST_INCREMENT: return OPERATIONTYPE_UNARY_POSTFIX_OPERATOR;
216 case OP_POST_DECREMENT: return OPERATIONTYPE_UNARY_POSTFIX_OPERATOR;
217 case OP_ADD_INTO: return OPERATIONTYPE_ASSIGNMENT;
218 case OP_SUBTRACT_FROM: return OPERATIONTYPE_ASSIGNMENT;
219 case OP_MULTIPLY_INTO: return OPERATIONTYPE_ASSIGNMENT;
220 case OP_DIVIDE_INTO: return OPERATIONTYPE_ASSIGNMENT;
221 default:
222 DE_ASSERT(DE_FALSE);
223 return OPERATIONTYPE_LAST;
224 }
225 }
226
227 enum TestMatrixType
228 {
229 TESTMATRIXTYPE_DEFAULT = 0,
230 TESTMATRIXTYPE_NEGATED,
231 TESTMATRIXTYPE_INCREMENTED,
232 TESTMATRIXTYPE_DECREMENTED,
233
234 TESTMATRIXTYPE_LAST
235 };
236
getOperationTestMatrixType(MatrixOp op)237 static TestMatrixType getOperationTestMatrixType (MatrixOp op)
238 {
239 switch(op)
240 {
241 case OP_ADD: return TESTMATRIXTYPE_DEFAULT;
242 case OP_SUB: return TESTMATRIXTYPE_DEFAULT;
243 case OP_MUL: return TESTMATRIXTYPE_DEFAULT;
244 case OP_DIV: return TESTMATRIXTYPE_DEFAULT;
245 case OP_COMP_MUL: return TESTMATRIXTYPE_DEFAULT;
246 case OP_UNARY_PLUS: return TESTMATRIXTYPE_DEFAULT;
247 case OP_NEGATION: return TESTMATRIXTYPE_NEGATED;
248 case OP_PRE_INCREMENT: return TESTMATRIXTYPE_NEGATED;
249 case OP_PRE_DECREMENT: return TESTMATRIXTYPE_INCREMENTED;
250 case OP_POST_INCREMENT: return TESTMATRIXTYPE_NEGATED;
251 case OP_POST_DECREMENT: return TESTMATRIXTYPE_DEFAULT;
252 case OP_ADD_INTO: return TESTMATRIXTYPE_DECREMENTED;
253 case OP_SUBTRACT_FROM: return TESTMATRIXTYPE_DEFAULT;
254 case OP_MULTIPLY_INTO: return TESTMATRIXTYPE_DEFAULT;
255 case OP_DIVIDE_INTO: return TESTMATRIXTYPE_DEFAULT;
256
257 default:
258 DE_ASSERT(DE_FALSE);
259 return TESTMATRIXTYPE_LAST;
260 }
261 }
262
isOperationBinary(MatrixOp op)263 static bool isOperationBinary (MatrixOp op)
264 {
265 return getOperationType(op) == OPERATIONTYPE_BINARY_OPERATOR ||
266 getOperationType(op) == OPERATIONTYPE_BINARY_FUNCTION ||
267 getOperationType(op) == OPERATIONTYPE_ASSIGNMENT;
268 }
269
isOperationMatrixScalar(MatrixOp op)270 static bool isOperationMatrixScalar (MatrixOp op)
271 {
272 return op == OP_ADD || op == OP_SUB || op == OP_MUL || op == OP_DIV;
273 }
274
isOperationMatrixVector(MatrixOp op)275 static bool isOperationMatrixVector (MatrixOp op)
276 {
277 return op == OP_MUL;
278 }
279
isOperationMatrixMatrix(MatrixOp op)280 static bool isOperationMatrixMatrix (MatrixOp op)
281 {
282 return op == OP_ADD || op == OP_SUB || op == OP_MUL || op == OP_DIV || op == OP_COMP_MUL;
283 }
284
isOperationUnary(MatrixOp op)285 static bool isOperationUnary (MatrixOp op)
286 {
287 return op == OP_UNARY_PLUS ||
288 op == OP_NEGATION ||
289 op == OP_PRE_INCREMENT ||
290 op == OP_PRE_DECREMENT ||
291 op == OP_POST_INCREMENT ||
292 op == OP_POST_DECREMENT;
293 }
294
isOperationValueModifying(MatrixOp op)295 static bool isOperationValueModifying (MatrixOp op)
296 {
297 return op == OP_PRE_INCREMENT ||
298 op == OP_PRE_DECREMENT ||
299 op == OP_POST_INCREMENT ||
300 op == OP_POST_DECREMENT;
301 }
302
isOperationAssignment(MatrixOp op)303 static bool isOperationAssignment (MatrixOp op)
304 {
305 return op == OP_ADD_INTO ||
306 op == OP_SUBTRACT_FROM ||
307 op == OP_MULTIPLY_INTO ||
308 op == OP_DIVIDE_INTO;
309 }
310
311 // Operation nature
312
313 enum OperationNature
314 {
315 OPERATIONNATURE_PURE = 0,
316 OPERATIONNATURE_MUTATING,
317 OPERATIONNATURE_ASSIGNMENT,
318
319 OPERATIONNATURE_LAST
320 };
321
getOperationNature(MatrixOp op)322 static OperationNature getOperationNature (MatrixOp op)
323 {
324 if (isOperationAssignment(op))
325 return OPERATIONNATURE_ASSIGNMENT;
326
327 if (isOperationValueModifying(op))
328 return OPERATIONNATURE_MUTATING;
329
330 return OPERATIONNATURE_PURE;
331 }
332
333 // Input value loader.
334
335 template <int InputT, int DataT>
336 typename TypeTraits<DataT>::Type getInputValue (const ShaderEvalContext& evalCtx, int inputNdx);
337
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)338 template <> inline float getInputValue<INPUTTYPE_CONST, TYPE_FLOAT> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(evalCtx); return s_constInFloat[inputNdx]; }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)339 template <> inline tcu::Vec2 getInputValue<INPUTTYPE_CONST, TYPE_FLOAT_VEC2> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(evalCtx); return s_constInVec2[inputNdx]; }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)340 template <> inline tcu::Vec3 getInputValue<INPUTTYPE_CONST, TYPE_FLOAT_VEC3> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(evalCtx); return s_constInVec3[inputNdx]; }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)341 template <> inline tcu::Vec4 getInputValue<INPUTTYPE_CONST, TYPE_FLOAT_VEC4> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(evalCtx); return s_constInVec4[inputNdx]; }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)342 template <> inline tcu::Mat2 getInputValue<INPUTTYPE_CONST, TYPE_FLOAT_MAT2> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(evalCtx); return s_constInMat2[inputNdx]; }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)343 template <> inline tcu::Mat3 getInputValue<INPUTTYPE_CONST, TYPE_FLOAT_MAT3> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(evalCtx); return s_constInMat3[inputNdx]; }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)344 template <> inline tcu::Mat4 getInputValue<INPUTTYPE_CONST, TYPE_FLOAT_MAT4> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(evalCtx); return s_constInMat4[inputNdx]; }
345
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)346 template <> inline float getInputValue<INPUTTYPE_DYNAMIC, TYPE_FLOAT> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(inputNdx); return evalCtx.coords.x(); }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)347 template <> inline tcu::Vec2 getInputValue<INPUTTYPE_DYNAMIC, TYPE_FLOAT_VEC2> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(inputNdx); return evalCtx.coords.swizzle(0, 1); }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)348 template <> inline tcu::Vec3 getInputValue<INPUTTYPE_DYNAMIC, TYPE_FLOAT_VEC3> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(inputNdx); return evalCtx.coords.swizzle(0, 1, 2); }
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)349 template <> inline tcu::Vec4 getInputValue<INPUTTYPE_DYNAMIC, TYPE_FLOAT_VEC4> (const ShaderEvalContext& evalCtx, int inputNdx) { DE_UNREF(inputNdx); return evalCtx.coords.swizzle(0, 1, 2, 3); }
350
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)351 template <> inline tcu::Mat2 getInputValue<INPUTTYPE_DYNAMIC, TYPE_FLOAT_MAT2> (const ShaderEvalContext& evalCtx, int inputNdx)
352 {
353 DE_UNREF(inputNdx); // Not used.
354 tcu::Mat2 m;
355 m.setColumn(0, evalCtx.in[0].swizzle(0,1));
356 m.setColumn(1, evalCtx.in[1].swizzle(0,1));
357 return m;
358 }
359
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)360 template <> inline tcu::Mat3 getInputValue<INPUTTYPE_DYNAMIC, TYPE_FLOAT_MAT3> (const ShaderEvalContext& evalCtx, int inputNdx)
361 {
362 DE_UNREF(inputNdx); // Not used.
363 tcu::Mat3 m;
364 m.setColumn(0, evalCtx.in[0].swizzle(0,1,2));
365 m.setColumn(1, evalCtx.in[1].swizzle(0,1,2));
366 m.setColumn(2, evalCtx.in[2].swizzle(0,1,2));
367 return m;
368 }
369
getInputValue(const ShaderEvalContext & evalCtx,int inputNdx)370 template <> inline tcu::Mat4 getInputValue<INPUTTYPE_DYNAMIC, TYPE_FLOAT_MAT4> (const ShaderEvalContext& evalCtx, int inputNdx)
371 {
372 DE_UNREF(inputNdx); // Not used.
373 tcu::Mat4 m;
374 m.setColumn(0, evalCtx.in[0]);
375 m.setColumn(1, evalCtx.in[1]);
376 m.setColumn(2, evalCtx.in[2]);
377 m.setColumn(3, evalCtx.in[3]);
378 return m;
379 }
380
381 // Reduction from expression result to vec3.
382
reduceToVec3(const tcu::Vec2 & value)383 inline tcu::Vec3 reduceToVec3 (const tcu::Vec2& value) { return value.swizzle(0,1,0); }
reduceToVec3(const tcu::Vec3 & value)384 inline tcu::Vec3 reduceToVec3 (const tcu::Vec3& value) { return value; }
reduceToVec3(const tcu::Vec4 & value)385 inline tcu::Vec3 reduceToVec3 (const tcu::Vec4& value) { return tcu::Vec3(value.x(), value.y(), value.z()+value.w()); }
reduceToVec3(const tcu::Mat2 & value)386 inline tcu::Vec3 reduceToVec3 (const tcu::Mat2& value) { return tcu::Vec3(value(0, 0), value(0, 1), value(1, 0)+value(1, 1)); }
reduceToVec3(const tcu::Mat3 & value)387 inline tcu::Vec3 reduceToVec3 (const tcu::Mat3& value) { return value.getColumn(0) + value.getColumn(1) + value.getColumn(2); }
reduceToVec3(const tcu::Mat4 & value)388 inline tcu::Vec3 reduceToVec3 (const tcu::Mat4& value) { return value.getColumn(0).swizzle(0,1,2) + value.getColumn(1).swizzle(1,2,3) + value.getColumn(2).swizzle(2,3,0) + value.getColumn(3).swizzle(3,0,1); }
389
390 // matrixCompMult
391
392 template <typename T, int Rows, int Cols>
matrixCompMult(const tcu::Matrix<T,Rows,Cols> & a,const tcu::Matrix<T,Rows,Cols> & b)393 tcu::Matrix<T, Rows, Cols> matrixCompMult (const tcu::Matrix<T, Rows, Cols>& a, const tcu::Matrix<T, Rows, Cols>& b)
394 {
395 tcu::Matrix<T, Rows, Cols> retVal;
396
397 for (int r = 0; r < Rows; ++r)
398 for (int c = 0; c < Cols; ++c)
399 retVal(r,c) = a(r,c) * b(r, c);
400
401 return retVal;
402 }
403
404 // negate
405
406 template <typename T, int Rows, int Cols>
negate(const tcu::Matrix<T,Rows,Cols> & mat)407 tcu::Matrix<T, Rows, Cols> negate (const tcu::Matrix<T, Rows, Cols>& mat)
408 {
409 tcu::Matrix<T, Rows, Cols> retVal;
410
411 for (int r = 0; r < Rows; ++r)
412 for (int c = 0; c < Cols; ++c)
413 retVal(r,c) = -mat(r, c);
414
415 return retVal;
416 }
417
418 // increment/decrement
419
420 template <typename T, int Rows, int Cols>
increment(const tcu::Matrix<T,Rows,Cols> & mat)421 tcu::Matrix<T, Rows, Cols> increment (const tcu::Matrix<T, Rows, Cols>& mat)
422 {
423 tcu::Matrix<T, Rows, Cols> retVal;
424
425 for (int r = 0; r < Rows; ++r)
426 for (int c = 0; c < Cols; ++c)
427 retVal(r,c) = mat(r, c) + 1.0f;
428
429 return retVal;
430 }
431
432 template <typename T, int Rows, int Cols>
decrement(const tcu::Matrix<T,Rows,Cols> & mat)433 tcu::Matrix<T, Rows, Cols> decrement (const tcu::Matrix<T, Rows, Cols>& mat)
434 {
435 tcu::Matrix<T, Rows, Cols> retVal;
436
437 for (int r = 0; r < Rows; ++r)
438 for (int c = 0; c < Cols; ++c)
439 retVal(r,c) = mat(r, c) - 1.0f;
440
441 return retVal;
442 }
443
444 // Evaluator template.
445
446 template <int Op, int In0Type, int In0DataType, int In1Type, int In1DataType>
447 struct Evaluator;
448
449 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
450 struct Evaluator<OP_ADD, In0Type, In0DataType, In1Type, In1DataType>
451 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator452 static void evaluate (ShaderEvalContext& evalCtx)
453 {
454 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0) + getInputValue<In1Type, In1DataType>(evalCtx, 1));
455 }
456 };
457
458 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
459 struct Evaluator<OP_SUB, In0Type, In0DataType, In1Type, In1DataType>
460 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator461 static void evaluate (ShaderEvalContext& evalCtx)
462 {
463 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0) - getInputValue<In1Type, In1DataType>(evalCtx, 1));
464 }
465 };
466
467 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
468 struct Evaluator<OP_MUL, In0Type, In0DataType, In1Type, In1DataType>
469 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator470 static void evaluate (ShaderEvalContext& evalCtx)
471 {
472 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0) * getInputValue<In1Type, In1DataType>(evalCtx, 1));
473 }
474 };
475
476 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
477 struct Evaluator<OP_DIV, In0Type, In0DataType, In1Type, In1DataType>
478 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator479 static void evaluate (ShaderEvalContext& evalCtx)
480 {
481 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0) / getInputValue<In1Type, In1DataType>(evalCtx, 1));
482 }
483 };
484
485 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
486 struct Evaluator<OP_COMP_MUL, In0Type, In0DataType, In1Type, In1DataType>
487 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator488 static void evaluate (ShaderEvalContext& evalCtx)
489 {
490 evalCtx.color.xyz() = reduceToVec3(matrixCompMult(getInputValue<In0Type, In0DataType>(evalCtx, 0), getInputValue<In1Type, In1DataType>(evalCtx, 1)));
491 }
492 };
493
494 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
495 struct Evaluator<OP_UNARY_PLUS, In0Type, In0DataType, In1Type, In1DataType>
496 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator497 static void evaluate (ShaderEvalContext& evalCtx)
498 {
499 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0));
500 }
501 };
502
503 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
504 struct Evaluator<OP_NEGATION, In0Type, In0DataType, In1Type, In1DataType>
505 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator506 static void evaluate (ShaderEvalContext& evalCtx)
507 {
508 evalCtx.color.xyz() = reduceToVec3(negate(getInputValue<In0Type, In0DataType>(evalCtx, 0)));
509 }
510 };
511
512 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
513 struct Evaluator<OP_PRE_INCREMENT, In0Type, In0DataType, In1Type, In1DataType>
514 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator515 static void evaluate (ShaderEvalContext& evalCtx)
516 {
517 // modifying reduction: sum modified value too
518 evalCtx.color.xyz() = reduceToVec3(increment(getInputValue<In0Type, In0DataType>(evalCtx, 0))) + reduceToVec3(increment(getInputValue<In0Type, In0DataType>(evalCtx, 0)));
519 }
520 };
521
522 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
523 struct Evaluator<OP_PRE_DECREMENT, In0Type, In0DataType, In1Type, In1DataType>
524 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator525 static void evaluate (ShaderEvalContext& evalCtx)
526 {
527 // modifying reduction: sum modified value too
528 evalCtx.color.xyz() = reduceToVec3(decrement(getInputValue<In0Type, In0DataType>(evalCtx, 0))) + reduceToVec3(decrement(getInputValue<In0Type, In0DataType>(evalCtx, 0)));
529 }
530 };
531
532 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
533 struct Evaluator<OP_POST_INCREMENT, In0Type, In0DataType, In1Type, In1DataType>
534 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator535 static void evaluate (ShaderEvalContext& evalCtx)
536 {
537 // modifying reduction: sum modified value too
538 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0)) + reduceToVec3(increment(getInputValue<In0Type, In0DataType>(evalCtx, 0)));
539 }
540 };
541
542 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
543 struct Evaluator<OP_POST_DECREMENT, In0Type, In0DataType, In1Type, In1DataType>
544 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator545 static void evaluate (ShaderEvalContext& evalCtx)
546 {
547 // modifying reduction: sum modified value too
548 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0)) + reduceToVec3(decrement(getInputValue<In0Type, In0DataType>(evalCtx, 0)));
549 }
550 };
551
552 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
553 struct Evaluator<OP_ADD_INTO, In0Type, In0DataType, In1Type, In1DataType>
554 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator555 static void evaluate (ShaderEvalContext& evalCtx)
556 {
557 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0) + getInputValue<In1Type, In1DataType>(evalCtx, 1));
558 }
559 };
560
561 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
562 struct Evaluator<OP_SUBTRACT_FROM, In0Type, In0DataType, In1Type, In1DataType>
563 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator564 static void evaluate (ShaderEvalContext& evalCtx)
565 {
566 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0) - getInputValue<In1Type, In1DataType>(evalCtx, 1));
567 }
568 };
569
570 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
571 struct Evaluator<OP_MULTIPLY_INTO, In0Type, In0DataType, In1Type, In1DataType>
572 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator573 static void evaluate (ShaderEvalContext& evalCtx)
574 {
575 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0) * getInputValue<In1Type, In1DataType>(evalCtx, 1));
576 }
577 };
578
579 template <int In0Type, int In0DataType, int In1Type, int In1DataType>
580 struct Evaluator<OP_DIVIDE_INTO, In0Type, In0DataType, In1Type, In1DataType>
581 {
evaluatedeqp::gles2::Functional::MatrixCaseUtils::Evaluator582 static void evaluate (ShaderEvalContext& evalCtx)
583 {
584 evalCtx.color.xyz() = reduceToVec3(getInputValue<In0Type, In0DataType>(evalCtx, 0) / getInputValue<In1Type, In1DataType>(evalCtx, 1));
585 }
586 };
587
getEvalFunc(const ShaderInput & in0,const ShaderInput & in1,MatrixOp op)588 ShaderEvalFunc getEvalFunc (const ShaderInput& in0, const ShaderInput& in1, MatrixOp op)
589 {
590 DE_STATIC_ASSERT(TYPE_LAST <= (1<<7));
591 DE_STATIC_ASSERT(OP_LAST <= (1<<4));
592 DE_STATIC_ASSERT(INPUTTYPE_LAST <= (1<<2));
593
594 #define PACK_EVAL_CASE(OP, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE) (((OP) << 18) | ((IN0TYPE) << 16) | ((IN0DATATYPE) << 9) | ((IN1TYPE) << 7) | (IN1DATATYPE))
595
596 #define MAKE_EVAL_CASE(OP, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE) \
597 case PACK_EVAL_CASE(OP, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE): \
598 return Evaluator<OP, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE>::evaluate
599
600 #define SCALAR_OPS(IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE) \
601 MAKE_EVAL_CASE(OP_ADD, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
602 MAKE_EVAL_CASE(OP_SUB, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
603 MAKE_EVAL_CASE(OP_MUL, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
604 MAKE_EVAL_CASE(OP_DIV, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE)
605
606 #define ALL_OPS(IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE) \
607 MAKE_EVAL_CASE(OP_ADD, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
608 MAKE_EVAL_CASE(OP_SUB, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
609 MAKE_EVAL_CASE(OP_MUL, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
610 MAKE_EVAL_CASE(OP_DIV, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
611 MAKE_EVAL_CASE(OP_COMP_MUL, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE);
612
613 #define MUL_OP(IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE) \
614 MAKE_EVAL_CASE(OP_MUL, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE)
615
616 #define MAKE_MAT_SCALAR_VEC_CASES(OP, TYPE0, TYPE1) \
617 OP(INPUTTYPE_CONST, TYPE0, INPUTTYPE_CONST, TYPE1); \
618 OP(INPUTTYPE_DYNAMIC, TYPE0, INPUTTYPE_CONST, TYPE1); \
619 OP(INPUTTYPE_CONST, TYPE0, INPUTTYPE_DYNAMIC, TYPE1); \
620 OP(INPUTTYPE_DYNAMIC, TYPE0, INPUTTYPE_DYNAMIC, TYPE1)
621
622 #define MAKE_MAT_MAT_CASES(OP, MATTYPE) \
623 OP(INPUTTYPE_CONST, MATTYPE, INPUTTYPE_CONST, MATTYPE); \
624 OP(INPUTTYPE_DYNAMIC, MATTYPE, INPUTTYPE_CONST, MATTYPE)
625
626 #define UNARY_OP(IN0TYPE, IN0DATATYPE) \
627 MAKE_EVAL_CASE(OP_UNARY_PLUS, IN0TYPE, IN0DATATYPE, INPUTTYPE_CONST, TYPE_LAST); \
628 MAKE_EVAL_CASE(OP_NEGATION, IN0TYPE, IN0DATATYPE, INPUTTYPE_CONST, TYPE_LAST); \
629 MAKE_EVAL_CASE(OP_PRE_INCREMENT, IN0TYPE, IN0DATATYPE, INPUTTYPE_CONST, TYPE_LAST); \
630 MAKE_EVAL_CASE(OP_PRE_DECREMENT, IN0TYPE, IN0DATATYPE, INPUTTYPE_CONST, TYPE_LAST); \
631 MAKE_EVAL_CASE(OP_POST_INCREMENT, IN0TYPE, IN0DATATYPE, INPUTTYPE_CONST, TYPE_LAST); \
632 MAKE_EVAL_CASE(OP_POST_DECREMENT, IN0TYPE, IN0DATATYPE, INPUTTYPE_CONST, TYPE_LAST)
633
634 #define MAKE_UNARY_CASES(OP, MATTYPE) \
635 OP(INPUTTYPE_CONST, MATTYPE); \
636 OP(INPUTTYPE_DYNAMIC, MATTYPE)
637
638 #define ASSIGN_OP(IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE) \
639 MAKE_EVAL_CASE(OP_ADD_INTO, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
640 MAKE_EVAL_CASE(OP_SUBTRACT_FROM, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
641 MAKE_EVAL_CASE(OP_MULTIPLY_INTO, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE); \
642 MAKE_EVAL_CASE(OP_DIVIDE_INTO, IN0TYPE, IN0DATATYPE, IN1TYPE, IN1DATATYPE)
643
644 #define MAKE_ASSIGNMENT_CASES(OP, MATTYPE) \
645 OP(INPUTTYPE_CONST, MATTYPE, INPUTTYPE_CONST, MATTYPE); \
646 OP(INPUTTYPE_DYNAMIC, MATTYPE, INPUTTYPE_CONST, MATTYPE); \
647 OP(INPUTTYPE_CONST, MATTYPE, INPUTTYPE_DYNAMIC, MATTYPE); \
648 OP(INPUTTYPE_DYNAMIC, MATTYPE, INPUTTYPE_DYNAMIC, MATTYPE)
649
650 // \note At the moment there is no difference between uniform and const inputs. This saves binary size.
651 InputType in0Type = in0.inputType == INPUTTYPE_DYNAMIC ? INPUTTYPE_DYNAMIC : INPUTTYPE_CONST;
652 InputType in1Type = in1.inputType == INPUTTYPE_DYNAMIC ? INPUTTYPE_DYNAMIC : INPUTTYPE_CONST;
653
654 switch (PACK_EVAL_CASE(op, in0Type, in0.dataType, in1Type, in1.dataType))
655 {
656 // Matrix-scalar.
657 MAKE_MAT_SCALAR_VEC_CASES(SCALAR_OPS, TYPE_FLOAT_MAT2, TYPE_FLOAT);
658 MAKE_MAT_SCALAR_VEC_CASES(SCALAR_OPS, TYPE_FLOAT_MAT3, TYPE_FLOAT);
659 MAKE_MAT_SCALAR_VEC_CASES(SCALAR_OPS, TYPE_FLOAT_MAT4, TYPE_FLOAT);
660
661 // Matrix-vector.
662 MAKE_MAT_SCALAR_VEC_CASES(MUL_OP, TYPE_FLOAT_MAT2, TYPE_FLOAT_VEC2);
663 MAKE_MAT_SCALAR_VEC_CASES(MUL_OP, TYPE_FLOAT_MAT3, TYPE_FLOAT_VEC3);
664 MAKE_MAT_SCALAR_VEC_CASES(MUL_OP, TYPE_FLOAT_MAT4, TYPE_FLOAT_VEC4);
665
666 // Vector-matrix.
667 MAKE_MAT_SCALAR_VEC_CASES(MUL_OP, TYPE_FLOAT_VEC2, TYPE_FLOAT_MAT2);
668 MAKE_MAT_SCALAR_VEC_CASES(MUL_OP, TYPE_FLOAT_VEC3, TYPE_FLOAT_MAT3);
669 MAKE_MAT_SCALAR_VEC_CASES(MUL_OP, TYPE_FLOAT_VEC4, TYPE_FLOAT_MAT4);
670
671 // Matrix-matrix.
672 MAKE_MAT_MAT_CASES(ALL_OPS, TYPE_FLOAT_MAT2);
673 MAKE_MAT_MAT_CASES(ALL_OPS, TYPE_FLOAT_MAT3);
674 MAKE_MAT_MAT_CASES(ALL_OPS, TYPE_FLOAT_MAT4);
675
676 // Unary matrix
677 MAKE_UNARY_CASES(UNARY_OP, TYPE_FLOAT_MAT2);
678 MAKE_UNARY_CASES(UNARY_OP, TYPE_FLOAT_MAT3);
679 MAKE_UNARY_CASES(UNARY_OP, TYPE_FLOAT_MAT4);
680
681 // Assignment matrix
682 MAKE_ASSIGNMENT_CASES(ASSIGN_OP, TYPE_FLOAT_MAT2);
683 MAKE_ASSIGNMENT_CASES(ASSIGN_OP, TYPE_FLOAT_MAT3);
684 MAKE_ASSIGNMENT_CASES(ASSIGN_OP, TYPE_FLOAT_MAT4);
685
686 default:
687 DE_ASSERT(DE_FALSE);
688 return DE_NULL;
689 }
690
691 #undef PACK_EVAL_CASE
692 #undef MAKE_EVAL_CASE
693 #undef MUL_OP
694 #undef ALL_OPS
695 #undef MAKE_MAT_SCALAR_VEC_CASES
696 #undef MAKE_MAT_MAT_CASES
697 }
698
699 // Shader source format utilities.
700
701 template <int Size>
writeVectorConstructor(std::ostream & str,const tcu::Vector<float,Size> & v)702 void writeVectorConstructor (std::ostream& str, const tcu::Vector<float, Size>& v)
703 {
704 str << "vec" << Size << "(";
705 for (int ndx = 0; ndx < Size; ndx++)
706 {
707 if (ndx != 0)
708 str << ", ";
709 str << de::floatToString(v[ndx], 1);
710 }
711 str << ")";
712 }
713
714 template <int Cols, int Rows>
writeMatrixConstructor(std::ostream & str,const tcu::Matrix<float,Rows,Cols> & m)715 void writeMatrixConstructor (std::ostream& str, const tcu::Matrix<float, Rows, Cols>& m)
716 {
717 if (Rows == Cols)
718 str << "mat" << Cols;
719 else
720 str << "mat" << Cols << "x" << Rows;
721
722 str << "(";
723 for (int colNdx = 0; colNdx < Cols; colNdx++)
724 {
725 for (int rowNdx = 0; rowNdx < Rows; rowNdx++)
726 {
727 if (rowNdx > 0 || colNdx > 0)
728 str << ", ";
729 str << de::floatToString(m(rowNdx, colNdx), 1);
730 }
731 }
732 str << ")";
733 }
734
735 } // MatrixCaseUtils
736
737 using namespace MatrixCaseUtils;
738
739 class ShaderMatrixCase : public ShaderRenderCase
740 {
741 public:
742 ShaderMatrixCase (Context& context, const char* name, const char* desc, const ShaderInput& in0, const ShaderInput& in1, MatrixOp op, bool isVertexCase);
743 ~ShaderMatrixCase (void);
744
745 void init (void);
746
747 protected:
748 std::string genGLSLMatToVec3Reduction (const glu::DataType& matType, const char* varName);
749 void setupUniforms (int programID, const tcu::Vec4& constCoords);
750
751 private:
752 ShaderInput m_in0;
753 ShaderInput m_in1;
754 MatrixOp m_op;
755 };
756
ShaderMatrixCase(Context & context,const char * name,const char * desc,const ShaderInput & in0,const ShaderInput & in1,MatrixOp op,bool isVertexCase)757 ShaderMatrixCase::ShaderMatrixCase (Context& context, const char* name, const char* desc, const ShaderInput& in0, const ShaderInput& in1, MatrixOp op, bool isVertexCase)
758 : ShaderRenderCase (context.getTestContext(), context.getRenderContext(), context.getContextInfo(), name, desc, isVertexCase, getEvalFunc(in0, in1, op))
759 , m_in0 (in0)
760 , m_in1 (in1)
761 , m_op (op)
762 {
763 }
764
~ShaderMatrixCase(void)765 ShaderMatrixCase::~ShaderMatrixCase (void)
766 {
767 }
768
init(void)769 void ShaderMatrixCase::init (void)
770 {
771 std::ostringstream vtx;
772 std::ostringstream frag;
773 std::ostringstream& op = m_isVertexCase ? vtx : frag;
774
775 bool isInDynMat0 = isDataTypeMatrix(m_in0.dataType) && m_in0.inputType == INPUTTYPE_DYNAMIC;
776 bool isInDynMat1 = isDataTypeMatrix(m_in1.dataType) && m_in1.inputType == INPUTTYPE_DYNAMIC;
777 string inValue0;
778 string inValue1;
779 DataType resultType = TYPE_LAST;
780 Precision resultPrec = m_in0.precision;
781 vector<string> passVars;
782 int numInputs = (isOperationBinary(m_op)) ? (2) : (1);
783
784 std::string operationValue0;
785 std::string operationValue1;
786
787 DE_ASSERT(!isInDynMat0 || !isInDynMat1); // Only single dynamic matrix input is allowed.
788 DE_UNREF(isInDynMat0 && isInDynMat1);
789
790 // Compute result type.
791 if (isDataTypeMatrix(m_in0.dataType) && isDataTypeMatrix(m_in1.dataType))
792 {
793 DE_ASSERT(m_in0.dataType == m_in1.dataType);
794 resultType = m_in0.dataType;
795 }
796 else if (getOperationType(m_op) == OPERATIONTYPE_UNARY_PREFIX_OPERATOR ||
797 getOperationType(m_op) == OPERATIONTYPE_UNARY_POSTFIX_OPERATOR)
798 {
799 resultType = m_in0.dataType;
800 }
801 else
802 {
803 int matNdx = isDataTypeMatrix(m_in0.dataType) ? 0 : 1;
804 DataType matrixType = matNdx == 0 ? m_in0.dataType : m_in1.dataType;
805 DataType otherType = matNdx == 0 ? m_in1.dataType : m_in0.dataType;
806
807 if (otherType == TYPE_FLOAT)
808 resultType = matrixType;
809 else
810 {
811 DE_ASSERT(isDataTypeVector(otherType));
812 resultType = otherType;
813 }
814 }
815
816 vtx << "attribute highp vec4 a_position;\n";
817 if (m_isVertexCase)
818 {
819 vtx << "varying mediump vec4 v_color;\n";
820 frag << "varying mediump vec4 v_color;\n";
821 }
822
823 // Input declarations.
824 for (int inNdx = 0; inNdx < numInputs; inNdx++)
825 {
826 const ShaderInput& in = inNdx > 0 ? m_in1 : m_in0;
827 const char* precName = getPrecisionName(in.precision);
828 const char* typeName = getDataTypeName(in.dataType);
829 string& inValue = inNdx > 0 ? inValue1 : inValue0;
830
831 if (in.inputType == INPUTTYPE_DYNAMIC)
832 {
833 vtx << "attribute " << precName << " " << typeName << " a_";
834
835 if (isDataTypeMatrix(in.dataType))
836 {
837 // a_matN, v_matN
838 vtx << typeName << ";\n";
839 if (!m_isVertexCase)
840 {
841 vtx << "varying " << precName << " " << typeName << " v_" << typeName << ";\n";
842 frag << "varying " << precName << " " << typeName << " v_" << typeName << ";\n";
843 passVars.push_back(typeName);
844 }
845
846 inValue = string(m_isVertexCase ? "a_" : "v_") + getDataTypeName(in.dataType);
847 }
848 else
849 {
850 // a_coords, v_coords
851 vtx << "coords;\n";
852 if (!m_isVertexCase)
853 {
854 vtx << "varying " << precName << " " << typeName << " v_coords;\n";
855 frag << "varying " << precName << " " << typeName << " v_coords;\n";
856 passVars.push_back("coords");
857 }
858
859 inValue = m_isVertexCase ? "a_coords" : "v_coords";
860 }
861 }
862 else if (in.inputType == INPUTTYPE_UNIFORM)
863 {
864 op << "uniform " << precName << " " << typeName << " u_in" << inNdx << ";\n";
865 inValue = string("u_in") + de::toString(inNdx);
866 }
867 else if (in.inputType == INPUTTYPE_CONST)
868 {
869 op << "const " << precName << " " << typeName << " in" << inNdx << " = ";
870
871 // Generate declaration.
872 switch (in.dataType)
873 {
874 case TYPE_FLOAT: op << de::floatToString(s_constInFloat[inNdx], 1); break;
875 case TYPE_FLOAT_VEC2: writeVectorConstructor<2>(op, s_constInVec2[inNdx]); break;
876 case TYPE_FLOAT_VEC3: writeVectorConstructor<3>(op, s_constInVec3[inNdx]); break;
877 case TYPE_FLOAT_VEC4: writeVectorConstructor<4>(op, s_constInVec4[inNdx]); break;
878 case TYPE_FLOAT_MAT2: writeMatrixConstructor<2, 2>(op, Mat2(s_constInMat2[inNdx])); break;
879 case TYPE_FLOAT_MAT3: writeMatrixConstructor<3, 3>(op, Mat3(s_constInMat3[inNdx])); break;
880 case TYPE_FLOAT_MAT4: writeMatrixConstructor<4, 4>(op, Mat4(s_constInMat4[inNdx])); break;
881
882 default:
883 DE_ASSERT(DE_FALSE);
884 }
885
886 op << ";\n";
887
888 inValue = string("in") + de::toString(inNdx);
889 }
890 }
891
892 vtx << "\n"
893 << "void main (void)\n"
894 << "{\n"
895 << " gl_Position = a_position;\n";
896 frag << "\n"
897 << "void main (void)\n"
898 << "{\n";
899
900 if (m_isVertexCase)
901 {
902 frag << " gl_FragColor = v_color;\n";
903 }
904 else
905 {
906 for (vector<string>::const_iterator copyIter = passVars.begin(); copyIter != passVars.end(); copyIter++)
907 vtx << " v_" << *copyIter << " = " << "a_" << *copyIter << ";\n";
908 }
909
910 // Operation.
911
912 switch (getOperationNature(m_op))
913 {
914 case OPERATIONNATURE_PURE:
915 DE_ASSERT(getOperationType(m_op) != OPERATIONTYPE_ASSIGNMENT);
916
917 operationValue0 = inValue0;
918 operationValue1 = inValue1;
919 break;
920
921 case OPERATIONNATURE_MUTATING:
922 DE_ASSERT(getOperationType(m_op) != OPERATIONTYPE_ASSIGNMENT);
923
924 op << " " << getPrecisionName(resultPrec) << " " << getDataTypeName(resultType) << " tmpValue = " << inValue0 << ";\n";
925
926 operationValue0 = "tmpValue";
927 operationValue1 = inValue1;
928 break;
929
930 case OPERATIONNATURE_ASSIGNMENT:
931 DE_ASSERT(getOperationType(m_op) == OPERATIONTYPE_ASSIGNMENT);
932
933 operationValue0 = inValue0;
934 operationValue1 = inValue1;
935 break;
936
937 default:
938 DE_ASSERT(DE_FALSE);
939 }
940
941 switch (getOperationType(m_op))
942 {
943 case OPERATIONTYPE_BINARY_OPERATOR:
944 op << " " << getPrecisionName(resultPrec) << " " << getDataTypeName(resultType) << " res = " << operationValue0 << " " << getOperationName(m_op) << " " << operationValue1 << ";\n";
945 break;
946
947 case OPERATIONTYPE_UNARY_PREFIX_OPERATOR:
948 op << " " << getPrecisionName(resultPrec) << " " << getDataTypeName(resultType) << " res = " << getOperationName(m_op) << operationValue0 << ";\n";
949 break;
950
951 case OPERATIONTYPE_UNARY_POSTFIX_OPERATOR:
952 op << " " << getPrecisionName(resultPrec) << " " << getDataTypeName(resultType) << " res = " << operationValue0 << getOperationName(m_op) << ";\n";
953 break;
954
955 case OPERATIONTYPE_BINARY_FUNCTION:
956 op << " " << getPrecisionName(resultPrec) << " " << getDataTypeName(resultType) << " res = " << getOperationName(m_op) << "(" << operationValue0 << ", " << operationValue1 << ");\n";
957 break;
958
959 case OPERATIONTYPE_ASSIGNMENT:
960 op << " " << getPrecisionName(resultPrec) << " " << getDataTypeName(resultType) << " res = " << operationValue0 << ";\n";
961 op << " res " << getOperationName(m_op) << " " << operationValue1 << ";\n";
962 break;
963
964 default:
965 DE_ASSERT(DE_FALSE);
966 }
967
968 // Reduction to vec3 (rgb). Check the used value too if it was modified.
969 op << " " << (m_isVertexCase ? "v_color" : "gl_FragColor") << " = ";
970
971 if (isOperationValueModifying(m_op))
972 op << "vec4(" << genGLSLMatToVec3Reduction(resultType, "res") << ", 1.0) + vec4(" << genGLSLMatToVec3Reduction(resultType, "tmpValue") << ", 0.0);\n";
973 else
974 op << "vec4(" << genGLSLMatToVec3Reduction(resultType, "res") << ", 1.0);\n";
975
976 vtx << "}\n";
977 frag << "}\n";
978
979 m_vertShaderSource = vtx.str();
980 m_fragShaderSource = frag.str();
981
982 // \todo [2012-02-14 pyry] Compute better values for matrix tests.
983 m_userAttribTransforms.resize(4);
984 for (int attribNdx = 0; attribNdx < 4; attribNdx++)
985 {
986 m_userAttribTransforms[attribNdx] = Mat4(0.0f);
987 m_userAttribTransforms[attribNdx]((0 + attribNdx) % 4, 0) = 1.0f;
988 m_userAttribTransforms[attribNdx]((1 + attribNdx) % 4, 1) = 1.0f;
989 m_userAttribTransforms[attribNdx]((2 + attribNdx) % 4, 2) = 1.0f;
990 m_userAttribTransforms[attribNdx]((3 + attribNdx) % 4, 3) = 1.0f;
991 }
992
993 // prevent bad reference cases such as black result images by fine-tuning used matrices
994 if (getOperationTestMatrixType(m_op) != TESTMATRIXTYPE_DEFAULT)
995 {
996 for (int attribNdx = 0; attribNdx < 4; attribNdx++)
997 {
998 for (int row = 0; row < 4; row++)
999 for (int col = 0; col < 4; col++)
1000 {
1001 switch (getOperationTestMatrixType(m_op))
1002 {
1003 case TESTMATRIXTYPE_NEGATED:
1004 m_userAttribTransforms[attribNdx](row, col) = -m_userAttribTransforms[attribNdx](row, col);
1005 break;
1006 case TESTMATRIXTYPE_INCREMENTED:
1007 m_userAttribTransforms[attribNdx](row, col) += 0.3f;
1008 break;
1009 case TESTMATRIXTYPE_DECREMENTED:
1010 m_userAttribTransforms[attribNdx](row, col) -= 0.1f;
1011 break;
1012
1013 default:
1014 DE_ASSERT(DE_FALSE);
1015 break;
1016 }
1017 }
1018 }
1019 }
1020
1021 ShaderRenderCase::init();
1022 }
1023
genGLSLMatToVec3Reduction(const glu::DataType & matType,const char * varName)1024 std::string ShaderMatrixCase::genGLSLMatToVec3Reduction (const glu::DataType& matType, const char* varName)
1025 {
1026 std::ostringstream op;
1027
1028 switch (matType)
1029 {
1030 case TYPE_FLOAT: op << varName << ", " << varName << ", " << varName << ""; break;
1031 case TYPE_FLOAT_VEC2: op << varName << ".x, " << varName << ".y, " << varName << ".x"; break;
1032 case TYPE_FLOAT_VEC3: op << varName << ""; break;
1033 case TYPE_FLOAT_VEC4: op << varName << ".x, " << varName << ".y, " << varName << ".z+" << varName << ".w"; break;
1034 case TYPE_FLOAT_MAT2: op << varName << "[0][0], " << varName << "[1][0], " << varName << "[0][1]+" << varName << "[1][1]"; break;
1035 case TYPE_FLOAT_MAT3: op << varName << "[0]+" << varName << "[1]+" << varName << "[2]"; break;
1036 case TYPE_FLOAT_MAT4: op << varName << "[0].xyz+" << varName << "[1].yzw+" << varName << "[2].zwx+" << varName << "[3].wxy"; break;
1037
1038 default:
1039 DE_ASSERT(DE_FALSE);
1040 }
1041
1042 return op.str();
1043 }
1044
setupUniforms(int programID,const tcu::Vec4 & constCoords)1045 void ShaderMatrixCase::setupUniforms (int programID, const tcu::Vec4& constCoords)
1046 {
1047 const glw::Functions& gl = m_renderCtx.getFunctions();
1048
1049 DE_UNREF(constCoords);
1050
1051 for (int inNdx = 0; inNdx < 2; inNdx++)
1052 {
1053 const ShaderInput& in = inNdx > 0 ? m_in1 : m_in0;
1054
1055 if (in.inputType == INPUTTYPE_UNIFORM)
1056 {
1057 int loc = gl.getUniformLocation(programID, (string("u_in") + de::toString(inNdx)).c_str());
1058
1059 if (loc < 0)
1060 continue;
1061
1062 switch (in.dataType)
1063 {
1064 case TYPE_FLOAT: gl.uniform1f(loc, s_constInFloat[inNdx]); break;
1065 case TYPE_FLOAT_VEC2: gl.uniform2fv(loc, 1, s_constInVec2[inNdx].getPtr()); break;
1066 case TYPE_FLOAT_VEC3: gl.uniform3fv(loc, 1, s_constInVec3[inNdx].getPtr()); break;
1067 case TYPE_FLOAT_VEC4: gl.uniform4fv(loc, 1, s_constInVec4[inNdx].getPtr()); break;
1068 case TYPE_FLOAT_MAT2: gl.uniformMatrix2fv(loc, 1, GL_FALSE, s_constInMat2[inNdx].getColumnMajorData().getPtr()); break;
1069 case TYPE_FLOAT_MAT3: gl.uniformMatrix3fv(loc, 1, GL_FALSE, s_constInMat3[inNdx].getColumnMajorData().getPtr()); break;
1070 case TYPE_FLOAT_MAT4: gl.uniformMatrix4fv(loc, 1, GL_FALSE, s_constInMat4[inNdx].getColumnMajorData().getPtr()); break;
1071 default:
1072 DE_ASSERT(false);
1073 }
1074 }
1075 }
1076 }
1077
ShaderMatrixTests(Context & context)1078 ShaderMatrixTests::ShaderMatrixTests (Context& context)
1079 : TestCaseGroup(context, "matrix", "Matrix Tests")
1080 {
1081 }
1082
~ShaderMatrixTests(void)1083 ShaderMatrixTests::~ShaderMatrixTests (void)
1084 {
1085 }
1086
init(void)1087 void ShaderMatrixTests::init (void)
1088 {
1089 static const struct
1090 {
1091 const char* name;
1092 const char* desc;
1093 MatrixOp op;
1094 bool extendedInputTypeCases; // !< test with const and uniform types too
1095 } ops[] =
1096 {
1097 { "add", "Matrix addition tests", OP_ADD, true },
1098 { "sub", "Matrix subtraction tests", OP_SUB, true },
1099 { "mul", "Matrix multiplication tests", OP_MUL, true },
1100 { "div", "Matrix division tests", OP_DIV, true },
1101 { "matrixcompmult", "Matrix component-wise multiplication tests", OP_COMP_MUL, false },
1102 { "unary_addition", "Matrix unary addition tests", OP_UNARY_PLUS, false },
1103 { "negation", "Matrix negation tests", OP_NEGATION, false },
1104 { "pre_increment", "Matrix prefix increment tests", OP_PRE_INCREMENT, false },
1105 { "pre_decrement", "Matrix prefix decrement tests", OP_PRE_DECREMENT, false },
1106 { "post_increment", "Matrix postfix increment tests", OP_POST_INCREMENT, false },
1107 { "post_decrement", "Matrix postfix decrement tests", OP_POST_DECREMENT, false },
1108 { "add_assign", "Matrix add into tests", OP_ADD_INTO, false },
1109 { "sub_assign", "Matrix subtract from tests", OP_SUBTRACT_FROM, false },
1110 { "mul_assign", "Matrix multiply into tests", OP_MULTIPLY_INTO, false },
1111 { "div_assign", "Matrix divide into tests", OP_DIVIDE_INTO, false },
1112 };
1113
1114 struct InputTypeSpec
1115 {
1116 const char* name;
1117 const char* desc;
1118 InputType type;
1119 };
1120 static const InputTypeSpec extendedInputTypes[] =
1121 {
1122 { "const", "Constant matrix input", INPUTTYPE_CONST },
1123 { "uniform", "Uniform matrix input", INPUTTYPE_UNIFORM },
1124 { "dynamic", "Dynamic matrix input", INPUTTYPE_DYNAMIC }
1125 };
1126 static const InputTypeSpec reducedInputTypes[] =
1127 {
1128 { "dynamic", "Dynamic matrix input", INPUTTYPE_DYNAMIC }
1129 };
1130
1131 static const DataType matrixTypes[] =
1132 {
1133 TYPE_FLOAT_MAT2,
1134 TYPE_FLOAT_MAT3,
1135 TYPE_FLOAT_MAT4
1136 };
1137
1138 static const Precision precisions[] =
1139 {
1140 PRECISION_LOWP,
1141 PRECISION_MEDIUMP,
1142 PRECISION_HIGHP
1143 };
1144
1145 for (int opNdx = 0; opNdx < DE_LENGTH_OF_ARRAY(ops); opNdx++)
1146 {
1147 const InputTypeSpec* inTypeList = (ops[opNdx].extendedInputTypeCases) ? (extendedInputTypes) : (reducedInputTypes);
1148 const int inTypeListSize = (ops[opNdx].extendedInputTypeCases) ? (DE_LENGTH_OF_ARRAY(extendedInputTypes)) : (DE_LENGTH_OF_ARRAY(reducedInputTypes));
1149 const MatrixOp op = ops[opNdx].op;
1150 tcu::TestCaseGroup* opGroup = new tcu::TestCaseGroup(m_testCtx, ops[opNdx].name, ops[opNdx].desc);
1151
1152 addChild(opGroup);
1153
1154 for (int inTypeNdx = 0; inTypeNdx < inTypeListSize; inTypeNdx++)
1155 {
1156 const InputType inputType = inTypeList[inTypeNdx].type;
1157
1158 for (int matTypeNdx = 0; matTypeNdx < DE_LENGTH_OF_ARRAY(matrixTypes); matTypeNdx++)
1159 {
1160 DataType matType = matrixTypes[matTypeNdx];
1161 const char* matTypeName = getDataTypeName(matType);
1162
1163 for (int precNdx = 0; precNdx < DE_LENGTH_OF_ARRAY(precisions); precNdx++)
1164 {
1165 Precision precision = precisions[precNdx];
1166 const char* precName = getPrecisionName(precision);
1167 string baseName = string(inTypeList[inTypeNdx].name) + "_" + precName + "_" + matTypeName + "_";
1168 ShaderInput matIn (inputType, matType, precision);
1169
1170 if (isOperationMatrixScalar(op))
1171 {
1172 // Matrix-scalar \note For div cases we use uniform input.
1173 ShaderInput scalarIn(op == OP_DIV ? INPUTTYPE_UNIFORM : INPUTTYPE_DYNAMIC, TYPE_FLOAT, precision);
1174 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + "float_vertex").c_str(), "Matrix-scalar case", matIn, scalarIn, op, true));
1175 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + "float_fragment").c_str(), "Matrix-scalar case", matIn, scalarIn, op, false));
1176 }
1177
1178 if (isOperationMatrixVector(op))
1179 {
1180 // Matrix-vector.
1181 DataType vecType = getDataTypeFloatVec(getDataTypeMatrixNumColumns(matType));
1182 ShaderInput vecIn (op == OP_DIV ? INPUTTYPE_UNIFORM : INPUTTYPE_DYNAMIC, vecType, precision);
1183
1184 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + getDataTypeName(vecType) + "_vertex").c_str(), "Matrix-vector case", matIn, vecIn, op, true));
1185 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + getDataTypeName(vecType) + "_fragment").c_str(), "Matrix-vector case", matIn, vecIn, op, false));
1186
1187 // Vector-matrix.
1188 string vecMatName = string(inTypeList[inTypeNdx].name) + "_" + precName + "_" + getDataTypeName(vecType) + "_" + matTypeName;
1189 opGroup->addChild(new ShaderMatrixCase(m_context, (vecMatName + "_vertex").c_str(), "Vector-matrix case", vecIn, matIn, op, true));
1190 opGroup->addChild(new ShaderMatrixCase(m_context, (vecMatName + "_fragment").c_str(), "Vector-matrix case", vecIn, matIn, op, false));
1191 }
1192
1193 if (isOperationMatrixMatrix(op))
1194 {
1195 // Matrix-matrix.
1196 ShaderInput otherMatIn(inputType == INPUTTYPE_DYNAMIC ? INPUTTYPE_UNIFORM : inputType, matType, precision);
1197 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + matTypeName + "_vertex").c_str(), "Matrix-matrix case", matIn, otherMatIn, op, true));
1198 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + matTypeName + "_fragment").c_str(), "Matrix-matrix case", matIn, otherMatIn, op, false));
1199 }
1200
1201 if (isOperationUnary(op))
1202 {
1203 // op matrix
1204 ShaderInput voidInput(INPUTTYPE_LAST, TYPE_LAST, PRECISION_LAST);
1205 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + "vertex").c_str(), "Matrix case", matIn, voidInput, op, true));
1206 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + "fragment").c_str(), "Matrix case", matIn, voidInput, op, false));
1207 }
1208
1209 if (isOperationAssignment(op))
1210 {
1211 ShaderInput otherMatIn(inputType == INPUTTYPE_DYNAMIC ? INPUTTYPE_UNIFORM : inputType, matType, precision);
1212 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + "vertex").c_str(), "Matrix assignment case", matIn, otherMatIn, op, true));
1213 opGroup->addChild(new ShaderMatrixCase(m_context, (baseName + "fragment").c_str(), "Matrix assignment case", matIn, otherMatIn, op, false));
1214 }
1215 }
1216 }
1217 }
1218 }
1219 }
1220
1221 } // Functional
1222 } // gles2
1223 } // deqp
1224
1225 #if defined(_MSC_VER) && _MSC_FULL_VER == 191125507
1226 // Work around crbug.com/759402 which is a code-gen bug in VC++ 2017, version
1227 // 15.3.2.
1228 #pragma optimize("", off)
1229 #endif
1230