From: Andrea Pinski <andrew.pinski@oss.qualcomm.com>
Date: Mon, 27 Jul 2026 22:06:07 +0000 (-0700)
Subject: testsuite: Add C++ testcase for PR 126296: `<=>` folding into `<>`.
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1c69a96d20cbfd4e9a36ee8a6bff8591150424aa;p=thirdparty%2Fgcc.git

testsuite: Add C++ testcase for PR 126296: `<=>` folding into `<>`.

This adds 2 testcases for fp: `(i <=> j > 0) | (i <=> j < 0)`.
The trapping version was fixed by r17-2709-gde8be0eb05d951
while the non-trapping version was fixed earlier by
r17-2129-gea8c74c074925b.
Since we didn't have a testcase for these cases before,
it would be a good idea to have them.

Pushed as obvious after testing to make sure they work on x86_64-linux-gnu.

	PR tree-optimization/126296

gcc/testsuite/ChangeLog:

	* g++.dg/tree-ssa/pr126296-1.C: New test.
	* g++.dg/tree-ssa/pr126296-2.C: New test.

Signed-off-by: Andrea Pinski <andrew.pinski@oss.qualcomm.com>
---

diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr126296-1.C b/gcc/testsuite/g++.dg/tree-ssa/pr126296-1.C
new file mode 100644
index 00000000000..9859d4ba2d2
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr126296-1.C
@@ -0,0 +1,20 @@
+// PR tree-optimization/126296
+// { dg-do compile { target c++20 } }
+// { dg-options "-O2 -g0 -ftrapping-math -fdump-tree-optimized" }
+// { dg-final { scan-tree-dump-times "\[ij]_\[0-9]+\\(D\\) <> \[ij]_\[0-9]+\\(D\\)" 1 "optimized" } }
+// { dg-final { scan-tree-dump-times "i_\[0-9]+\\(D\\) <> 5\\.0" 1 "optimized" } }
+// { dg-final { scan-tree-dump-not "if " "optimized" } }
+
+#include <compare>
+
+#define A __attribute__((noipa))
+A bool f1 (double i, double j)
+{
+  auto c = i <=> j;
+  return (c < 0) | (c > 0);
+}
+A bool f2 (double i)
+{
+  auto c = i <=> 5.0;
+  return (c < 0) | (c > 0);
+}
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr126296-2.C b/gcc/testsuite/g++.dg/tree-ssa/pr126296-2.C
new file mode 100644
index 00000000000..bbddf885b73
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr126296-2.C
@@ -0,0 +1,20 @@
+// PR tree-optimization/126296
+// { dg-do compile { target c++20 } }
+// { dg-options "-O2 -g0 -fno-trapping-math -fdump-tree-optimized" }
+// { dg-final { scan-tree-dump-times "\[ij]_\[0-9]+\\(D\\) <> \[ij]_\[0-9]+\\(D\\)" 1 "optimized" } }
+// { dg-final { scan-tree-dump-times "i_\[0-9]+\\(D\\) <> 5\\.0" 1 "optimized" } }
+// { dg-final { scan-tree-dump-not "if " "optimized" } }
+
+#include <compare>
+
+#define A __attribute__((noipa))
+A bool f1 (double i, double j)
+{
+  auto c = i <=> j;
+  return (c < 0) | (c > 0);
+}
+A bool f2 (double i)
+{
+  auto c = i <=> 5.0;
+  return (c < 0) | (c > 0);
+}