36 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=reg2mem -S < %s | FileCheck %s3 4declare void @"read_mem"()5 6define void @"memcpy_seh"() personality ptr @__C_specific_handler {7; CHECK-LABEL: @memcpy_seh(8; CHECK-NEXT: entry:9; CHECK-NEXT: %"reg2mem alloca point" = bitcast i32 0 to i3210; CHECK-NEXT: invoke void @read_mem()11; CHECK-NEXT: to label [[CLEANUP:%.*]] unwind label [[CATCH_DISPATCH:%.*]]12; CHECK: catch.dispatch:13; CHECK-NEXT: [[TMP0:%.*]] = catchswitch within none [label %__except] unwind to caller14; CHECK: __except:15; CHECK-NEXT: [[TMP1:%.*]] = catchpad within [[TMP0]] [ptr null]16; CHECK-NEXT: unreachable17; CHECK: cleanup:18; CHECK-NEXT: ret void19;20entry:21 invoke void @"read_mem"()22 to label %cleanup unwind label %catch.dispatch23 24catch.dispatch: ; preds = %entry25 %0 = catchswitch within none [label %__except] unwind to caller26 27__except: ; preds = %catch.dispatch28 %1 = catchpad within %0 [ptr null]29 unreachable30 31cleanup: ; preds = %entry32 ret void33}34 35declare i32 @__C_specific_handler(...)36