| <!-- |
| Copyright (c) 2019 The Khronos Group Inc. |
| Use of this source code is governed by an MIT-style license that can be |
| found in the LICENSE.txt file. |
| --> |
| |
| <!DOCTYPE html> |
| <html> |
| <head> |
| <meta charset="utf-8"> |
| <title>GLSL array in complex expression test</title> |
| <link rel="stylesheet" href="../../resources/js-test-style.css"/> |
| <script src="../../js/js-test-pre.js"></script> |
| <script src="../../js/webgl-test-utils.js"></script> |
| <script src="../../js/glsl-conformance-test.js"></script> |
| </head> |
| <body> |
| <div id="description"></div> |
| <div id="console"></div> |
| <script id="fshaderAndShortCircuits" type="x-shader/x-fragment">#version 300 es |
| precision mediump float; |
| |
| out vec4 my_FragColor; |
| |
| int g = 0; |
| |
| int[2] plus() { |
| ++g; |
| return int[2](g, g); |
| } |
| |
| bool minus() { |
| --g; |
| return false; |
| } |
| |
| void main() { |
| int a[2] = int[2](0, 0); |
| // The function call must not be evaluated, since && short-circuits |
| minus() && (a == plus()); |
| my_FragColor = vec4(0.0, ((g == -1) ? 1.0 : 0.0), 0.0, 1.0); |
| } |
| </script> |
| <script id="fshaderOrShortCircuits" type="x-shader/x-fragment">#version 300 es |
| precision mediump float; |
| |
| out vec4 my_FragColor; |
| |
| int g = 0; |
| |
| int[2] plus() { |
| ++g; |
| return int[2](g, g); |
| } |
| |
| bool minus() { |
| --g; |
| return true; |
| } |
| |
| void main() { |
| int a[2] = int[2](0, 0); |
| // The function call must not be evaluated, since || short-circuits. |
| minus() || (a == plus()); |
| my_FragColor = vec4(0.0, ((g == -1) ? 1.0 : 0.0), 0.0, 1.0); |
| } |
| </script> |
| <script id="fshaderTernaryOnlyEvaluatesOneOperand" type="x-shader/x-fragment">#version 300 es |
| precision mediump float; |
| |
| out vec4 my_FragColor; |
| |
| int g = 0; |
| |
| int[2] plus() { |
| ++g; |
| return int[2](g, g); |
| } |
| |
| void main() { |
| int a[2] = int[2](0, 0); |
| // The function call must not be evaluated, since the condition is true. |
| (g == 0) ? true : (a == plus()); |
| my_FragColor = vec4(0.0, ((g == 0) ? 1.0 : 0.0), 0.0, 1.0); |
| } |
| </script> |
| <script id="fshaderSequenceSideEffectsAffectingComparedArrayContent" type="x-shader/x-fragment">#version 300 es |
| precision mediump float; |
| |
| out vec4 my_FragColor; |
| |
| int[2] func(int param) { |
| return int[2](param, param); |
| } |
| |
| void main() { |
| int a[2]; |
| for (int i = 0; i < 2; ++i) { |
| a[i] = 1; |
| } |
| int j = 0; |
| // Sequence operator evaluates operands from left to right (ESSL 3.00 section 5.9). |
| // The function call that returns the array needs to be evaluated after ++j |
| // for the expression to return the correct value (true). |
| bool result = ((++j), (a == func(j))); |
| my_FragColor = vec4(0.0, (result ? 1.0 : 0.0), 0.0, 1.0); |
| } |
| </script> |
| <script type="application/javascript"> |
| "use strict"; |
| description("Arrays in complex expressions should work"); |
| debug(""); |
| debug("This test is targeted to stress syntax tree transformations that might need to be done in shader translation when the platform doesn't natively support arrays as return values."); |
| |
| GLSLConformanceTester.runRenderTests([ |
| { |
| fShaderId: 'fshaderAndShortCircuits', |
| fShaderSuccess: true, |
| linkSuccess: true, |
| passMsg: "Expression where an array is returned from a function call inside an operand to && that doesn't get evaluated as result of short-circuiting" |
| }, |
| { |
| fShaderId: 'fshaderOrShortCircuits', |
| fShaderSuccess: true, |
| linkSuccess: true, |
| passMsg: "Expression where an array is returned from a function call inside an operand to || that doesn't get evaluated as result of short-circuiting" |
| }, |
| { |
| fShaderId: 'fshaderTernaryOnlyEvaluatesOneOperand', |
| fShaderSuccess: true, |
| linkSuccess: true, |
| passMsg: "Expression where an array is returned from a function call in an operand of a ternary operator that doesn't get evaluated" |
| }, |
| { |
| fShaderId: 'fshaderSequenceSideEffectsAffectingComparedArrayContent', |
| fShaderSuccess: true, |
| linkSuccess: true, |
| passMsg: 'Expression where first operand of a sequence operator has side effects which affect the second operand that returns an array' |
| } |
| ], 2); |
| </script> |
| </body> |
| </html> |
| |