diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-05-18 17:44:58 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-05-18 17:44:58 +0000 |
| commit | b63d6cdf79c7aa6d356c878518c14e6b1f3c661b (patch) | |
| tree | 3e41bba4067f44a2568eeb30a8fecd0428824689 /llvm/test/Transforms/CorrelatedValuePropagation/range.ll | |
| parent | 9ca26cfb5fb5b334d886a0ca211220a48f34b00d (diff) | |
| download | bcm5719-llvm-b63d6cdf79c7aa6d356c878518c14e6b1f3c661b.tar.gz bcm5719-llvm-b63d6cdf79c7aa6d356c878518c14e6b1f3c661b.zip | |
add test case for bugfix in r157032
llvm-svn: 157058
Diffstat (limited to 'llvm/test/Transforms/CorrelatedValuePropagation/range.ll')
| -rw-r--r-- | llvm/test/Transforms/CorrelatedValuePropagation/range.ll | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/llvm/test/Transforms/CorrelatedValuePropagation/range.ll b/llvm/test/Transforms/CorrelatedValuePropagation/range.ll index 9b70ed200ed..2bb21874ce1 100644 --- a/llvm/test/Transforms/CorrelatedValuePropagation/range.ll +++ b/llvm/test/Transforms/CorrelatedValuePropagation/range.ll @@ -41,3 +41,32 @@ end: ; CHECK: then: ; CHECK-NEXT: br i1 false, label %end, label %else } + +; CHECK: @test3 +define i32 @test3(i32 %c) nounwind { + %cmp = icmp slt i32 %c, 2 + br i1 %cmp, label %if.then, label %if.end + +if.then: + ret i32 1 + +if.end: + %cmp1 = icmp slt i32 %c, 3 + br i1 %cmp1, label %if.then2, label %if.end8 + +; CHECK: if.then2 +if.then2: + %cmp2 = icmp eq i32 %c, 2 +; CHECK: br i1 true + br i1 %cmp2, label %if.then4, label %if.end6 + +; CHECK: if.end6 +if.end6: + ret i32 2 + +if.then4: + ret i32 3 + +if.end8: + ret i32 4 +} |
