| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 |
| ; RUN: opt < %s -passes=win-eh-prepare -S | FileCheck %s |
| |
| target triple = "x86_64-unknown-windows-msvc" |
| |
| %rtti.TypeDescriptor2 = type { ptr, ptr, [3 x i8] } |
| |
| $"??_R0H@8" = comdat any |
| |
| @"??_7type_info@@6B@" = external constant ptr |
| @"??_R0H@8" = linkonce_odr global %rtti.TypeDescriptor2 { ptr @"??_7type_info@@6B@", ptr null, [3 x i8] c".H\00" }, comdat |
| |
| declare dso_local i32 @test0(i32) local_unnamed_addr |
| |
| define dso_local i32 @test1(i32 %argc) local_unnamed_addr personality ptr @__CxxFrameHandler3 { |
| ; CHECK-LABEL: define dso_local i32 @test1( |
| ; CHECK-SAME: i32 [[ARGC:%.*]]) local_unnamed_addr personality ptr @__CxxFrameHandler3 { |
| ; CHECK-NEXT: [[ENTRY:.*:]] |
| ; CHECK-NEXT: [[CALL:%.*]] = invoke i32 @test0(i32 [[ARGC]]) |
| ; CHECK-NEXT: to label %[[RETURN:.*]] unwind label %[[CATCH_DISPATCH:.*]] |
| ; CHECK: [[CATCH_DISPATCH]]: |
| ; CHECK-NEXT: [[TMP0:%.*]] = catchswitch within none [label %catch] unwind to caller |
| ; CHECK: [[CATCH:.*:]] |
| ; CHECK-NEXT: [[TMP1:%.*]] = catchpad within [[TMP0]] [ptr @"??_R0H@8", i32 0, ptr null] |
| ; CHECK-NEXT: call void asm "", ""() |
| ; CHECK-NEXT: catchret from [[TMP1]] to label %[[RETURN]] |
| ; CHECK: [[RETURN]]: |
| ; CHECK-NEXT: ret i32 0 |
| ; |
| entry: |
| %call = invoke i32 @test0(i32 %argc) |
| to label %return unwind label %catch.dispatch |
| |
| catch.dispatch: ; preds = %entry |
| %0 = catchswitch within none [label %catch] unwind to caller |
| |
| catch: ; preds = %catch.dispatch |
| %1 = catchpad within %0 [ptr @"??_R0H@8", i32 0, ptr null] |
| call void asm "", ""() |
| catchret from %1 to label %return |
| |
| return: ; preds = %catch, %entry |
| ret i32 0 |
| } |
| |
| declare dso_local i32 @__CxxFrameHandler3(...) |