diff options
| author | Duncan Sands <baldrick@free.fr> | 2011-10-05 14:17:01 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2011-10-05 14:17:01 +0000 |
| commit | 452c58f4c45249b5046f74a165430eedaab5f8f6 (patch) | |
| tree | cb51cb8940c5f0ec4e951dfdb359842a059db3c6 /test/Transforms/GVN/condprop.ll | |
| parent | 4cbc5a1118507dc22bb8dc5ef7a6a4108e348f6b (diff) | |
| download | external_llvm-452c58f4c45249b5046f74a165430eedaab5f8f6.zip external_llvm-452c58f4c45249b5046f74a165430eedaab5f8f6.tar.gz external_llvm-452c58f4c45249b5046f74a165430eedaab5f8f6.tar.bz2 | |
Generalize GVN's conditional propagation logic slightly:
it's OK for the false/true destination to have multiple
predecessors as long as the extra ones are dominated by
the branch destination.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141176 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/GVN/condprop.ll')
| -rw-r--r-- | test/Transforms/GVN/condprop.ll | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/test/Transforms/GVN/condprop.ll b/test/Transforms/GVN/condprop.ll index be6c349..b072856 100644 --- a/test/Transforms/GVN/condprop.ll +++ b/test/Transforms/GVN/condprop.ll @@ -52,4 +52,24 @@ bb8: ; preds = %bb7, %bb6, %bb4, %bb2, %bb return: ; preds = %bb8 ret i32 %.0 -}
\ No newline at end of file +} + +declare void @ext(i1) + +; CHECK: @bar +define void @bar(i1 %x, i1 %y) { + %z = or i1 %x, %y + br i1 %z, label %true, label %false +true: +; CHECK: true: + %z2 = or i1 %x, %y + call void @ext(i1 %z2) +; CHECK: call void @ext(i1 true) + br label %true +false: +; CHECK: false: + %z3 = or i1 %x, %y + call void @ext(i1 %z3) +; CHECK: call void @ext(i1 false) + br label %false +} |