54 lines · plain
1; RUN: llvm-reduce -abort-on-invalid-reduction --delta-passes=basic-blocks --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t2; RUN: FileCheck --check-prefix=CHECK-FINAL %s < %t3 4; Make sure there's no assertion for invoke destinations that don't5; use landingpad (and use catchswitch instead)6 7; CHECK-INTERESTINGNESS: invoke8 9; CHECK-FINAL: bb:10; CHECK-FINAL-NEXT: invoke void @llvm.seh.try.begin()11; CHECK-FINAL-NEXT: to label %bb7 unwind label %bb112; CHECK-FINAL: bb1:13; CHECK-FINAL-NEXT: %i = catchswitch within none [label %bb2] unwind to caller14 15; CHECK-FINAL: bb2:16; CHECK-FINAL-NEXT: %i3 = catchpad within %i [ptr null]17; CHECK-FINAL-NEXT: ret ptr null18 19; CHECK-FINAL-NOT: bb420; CHECK-FINAL-NOT: bb521 22; CHECK-FINAL: bb7:23; CHECK-FINAL-NEXT: ret ptr null24define ptr @func() personality ptr @__C_specific_handler {25bb:26 invoke void @llvm.seh.try.begin()27 to label %bb7 unwind label %bb128 29bb1: ; preds = %bb30 %i = catchswitch within none [label %bb2] unwind to caller31 32bb2: ; preds = %bb133 %i3 = catchpad within %i [ptr null]34 catchret from %i3 to label %bb435 36bb4: ; preds = %bb237 invoke void @llvm.seh.try.end()38 to label %bb7 unwind label %bb539 40bb5: ; preds = %bb441 %i6 = cleanuppad within none []42 cleanupret from %i6 unwind to caller43 44bb7: ; preds = %bb4, %bb45 ret ptr null46}47 48declare void @llvm.seh.try.begin() #049declare void @llvm.seh.try.end() #050declare i32 @__C_specific_handler(...)51 52attributes #0 = { nounwind willreturn memory(write) }53 54