RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-12-12 06:06:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

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

Browse Source 
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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@303515 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Davide Italiano 2017-05-21 20:50:16 +00:00
parent 4276950084
commit 96cb8145e1
1 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
test/Transforms/NewGVN/pr32845.ll Normal file
View File

@ -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
}