3 files changed, 75 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr115275.C b/gcc/testsuite/g++.dg/tree-ssa/pr115275.C
new file mode 100644
index 0000000..1b84766
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr115275.C
@@ -0,0 +1,36 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+/* PR tree-optimization/115275 */
+
+template<class T>
+inline const T &
+min(const T &a, const T &b)
+{
+  return a < b ? a : b;
+}
+
+template<class T>
+inline const T &
+max(const T &a, const T &b)
+{
+  return a < b ? b : a;
+}
+
+
+unsigned short m, a, b;
+void removeme ();
+void fn(unsigned short f) {
+    if(
+    (min(max(f, a) ? f : 0U, 84991U))
+    -
+    (min(max(f, b) ? f : 0U, 84991U))
+    )
+    {
+      removeme();
+    }
+}
+
+/* removeme call should be optimized out.  */
+
+/* { dg-final { scan-tree-dump-not "removeme " "optimized" } } */
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/max_eqne-1.c b/gcc/testsuite/gcc.dg/tree-ssa/max_eqne-1.c
new file mode 100644
index 0000000..a7f5e0e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/max_eqne-1.c
@@ -0,0 +1,20 @@
+/* { dg-do compile } */
+/* { dg-options "-O1 -fdump-tree-optimized-raw" } */
+
+/* PR tree-optimization/115275 */
+
+unsigned maxne(unsigned a, unsigned b)
+{
+  unsigned t = a > b ? a : b;
+  return t != 0;
+}
+unsigned maxeq(unsigned a, unsigned b)
+{
+  unsigned t = a > b ? a : b;
+  return t == 0;
+}
+/* `max(a,b) == 0` should be optimized to `(a|b) == 0` for unsigned types. */
+/* { dg-final { scan-tree-dump-not "max_expr, " "optimized" } } */
+/* { dg-final { scan-tree-dump-times "bit_ior_expr, " 2 "optimized" } } */
+/* { dg-final { scan-tree-dump-times "eq_expr, " 1 "optimized" } } */
+/* { dg-final { scan-tree-dump-times "ne_expr, " 1 "optimized" } } */
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/max_eqne-2.c b/gcc/testsuite/gcc.dg/tree-ssa/max_eqne-2.c
new file mode 100644
index 0000000..50808cc
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/max_eqne-2.c
@@ -0,0 +1,19 @@
+/* { dg-do compile } */
+/* { dg-options "-O1 -fdump-tree-optimized-raw" } */
+
+/* PR tree-optimization/115275 */
+signed maxne(signed a, signed b)
+{
+  unsigned t = a > b ? a : b;
+  return t != 0;
+}
+signed maxeq(signed a, signed b)
+{
+  unsigned t = a > b ? a : b;
+  return t == 0;
+}
+/* For signed types, `max(a,b) == 0` should not optimized to `(a|b) == 0`. */
+/* { dg-final { scan-tree-dump-times "max_expr, " 2 "optimized" } } */
+/* { dg-final { scan-tree-dump-not "bit_ior_expr, " "optimized" } } */
+/* { dg-final { scan-tree-dump-times "eq_expr, " 1 "optimized" } } */
+/* { dg-final { scan-tree-dump-times "ne_expr, " 1 "optimized" } } */