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
|
# This tests unrolling of a loop with a single exit point but where the
# exact trip count is unknown, only the max iteration count (4) is known.
#
# Here we test all possible outcomes for the loop and also add some
# unreachable code to make sure it is not accessible after unrolling.
[require]
GLSL >= 1.10
[vertex shader]
uniform int loop_count;
uniform int loop_count2;
void main()
{
gl_Position = gl_Vertex;
vec4 colour = vec4(1.0, 1.0, 1.0, 1.0);
int i = 0;
int j = 0;
int x = 0;
/* Here we add a second && and put the known limit i < 4 in parentheses in
* order to trigger a Mesa bug seen in a Assasins Creed Odyssey shader
*/
while (x < loop_count && (i < 4 && j < loop_count2)) {
if (x == 0 && i == 0)
colour = vec4(0.0, 0.25, 0.0, 1.0);
if (x == 2 && i == 1 && j == 4)
colour = vec4(0.0, 0.5, 0.0, 1.0);
if (x == 4 && i == 2 && j == 8)
colour = vec4(0.0, 0.75, 0.0, 1.0);
if (x == 6 && i == 3 && j == 12)
colour = vec4(0.0, 1.0, 0.0, 1.0);
/* This should be unreachable */
if (x >= 8 || i >= 4)
colour = vec4(1.0, 0.0, 0.0, 1.0);
i++;
x+=2;
j+=4;
}
gl_FrontColor = colour;
}
[fragment shader]
void main()
{
gl_FragColor = gl_Color;
}
[test]
clear color 0.5 0.5 0.5 0.5
uniform int loop_count 0
uniform int loop_count2 16
draw rect -1 -1 2 2
probe all rgba 1.0 1.0 1.0 1.0
uniform int loop_count 2
uniform int loop_count2 16
draw rect -1 -1 2 2
probe all rgba 0.0 0.25 0.0 1.0
uniform int loop_count 4
uniform int loop_count2 16
draw rect -1 -1 2 2
probe all rgba 0.0 0.5 0.0 1.0
uniform int loop_count 6
uniform int loop_count2 16
draw rect -1 -1 2 2
probe all rgba 0.0 0.75 0.0 1.0
uniform int loop_count 8
uniform int loop_count2 16
draw rect -1 -1 2 2
probe all rgba 0.0 1.0 0.0 1.0
uniform int loop_count 10
uniform int loop_count2 16
draw rect -1 -1 2 2
probe all rgba 0.0 1.0 0.0 1.0
|
