1; RUN: llc -enable-correct-eh-support < %s
2; PR7716
3target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32"
4target triple = "thumbv7-apple-darwin10.0.0"
5
6%0 = type { i8*, i8* }
7%struct.A = type { i32 }
8
9@d = internal global i32 0, align 4               ; <i32*> [#uses=6]
10@_ZTVN10__cxxabiv117__class_type_infoE = external global i8* ; <i8**> [#uses=1]
11@_ZTS1A = internal constant [3 x i8] c"1A\00"     ; <[3 x i8]*> [#uses=1]
12@_ZTI1A = internal constant %0 { i8* bitcast (i8** getelementptr inbounds (i8** @_ZTVN10__cxxabiv117__class_type_infoE, i32 2) to i8*), i8* getelementptr inbounds ([3 x i8]* @_ZTS1A, i32 0, i32 0) } ; <%0*> [#uses=1]
13@.str2 = private constant [18 x i8] c"c == %d, d == %d\0A\00" ; <[18 x i8]*> [#uses=1]
14@.str3 = private constant [16 x i8] c"A(const A&) %d\0A\00" ; <[16 x i8]*> [#uses=1]
15@.str4 = private constant [9 x i8] c"~A() %d\0A\00" ; <[9 x i8]*> [#uses=1]
16@.str5 = private constant [8 x i8] c"A() %d\0A\00" ; <[8 x i8]*> [#uses=1]
17@str = internal constant [14 x i8] c"Throwing 1...\00" ; <[14 x i8]*> [#uses=1]
18@str1 = internal constant [8 x i8] c"Caught.\00"  ; <[8 x i8]*> [#uses=1]
19
20declare i32 @printf(i8* nocapture, ...) nounwind
21
22declare i8* @__cxa_allocate_exception(i32)
23
24declare i8* @llvm.eh.exception() nounwind readonly
25
26declare i32 @__gxx_personality_sj0(...)
27
28declare i32 @llvm.eh.selector(i8*, i8*, ...) nounwind
29
30declare i32 @llvm.eh.typeid.for(i8*) nounwind
31
32declare void @_Unwind_SjLj_Resume(i8*)
33
34define internal void @_ZN1AD1Ev(%struct.A* nocapture %this) nounwind ssp align 2 {
35entry:
36  %tmp.i = getelementptr inbounds %struct.A* %this, i32 0, i32 0 ; <i32*> [#uses=1]
37  %tmp2.i = load i32* %tmp.i                      ; <i32> [#uses=1]
38  %call.i = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([9 x i8]* @.str4, i32 0, i32 0), i32 %tmp2.i) nounwind ; <i32> [#uses=0]
39  %tmp3.i = load i32* @d                          ; <i32> [#uses=1]
40  %inc.i = add nsw i32 %tmp3.i, 1                 ; <i32> [#uses=1]
41  store i32 %inc.i, i32* @d
42  ret void
43}
44
45declare void @__cxa_throw(i8*, i8*, i8*)
46
47define i32 @main() ssp {
48entry:
49  %puts.i = tail call i32 @puts(i8* getelementptr inbounds ([14 x i8]* @str, i32 0, i32 0)) ; <i32> [#uses=0]
50  %exception.i = tail call i8* @__cxa_allocate_exception(i32 4) nounwind ; <i8*> [#uses=2]
51  %tmp2.i.i.i = bitcast i8* %exception.i to i32*  ; <i32*> [#uses=1]
52  store i32 1, i32* %tmp2.i.i.i
53  %call.i.i.i = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([8 x i8]* @.str5, i32 0, i32 0), i32 1) nounwind ; <i32> [#uses=0]
54  invoke void @__cxa_throw(i8* %exception.i, i8* bitcast (%0* @_ZTI1A to i8*), i8* bitcast (void (%struct.A*)* @_ZN1AD1Ev to i8*)) noreturn
55          to label %.noexc unwind label %lpad
56
57.noexc:                                           ; preds = %entry
58  unreachable
59
60try.cont:                                         ; preds = %lpad
61  %0 = tail call i8* @__cxa_get_exception_ptr(i8* %exn) nounwind ; <i8*> [#uses=0]
62  %call.i.i = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([16 x i8]* @.str3, i32 0, i32 0), i32 2) nounwind ; <i32> [#uses=0]
63  %1 = tail call i8* @__cxa_begin_catch(i8* %exn) nounwind ; <i8*> [#uses=0]
64  %puts = tail call i32 @puts(i8* getelementptr inbounds ([8 x i8]* @str1, i32 0, i32 0)) ; <i32> [#uses=0]
65  %call.i.i3 = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([9 x i8]* @.str4, i32 0, i32 0), i32 2) nounwind ; <i32> [#uses=0]
66  %tmp3.i.i = load i32* @d                        ; <i32> [#uses=1]
67  %inc.i.i4 = add nsw i32 %tmp3.i.i, 1            ; <i32> [#uses=1]
68  store i32 %inc.i.i4, i32* @d
69  tail call void @__cxa_end_catch()
70  %tmp13 = load i32* @d                           ; <i32> [#uses=1]
71  %call14 = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([18 x i8]* @.str2, i32 0, i32 0), i32 2, i32 %tmp13) ; <i32> [#uses=0]
72  %tmp16 = load i32* @d                           ; <i32> [#uses=1]
73  %cmp = icmp ne i32 %tmp16, 2                    ; <i1> [#uses=1]
74  %conv = zext i1 %cmp to i32                     ; <i32> [#uses=1]
75  ret i32 %conv
76
77lpad:                                             ; preds = %entry
78  %exn = tail call i8* @llvm.eh.exception() nounwind ; <i8*> [#uses=4]
79  %eh.selector = tail call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* %exn, i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*), i8* bitcast (%0* @_ZTI1A to i8*), i8* null) nounwind ; <i32> [#uses=1]
80  %2 = tail call i32 @llvm.eh.typeid.for(i8* bitcast (%0* @_ZTI1A to i8*)) nounwind ; <i32> [#uses=1]
81  %3 = icmp eq i32 %eh.selector, %2               ; <i1> [#uses=1]
82  br i1 %3, label %try.cont, label %eh.resume
83
84eh.resume:                                        ; preds = %lpad
85  tail call void @_Unwind_SjLj_Resume(i8* %exn) noreturn
86  unreachable
87}
88
89declare i8* @__cxa_get_exception_ptr(i8*)
90
91declare i8* @__cxa_begin_catch(i8*)
92
93declare void @__cxa_end_catch()
94
95declare i32 @puts(i8* nocapture) nounwind
96