--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gcc.dg/pr20922-3.c	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,32 @@
+/* { dg-do compile } */
+/* { dg-options "-ffast-math -fno-wrapv -fstrict-overflow -fdump-tree-gimple" } */
+int f(int i)
+{
+  return (i - 2) <= i;
+}
+
+int g(int i)
+{
+  return (i + 2) >= i;
+}
+
+int h(int i)
+{
+  return (i + (-2)) <= i;
+}
+
+int x(double i)
+{
+  return (i - 2.0) <= i;
+}
+
+int y(double i)
+{
+  return (i + 2.0) >= i;
+}
+
+int z(double i)
+{
+  return (i + (-2.0)) <= i;
+}
+/* { dg-final { scan-tree-dump-times " = 1" 6 "gimple" } } */