From 366d45c8d4911dc7874d2e64cf2583c0133b8dd5 Mon Sep 17 00:00:00 2001
From: Uros Bizjak <ubizjak@gmail.com>
Date: Thu, 6 Jun 2024 19:18:41 +0200
Subject: [PATCH] testsuite/i386: Add vector sat_sub testcases [PR112600]

	PR middle-end/112600

gcc/testsuite/ChangeLog:

	* gcc.target/i386/pr112600-2a.c: New test.
	* gcc.target/i386/pr112600-2b.c: New test.
---
 gcc/testsuite/gcc.target/i386/pr112600-2a.c | 15 +++++++++++++++
 gcc/testsuite/gcc.target/i386/pr112600-2b.c | 15 +++++++++++++++
 2 files changed, 30 insertions(+)
 create mode 100644 gcc/testsuite/gcc.target/i386/pr112600-2a.c
 create mode 100644 gcc/testsuite/gcc.target/i386/pr112600-2b.c

diff --git a/gcc/testsuite/gcc.target/i386/pr112600-2a.c b/gcc/testsuite/gcc.target/i386/pr112600-2a.c
new file mode 100644
index 000000000000..4df38e5a7207
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr112600-2a.c
@@ -0,0 +1,15 @@
+/* PR middle-end/112600 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -ftree-vectorize -msse2" } */
+
+typedef unsigned char T;
+
+void foo (T *out, T *x, T *y, int n)
+{
+  int i;
+
+  for (i = 0; i < n; i++)
+    out[i] = (x[i] - y[i]) & (-(T)(x[i] >= y[i]));
+}
+
+/* { dg-final { scan-assembler "psubusb" } } */
diff --git a/gcc/testsuite/gcc.target/i386/pr112600-2b.c b/gcc/testsuite/gcc.target/i386/pr112600-2b.c
new file mode 100644
index 000000000000..0f6345de704a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr112600-2b.c
@@ -0,0 +1,15 @@
+/* PR middle-end/112600 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -ftree-vectorize -msse2" } */
+
+typedef unsigned short T;
+
+void foo (T *out, T *x, T *y, int n)
+{
+  int i;
+
+  for (i = 0; i < n; i++)
+    out[i] = (x[i] - y[i]) & (-(T)(x[i] >= y[i]));
+}
+
+/* { dg-final { scan-assembler "psubusw" } } */
-- 
2.47.2