aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorBenjamin Kramer <benny.kra@googlemail.com>2013-02-24 15:34:43 +0000
committerBenjamin Kramer <benny.kra@googlemail.com>2013-02-24 15:34:43 +0000
commite8aa36a4afa02dde89e10f39b6ca87cfe1949dd8 (patch)
tree44fe42e2141234cf5a22c60ec2305ac878335d0d /test
parentbd4b21ea4192c025159dd60b1175c084c0383ed0 (diff)
downloadexternal_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')
-rw-r--r--test/Transforms/CorrelatedValuePropagation/basic.ll20
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: