glsl: add unit tests data vertex/expected outcome for uninitialized warning

v2: fix 025 test. Add three more tests (Ian Romanick)

Reviewed-by: Ian Romanick <ian.d.romanick@intel.com>

src/compiler/glsl/tests/warnings/000-basic-test.vert

@@ -0,0 +1,10 @@
+#version 130
+
+void main()
+{
+  float foo;
+  float undefined;
+
+  foo = undefined;
+}
+

src/compiler/glsl/tests/warnings/000-basic-test.vert.expected

@@ -0,0 +1 @@
+0:8(8): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/001-use-undefined-then-define.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  float foo;
+  float undefinedThenDefined;
+
+  foo = undefinedThenDefined;
+  undefinedThenDefined = 2.0;
+  foo = undefinedThenDefined;
+}
+

src/compiler/glsl/tests/warnings/001-use-undefined-then-define.vert.expected

@@ -0,0 +1 @@
+0:8(8): warning: `undefinedThenDefined' used uninitialized

src/compiler/glsl/tests/warnings/002-loop.vert

@@ -0,0 +1,23 @@
+#version 130
+
+void main()
+{
+   int i;
+   int undefined;
+   int undefined2;
+   int defined = 2;
+   float fooFloat;
+
+   for (i = 0; i < undefined; i++) {
+      fooFloat = 10.0;
+   }
+
+   for (; undefined < undefined2; i++) {
+      fooFloat = 10.0;
+   }
+
+   for (i = 0; i < defined; i++) {
+      fooFloat = 10.0;
+   }
+}
+

src/compiler/glsl/tests/warnings/002-loop.vert.expected

@@ -0,0 +1,3 @@
+0:11(18): warning: `undefined' used uninitialized
+0:15(9): warning: `undefined' used uninitialized
+0:15(21): warning: `undefined2' used uninitialized

src/compiler/glsl/tests/warnings/003-less.vert

@@ -0,0 +1,17 @@
+#version 130
+
+void main()
+{
+   int undefined;
+   int defined = 2;
+   float fooFloat;
+
+   if (undefined < 0) {
+      fooFloat = 10.0;
+   }
+
+   if (defined < 0) {
+      fooFloat = 10.0;
+   }
+}
+

src/compiler/glsl/tests/warnings/003-less.vert.expected

@@ -0,0 +1 @@
+0:9(6): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/004-greater.vert

@@ -0,0 +1,17 @@
+#version 130
+
+void main()
+{
+   int undefined;
+   int defined = 2;
+   float fooFloat;
+
+   if (undefined > 0) {
+      fooFloat = 10.0;
+   }
+
+   if (defined > 0) {
+      fooFloat = 10.0;
+   }
+}
+

src/compiler/glsl/tests/warnings/004-greater.vert.expected

@@ -0,0 +1 @@
+0:9(6): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/005-lequal.vert

@@ -0,0 +1,17 @@
+#version 130
+
+void main()
+{
+   int undefined;
+   int defined = 2;
+   float fooFloat;
+
+   if (undefined <= 0) {
+      fooFloat = 10.0;
+   }
+
+   if (defined <= 0) {
+      fooFloat = 10.0;
+   }
+}
+

src/compiler/glsl/tests/warnings/005-lequal.vert.expected

@@ -0,0 +1 @@
+0:9(6): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/006-gequal.vert

@@ -0,0 +1,17 @@
+#version 130
+
+void main()
+{
+   int undefined;
+   int defined = 2;
+   float fooFloat;
+
+   if (undefined >= 0) {
+      fooFloat = 10.0;
+   }
+
+   if (defined >= 0) {
+      fooFloat = 10.0;
+   }
+}
+

src/compiler/glsl/tests/warnings/006-gequal.vert.expected

@@ -0,0 +1 @@
+0:9(6): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/007-test-mod.vert

