blob: 2c424536dca09f01bf6de40529fea5143bca9ced (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
; 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(...)
|
