<!--

/*
** Copyright (c) 2015 The Khronos Group Inc.
**
** Permission is hereby granted, free of charge, to any person obtaining a
** copy of this software and/or associated documentation files (the
** "Materials"), to deal in the Materials without restriction, including
** without limitation the rights to use, copy, modify, merge, publish,
** distribute, sublicense, and/or sell copies of the Materials, and to
** permit persons to whom the Materials are furnished to do so, subject to
** the following conditions:
**
** The above copyright notice and this permission notice shall be included
** in all copies or substantial portions of the Materials.
**
** THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
** EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
** MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
** IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
** CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
** TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
** MATERIALS OR THE USE OR OTHER DEALINGS IN THE MATERIALS.
*/

-->

<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>GLSL short-circuiting operators should be evaluated after previous operands in a sequence</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>
<canvas id="canvas" width="64" height="64"> </canvas>
<div id="description"></div>
<div id="console"></div>
<script id="fshaderSequenceSideEffectsAffectTernary" type="x-shader/x-fragment">
precision mediump float;

bool correct = true;

uniform float u_zero;

float wrong() {
    correct = false;
    return 0.0;
}

void main() {
    // ESSL 1.00 section 5.9, about sequence operator:
    // "All expressions are evaluated, in order, from left to right"
    // Also use a ternary operator where the third operand has side effects to make sure
    // only the second operand is evaluated.
    float a = u_zero - 0.5; // Result should be -0.5.
    float green = (a++, a > 0.0 ? 1.0 : wrong());
    gl_FragColor = vec4(0.0, correct ? green : 0.0, 0.0, 1.0);
}
</script>
<script id="fshaderSequenceSideEffectsAffectAnd" type="x-shader/x-fragment">
precision mediump float;

uniform bool u_false;

bool sideEffectA = false;
bool funcA() {
    sideEffectA = true;
    return true;
}

bool sideEffectB = false;
bool funcB() {
    sideEffectB = true;
    return true;
}

void main() {
    bool b = (funcA(), u_false == sideEffectA && funcB());
    gl_FragColor = (!b && sideEffectA && !sideEffectB) ? vec4(0, 1, 0, 1) : vec4(1, 0, 0, 1);
}
</script>
<script id="fshaderSequenceSideEffectsAffectOr" type="x-shader/x-fragment">
precision mediump float;

uniform bool u_false;

bool sideEffectA = false;
bool funcA() {
    sideEffectA = true;
    return false;
}

bool sideEffectB = false;
bool funcB() {
    sideEffectB = true;
    return false;
}

void main() {
    bool b = (funcA(), (u_false == !sideEffectA) || funcB());
    gl_FragColor = (b && sideEffectA && !sideEffectB) ? vec4(0, 1, 0, 1) : vec4(1, 0, 0, 1);
}
</script>
<script type="application/javascript">
"use strict";
description();
debug("");
debug("This test is targeted to stress syntax tree transformations that might need to be done in shader translation to unfold operators.");

debug("SKIP: 2 cases skipped: crbug.com/695683");

GLSLConformanceTester.runRenderTests([
{
  fShaderId: 'fshaderSequenceSideEffectsAffectTernary',
  fShaderSuccess: true,
  linkSuccess: true,
  passMsg: 'Expression where first operand of a sequence operator has side effects which affect the second operand that is a ternary operator'
},
// crbug.com/695683
/*
{
  fShaderId: 'fshaderSequenceSideEffectsAffectAnd',
  fShaderSuccess: true,
  linkSuccess: true,
  passMsg: 'Expression where first operand of a sequence operator has side effects which affect the second operand that is an and operator'
},
{
  fShaderId: 'fshaderSequenceSideEffectsAffectOr',
  fShaderSuccess: true,
  linkSuccess: true,
  passMsg: 'Expression where first operand of a sequence operator has side effects which affect the second operand that is an or operator'
}
*/
]);
</script>
</body>
</html>

