tests/spec/glsl-1.50/linker/invariant-qualifier-everywhere-gs-fs-inconsistency.shader_test

   1 # Test that invariant qualifier is available to all shaders
   2 #
   3 # GLSL 1.50 section 4.6.1 (The Invariant Qualifier) says:
   4 #   To ensure that a particular output variable is invariant, it is necessary
   5 #   to use the invariant qualifier. It can either be used to qualify a
   6 #   previously declared variable as being invariant
   7 #       invariant gl_Position; // make existing gl_Position be invariant
   8 #       out vec3 Color; // make existing Color be invariant
   9 #       invariant Color;
  10 #   or as part of a declaration when a variable is declared
  11 #       invariant centroid out vec3 Color;
  12 #   The invariant qualifier must appear before any interpolation qualifiers or
  13 #   storage qualifiers when combined with a declaration. Only variables output
  14 #   from a shader (including those that are then input to a subsequent shader)
  15 #   can be candidates for invariance. This includes user-defined output variables
  16 #   and the built-in output variables. For variables leaving one shader and coming
  17 #   into another shader, the invariant keyword has to be used in both shaders,
  18 #   or a link error will result.
  19 #
  20 # Test leaves out the required invariant qualifier from the fragment shader,
  21 # and produce corresponding link error.
  22
  23 [require]
  24 GL >= 3.2
  25 GLSL >= 1.50
  26
  27 [vertex shader]
  28 #version 150
  29
  30 in vec4 vertex;
  31 invariant out vec4 pos;
  32 invariant gl_Position;
  33 invariant out vec4 extra01;
  34
  35 void main()
  36 {
  37     gl_Position = vertex;
  38     pos = vertex;
  39 }
  40
  41 [geometry shader]
  42 #version 150
  43
  44 layout(triangles) in;
  45 layout(triangle_strip, max_vertices=3) out;
  46
  47 invariant in vec4 pos[];
  48 invariant in vec4 extra01[];
  49 invariant out vec4 extra02;
  50
  51
  52 void main()
  53 {
  54     for(int i = 0; i < 3; i++) {
  55         gl_Position = pos[i] * 0.5;
  56         extra02 = extra01[i] * 0.5;
  57         EmitVertex();
  58     }
  59
  60 }
  61
  62
  63 [fragment shader]
  64 #version 150
  65
  66 in vec4 extra02;
  67 //invariant extra02; //redeclaration left out
  68 out vec4 FragColor;
  69
  70 void main()
  71 {
  72     FragColor = vec4(extra02);
  73 }
  74
  75 [vertex data]
  76 vertex/float/2
  77 -1.0 -1.0
  78  1.0 -1.0
  79  1.0  1.0
  80 -1.0  1.0
  81
  82 [test]
  83 link error