[gcc r13-5150] testsuite: Add another testcase from PR107131

[gcc r13-5150] testsuite: Add another testcase from PR107131

[Jakub Jelinek]

https://gcc.gnu.org/g:254cf9552ffb1693f0bc74f6d25601dafafbc144

commit r13-5150-g254cf9552ffb1693f0bc74f6d25601dafafbc144
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Fri Jan 13 17:37:52 2023 +0100

    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:
---
 gcc/testsuite/gcc.c-torture/execute/pr107131.c | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

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 00000000000..d4259f141ba
--- /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;
+}