From f3540cff9d39e688bbb19030cc2a02ce8ffd571b Mon Sep 17 00:00:00 2001 From: Davide Italiano Date: Sun, 21 May 2017 20:50:16 +0000 Subject: [PATCH] [NewGVN] Add a test for non most dominating leader. Taken from PR32845. Dan removed the most dominating leader check in r303443, but we check this test anyway to make sure things don't regress. llvm-svn: 303515 --- llvm/test/Transforms/NewGVN/pr32845.ll | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 llvm/test/Transforms/NewGVN/pr32845.ll diff --git a/llvm/test/Transforms/NewGVN/pr32845.ll b/llvm/test/Transforms/NewGVN/pr32845.ll new file mode 100644 index 0000000..9bda9d9 --- /dev/null +++ b/llvm/test/Transforms/NewGVN/pr32845.ll @@ -0,0 +1,34 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +@b = external global i32, align 4 +@a = external global i32, align 4 +define void @tinkywinky() { +entry: + br label %l1 +l1.loopexit: + %g.223.lcssa = phi i32* [ @b, %for.body3 ] + br label %l1 +l1: + %g.0 = phi i32* [ undef, %entry ], [ %g.223.lcssa, %l1.loopexit ] + %f.0 = phi i32* [ @b, %entry ], [ @a, %l1.loopexit ] + br label %for.cond +for.cond.loopexit: + br label %for.cond +for.cond: + %g.1 = phi i32* [ %g.0, %l1 ], [ %g.4, %for.cond.loopexit ] + %f.1 = phi i32* [ %f.0, %l1 ], [ %f.2, %for.cond.loopexit ] + br i1 undef, label %for.end14, label %for.cond1.preheader +for.cond1.preheader: + br label %for.body3 +for.cond1: + br label %l2 +for.body3: + br i1 undef, label %for.cond1, label %l1.loopexit +l2: + %g.4 = phi i32* [ %g.1, %for.end14 ], [ @a, %for.cond1 ] + %f.2 = phi i32* [ %f.1, %for.end14 ], [ @a, %for.cond1 ] + br label %for.inc +for.inc: + br i1 false, label %for.cond.loopexit, label %for.inc +for.end14: + br label %l2 +} -- 2.7.4