From a068c5e129b07bd31d9a98721c3c7ab0611b6868 Mon Sep 17 00:00:00 2001 From: Timothy Arceri Date: Thu, 17 Oct 2024 16:20:30 +1100 Subject: glsl-1.20: loop unroll tests for uint induction var MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Reviewed-by: Marek Olšák Part-of: --- .../vs-loop-uint-induction-var-1.shader_test | 66 ++++++++++++++++++++++ .../vs-loop-uint-induction-var-2.shader_test | 66 ++++++++++++++++++++++ .../vs-loop-uint-induction-var-3.shader_test | 64 +++++++++++++++++++++ .../vs-loop-uint-induction-var-4.shader_test | 64 +++++++++++++++++++++ 4 files changed, 260 insertions(+) create mode 100644 tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-1.shader_test create mode 100644 tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-2.shader_test create mode 100644 tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-3.shader_test create mode 100644 tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-4.shader_test diff --git a/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-1.shader_test b/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-1.shader_test new file mode 100644 index 000000000..6c534cf8b --- /dev/null +++ b/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-1.shader_test @@ -0,0 +1,66 @@ +# This tests that we do not unroll a loop in error thinking we know the max +# trip count due to the induction variable being uint. i.e The max trip count +# here is 4294967295 with this test we are making sure the compiler doesn't +# mistakenly think the trip count is 4. +[require] +GLSL >= 1.20 + +[vertex shader] +#version 130 + +uniform uint induction_init; + +void main() +{ + gl_Position = gl_Vertex; + + vec4 colour = vec4(1.0, 1.0, 1.0, 1.0); + vec4 colour2 = vec4(0.0, 0.0, 0.0, 1.0); + + uint j = 0u; + uint i = induction_init; + while (true) { + + if (j > 4u) { + colour = vec4(1.0, 0.0, 0.0, 1.0); + } + + if (i >= 4u) { + + } else { + break; + } + + colour = vec4(0.0, 1.0, 0.0, 1.0); + + i++; + j++; + } + + gl_FrontColor = colour + colour2; +} + +[fragment shader] +void main() +{ + gl_FragColor = gl_Color; +} + +[test] +clear color 0.5 0.5 0.5 0.5 + +# unit_max 4294967295 + +# induction_init equivalent to starting at int -5 +uniform uint induction_init 4294967291 +draw rect -1 -1 2 2 +probe all rgba 1.0 0.0 0.0 1.0 + +# induction_init equivalent to starting at int -3 +uniform uint induction_init 4294967293 +draw rect -1 -1 2 2 +probe all rgba 0.0 1.0 0.0 1.0 + +uniform uint induction_init 0 +draw rect -1 -1 2 2 +probe all rgba 1.0 1.0 1.0 1.0 diff --git a/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-2.shader_test b/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-2.shader_test new file mode 100644 index 000000000..b9268fd3d --- /dev/null +++ b/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-2.shader_test @@ -0,0 +1,66 @@ +# This tests that we do not unroll a loop in error thinking we know the max +# trip count due to the induction variable being uint. i.e The max trip count +# here is 4294967295 with this test we are making sure the compiler doesn't +# mistakenly think the trip count is 4. +[require] +GLSL >= 1.20 + +[vertex shader] +#version 130 + +uniform uint induction_init; + +void main() +{ + gl_Position = gl_Vertex; + + vec4 colour = vec4(1.0, 1.0, 1.0, 1.0); + vec4 colour2 = vec4(0.0, 0.0, 0.0, 1.0); + + uint j = 0u; + uint i = induction_init; + while (true) { + + if (j > 4u) { + colour = vec4(1.0, 0.0, 0.0, 1.0); + } + + if (3u < i) { + + } else { + break; + } + + colour = vec4(0.0, 1.0, 0.0, 1.0); + + i++; + j++; + } + + gl_FrontColor = colour + colour2; +} + +[fragment shader] +void main() +{ + gl_FragColor = gl_Color; +} + +[test] +clear color 0.5 0.5 0.5 0.5 + +# unit_max 4294967295 + +# induction_init equivalent to starting at int -5 +uniform uint induction_init 4294967291 +draw rect -1 -1 2 2 +probe all rgba 1.0 0.0 0.0 1.0 + +# induction_init equivalent to starting at int -3 +uniform uint induction_init 4294967293 +draw rect -1 -1 2 2 +probe all rgba 0.0 1.0 0.0 1.0 + +uniform uint induction_init 0 +draw rect -1 -1 2 2 +probe all rgba 1.0 1.0 1.0 1.0 diff --git a/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-3.shader_test b/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-3.shader_test new file mode 100644 index 000000000..b4bc9be97 --- /dev/null +++ b/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-3.shader_test @@ -0,0 +1,64 @@ +# This tests that we do not unroll a loop in error thinking we know the max +# trip count due to the induction variable being uint. i.e The max trip count +# here is 4294967295 with this test we are making sure the compiler doesn't +# mistakenly think the trip count is 4. +[require] +GLSL >= 1.20 + +[vertex shader] +#version 130 + +uniform uint induction_init; + +void main() +{ + gl_Position = gl_Vertex; + + vec4 colour = vec4(1.0, 1.0, 1.0, 1.0); + vec4 colour2 = vec4(0.0, 0.0, 0.0, 1.0); + + uint j = 0u; + uint i = induction_init; + while (true) { + + if (j > 4u) { + colour = vec4(1.0, 0.0, 0.0, 1.0); + } + + if (!(i >= 4u)) { + break; + } + + colour = vec4(0.0, 1.0, 0.0, 1.0); + + i++; + j++; + } + + gl_FrontColor = colour + colour2; +} + +[fragment shader] +void main() +{ + gl_FragColor = gl_Color; +} + +[test] +clear color 0.5 0.5 0.5 0.5 + +# unit_max 4294967295 + +# induction_init equivalent to starting at int -5 +uniform uint induction_init 4294967291 +draw rect -1 -1 2 2 +probe all rgba 1.0 0.0 0.0 1.0 + +# induction_init equivalent to starting at int -3 +uniform uint induction_init 4294967293 +draw rect -1 -1 2 2 +probe all rgba 0.0 1.0 0.0 1.0 + +uniform uint induction_init 0 +draw rect -1 -1 2 2 +probe all rgba 1.0 1.0 1.0 1.0 diff --git a/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-4.shader_test b/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-4.shader_test new file mode 100644 index 000000000..566f75a17 --- /dev/null +++ b/tests/spec/glsl-1.20/execution/vs-loop-uint-induction-var-4.shader_test @@ -0,0 +1,64 @@ +# This tests that we do not unroll a loop in error thinking we know the max +# trip count due to the induction variable being uint. i.e The max trip count +# here is 4294967295 with this test we are making sure the compiler doesn't +# mistakenly think the trip count is 4. +[require] +GLSL >= 1.20 + +[vertex shader] +#version 130 + +uniform uint induction_init; + +void main() +{ + gl_Position = gl_Vertex; + + vec4 colour = vec4(1.0, 1.0, 1.0, 1.0); + vec4 colour2 = vec4(0.0, 0.0, 0.0, 1.0); + + uint j = 0u; + uint i = induction_init; + while (true) { + + if (j > 4u) { + colour = vec4(1.0, 0.0, 0.0, 1.0); + } + + if (!(3u < i)) { + break; + } + + colour = vec4(0.0, 1.0, 0.0, 1.0); + + i++; + j++; + } + + gl_FrontColor = colour + colour2; +} + +[fragment shader] +void main() +{ + gl_FragColor = gl_Color; +} + +[test] +clear color 0.5 0.5 0.5 0.5 + +# unit_max 4294967295 + +# induction_init equivalent to starting at int -5 +uniform uint induction_init 4294967291 +draw rect -1 -1 2 2 +probe all rgba 1.0 0.0 0.0 1.0 + +# induction_init equivalent to starting at int -3 +uniform uint induction_init 4294967293 +draw rect -1 -1 2 2 +probe all rgba 0.0 1.0 0.0 1.0 + +uniform uint induction_init 0 +draw rect -1 -1 2 2 +probe all rgba 1.0 1.0 1.0 1.0 -- cgit v1.2.3