diff options
author | Benjamin Kramer <benny.kra@googlemail.com> | 2014-06-21 11:47:18 +0000 |
---|---|---|
committer | Benjamin Kramer <benny.kra@googlemail.com> | 2014-06-21 11:47:18 +0000 |
commit | b7f1fb47e67af99d65dd1afc55910c8f19b5ec8e (patch) | |
tree | f2516c3535a164e1edd91259c1b843558b6de336 /test/Transforms | |
parent | 7921239c411aeeaef55998cc64495aa1ea1a3ea3 (diff) | |
download | llvm-b7f1fb47e67af99d65dd1afc55910c8f19b5ec8e.tar.gz llvm-b7f1fb47e67af99d65dd1afc55910c8f19b5ec8e.tar.bz2 llvm-b7f1fb47e67af99d65dd1afc55910c8f19b5ec8e.tar.xz |
SCEVExpander: Fold constant PHIs harder. The logic below only understands proper IVs.
PR20093.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@211433 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
-rw-r--r-- | test/Transforms/IndVarSimplify/2014-06-21-congruent-constant.ll | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/2014-06-21-congruent-constant.ll b/test/Transforms/IndVarSimplify/2014-06-21-congruent-constant.ll new file mode 100644 index 0000000000..3df4c210b4 --- /dev/null +++ b/test/Transforms/IndVarSimplify/2014-06-21-congruent-constant.ll @@ -0,0 +1,51 @@ +; RUN: opt -S -loop-unswitch -instcombine -indvars < %s | FileCheck %s + +@c = external global i32**, align 8 + +define void @test1() { +entry: + br i1 undef, label %for.end12, label %for.cond.preheader + +for.cond.preheader: ; preds = %entry + %0 = load i32*** @c, align 8 + %1 = load i32** %0, align 8 + %2 = load i32* %1, align 4 + br label %for.body + +for.body: ; preds = %for.cond.backedge, %for.body9.us, %for.cond.preheader + %3 = phi i32* [ %1, %for.cond.preheader ], [ %3, %for.cond.backedge ], [ %6, %for.body9.us ] + %4 = phi i32 [ %2, %for.cond.preheader ], [ undef, %for.cond.backedge ], [ %7, %for.body9.us ] + %i.024 = phi i32 [ 0, %for.cond.preheader ], [ %inc, %for.cond.backedge ], [ 0, %for.body9.us ] + %tobool1 = icmp eq i32 %4, 0 + br i1 %tobool1, label %if.end, label %for.cond.backedge + +if.end: ; preds = %for.body + %5 = load i32* %3, align 4 + %tobool4 = icmp eq i32 %5, 0 + br i1 %tobool4, label %for.cond3, label %for.body9.preheader + +for.body9.preheader: ; preds = %if.end + %tobool8 = icmp eq i32 %i.024, 1 + br i1 %tobool8, label %for.body9.us, label %for.body9 + +for.body9.us: ; preds = %for.body9.preheader + %6 = load i32** undef, align 8 + %7 = load i32* %6, align 4 + br label %for.body + +for.cond3: ; preds = %for.cond3, %if.end + br label %for.cond3 + +for.body9: ; preds = %for.body9, %for.body9.preheader + br label %for.body9 + +for.cond.backedge: ; preds = %for.body + %inc = add nsw i32 %i.024, 1 + br i1 false, label %for.body, label %for.end12 + +for.end12: ; preds = %for.cond.backedge, %entry + ret void + +; CHECK-LABEL: @test1 +; CHECK-NOT: phi +} |