diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2017-02-22 22:20:58 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@dberlin.org> | 2017-02-22 22:20:58 +0000 |
| commit | fccbda967a37741656e85c235a69e8d86f70396f (patch) | |
| tree | 7ef7533b7af4da491e3de89051484d3f90fc232d /llvm/test/Transforms/Util/PredicateInfo/edge.ll | |
| parent | 211a1209a561d1470f03599aca06d1829aee531f (diff) | |
| download | bcm5719-llvm-fccbda967a37741656e85c235a69e8d86f70396f.tar.gz bcm5719-llvm-fccbda967a37741656e85c235a69e8d86f70396f.zip | |
PredicateInfo: Support switch statements
Summary:
Depends on D29606 and D29682
Makes us pass GVN's edge.ll (we also will pass a few other testcases
they just need cleaning up).
Thoughts on the Predicate* hiearchy of classes especially welcome :)
(it's not clear to me how best to organize it, and currently, the getBlock* seems ... uglier than maybe wasting a field somewhere or something).
Reviewers: davide
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D29747
llvm-svn: 295889
Diffstat (limited to 'llvm/test/Transforms/Util/PredicateInfo/edge.ll')
| -rw-r--r-- | llvm/test/Transforms/Util/PredicateInfo/edge.ll | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/test/Transforms/Util/PredicateInfo/edge.ll b/llvm/test/Transforms/Util/PredicateInfo/edge.ll index 5f400ccb795..6c58540e105 100644 --- a/llvm/test/Transforms/Util/PredicateInfo/edge.ll +++ b/llvm/test/Transforms/Util/PredicateInfo/edge.ll @@ -52,13 +52,14 @@ bb2: define i32 @f3(i32 %x) { ; CHECK-LABEL: @f3( ; CHECK-NEXT: bb0: -; CHECK-NEXT: switch i32 [[X:%.*]], label [[BB1:%.*]] [ +; CHECK: [[X_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[X:%.*]]) +; CHECK-NEXT: switch i32 [[X]], label [[BB1:%.*]] [ ; CHECK-NEXT: i32 0, label [[BB2:%.*]] ; CHECK-NEXT: ] ; CHECK: bb1: ; CHECK-NEXT: br label [[BB2]] ; CHECK: bb2: -; CHECK-NEXT: [[COND:%.*]] = phi i32 [ [[X]], [[BB0:%.*]] ], [ 0, [[BB1]] ] +; CHECK-NEXT: [[COND:%.*]] = phi i32 [ [[X_0]], [[BB0:%.*]] ], [ 0, [[BB1]] ] ; CHECK-NEXT: [[FOO:%.*]] = add i32 [[COND]], [[X]] ; CHECK-NEXT: ret i32 [[FOO]] ; |
