diff options
| author | Duncan Sands <baldrick@free.fr> | 2012-02-29 11:12:03 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2012-02-29 11:12:03 +0000 |
| commit | 2b4f4910458f9bfd15315444ed47b4f41473a93d (patch) | |
| tree | 84191d96ccfd0245b9139d796b740ca4cb171d20 /test/Transforms/GVN | |
| parent | 84a1d2371c026490f8dc6de93fd63802bfc512eb (diff) | |
| download | llvm-2b4f4910458f9bfd15315444ed47b4f41473a93d.tar.gz llvm-2b4f4910458f9bfd15315444ed47b4f41473a93d.tar.bz2 llvm-2b4f4910458f9bfd15315444ed47b4f41473a93d.tar.xz | |
Have GVN also do condition propagation when the right-hand side is not
a constant. This fixes PR1768.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151713 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/GVN')
| -rw-r--r-- | test/Transforms/GVN/condprop.ll | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/test/Transforms/GVN/condprop.ll b/test/Transforms/GVN/condprop.ll index 97a0d31e5e..b22675b47c 100644 --- a/test/Transforms/GVN/condprop.ll +++ b/test/Transforms/GVN/condprop.ll @@ -175,3 +175,60 @@ different: ; CHECK: ret i1 false ret i1 %cmp3 } + +; PR1768 +; CHECK: @test9 +define i32 @test9(i32 %i, i32 %j) { + %cmp = icmp eq i32 %i, %j + br i1 %cmp, label %cond_true, label %ret + +cond_true: + %diff = sub i32 %i, %j + ret i32 %diff +; CHECK: ret i32 0 + +ret: + ret i32 5 +; CHECK: ret i32 5 +} + +; PR1768 +; CHECK: @test10 +define i32 @test10(i32 %j, i32 %i) { + %cmp = icmp eq i32 %i, %j + br i1 %cmp, label %cond_true, label %ret + +cond_true: + %diff = sub i32 %i, %j + ret i32 %diff +; CHECK: ret i32 0 + +ret: + ret i32 5 +; CHECK: ret i32 5 +} + +declare i32 @yogibar() + +; CHECK: @test11 +define i32 @test11(i32 %x) { + %v0 = call i32 @yogibar() + %v1 = call i32 @yogibar() + %cmp = icmp eq i32 %v0, %v1 + br i1 %cmp, label %cond_true, label %next + +cond_true: + ret i32 %v1 +; CHECK: ret i32 %v0 + +next: + %cmp2 = icmp eq i32 %x, %v0 + br i1 %cmp2, label %cond_true2, label %next2 + +cond_true2: + ret i32 %v0 +; CHECK: ret i32 %x + +next2: + ret i32 0 +} |