glsl-array-bounds: set out-of-bounds array index inside shader
[piglit.git] / tests / shaders / glsl-fs-absoluteDifference-uint.shader_test
blob17a888888850b35240759e284ea878ac714dc23e
1 [require]
2 GL >= 3.0
3 GLSL >= 1.30
4 GL_EXT_shader_integer_mix
6 [vertex shader passthrough]
8 [fragment shader]
9 #extension GL_EXT_shader_integer_mix: require
11 // { A, B, absoluteDifference(A, B) }
12 uniform uvec3 data[40];
14 out vec4 color;
16 uint abs_diff(uint a, uint b)
18     /* This can fail if the compiler replaces the (a < b) with the result of
19      * one of the subtractions.  For inputs a = 0x80000000, b = 4,
20      * int(0x80000000) < 4, but int(0x80000000)-4 overflows and results in
21      * 0x7ffffffc.  That's not less than zero, so the flags get set
22      * differently than for (a < b).
23      */
24     return mix(a - b, b - a, a < b);
27 void main()
29     uint idx = uint(gl_FragCoord.x) % uint(data.length());
30     uvec3 v = data[idx];
32     if (abs_diff(v.x, v.y) == uint(v.z)) {
33         color = vec4(0.0, 1.0, 0.0, 1.0);
34     } else {
35         color = vec4(1.0, 0.0, 0.0, 1.0);
36     }
39 [test]
40 uniform uvec3 data[0] 0x80000000 0x80000000 0x00000000
41 uniform uvec3 data[1] 0x80000000 0x80000001 0x00000001
42 uniform uvec3 data[2] 0x80000000 0xf8000000 0x78000000
43 uniform uvec3 data[3] 0x80000000 0xf8000001 0x78000001
44 uniform uvec3 data[4] 0x80000000 0xff800000 0x7f800000
45 uniform uvec3 data[5] 0x80000000 0xff800001 0x7f800001
46 uniform uvec3 data[6] 0x80000000 0xfff80000 0x7ff80000
47 uniform uvec3 data[7] 0x80000000 0xfff80001 0x7ff80001
48 uniform uvec3 data[8] 0x80000000 0xffff8000 0x7fff8000
49 uniform uvec3 data[9] 0x80000000 0xffff8001 0x7fff8001
50 uniform uvec3 data[10] 0x80000000 0xfffff800 0x7ffff800
51 uniform uvec3 data[11] 0x80000000 0xfffff801 0x7ffff801
52 uniform uvec3 data[12] 0x80000000 0xffffff80 0x7fffff80
53 uniform uvec3 data[13] 0x80000000 0xffffff81 0x7fffff81
54 uniform uvec3 data[14] 0x80000000 0xfffffff8 0x7ffffff8
55 uniform uvec3 data[15] 0x80000000 0xfffffff9 0x7ffffff9
56 uniform uvec3 data[16] 0x80000000 0xfffffffa 0x7ffffffa
57 uniform uvec3 data[17] 0x80000000 0xfffffffb 0x7ffffffb
58 uniform uvec3 data[18] 0x80000000 0xfffffffc 0x7ffffffc
59 uniform uvec3 data[19] 0x80000000 0xfffffffd 0x7ffffffd
60 uniform uvec3 data[20] 0x80000000 0xfffffffe 0x7ffffffe
61 uniform uvec3 data[21] 0x80000000 0xffffffff 0x7fffffff
62 uniform uvec3 data[22] 0x80000000 0x00000000 0x80000000
63 uniform uvec3 data[23] 0x80000000 0x00000001 0x7fffffff
64 uniform uvec3 data[24] 0x80000000 0x00000002 0x7ffffffe
65 uniform uvec3 data[25] 0x80000000 0x00000003 0x7ffffffd
66 uniform uvec3 data[26] 0x80000000 0x00000004 0x7ffffffc
67 uniform uvec3 data[27] 0x80000000 0x00000005 0x7ffffffb
68 uniform uvec3 data[28] 0x80000000 0x00000006 0x7ffffffa
69 uniform uvec3 data[29] 0x80000000 0x00000007 0x7ffffff9
70 uniform uvec3 data[30] 0x80000000 0x00000008 0x7ffffff8
71 uniform uvec3 data[31] 0x80000000 0x0000007f 0x7fffff81
72 uniform uvec3 data[32] 0x80000000 0x00000080 0x7fffff80
73 uniform uvec3 data[33] 0x80000000 0x000007ff 0x7ffff801
74 uniform uvec3 data[34] 0x80000000 0x00000800 0x7ffff800
75 uniform uvec3 data[35] 0x80000000 0x00007fff 0x7fff8001
76 uniform uvec3 data[36] 0x80000000 0x00008000 0x7fff8000
77 uniform uvec3 data[37] 0x80000000 0x0007ffff 0x7ff80001
78 uniform uvec3 data[38] 0x80000000 0x00080000 0x7ff80000
79 uniform uvec3 data[39] 0x80000000 0x007fffff 0x7f800001
81 draw rect -1 -1 2 2
82 probe all rgb 0.0 1.0 0.0