1 ; RUN: opt -objc-arc -S < %s | FileCheck %s 2 ; rdar://11744105 3 ; bugzilla://14584 4 5 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 6 target triple = "x86_64-apple-macosx10.9.0" 7 8 %0 = type opaque 9 %struct._class_t = type { %struct._class_t*, %struct._class_t*, %struct._objc_cache*, i8* (i8*, i8*)**, %struct._class_ro_t* } 10 %struct._objc_cache = type opaque 11 %struct._class_ro_t = type { i32, i32, i32, i8*, i8*, %struct.__method_list_t*, %struct._objc_protocol_list*, %struct._ivar_list_t*, i8*, %struct._prop_list_t* } 12 %struct.__method_list_t = type { i32, i32, [0 x %struct._objc_method] } 13 %struct._objc_method = type { i8*, i8*, i8* } 14 %struct._objc_protocol_list = type { i64, [0 x %struct._protocol_t*] } 15 %struct._protocol_t = type { i8*, i8*, %struct._objc_protocol_list*, %struct.__method_list_t*, %struct.__method_list_t*, %struct.__method_list_t*, %struct.__method_list_t*, %struct._prop_list_t*, i32, i32, i8** } 16 %struct._prop_list_t = type { i32, i32, [0 x %struct._prop_t] } 17 %struct._prop_t = type { i8*, i8* } 18 %struct._ivar_list_t = type { i32, i32, [0 x %struct._ivar_t] } 19 %struct._ivar_t = type { i64*, i8*, i8*, i32, i32 } 20 %struct.NSConstantString = type { i32*, i32, i8*, i64 } 21 22 @"OBJC_CLASS_$_NSObject" = external global %struct._class_t 23 @"\01L_OBJC_CLASSLIST_REFERENCES_$_" = internal global %struct._class_t* @"OBJC_CLASS_$_NSObject", section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8 24 @"\01L_OBJC_METH_VAR_NAME_" = internal global [4 x i8] c"new\00", section "__TEXT,__objc_methname,cstring_literals", align 1 25 @"\01L_OBJC_SELECTOR_REFERENCES_" = internal global i8* getelementptr inbounds ([4 x i8]* @"\01L_OBJC_METH_VAR_NAME_", i64 0, i64 0), section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip" 26 @__CFConstantStringClassReference = external global [0 x i32] 27 @.str = private unnamed_addr constant [11 x i8] c"Failed: %@\00", align 1 28 @_unnamed_cfstring_ = private constant %struct.NSConstantString { i32* getelementptr inbounds ([0 x i32]* @__CFConstantStringClassReference, i32 0, i32 0), i32 1992, i8* getelementptr inbounds ([11 x i8]* @.str, i32 0, i32 0), i64 10 }, section "__DATA,__cfstring" 29 @"OBJC_CLASS_$_NSException" = external global %struct._class_t 30 @"\01L_OBJC_CLASSLIST_REFERENCES_$_1" = internal global %struct._class_t* @"OBJC_CLASS_$_NSException", section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8 31 @.str2 = private unnamed_addr constant [4 x i8] c"Foo\00", align 1 32 @_unnamed_cfstring_3 = private constant %struct.NSConstantString { i32* getelementptr inbounds ([0 x i32]* @__CFConstantStringClassReference, i32 0, i32 0), i32 1992, i8* getelementptr inbounds ([4 x i8]* @.str2, i32 0, i32 0), i64 3 }, section "__DATA,__cfstring" 33 @"\01L_OBJC_METH_VAR_NAME_4" = internal global [14 x i8] c"raise:format:\00", section "__TEXT,__objc_methname,cstring_literals", align 1 34 @"\01L_OBJC_SELECTOR_REFERENCES_5" = internal global i8* getelementptr inbounds ([14 x i8]* @"\01L_OBJC_METH_VAR_NAME_4", i64 0, i64 0), section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip" 35 @llvm.used = appending global [6 x i8*] [i8* bitcast (%struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_" to i8*), i8* getelementptr inbounds ([4 x i8]* @"\01L_OBJC_METH_VAR_NAME_", i32 0, i32 0), i8* bitcast (i8** @"\01L_OBJC_SELECTOR_REFERENCES_" to i8*), i8* bitcast (%struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_1" to i8*), i8* getelementptr inbounds ([14 x i8]* @"\01L_OBJC_METH_VAR_NAME_4", i32 0, i32 0), i8* bitcast (i8** @"\01L_OBJC_SELECTOR_REFERENCES_5" to i8*)], section "llvm.metadata" 36 37 define i32 @main() uwtable ssp { 38 entry: 39 %tmp = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_", align 8, !dbg !37 40 %tmp1 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_", align 8, !dbg !37, !invariant.load !38 41 %tmp2 = bitcast %struct._class_t* %tmp to i8*, !dbg !37 42 ; CHECK: call i8* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8* (i8*, i8*)*)(i8* %tmp2, i8* %tmp1) 43 %call = call i8* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8* (i8*, i8*)*)(i8* %tmp2, i8* %tmp1), !dbg !37, !clang.arc.no_objc_arc_exceptions !38 44 call void @llvm.dbg.value(metadata !{i8* %call}, i64 0, metadata !12), !dbg !37 45 ; CHECK: call i8* @objc_retain(i8* %call) [[NUW:#[0-9]+]] 46 %tmp3 = call i8* @objc_retain(i8* %call) nounwind, !dbg !39 47 call void @llvm.dbg.value(metadata !{i8* %call}, i64 0, metadata !25), !dbg !39 48 invoke fastcc void @ThrowFunc(i8* %call) 49 to label %eh.cont unwind label %lpad, !dbg !40, !clang.arc.no_objc_arc_exceptions !38 50 51 eh.cont: ; preds = %entry 52 ; CHECK: call void @objc_release(i8* %call) 53 call void @objc_release(i8* %call) nounwind, !dbg !42, !clang.imprecise_release !38 54 br label %if.end, !dbg !43 55 56 lpad: ; preds = %entry 57 %tmp4 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) 58 catch i8* null, !dbg !40 59 %tmp5 = extractvalue { i8*, i32 } %tmp4, 0, !dbg !40 60 %exn.adjusted = call i8* @objc_begin_catch(i8* %tmp5) nounwind, !dbg !44 61 call void @llvm.dbg.value(metadata !45, i64 0, metadata !21), !dbg !46 62 call void @objc_end_catch(), !dbg !49, !clang.arc.no_objc_arc_exceptions !38 63 ; CHECK: call void @objc_release(i8* %call) 64 call void @objc_release(i8* %call) nounwind, !dbg !42, !clang.imprecise_release !38 65 call void (i8*, ...)* @NSLog(i8* bitcast (%struct.NSConstantString* @_unnamed_cfstring_ to i8*), i8* %call), !dbg !50, !clang.arc.no_objc_arc_exceptions !38 66 br label %if.end, !dbg !52 67 68 if.end: ; preds = %lpad, %eh.cont 69 call void (i8*, ...)* @NSLog(i8* bitcast (%struct.NSConstantString* @_unnamed_cfstring_ to i8*), i8* %call), !dbg !53, !clang.arc.no_objc_arc_exceptions !38 70 ; CHECK: call void @objc_release(i8* %call) 71 call void @objc_release(i8* %call) nounwind, !dbg !54, !clang.imprecise_release !38 72 ret i32 0, !dbg !54 73 } 74 75 declare void @llvm.dbg.declare(metadata, metadata) nounwind readnone 76 77 declare i8* @objc_msgSend(i8*, i8*, ...) nonlazybind 78 79 declare i8* @objc_retain(i8*) nonlazybind 80 81 declare i8* @objc_begin_catch(i8*) 82 83 declare void @objc_end_catch() 84 85 declare void @objc_exception_rethrow() 86 87 define internal fastcc void @ThrowFunc(i8* %obj) uwtable noinline ssp { 88 entry: 89 %tmp = call i8* @objc_retain(i8* %obj) nounwind 90 call void @llvm.dbg.value(metadata !{i8* %obj}, i64 0, metadata !32), !dbg !55 91 %tmp1 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_1", align 8, !dbg !56 92 %tmp2 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_5", align 8, !dbg !56, !invariant.load !38 93 %tmp3 = bitcast %struct._class_t* %tmp1 to i8*, !dbg !56 94 call void (i8*, i8*, %0*, %0*, ...)* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, %0*, %0*, ...)*)(i8* %tmp3, i8* %tmp2, %0* bitcast (%struct.NSConstantString* @_unnamed_cfstring_3 to %0*), %0* bitcast (%struct.NSConstantString* @_unnamed_cfstring_3 to %0*)), !dbg !56, !clang.arc.no_objc_arc_exceptions !38 95 call void @objc_release(i8* %obj) nounwind, !dbg !58, !clang.imprecise_release !38 96 ret void, !dbg !58 97 } 98 99 declare i32 @__objc_personality_v0(...) 100 101 declare void @objc_release(i8*) nonlazybind 102 103 declare void @NSLog(i8*, ...) 104 105 declare void @llvm.dbg.value(metadata, i64, metadata) nounwind readnone 106 107 ; CHECK: attributes #0 = { ssp uwtable } 108 ; CHECK: attributes #1 = { nounwind readnone } 109 ; CHECK: attributes #2 = { nonlazybind } 110 ; CHECK: attributes #3 = { noinline ssp uwtable } 111 ; CHECK: attributes [[NUW]] = { nounwind } 112 113 !llvm.dbg.cu = !{!0} 114 !llvm.module.flags = !{!33, !34, !35, !36, !61} 115 116 !0 = metadata !{i32 786449, metadata !60, i32 16, metadata !"clang version 3.3 ", i1 true, metadata !"", i32 2, metadata !1, metadata !1, metadata !3, metadata !1, null, metadata !""} ; [ DW_TAG_compile_unit ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] [DW_LANG_ObjC] 117 !1 = metadata !{i32 0} 118 !3 = metadata !{metadata !5, metadata !27} 119 !5 = metadata !{i32 786478, metadata !60, metadata !6, metadata !"main", metadata !"main", metadata !"", i32 9, metadata !7, i1 false, i1 true, i32 0, i32 0, null, i32 0, i1 true, i32 ()* @main, null, null, metadata !10, i32 10} ; [ DW_TAG_subprogram ] [line 9] [def] [scope 10] [main] 120 !6 = metadata !{i32 786473, metadata !60} ; [ DW_TAG_file_type ] 121 !7 = metadata !{i32 786453, i32 0, null, i32 0, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !8, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ] 122 !8 = metadata !{metadata !9} 123 !9 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed] 124 !10 = metadata !{metadata !11} 125 !11 = metadata !{metadata !12, metadata !21, metadata !25} 126 !12 = metadata !{i32 786688, metadata !13, metadata !"obj", metadata !6, i32 11, metadata !14, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [obj] [line 11] 127 !13 = metadata !{i32 786443, metadata !60, metadata !5, i32 10, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] 128 !14 = metadata !{i32 786454, metadata !60, null, metadata !"id", i32 11, i64 0, i64 0, i64 0, i32 0, metadata !15} ; [ DW_TAG_typedef ] [id] [line 11, size 0, align 0, offset 0] [from ] 129 !15 = metadata !{i32 786447, metadata !60, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !16} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from objc_object] 130 !16 = metadata !{i32 786451, metadata !60, null, metadata !"objc_object", i32 0, i64 0, i64 0, i32 0, i32 0, null, metadata !17, i32 0, null, i32 0, null} ; [ DW_TAG_structure_type ] [objc_object] [line 0, size 0, align 0, offset 0] [def] [from ] 131 !17 = metadata !{metadata !18} 132 !18 = metadata !{i32 786445, metadata !60, metadata !16, metadata !"isa", i32 0, i64 64, i64 0, i64 0, i32 0, metadata !19} ; [ DW_TAG_member ] [isa] [line 0, size 64, align 0, offset 0] [from ] 133 !19 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 0, i64 0, i32 0, metadata !20} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 0, offset 0] [from objc_class] 134 !20 = metadata !{i32 786451, metadata !60, null, metadata !"objc_class", i32 0, i64 0, i64 0, i32 0, i32 4, null, null, i32 0, null, null, null} ; [ DW_TAG_structure_type ] [objc_class] [line 0, size 0, align 0, offset 0] [decl] [from ] 135 !21 = metadata !{i32 786688, metadata !22, metadata !"ok", metadata !6, i32 13, metadata !23, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [ok] [line 13] 136 !22 = metadata !{i32 786443, metadata !60, metadata !13, i32 12, i32 0, i32 1} ; [ DW_TAG_lexical_block ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] 137 !23 = metadata !{i32 786454, metadata !60, null, metadata !"BOOL", i32 62, i64 0, i64 0, i64 0, i32 0, metadata !24} ; [ DW_TAG_typedef ] [BOOL] [line 62, size 0, align 0, offset 0] [from signed char] 138 !24 = metadata !{i32 786468, null, null, metadata !"signed char", i32 0, i64 8, i64 8, i64 0, i32 0, i32 6} ; [ DW_TAG_base_type ] [signed char] [line 0, size 8, align 8, offset 0, enc DW_ATE_signed_char] 139 !25 = metadata !{i32 786688, metadata !26, metadata !"obj2", metadata !6, i32 15, metadata !14, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [obj2] [line 15] 140 !26 = metadata !{i32 786443, metadata !60, metadata !22, i32 14, i32 0, i32 2} ; [ DW_TAG_lexical_block ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] 141 !27 = metadata !{i32 786478, metadata !60, metadata !6, metadata !"ThrowFunc", metadata !"ThrowFunc", metadata !"", i32 4, metadata !28, i1 true, i1 true, i32 0, i32 0, null, i32 256, i1 true, void (i8*)* @ThrowFunc, null, null, metadata !30, i32 5} ; [ DW_TAG_subprogram ] [line 4] [local] [def] [scope 5] [ThrowFunc] 142 !28 = metadata !{i32 786453, i32 0, null, i32 0, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !29, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ] 143 !29 = metadata !{null, metadata !14} 144 !30 = metadata !{metadata !31} 145 !31 = metadata !{metadata !32} 146 !32 = metadata !{i32 786689, metadata !27, metadata !"obj", metadata !6, i32 16777220, metadata !14, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [obj] [line 4] 147 !33 = metadata !{i32 1, metadata !"Objective-C Version", i32 2} 148 !34 = metadata !{i32 1, metadata !"Objective-C Image Info Version", i32 0} 149 !35 = metadata !{i32 1, metadata !"Objective-C Image Info Section", metadata !"__DATA, __objc_imageinfo, regular, no_dead_strip"} 150 !36 = metadata !{i32 4, metadata !"Objective-C Garbage Collection", i32 0} 151 !37 = metadata !{i32 11, i32 0, metadata !13, null} 152 !38 = metadata !{} 153 !39 = metadata !{i32 15, i32 0, metadata !26, null} 154 !40 = metadata !{i32 17, i32 0, metadata !41, null} 155 !41 = metadata !{i32 786443, metadata !60, metadata !26, i32 16, i32 0, i32 3} ; [ DW_TAG_lexical_block ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] 156 !42 = metadata !{i32 22, i32 0, metadata !26, null} 157 !43 = metadata !{i32 23, i32 0, metadata !22, null} 158 !44 = metadata !{i32 19, i32 0, metadata !41, null} 159 !45 = metadata !{i8 0} 160 !46 = metadata !{i32 20, i32 0, metadata !47, null} 161 !47 = metadata !{i32 786443, metadata !60, metadata !48, i32 19, i32 0, i32 5} ; [ DW_TAG_lexical_block ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] 162 !48 = metadata !{i32 786443, metadata !60, metadata !26, i32 19, i32 0, i32 4} ; [ DW_TAG_lexical_block ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] 163 !49 = metadata !{i32 21, i32 0, metadata !47, null} 164 !50 = metadata !{i32 24, i32 0, metadata !51, null} 165 !51 = metadata !{i32 786443, metadata !60, metadata !22, i32 23, i32 0, i32 6} ; [ DW_TAG_lexical_block ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] 166 !52 = metadata !{i32 25, i32 0, metadata !51, null} 167 !53 = metadata !{i32 27, i32 0, metadata !13, null} 168 !54 = metadata !{i32 28, i32 0, metadata !13, null} 169 !55 = metadata !{i32 4, i32 0, metadata !27, null} 170 !56 = metadata !{i32 6, i32 0, metadata !57, null} 171 !57 = metadata !{i32 786443, metadata !60, metadata !27, i32 5, i32 0, i32 7} ; [ DW_TAG_lexical_block ] [/Volumes/Files/gottesmmcab/Radar/12906997/test.m] 172 !58 = metadata !{i32 7, i32 0, metadata !57, null} 173 !60 = metadata !{metadata !"test.m", metadata !"/Volumes/Files/gottesmmcab/Radar/12906997"} 174 !61 = metadata !{i32 1, metadata !"Debug Info Version", i32 1} 175
