[llvm] r303515 - [NewGVN] Add a test for non most dominating leader.

[Davide Italiano via llvm-commits]

Author: davide
Date: Sun May 21 15:50:16 2017
New Revision: 303515

URL: http://llvm.org/viewvc/llvm-project?rev=303515&view=rev
Log:
[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.

Added:
    llvm/trunk/test/Transforms/NewGVN/pr32845.ll

Added: llvm/trunk/test/Transforms/NewGVN/pr32845.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/NewGVN/pr32845.ll?rev=303515&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/NewGVN/pr32845.ll (added)
+++ llvm/trunk/test/Transforms/NewGVN/pr32845.ll Sun May 21 15:50:16 2017
@@ -0,0 +1,34 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+ at b = external global i32, align 4
+ at 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
+}