@@ -0,0 +1,25 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  float fooFloat;
+
+  if (undefined % 2 == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (defined % 2 == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (undefined % defined == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (defined % undefined == 0) {
+    fooFloat = 10.0;
+  }
+}
+

src/compiler/glsl/tests/warnings/007-test-mod.vert.expected

@@ -0,0 +1,3 @@
+0:9(6): warning: `undefined' used uninitialized
+0:17(6): warning: `undefined' used uninitialized
+0:21(16): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/008-mulassign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt *= undefined;
+  fooInt *= defined;
+}
+

src/compiler/glsl/tests/warnings/008-mulassign.vert.expected

@@ -0,0 +1 @@
+0:9(12): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/009-div-assign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt /= undefined;
+  fooInt /= defined;
+}
+

src/compiler/glsl/tests/warnings/009-div-assign.vert.expected

@@ -0,0 +1 @@
+0:9(12): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/010-add-assign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt += undefined;
+  fooInt += defined;
+}
+

src/compiler/glsl/tests/warnings/010-add-assign.vert.expected

@@ -0,0 +1 @@
+0:9(12): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/011-sub-assign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt -= undefined;
+  fooInt -= defined;
+}
+

src/compiler/glsl/tests/warnings/011-sub-assign.vert.expected

@@ -0,0 +1 @@
+0:9(12): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/012-modassign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int myInt;
+
+  myInt %= undefined;
+  myInt %= defined;
+}
+

src/compiler/glsl/tests/warnings/012-modassign.vert.expected

@@ -0,0 +1 @@
+0:9(11): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/013-lsassign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt >>= undefined;
+  fooInt >>= defined;
+}
+

src/compiler/glsl/tests/warnings/013-lsassign.vert.expected

@@ -0,0 +1 @@
+0:9(13): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/014-rsassign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt <<= undefined;
+  fooInt <<= defined;
+}
+

src/compiler/glsl/tests/warnings/014-rsassign.vert.expected

@@ -0,0 +1 @@
+0:9(13): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/015-andassign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt &= undefined;
+  fooInt &= defined;
+}
+

src/compiler/glsl/tests/warnings/015-andassign.vert.expected

@@ -0,0 +1 @@
+0:9(12): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/016-orassign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt |= undefined;
+  fooInt |= defined;
+}
+

src/compiler/glsl/tests/warnings/016-orassign.vert.expected

@@ -0,0 +1 @@
+0:9(12): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/017-xorassign.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  fooInt ^= undefined;
+  fooInt ^= defined;
+}
+

src/compiler/glsl/tests/warnings/017-xorassign.vert.expected

@@ -0,0 +1 @@
+0:9(12): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/018-bitand.vert

@@ -0,0 +1,24 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  float fooFloat;
+
+  if ((undefined | 2) == 0) {
+    fooFloat = 10.0;
+  }
+
+  if ((defined | 2) == 0) {
+    fooFloat = 10.0;
+  }
+
+  if ((undefined | defined) == 0) {
+    fooFloat = 10.0;
+  }
+
+  if ((defined | undefined) == 0) {
+    fooFloat = 10.0;
+  }
+}

src/compiler/glsl/tests/warnings/018-bitand.vert.expected

@@ -0,0 +1,3 @@
+0:9(7): warning: `undefined' used uninitialized
+0:17(7): warning: `undefined' used uninitialized
+0:21(17): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/019-array.vert

@@ -0,0 +1,23 @@
+#version 130
+
+void main()
+{
+  int undefinedIndex;
+  int undefinedIndex2;
+  int definedIndex = 2;
+  int definedIndex2 = 2;
+  float array[4];
+  float fooPos;
+  int fooLength;
+
+  fooPos = array[undefinedIndex];
+  fooPos = array[definedIndex];
+
+  fooPos = array[definedIndex+definedIndex2];
+  fooPos = array[undefinedIndex+undefinedIndex2];
+  array[0] = 10.0;
+  fooPos = array[definedIndex];
+
+  array[undefinedIndex2] = array[undefinedIndex];
+}
+

src/compiler/glsl/tests/warnings/019-array.vert.expected

