[Piglit] [PATCH 4/4] glslparsertest: Add tests for bit logic ops in GLSL 1.30

Chad Versace chad at chad-versace.us
Mon Oct 11 17:39:52 PDT 2010


From: Chad Versace <chad.versace at intel.com>

---
 tests/glslparser.tests                       |   10 ++++
 tests/glslparsertest/glsl2/bit-logic-01.frag |   16 ++++++
 tests/glslparsertest/glsl2/bit-logic-02.frag |   15 ++++++
 tests/glslparsertest/glsl2/bit-logic-03.frag |   23 ++++++++
 tests/glslparsertest/glsl2/bit-logic-04.frag |   23 ++++++++
 tests/glslparsertest/glsl2/bit-logic-05.frag |   11 ++++
 tests/glslparsertest/glsl2/bit-logic-06.frag |   11 ++++
 tests/glslparsertest/glsl2/bit-logic-07.frag |   11 ++++
 tests/glslparsertest/glsl2/bit-logic-08.frag |   11 ++++
 tests/glslparsertest/glsl2/bit-logic-09.frag |   12 ++++
 tests/glslparsertest/glsl2/bit-logic-10.frag |   70 ++++++++++++++++++++++++++
 11 files changed, 213 insertions(+), 0 deletions(-)
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-01.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-02.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-03.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-04.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-05.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-06.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-07.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-08.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-09.frag
 create mode 100644 tests/glslparsertest/glsl2/bit-logic-10.frag

