diff options
| author | Nicolai Haehnle <nhaehnle@gmail.com> | 2018-10-17 15:37:41 +0000 |
|---|---|---|
| committer | Nicolai Haehnle <nhaehnle@gmail.com> | 2018-10-17 15:37:41 +0000 |
| commit | 0823050b9f4ca2dd0aaf27ee34cb45bde5bf05ea (patch) | |
| tree | 85a15b1292b69c96e98dc91fcfc8f607f32bd8ee /llvm/test/Transforms/StructurizeCFG/invert-constantexpr.ll | |
| parent | c4a2ff095078ae2390ce216bd5b3522921b7f722 (diff) | |
| download | bcm5719-llvm-0823050b9f4ca2dd0aaf27ee34cb45bde5bf05ea.tar.gz bcm5719-llvm-0823050b9f4ca2dd0aaf27ee34cb45bde5bf05ea.zip | |
StructurizeCFG: Simplify inserted PHI nodes
Summary:
This improves subsequent divergence analysis in some cases.
Change-Id: I5e95e7ec7fd3fa80d414d1a53a02fea23e3d67d3
Reviewers: arsenm, rampitec
Subscribers: jvesely, wdng, llvm-commits
Differential Revision: https://reviews.llvm.org/D53316
llvm-svn: 344697
Diffstat (limited to 'llvm/test/Transforms/StructurizeCFG/invert-constantexpr.ll')
| -rw-r--r-- | llvm/test/Transforms/StructurizeCFG/invert-constantexpr.ll | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/llvm/test/Transforms/StructurizeCFG/invert-constantexpr.ll b/llvm/test/Transforms/StructurizeCFG/invert-constantexpr.ll index ac12b5d6b65..61482bb73ad 100644 --- a/llvm/test/Transforms/StructurizeCFG/invert-constantexpr.ll +++ b/llvm/test/Transforms/StructurizeCFG/invert-constantexpr.ll @@ -12,13 +12,12 @@ define void @invert_constantexpr_condition(i32 %arg, i32 %arg1) #0 { ; CHECK: bb2: ; CHECK-NEXT: br label [[FLOW]] ; CHECK: bb3: -; CHECK-NEXT: [[TMP4:%.*]] = phi i1 [ [[TMP1:%.*]], [[FLOW]] ], [ [[TMP7:%.*]], [[BB6:%.*]] ] +; CHECK-NEXT: [[TMP4:%.*]] = phi i1 [ undef, [[FLOW]] ], [ [[TMP7:%.*]], [[BB6:%.*]] ] ; CHECK-NEXT: [[TMP5:%.*]] = or i1 [[TMP4]], icmp eq (i32 ptrtoint (i32* @g to i32), i32 0) ; CHECK-NEXT: br label [[BB8:%.*]] ; CHECK: Flow: -; CHECK-NEXT: [[TMP1]] = phi i1 [ undef, [[BB2]] ], [ undef, [[BB:%.*]] ] -; CHECK-NEXT: [[TMP2:%.*]] = phi i1 [ [[TMP0]], [[BB2]] ], [ icmp ne (i32 ptrtoint (i32* @g to i32), i32 0), [[BB]] ] -; CHECK-NEXT: br i1 [[TMP2]], label [[BB6]], label [[BB3:%.*]] +; CHECK-NEXT: [[TMP1:%.*]] = phi i1 [ [[TMP0]], [[BB2]] ], [ icmp ne (i32 ptrtoint (i32* @g to i32), i32 0), [[BB:%.*]] ] +; CHECK-NEXT: br i1 [[TMP1]], label [[BB6]], label [[BB3:%.*]] ; CHECK: bb6: ; CHECK-NEXT: [[TMP7]] = icmp slt i32 [[ARG]], [[ARG1:%.*]] ; CHECK-NEXT: br label [[BB3]] |
