diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/sink-common-code.ll')
-rw-r--r-- | test/Transforms/SimplifyCFG/sink-common-code.ll | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/test/Transforms/SimplifyCFG/sink-common-code.ll b/test/Transforms/SimplifyCFG/sink-common-code.ll index 12a3e59cd377..02c29bd35402 100644 --- a/test/Transforms/SimplifyCFG/sink-common-code.ll +++ b/test/Transforms/SimplifyCFG/sink-common-code.ll @@ -843,50 +843,6 @@ if.end: ; CHECK: insertvalue ; CHECK-NOT: insertvalue - -declare void @baz(i32) - -define void @test_sink_void_calls(i32 %x) { -entry: - switch i32 %x, label %default [ - i32 0, label %bb0 - i32 1, label %bb1 - i32 2, label %bb2 - i32 3, label %bb3 - i32 4, label %bb4 - ] -bb0: - call void @baz(i32 12) - br label %return -bb1: - call void @baz(i32 34) - br label %return -bb2: - call void @baz(i32 56) - br label %return -bb3: - call void @baz(i32 78) - br label %return -bb4: - call void @baz(i32 90) - br label %return -default: - unreachable -return: - ret void - -; Check that the calls get sunk to the return block. -; We would previously not sink calls without uses, see PR41259. -; CHECK-LABEL: @test_sink_void_calls -; CHECK-NOT: call -; CHECK-LABEL: return: -; CHECK: phi -; CHECK: call -; CHECK-NOT: call -; CHECK: ret -} - - ; CHECK: ![[$TBAA]] = !{![[TYPE:[0-9]]], ![[TYPE]], i64 0} ; CHECK: ![[TYPE]] = !{!"float", ![[TEXT:[0-9]]]} ; CHECK: ![[TEXT]] = !{!"an example type tree"} |