tests/spec/arb_geometry_shader4/linker/2darray-bounds-and-sizes-check.shader_test

   1 #Test bounds checking of 2d array indexing.
   2 #Also test length validation of the inner array of 2d arrays.
   3 [require]
   4 GL >= 2.0
   5 GLSL >= 1.20
   6 GL_ARB_geometry_shader4
   7
   8 [vertex shader]
   9 #version 120
  10
  11 attribute vec4 vertex;
  12
  13 varying float gs_input1[1];
  14 varying float gs_input4[4];
  15
  16 void main()
  17 {
  18         gs_input1[0] = 0.5;
  19         for (int i = 0; i < 4; i++)
  20                 gs_input4[i] = 0.5;
  21         gl_Position = vertex;
  22 }
  23
  24 [geometry shader]
  25 #version 120
  26 #extension GL_ARB_geometry_shader4: enable
  27
  28 varying in float gs_input1[3][1];
  29 varying in float gs_input4[3][4];
  30
  31 varying out vec4 gs_out;
  32
  33 void main()
  34 {
  35         /* Constant indexing of arrays with known size should do a bounds check.
  36          * The bounds check on these to operations would fail if the compiler
  37          * checked the index against the wrong array dimension.
  38          */
  39         float s1 = gs_input1[1][0];
  40         float s2 = gs_input4[0][3];
  41
  42         /* Assignment operations of arrays should fail if the arrays don't have
  43          * the same size.
  44          * The assignment operations would fail if the compiler incorrectly
  45          * compared the size of the local arrays a* (1 and 4, respectively) to
  46          * the size of the outer dimension of the input arrays gs_input* (3).
  47          */
  48         float a1[1] = gs_input1[0];
  49         float a4[4] = gs_input4[0];
  50
  51         for (int i = 0; i < gl_VerticesIn; i++) {
  52                 gs_out = vec4(s1, s2, a1[0], a4[0]);
  53
  54                 gl_Position = gl_PositionIn[i];
  55                 EmitVertex();
  56         }
  57 }
  58
  59 [geometry layout]
  60 input type GL_TRIANGLES
  61 output type GL_TRIANGLE_STRIP
  62 vertices out 3
  63
  64 [fragment shader]
  65 #version 120
  66
  67 const int gs_VerticesIn = 3;
  68
  69 varying vec4 gs_out;
  70
  71 void main()
  72 {
  73   gl_FragColor = gs_out;
  74 }
  75
  76 [vertex data]
  77 vertex/float/2
  78 -1.0 -1.0
  79  1.0 -1.0
  80  1.0  1.0
  81 -1.0  1.0
  82
  83 [test]
  84 draw arrays GL_TRIANGLE_FAN 0 4
  85 probe all rgba 0.5 0.5 0.5 0.5