From: Jakub Jelinek <jakub@redhat.com>
Date: Fri, 13 Jan 2023 16:37:52 +0000 (+0100)
Subject: testsuite: Add another testcase from PR107131
X-Git-Tag: basepoints/gcc-14~2057
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=254cf9552ffb1693f0bc74f6d25601dafafbc144;p=thirdparty%2Fgcc.git

testsuite: Add another testcase from PR107131

This one is hand reduced to problematic code from optimized dump
that used to be miscompiled during combine starting with
r12-303 and fixed with r13-3530 aka PR107172 fix.

2023-01-13  Jakub Jelinek  <jakub@redhat.com>

	PR target/107131
	* gcc.c-torture/execute/pr107131.c: New test.
---

diff --git a/gcc/testsuite/gcc.c-torture/execute/pr107131.c b/gcc/testsuite/gcc.c-torture/execute/pr107131.c
new file mode 100644
index 000000000000..d4259f141baf
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr107131.c
@@ -0,0 +1,18 @@
+/* PR target/107131 */
+
+__attribute__((noipa)) unsigned long long
+foo (unsigned char o)
+{
+  unsigned long long t1 = -(long long) (o == 0);
+  unsigned long long t2 = -(long long) (t1 > 10439075533421201520ULL);
+  unsigned long long t3 = -(long long) (t1 <= t2);
+  return t3;
+}
+
+int
+main ()
+{
+  if (foo (0) != -1ULL)
+    __builtin_abort ();
+  return 0;
+}