arb_gpu_shader5: Test using only the borrow from usubBorrow in the fs.

1 files changed, 46 insertions, 0 deletions

diff --git a/tests/spec/arb_gpu_shader5/execution/built-in-functions/fs-usubBorrow-only-borrow.shader_test b/tests/spec/arb_gpu_shader5/execution/built-in-functions/fs-usubBorrow-only-borrow.shader_test
new file mode 100644
index 000000000..4c7f2e4da
--- /dev/null
+++ b/tests/spec/arb_gpu_shader5/execution/built-in-functions/fs-usubBorrow-only-borrow.shader_test
@@ -0,0 +1,46 @@
+[require]
+GLSL >= 1.50
+GL_ARB_gpu_shader5
+
+[vertex shader passthrough]
+
+[fragment shader]
+#extension GL_ARB_gpu_shader5 : enable
+
+out vec4 frag_color;
+
+uniform uvec4 x, y;
+uniform uvec4 expected_borrow;
+
+void main()
+{
+	frag_color = vec4(0.0, 1.0, 0.0, 1.0);
+
+	/* Test that optimization passes like dead code elimination don't
+	 * eliminate the borrow if the subtraction result isn't used.
+	 */
+	uvec4 borrow;
+	usubBorrow(x, y, borrow);
+
+	if (borrow != expected_borrow)
+		frag_color.b = 1.0;
+}
+
+[test]
+uniform uvec4 x 1 2 3 4
+uniform uvec4 y 0 1 2 3
+uniform uvec4 expected_borrow 0 0 0 0
+draw rect -1 -1 2 2
+probe all rgba 0.0 1.0 0.0 1.0
+
+uniform uvec4 x 4 3 2 1
+uniform uvec4 y 4 4 4 4
+uniform uvec4 expected_borrow 0 1 1 1
+draw rect -1 -1 2 2
+probe all rgba 0.0 1.0 0.0 1.0
+
+uniform uvec4 x 0xFFFFFFFE 0xFFFFFFFF 0x80000000 0
+uniform uvec4 y 0xFFFFFFFF 0xFFFFFFFF 0xFFFFFFFF 0
+uniform uvec4 expected_borrow 1 0 1 0
+draw rect -1 -1 2 2
+probe all rgba 0.0 1.0 0.0 1.0