[Piglit] [PATCH v2] glsl-1.30: test unsigned vs signed in switch statement

[Tapani Pälli]

v2: add spec citations (Matt)

Signed-off-by: Tapani Pälli <tapani.palli at intel.com>
---
 .../switch-statement/switch-uint-vs-int.vert       | 36 ++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 tests/spec/glsl-1.30/compiler/switch-statement/switch-uint-vs-int.vert

diff --git a/tests/spec/glsl-1.30/compiler/switch-statement/switch-uint-vs-int.vert b/tests/spec/glsl-1.30/compiler/switch-statement/switch-uint-vs-int.vert
new file mode 100644
index 0000000..2068d61
--- /dev/null
+++ b/tests/spec/glsl-1.30/compiler/switch-statement/switch-uint-vs-int.vert
@@ -0,0 +1,36 @@
+// [config]
+// expect_result: fail
+// glsl_version: 1.30
+// [end config]
+//
+// From page 47 (page 51 of the PDF) of the GLSL 1.30 spec:
+//
+//     "The equality operators equal (==), and not equal (!=) operate
+//     on all types. They result in a scalar Boolean. If the operand
+//     types do not match, then there must be a conversion from Section
+//     4.1.10 "Implicit Conversions" applied to one operand that can
+//     make them match, in which case this conversion is done."
+//
+// From page 55 (Page 61 of the PDF) of the GLSL 1.30 spec:
+//
+//     "The type of init-expression in a switch statement must be a
+//     scalar integer."
+//
+// From page 25 (Page 31 of the PDF) of the GLSL 1.30 spec:
+//
+//     "There are no implicit conversions between signed and unsigned
+//     integers."
+//
+
+#version 130
+
+void main() {
+   uint x = 1u;
+   switch (x) {
+   case 1:
+      break;
+   default:
+      break;
+   }
+   gl_Position = vec4(0.0);
+}
-- 
1.8.3.1