summaryrefslogtreecommitdiffstats
path: root/dom/canvas/test/webgl-conf/checkout/conformance/glsl/bugs/conditional-discard-optimization.html
blob: 1c3b1bb6fbb4b107e1c4066ba5435f744a54e060 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
<!--
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.
-->

<!-- author: Bill Baxter (wbaxter at google.com) -->

<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>ANGLE WebGL Shader Conditionals Repro</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>
</head>

<body>
<canvas id="repro" style="border: none;" width="256" height="256"></canvas>
<div id="description"></div>
<div id="console"></div>

<script id="shader-vs" type="x-shader/x-vertex">
attribute vec2 pos;
varying mediump float varA;
void main(void) {
  varA = 0.;
  gl_Position = vec4(pos, 0.0, 1.0);
}
</script>

<script id="shader-fs" type="x-shader/x-fragment">
precision mediump float;
varying float varA;
void main(void) {
  if (varA < -1. || (varA < -1. && varA > 1.)) {
    discard;
  }
  gl_FragColor = vec4(0, 1, 0, 1) + 2. * varA * 2.;
}
</script>

<script id="shader-fs-mutable" type="x-shader/x-fragment">
precision mediump float;
varying float varA;
void main(void) {
  float b = varA;
  if (varA < (b -= 1.) || (varA < b && varA > (b += 2.))) {
    discard;
  }
  gl_FragColor = vec4(0, 1, 0, 1) + 2. * varA * 2.;
}
</script>
<script id="shader-fs-unfolded" type="x-shader/x-fragment">
precision mediump float;
varying float varA;
void main(void) {
  bool s1 = varA < -1.;
  if (!s1) {
    bool s2 = varA < -1.;
    if (s2) {
      s2 = varA > 1.;
    }
    s1 = s2;
  }
  if (s1) {
    discard;
  }
  gl_FragColor = vec4(0, 1, 0, 1) + 2. * varA * 2.;
}
</script>
<script>
"use strict";

description();
debug("");
debug("If things are working correctly, then there will be a green square.");
debug("Otherwise it will be a black void.");
debug("This is a repro for an issue seen on the D3D9 ANGLE implementation of WebGL on Chrome in a shader with a conditional discard, where the conditional is of the form (a || (b && c)).");

var wtu = WebGLTestUtils;
var canvas = document.getElementById("repro");
var gl = wtu.create3DContext(canvas);
if (!gl) {
  testFailed("context does not exist");
} else {
  gl.clearColor(0.0, 0.0, 0.0, 1.0);
  wtu.setupUnitQuad(gl);

  debug("");
  debug("Testing shader with conditional discard");
  gl.clear(gl.COLOR_BUFFER_BIT | gl.DEPTH_BUFFER_BIT);
  var program = wtu.setupProgram(gl, ["shader-vs", "shader-fs"], ["pos"], undefined, true);
  wtu.drawUnitQuad(gl);
  wtu.checkCanvasRect(gl, 128, 128, 128, 128, [ 0, 255, 0, 255 ], "should be green", 1);

  debug("");
  debug("Testing conditional discard with side-effects in conditions");
  gl.clear(gl.COLOR_BUFFER_BIT | gl.DEPTH_BUFFER_BIT);
  var programMutable = wtu.setupProgram(gl, ["shader-vs", "shader-fs-mutable"], ["pos"], undefined, true);
  wtu.drawUnitQuad(gl);
  wtu.checkCanvasRect(gl, 128, 128, 128, 128, [ 0, 255, 0, 255 ], "should be green", 1);

  debug("");
  debug("Testing conditional discard with unfolded condition logic");
  gl.clear(gl.COLOR_BUFFER_BIT | gl.DEPTH_BUFFER_BIT);
  var programMutable = wtu.setupProgram(gl, ["shader-vs", "shader-fs-unfolded"], ["pos"], undefined, true);
  wtu.drawUnitQuad(gl);
  wtu.checkCanvasRect(gl, 128, 128, 128, 128, [ 0, 255, 0, 255 ], "should be green", 1);
}

var successfullyParsed = true;
</script>
<script src="../../../js/js-test-post.js"></script>
</body>
</html>