arb_gpu_shader5: Test using only the addition from uaddCarry in the vs.

1 files changed, 62 insertions, 0 deletions

diff --git a/tests/spec/arb_gpu_shader5/execution/built-in-functions/vs-uaddCarry-only-add.shader_test b/tests/spec/arb_gpu_shader5/execution/built-in-functions/vs-uaddCarry-only-add.shader_test
new file mode 100644
index 000000000..7385c2a29
--- /dev/null
+++ b/tests/spec/arb_gpu_shader5/execution/built-in-functions/vs-uaddCarry-only-add.shader_test
@@ -0,0 +1,62 @@
+[require]
+GLSL >= 1.50
+GL_ARB_gpu_shader5
+
+[vertex shader]
+#extension GL_ARB_gpu_shader5 : enable
+
+in vec4 piglit_vertex;
+out vec4 color;
+
+uniform uvec4 x, y;
+uniform uvec4 expected_sum;
+
+void main()
+{
+	gl_Position = piglit_vertex;
+
+	color = vec4(0.0, 1.0, 0.0, 1.0);
+
+	/* Test that optimization passes like dead code elimination don't
+	 * eliminate the carry if the addition result isn't used.
+	 */
+	uvec4 carry;
+	uvec4 sum = uaddCarry(x, y, carry);
+
+	if (sum != expected_sum)
+		color.r = 1.0;
+}
+
+[fragment shader]
+in vec4 color;
+out vec4 frag_color;
+
+void main()
+{
+	frag_color = color;
+}
+
+[test]
+uniform uvec4 x 0 1 2 3
+uniform uvec4 y 1 2 3 4
+uniform uvec4 expected_sum 1 3 5 7
+draw rect -1 -1 2 2
+probe all rgba 0.0 1.0 0.0 1.0
+
+uniform uvec4 x 0 1 1 2
+uniform uvec4 y 0xFFFFFFFF 0xFFFFFFFF 0xFFFFFFFE 0xFFFFFFFE
+uniform uvec4 expected_sum 0xFFFFFFFF 0 0xFFFFFFFF 0
+draw rect -1 -1 2 2
+probe all rgba 0.0 1.0 0.0 1.0
+
+uniform uvec4 x 2 3 2 3
+uniform uvec4 y 0xFFFFFFFF 0xFFFFFFFF 0xFFFFFFFE 0xFFFFFFFE
+uniform uvec4 expected_sum 1 2 0 1
+draw rect -1 -1 2 2
+probe all rgba 0.0 1.0 0.0 1.0
+
+uniform uvec4 x 0x80000000 0x80000000 0x80000000 0x80000001
+uniform uvec4 y 0x80000000 0x80000001 0x7FFFFFFF 0x7FFFFFFF
+uniform uvec4 expected_sum 0 1 0xFFFFFFFF 0
+draw rect -1 -1 2 2
+probe all rgba 0.0 1.0 0.0 1.0