[Piglit] [PATCH] glsl-1.10: test unreachable code in a loop is not accessed

[Tapani Pälli]

Reviewed-by: Tapani Pälli <tapani.palli at intel.com>

On 3/21/19 3:38 AM, Timothy Arceri wrote:
> ---
>   .../vs-loop-with-dead-code-unroll.shader_test | 43 +++++++++++++++++++
>   1 file changed, 43 insertions(+)
>   create mode 100644 tests/spec/glsl-1.10/execution/vs-loop-with-dead-code-unroll.shader_test
> 
> diff --git a/tests/spec/glsl-1.10/execution/vs-loop-with-dead-code-unroll.shader_test b/tests/spec/glsl-1.10/execution/vs-loop-with-dead-code-unroll.shader_test
> new file mode 100644
> index 000000000..780dd6428
> --- /dev/null
> +++ b/tests/spec/glsl-1.10/execution/vs-loop-with-dead-code-unroll.shader_test
> @@ -0,0 +1,43 @@
> +# Tests that unreachable code in a loop doesn't get accessed.
> +[require]
> +GLSL >= 1.10
> +
> +[vertex shader]
> +uniform int loop_count;
> +
> +void main()
> +{
> +  vec4 colour_array[4];
> +
> +  colour_array[0] = vec4(0.25, 0.0, 0.0, 1.0);
> +  colour_array[1] = vec4(0.5, 0.0, 0.0, 1.0);
> +  colour_array[2] = vec4(0.75, 0.0, 0.0, 1.0);
> +  colour_array[3] = vec4(1.0, 0.0, 0.0, 1.0);
> +
> +  gl_Position = gl_Vertex;
> +
> +  vec4 colour = vec4(0.0, 1.0, 0.0, 1.0);
> +  for (int i = 0; i < 4; i++) {
> +    if (i < loop_count)
> +       continue;
> +    else
> +       break;
> +
> +    colour = colour_array[i];
> +  }
> +
> +  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 4
> +draw rect -1 -1 2 2
> +probe all rgba 0.0 1.0 0.0 1.0
>