From: Andrew MacLeod <amacleod@redhat.com>
Date: Thu, 24 Jun 2021 17:49:51 +0000 (-0400)
Subject: Add a testcase to confirm the equivalence's are being checked by EVRP.
X-Git-Tag: basepoints/gcc-13~6515
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ce3316e9c02c81c509173572c71a101f4eb62a24;p=thirdparty%2Fgcc.git

Add a testcase to confirm the equivalence's are being checked by EVRP.

	* gcc.dg/tree-ssa/evrp30.c: New.
---

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/evrp30.c b/gcc/testsuite/gcc.dg/tree-ssa/evrp30.c
new file mode 100644
index 000000000000..2c5ff41ecd94
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/evrp30.c
@@ -0,0 +1,16 @@
+/* Confirm the ranger is picking up a relationship with equivalences.  */
+/* { dg-do compile } */
+/* { dg-options "-O2  -fdump-tree-evrp" } */
+
+extern void foo ();
+
+void f (unsigned int a, unsigned int b)
+{
+  if (a == b)
+    for (unsigned i = 0; i < a; i++)
+      if (i == b)   // Confirm  i < a also means i < b.
+	foo (); /* Unreachable */
+}
+
+/* { dg-final { scan-tree-dump-times "foo\\(" 0 "evrp"} } */
+