summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2017-12-01 15:42:32 -0500
committerAldy Hernandez <aldyh@redhat.com>2017-12-01 15:42:32 -0500
commitb884e07ba9dbbbe1af9e7b8f2b45cc3f3bfdf7e4 (patch)
treecbeb6dd07fcb0efd76c07fd9723e0357256a0e48
parent58dcd8a31f3bb25d2a1de6abd84b681bd0672e32 (diff)
downloadgcc-b884e07ba9dbbbe1af9e7b8f2b45cc3f3bfdf7e4.tar.gz
-rw-r--r--gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-25.c8
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-25.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-25.c
new file mode 100644
index 00000000000..5b571d41c19
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-25.c
@@ -0,0 +1,8 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-ethread-details" } */
+
+/* This is vrp33 adapted to the backwards threader. */
+
+int f2(int x) { return x == 1 || x == 3 || x == 1; }
+
+/* { dg-final { scan-tree-dump "about to thread: path: 2 -> 3, 3 -> 4" "ethread" } } */