diff --git a/tests/glslparser.tests b/tests/glslparser.tests
index ff48780..c380108 100644
--- a/tests/glslparser.tests
+++ b/tests/glslparser.tests
@@ -221,6 +221,16 @@ add_otherglslparsertest('glsl2/attribute-08.vert', 'fail')
 add_otherglslparsertest('glsl2/attribute-09.vert', 'fail')
 add_otherglslparsertest('glsl2/attribute-10.vert', 'fail', '1.20')
 add_otherglslparsertest('glsl2/attribute-11.vert', 'fail', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-01.frag', 'pass', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-02.frag', 'pass', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-03.frag', 'pass', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-04.frag', 'pass', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-05.frag', 'fail', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-06.frag', 'fail', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-07.frag', 'fail', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-08.frag', 'fail', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-09.frag', 'fail', '1.30')
+add_otherglslparsertest('glsl2/bit-logic-10.frag', 'pass', '1.30')
 add_otherglslparsertest('glsl2/bit-not-01.frag', 'pass', '1.30')
 add_otherglslparsertest('glsl2/bit-not-02.frag', 'pass', '1.30')
 add_otherglslparsertest('glsl2/bit-not-03.frag', 'pass', '1.30')
diff --git a/tests/glslparsertest/glsl2/bit-logic-01.frag b/tests/glslparsertest/glsl2/bit-logic-01.frag
new file mode 100644
index 0000000..0390263
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-01.frag
@@ -0,0 +1,16 @@
+// Expected: PASS, glsl == 1.30
+//
+// Description: bit-logic ops with argument type (int, int)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The operands must be of type signed or unsigned integers or integer
+// vectors."
+
+#version 130
+void main() {
+    int x0 = 0 & 1;
+    int x1 = 0 | 1;
+    int x2 = 0 ^ 1;
+}
+
+
diff --git a/tests/glslparsertest/glsl2/bit-logic-02.frag b/tests/glslparsertest/glsl2/bit-logic-02.frag
new file mode 100644
index 0000000..1ae8779
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-02.frag
@@ -0,0 +1,15 @@
+// Expected: PASS, glsl == 1.30
+//
+// Description: bit-logic ops with argument type (uint, uint)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The operands must be of type signed or unsigned integers or integer
+// vectors."
+
+#version 130
+void main() {
+    uint x0 = uint(0) & uint(1);
+    uint x1 = uint(0) | uint(1);
+    uint x2 = uint(0) ^ uint(1);
+}
+
diff --git a/tests/glslparsertest/glsl2/bit-logic-03.frag b/tests/glslparsertest/glsl2/bit-logic-03.frag
new file mode 100644
index 0000000..8a8eb85
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-03.frag
@@ -0,0 +1,23 @@
+// Expected: PASS, glsl == 1.30
+//
+// Description: bit-logic ops with argument type (ivecN, ivecN)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The operands must be of type signed or unsigned integers or integer
+// vectors."
+
+#version 130
+void main() {
+    // ivec2
+    ivec2 v00 = ivec2(0, 1) & ivec2(0, 1);
+    ivec2 v01 = ivec2(0, 1) & ivec2(0, 1);
+
+    // ivec3
+    ivec3 v02 = ivec3(0, 1, 2) | ivec3(0, 1, 2);
+    ivec3 v03 = ivec3(0, 1, 2) | ivec3(0, 1, 2);
+
+    // ivec4
+    ivec4 v04 = ivec4(0, 1, 2, 3) ^ ivec4(0, 1, 2, 3);
+    ivec4 v05 = ivec4(0, 1, 2, 3) ^ ivec4(0, 1, 2, 3);
+}
+
diff --git a/tests/glslparsertest/glsl2/bit-logic-04.frag b/tests/glslparsertest/glsl2/bit-logic-04.frag
new file mode 100644
index 0000000..5e5fc80
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-04.frag
@@ -0,0 +1,23 @@
+// Expected: PASS, glsl == 1.30
+//
+// Description: bit-logic ops with argument type (uvecN, uvecN)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The operands must be of type signed or unsigned integers or integer
+// vectors."
+
+#version 130
+void main() {
+    // uvec2
+    uvec2 v00 = uvec2(0, 1) & uvec2(0, 1);
+    uvec2 v01 = uvec2(0, 1) & uvec2(0, 1);
+
+    // uvec3
+    uvec3 v02 = uvec3(0, 1, 2) | uvec3(0, 1, 2);
+    uvec3 v03 = uvec3(0, 1, 2) | uvec3(0, 1, 2);
+
+    // uvec4
+    uvec4 v04 = uvec4(0, 1, 2, 3) ^ uvec4(0, 1, 2, 3);
+    uvec4 v05 = uvec4(0, 1, 2, 3) ^ uvec4(0, 1, 2, 3);
+}
+
diff --git a/tests/glslparsertest/glsl2/bit-logic-05.frag b/tests/glslparsertest/glsl2/bit-logic-05.frag
new file mode 100644
index 0000000..838bdf8
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-05.frag
@@ -0,0 +1,11 @@
+// Expected: FAIL, glsl == 1.30
+//
+// Description: bit-and with argument type (int, uint)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The fundamental types of the operands (signed or unsigned) must match"
+
+#version 130
+void main() {
+    int x = int(7) & uint(1);
+}
diff --git a/tests/glslparsertest/glsl2/bit-logic-06.frag b/tests/glslparsertest/glsl2/bit-logic-06.frag
new file mode 100644
index 0000000..2373986
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-06.frag
@@ -0,0 +1,11 @@
+// Expected: FAIL, glsl == 1.30
+//
+// Description: bit-and with argument type (vec2, uvec2)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The fundamental types of the operands (signed or unsigned) must match"
+
+#version 130
+void main() {
+    ivec2 v = ivec2(1, 2) & uvec2(1, 2);
+}
diff --git a/tests/glslparsertest/glsl2/bit-logic-07.frag b/tests/glslparsertest/glsl2/bit-logic-07.frag
new file mode 100644
index 0000000..569c8d9
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-07.frag
@@ -0,0 +1,11 @@
+// Expected: FAIL, glsl == 1.30
+//
+// Description: bit-and with argument type (vec2, uvec2)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The operands cannot be vectors of differing size."
+
+#version 130
+void main() {
+    ivec2 v = ivec2(1, 2) & ivec3(1, 2, 3);
+}
diff --git a/tests/glslparsertest/glsl2/bit-logic-08.frag b/tests/glslparsertest/glsl2/bit-logic-08.frag
new file mode 100644
index 0000000..35bba46
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-08.frag
@@ -0,0 +1,11 @@
+// Expected: FAIL, glsl == 1.30
+//
+// Description: bit-and with argument type (uint, vec2)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The fundamental types of the operands (signed or unsigned) must match"
+
+#version 130
+void main() {
+    ivec4 v = uint(7) & vec2(1, 2);
+}
diff --git a/tests/glslparsertest/glsl2/bit-logic-09.frag b/tests/glslparsertest/glsl2/bit-logic-09.frag
new file mode 100644
index 0000000..1884d19
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-09.frag
@@ -0,0 +1,12 @@
+// Expected: FAIL, glsl == 1.30
+//
+// Description: bit-logic ops with argument type (bool, bool)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "The operands must be of type signed or unsigned integers or integer
+// vectors."
+
+#version 130
+void main() {
+    bool b = true & false;
+}
diff --git a/tests/glslparsertest/glsl2/bit-logic-10.frag b/tests/glslparsertest/glsl2/bit-logic-10.frag
new file mode 100644
index 0000000..16c0b2b
--- /dev/null
+++ b/tests/glslparsertest/glsl2/bit-logic-10.frag
@@ -0,0 +1,70 @@
+// Expected: PASS, glsl == 1.30
+//
+// Description: bit-logic ops with argument types:
+//     - (ivecN, int)
+//     - (uvecN, uint)
+//     - (int, ivecN)
+//     - (uint, uvecN)
+//
+// From page 50 (page 56 of PDF) of the GLSL 1.30 spec:
+// "If one operand is a scalar and the other a vector, the scalar is applied
+// component-wise to the vector, resulting in the same type as the vector."
+
+#version 130
+void main() {
+    // (ivecN, int) --------------------------
+
+    // (ivec2, int)
+    ivec2 v00 = ivec2(0, 1) & int(7);
+    ivec2 v01 = ivec2(0, 1) | int(7);
+
+    // (ivec3, int)
+    ivec3 v02 = ivec3(0, 1, 2) & int(7);
+    ivec3 v03 = ivec3(0, 1, 2) | int(7);
+
+    // (ivec4, int)
+    ivec4 v04 = ivec4(0, 1, 2, 3) & int(7);
+    ivec4 v05 = ivec4(0, 1, 2, 3) | int(7);
+
+    // (uvecN, uint) --------------------------
+
+    // (uvec2, uint)
+    uvec2 v10 = uvec2(0, 1) & uint(7);
+    uvec2 v11 = uvec2(0, 1) | uint(7);
+
+    // (uve13, uint)
+    uvec3 v12 = uvec3(0, 1, 2) & uint(7);
+    uvec3 v13 = uvec3(0, 1, 2) | uint(7);
+
+    // (uve14, uint)
+    uvec4 v14 = uvec4(0, 1, 2, 3) & uint(7);
+    uvec4 v15 = uvec4(0, 1, 2, 3) | uint(7);
+
+    // (int, ivecN) --------------------------
+
+    // (int, ivec2)
+    ivec2 v20 = int(7) & ivec2(0, 1);
+    ivec2 v21 = int(7) | ivec2(0, 1);
+
+    // (int2 ivec3)
+    ivec3 v22 = int(7) & ivec3(0, 1, 2);
+    ivec3 v23 = int(7) | ivec3(0, 1, 2);
+
+    // (int2 ivec4)
+    ivec4 v24 =int(7) &  ivec4(0, 1, 2, 3);
+    ivec4 v25 = int(7) | ivec4(0, 1, 2, 3);
+
+    // (int, uvecN) --------------------------
+
+    // (uint, uvec2)
+    uvec2 v30 = uint(7) & uvec2(0, 1);
+    uvec2 v31 = uint(7) | uvec2(0, 1);
+
+    // (uin32 uvec3)
+    uvec3 v32 = uint(7) & uvec3(0, 1, 2);
+    uvec3 v33 = uint(7) | uvec3(0, 1, 2);
+
+    // (uin32 uvec4)
+    uvec4 v34 =uint(7) &  uvec4(0, 1, 2, 3);
+    uvec4 v35 = uint(7) | uvec4(0, 1, 2, 3);
+}
-- 
1.7.1



More information about the Piglit mailing list