Source code
Revision control
Copy as Markdown
Other Tools
<!--
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>