diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2018-06-28 08:20:03 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2018-06-28 08:20:03 +0000 |
| commit | f5ba37182e8259c4de184177027203f303965c5a (patch) | |
| tree | 18ed79c653596db5244fa3807ccf905ce7ca0fb7 /llvm/test/Transforms | |
| parent | 717c9768d3070050f8c20d7a5b4879e613f126ec (diff) | |
| download | bcm5719-llvm-f5ba37182e8259c4de184177027203f303965c5a.tar.gz bcm5719-llvm-f5ba37182e8259c4de184177027203f303965c5a.zip | |
[IndVarSimplify] Ignore unreachable users of truncs
If a trunc has a user in a block which is not reachable from entry,
we can safely perform trunc elimination as if this user didn't exist.
llvm-svn: 335816
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/eliminate-trunc.ll | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/eliminate-trunc.ll b/llvm/test/Transforms/IndVarSimplify/eliminate-trunc.ll index 660d8e507e9..a95d1561e35 100644 --- a/llvm/test/Transforms/IndVarSimplify/eliminate-trunc.ll +++ b/llvm/test/Transforms/IndVarSimplify/eliminate-trunc.ll @@ -484,3 +484,50 @@ loop: exit: ret void } + +define void @test_11() { +; CHECK-LABEL: @test_11( +; CHECK-NEXT: br label [[BB1:%.*]] +; CHECK: bb1: +; CHECK-NEXT: br i1 undef, label [[BB2:%.*]], label [[BB6:%.*]] +; CHECK: bb2: +; CHECK-NEXT: br i1 undef, label [[BB3:%.*]], label [[BB4:%.*]] +; CHECK: bb3: +; CHECK-NEXT: br label [[BB4]] +; CHECK: bb4: +; CHECK-NEXT: br label [[BB6]] +; CHECK: bb5: +; CHECK-NEXT: [[_TMP24:%.*]] = icmp slt i16 undef, 0 +; CHECK-NEXT: br i1 [[_TMP24]], label [[BB5:%.*]], label [[BB5]] +; CHECK: bb6: +; CHECK-NEXT: br i1 false, label [[BB1]], label [[BB7:%.*]] +; CHECK: bb7: +; CHECK-NEXT: ret void +; + br label %bb1 + +bb1: ; preds = %bb6, %0 + %e.5.0 = phi i32 [ 0, %0 ], [ %_tmp32, %bb6 ] + br i1 undef, label %bb2, label %bb6 + +bb2: ; preds = %bb1 + %_tmp15 = trunc i32 %e.5.0 to i16 + br i1 undef, label %bb3, label %bb4 + +bb3: ; preds = %bb2 + br label %bb4 + +bb4: ; preds = %bb3, %bb2 + br label %bb6 + +bb5: ; preds = %bb5, %bb5 + %_tmp24 = icmp slt i16 %_tmp15, 0 + br i1 %_tmp24, label %bb5, label %bb5 + +bb6: ; preds = %bb4, %bb1 + %_tmp32 = add nuw nsw i32 %e.5.0, 1 + br i1 false, label %bb1, label %bb7 + +bb7: ; preds = %bb6 + ret void +} |