@@ -0,0 +1,5 @@
+0:13(17): warning: `undefinedIndex' used uninitialized
+0:17(17): warning: `undefinedIndex' used uninitialized
+0:17(32): warning: `undefinedIndex2' used uninitialized
+0:21(8): warning: `undefinedIndex2' used uninitialized
+0:21(33): warning: `undefinedIndex' used uninitialized

src/compiler/glsl/tests/warnings/020-array-length.vert

@@ -0,0 +1,12 @@
+#version 130
+
+void main()
+{
+  float array[4];
+  int fooLength;
+
+  fooLength = array.length();
+  array[0] = 2.0;
+  fooLength = array.length();
+}
+

src/compiler/glsl/tests/warnings/021-lshift.vert

@@ -0,0 +1,25 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  float fooFloat;
+
+  if (undefined << 2 == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (defined << 2 == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (undefined << defined == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (defined << undefined == 0) {
+    fooFloat = 10.0;
+  }
+}
+

src/compiler/glsl/tests/warnings/021-lshift.vert.expected

@@ -0,0 +1,3 @@
+0:9(6): warning: `undefined' used uninitialized
+0:17(6): warning: `undefined' used uninitialized
+0:21(17): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/022-rshift.vert

@@ -0,0 +1,25 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  float fooFloat;
+
+  if (undefined >> 2 == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (defined >> 2 == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (undefined >> defined == 0) {
+    fooFloat = 10.0;
+  }
+
+  if (defined >> undefined == 0) {
+    fooFloat = 10.0;
+  }
+}
+

src/compiler/glsl/tests/warnings/022-rshift.vert.expected

@@ -0,0 +1,3 @@
+0:9(6): warning: `undefined' used uninitialized
+0:17(6): warning: `undefined' used uninitialized
+0:21(17): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/023-switch.vert

@@ -0,0 +1,28 @@
+#version 130
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  float fooFloat;
+  int fooInt;
+
+  switch(undefined) {
+  case 0:
+    fooFloat = 0.0;
+  case 1:
+    fooFloat = 1.0;
+  default:
+    fooFloat = undefined;
+  }
+
+  switch(defined) {
+  case 0:
+    fooFloat = 0.0;
+  case 1:
+    fooFloat = 1.0;
+  default:
+    fooFloat = undefined;
+  }
+}
+

src/compiler/glsl/tests/warnings/023-switch.vert.expected

@@ -0,0 +1,3 @@
+0:10(9): warning: `undefined' used uninitialized
+0:16(13): warning: `undefined' used uninitialized
+0:25(13): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/024-shaderout.vert

@@ -0,0 +1,19 @@
+#version 130
+
+out int fooOut;
+
+void main()
+{
+  int defined = 2;
+  int undefined;
+  int fooInt;
+
+  defined = fooOut;
+  fooOut = undefined;
+  /* Technically at this point fooOut is still undefined. But it was
+   * initialized that is what the unitialized warning detects in any
+   * case. "Real undefined" is beyond the scope of what mesa is/should
+   * detect*/
+  defined = fooOut;
+}
+

src/compiler/glsl/tests/warnings/024-shaderout.vert.expected

@@ -0,0 +1,2 @@
+0:11(12): warning: `fooOut' used uninitialized
+0:12(11): warning: `undefined' used uninitialized

src/compiler/glsl/tests/warnings/025-function-parameters.vert

@@ -0,0 +1,16 @@
+#version 130
+
+void foo(float normalVar, out float outVar, inout float inoutVar)
+{
+  outVar = 1.0f;
+}
+
+void main()
+{
+   float undefinedFloat;
+   float noRaise;
+   float undefinedFloat2;
+
+   foo(undefinedFloat, noRaise, undefinedFloat2);
+}
+

src/compiler/glsl/tests/warnings/025-function-parameters.vert.expected

@@ -0,0 +1,2 @@
+0:14(6): warning: `undefinedFloat' used uninitialized
+0:14(31): warning: `undefinedFloat2' used uninitialized

src/compiler/glsl/tests/warnings/026-out-function-parameter-shaderout.vert

@@ -0,0 +1,14 @@
+#version 130
+
+void fooFunction(out float outVar);
+
+out float fooOut;
+
+void main()
+{
+   float willBeDefined;
+
+   fooFunction(willBeDefined);
+   fooOut = willBeDefined;
+}
+

src/compiler/glsl/tests/warnings/027-inout-function-parameter-shaderout.vert

@@ -0,0 +1,14 @@
+#version 130
+
+void fooFunction(inout float outVar);
+
+out float fooOut;
+
+void main()
+{
+   float willBeDefined;
+
+   fooFunction(willBeDefined);
+   fooOut = willBeDefined;
+}
+

src/compiler/glsl/tests/warnings/027-inout-function-parameter-shaderout.vert.expected

@@ -0,0 +1 @@
+0:11(14): warning: `willBeDefined' used uninitialized

