diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2013-02-24 15:34:43 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2013-02-24 15:34:43 +0000 |
| commit | e8aa36a4afa02dde89e10f39b6ca87cfe1949dd8 (patch) | |
| tree | 44fe42e2141234cf5a22c60ec2305ac878335d0d /test/Transforms | |
| parent | bd4b21ea4192c025159dd60b1175c084c0383ed0 (diff) | |
| download | external_llvm-e8aa36a4afa02dde89e10f39b6ca87cfe1949dd8.zip external_llvm-e8aa36a4afa02dde89e10f39b6ca87cfe1949dd8.tar.gz external_llvm-e8aa36a4afa02dde89e10f39b6ca87cfe1949dd8.tar.bz2 | |
CVP: If we have a PHI with an incoming select, try to skip the select.
This is a common pattern with dyn_cast and similar constructs, when the
PHI no longer depends on the select it can often be turned into a simpler
construct or even get hoisted out of the loop.
PR15340.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@175995 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
| -rw-r--r-- | test/Transforms/CorrelatedValuePropagation/basic.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/CorrelatedValuePropagation/basic.ll b/test/Transforms/CorrelatedValuePropagation/basic.ll index 06b60f1..39c437c 100644 --- a/test/Transforms/CorrelatedValuePropagation/basic.ll +++ b/test/Transforms/CorrelatedValuePropagation/basic.ll @@ -81,6 +81,26 @@ LessThanOrEqualToTwo: ret i32 0 } +declare i32* @f(i32*) +define void @test5(i32* %x, i32* %y) { +; CHECK: @test5 +entry: + %pre = icmp eq i32* %x, null + br i1 %pre, label %return, label %loop + +loop: + %phi = phi i32* [ %sel, %loop ], [ %x, %entry ] +; CHECK: %phi = phi i32* [ %f, %loop ], [ %x, %entry ] + %f = tail call i32* @f(i32* %phi) + %cmp1 = icmp ne i32* %f, %y + %sel = select i1 %cmp1, i32* %f, i32* null + %cmp2 = icmp eq i32* %sel, null + br i1 %cmp2, label %return, label %loop + +return: + ret void +} + define i32 @switch1(i32 %s) { ; CHECK: @switch1 entry: |