tests/spec/glsl-1.10/execution/dependency-hints/exp2.shader_test

   1 [require]
   2 GLSL >= 1.10
   3
   4 [vertex shader]
   5 /* On Sandybridge and newer chips in the i965 family, writes into separate
   6  * channels of the same register stall. The compiler marks independent writes
   7  * with NoDDClr and/or NoDDChk to allow the instructions to issue without
   8  * stalling.
   9  *
  10  * Empirically, marking "math" instructions with these dependency control
  11  * hints leads to broken dependency tracking. The following shader, compiled
  12  * with the i965/vec4 backend unaware of this fact generates the following
  13  * assembly:
  14  *
  15  * math exp(8)     g3<1>.xF        g1<0,4,1>.xF    null            { align16 WE_normal NoDDClr 1Q };
  16  * add(8)          g7<1>F          g1<0,4,1>.yF    1e-08F          { align16 WE_normal 1Q };
  17  * math exp(8)     g3<1>.yF        g7<4,4,1>F      null            { align16 WE_normal NoDDClr,NoDDChk 1Q };
  18  * math exp(8)     g3<1>.zF        g1<0,4,1>.zF    null            { align16 WE_normal NoDDChk 1Q };
  19  * mul.sat(8)      g116<1>.xyzF    g3<4,4,1>.xyzzF 0.5F            { align16 WE_normal NoDDClr 1Q };
  20  * mov.sat(8)      g116<1>.wF      1F                              { align16 WE_normal NoDDChk 1Q };
  21  * mov(8)          g114<1>D        0D                              { align16 WE_normal 1Q };
  22  * mov(8)          g115<1>F        g2<4,4,1>F                      { align16 WE_normal 1Q };
  23  * mov(8)          g113<1>UD       g0<4,4,1>UD                     { align16 WE_all 1Q };
  24  * or(1)           g113.5<1>UD     g0.5<0,1,0>UD   0x0000ff00UD    { align1 WE_all };
  25  * send(8)         null            g113<4,4,1>F
  26  *                 urb 0 urb_write used complete mlen 5 rlen 0     { align16 WE_normal 1Q EOT };
  27  *
  28  * The shader calculates the color exp2(vec3(0.1, 0.2 + 0.00000001, 0.3)) * 0.5
  29  * and expects to read back (0.535886, 0.5743491, 0.6155722).
  30  *
  31  * On affected platforms, the .x and .y components are correctly calculated,
  32  * but .z is left to be 0.0.
  33  */
  34
  35 uniform vec3 exp;
  36
  37 void main(){
  38    gl_Position = gl_Vertex;
  39
  40    /* Calling exp2() on a single component swizzle and then picking a single
  41     * channel from its result works around the vec4 backend's inability to
  42     * properly register coalesce.
  43     */
  44    gl_FrontColor.x = exp2(exp.xxxx).x;
  45
  46    /* Adding 0.00000001 is essentially a no-op, but it prevents the GLSL
  47     * compiler's opt_vectorize pass from combining the three exp2() calls
  48     * into a single one.
  49     */
  50    gl_FrontColor.y = exp2(exp.yyyy + 0.00000001).y;
  51
  52    gl_FrontColor.z = exp2(exp.zzzz).z;
  53
  54    /* Scale the result back into the 0.0 to 1.0 range */
  55    gl_FrontColor.xyz *= 0.5;
  56
  57    /* Moving this assignment before the previous statement causes the test
  58     * to sporadically fail, returning 1.0 (unrelated to value stored in .w)
  59     * in all channels.
  60     */
  61    gl_FrontColor.w = 1.0;
  62 }
  63
  64 [fragment shader]
  65 void main() {
  66    gl_FragColor = gl_Color;
  67 }
  68
  69 [test]
  70 uniform vec3 exp 0.1 0.2 0.3
  71 draw rect -1 -1 2 2
  72 probe rgb 1 1 0.535886 0.5743491 0.6155722