src/compiler/glsl/tests/warnings/028-conditional.vert

@@ -0,0 +1,17 @@
+#version 130
+
+void main()
+{
+  bool defined = false;
+  bool undefined;
+  int fooInt;
+  int definedInt = 2;
+  int undefinedInt;
+
+  fooInt = defined ? definedInt : undefinedInt;
+  fooInt = defined ? undefinedInt : definedInt;
+
+  fooInt = undefined ? definedInt : undefinedInt;
+  fooInt = undefined ? undefinedInt : definedInt;
+}
+

src/compiler/glsl/tests/warnings/028-conditional.vert.expected

@@ -0,0 +1,6 @@
+0:11(34): warning: `undefinedInt' used uninitialized
+0:12(21): warning: `undefinedInt' used uninitialized
+0:14(11): warning: `undefined' used uninitialized
+0:14(36): warning: `undefinedInt' used uninitialized
+0:15(11): warning: `undefined' used uninitialized
+0:15(23): warning: `undefinedInt' used uninitialized

src/compiler/glsl/tests/warnings/029-fieldselection.vert

@@ -0,0 +1,23 @@
+#version 130
+
+struct s {
+  float c;
+  float x;
+};
+
+void main()
+{
+  float fooFloat;
+  s fooStruct;
+
+  fooFloat = fooStruct.c;
+  fooStruct.c = 10.0;
+  fooFloat = fooStruct.c;
+  fooStruct.c = 20.0;
+
+  /* Technically .x is also uninitialized, but detecting this is beyond
+   * scope. FWIW, gcc doesn't detect this neither.
+   */
+  fooFloat = fooStruct.x;
+}
+

src/compiler/glsl/tests/warnings/029-fieldselection.vert.expected

@@ -0,0 +1 @@
+0:13(13): warning: `fooStruct' used uninitialized

src/compiler/glsl/tests/warnings/030-array-as-function-parameter.vert

@@ -0,0 +1,17 @@
+#version 130
+
+void foo(float normalVar, out float outVar, inout float inoutVar);
+
+void main()
+{
+   int undefinedIndex;
+   int definedIndex = 2;
+   float willBeDefined[4];
+
+   foo(willBeDefined[undefinedIndex], willBeDefined[undefinedIndex], willBeDefined[undefinedIndex]);
+   foo(willBeDefined[definedIndex], willBeDefined[definedIndex], willBeDefined[definedIndex]);
+   willBeDefined[0] = 10.0;
+   foo(willBeDefined[undefinedIndex], willBeDefined[undefinedIndex], willBeDefined[undefinedIndex]);
+   foo(willBeDefined[definedIndex], willBeDefined[definedIndex], willBeDefined[definedIndex]);
+}
+

src/compiler/glsl/tests/warnings/030-array-as-function-parameter.vert.expected

@@ -0,0 +1,7 @@
+0:11(20): warning: `undefinedIndex' used uninitialized
+0:11(51): warning: `undefinedIndex' used uninitialized
+0:11(82): warning: `undefinedIndex' used uninitialized
+0:11(6): warning: `willBeDefined' used uninitialized
+0:14(20): warning: `undefinedIndex' used uninitialized
+0:14(51): warning: `undefinedIndex' used uninitialized
+0:14(82): warning: `undefinedIndex' used uninitialized