From 89a6fcda688b6ac8df4d0a70e448556b88758582 Mon Sep 17 00:00:00 2001
From: phython <phython@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 18 Apr 2005 15:18:21 +0000
Subject: 2005-04-18  James A. Morrison  <phython@gcc.gnu.org>

        PR tree-optimization/20922
        * fold-const.c (fold_binary): Fold X - c > X and X + c < X to false.
        Fold X + c >= X and fold X - c <= X to true.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@98321 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/testsuite/gcc.dg/pr20922-4.c | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/pr20922-4.c

(limited to 'gcc/testsuite/gcc.dg/pr20922-4.c')

diff --git a/gcc/testsuite/gcc.dg/pr20922-4.c b/gcc/testsuite/gcc.dg/pr20922-4.c
new file mode 100644
index 00000000000..664a62f4e4c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr20922-4.c
@@ -0,0 +1,38 @@
+/* { dg-do compile } */
+/* { dg-options "-fno-wrapv -fdump-tree-generic" } */
+int f(int i)
+{
+  return i < (i - 2);
+}
+
+int g(int i)
+{
+  return i > (i + 2);
+}
+
+int h(int i)
+{
+  return i < (i + (-2));
+}
+
+int j(int i)
+{
+  return i > (i - (-2));
+}
+
+int x(double i)
+{
+  return i < (i - 2.0);
+}
+
+int y(double i)
+{
+  return i > (i + 2.0);
+}
+
+int z(double i)
+{
+  return i < (i + (-2.0));
+}
+/* { dg-final { scan-tree-dump-times " = 0" 7 "generic" } } */
+/* { dg-final { cleanup-tree-dump "generic" } } */
-- 
cgit v1.2.1