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], [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], [0 x i32]* @__CFConstantStringClassReference, i32 0, i32 0), i32 1992, i8* getelementptr inbounds ([11 x i8], [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], [0 x i32]* @__CFConstantStringClassReference, i32 0, i32 0), i32 1992, i8* getelementptr inbounds ([4 x i8], [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], [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], [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], [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 personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) !dbg !5 { 38 entry: 39 %tmp = load %struct._class_t*, %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_", align 8, !dbg !37 40 %tmp1 = load i8*, 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 !25, metadata !DIExpression()), !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, metadata !DIExpression()), !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 } 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 i8 0, i64 0, metadata !21, metadata !DIExpression()), !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, 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 !dbg !27 { 88 entry: 89 %tmp = call i8* @objc_retain(i8* %obj) nounwind 90 call void @llvm.dbg.value(metadata i8* %obj, i64 0, metadata !32, metadata !DIExpression()), !dbg !55 91 %tmp1 = load %struct._class_t*, %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_1", align 8, !dbg !56 92 %tmp2 = load i8*, 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, 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 = distinct !DICompileUnit(language: DW_LANG_ObjC, producer: "clang version 3.3 ", isOptimized: true, runtimeVersion: 2, emissionKind: FullDebug, file: !60, enums: !1, retainedTypes: !1, globals: !1) 117 !1 = !{} 118 !5 = distinct !DISubprogram(name: "main", line: 9, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: true, unit: !0, scopeLine: 10, file: !60, scope: !6, type: !7, variables: !11) 119 !6 = !DIFile(filename: "test.m", directory: "/Volumes/Files/gottesmmcab/Radar/12906997") 120 !7 = !DISubroutineType(types: !8) 121 !8 = !{!9} 122 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 123 !11 = !{!12, !21, !25} 124 !12 = !DILocalVariable(name: "obj", line: 11, scope: !13, file: !6, type: !14) 125 !13 = distinct !DILexicalBlock(line: 10, column: 0, file: !60, scope: !5) 126 !14 = !DIDerivedType(tag: DW_TAG_typedef, name: "id", line: 11, file: !60, baseType: !15) 127 !15 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, file: !60, baseType: !16) 128 !16 = !DICompositeType(tag: DW_TAG_structure_type, name: "objc_object", file: !60, elements: !17) 129 !17 = !{!18} 130 !18 = !DIDerivedType(tag: DW_TAG_member, name: "isa", size: 64, file: !60, scope: !16, baseType: !19) 131 !19 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, baseType: !20) 132 !20 = !DICompositeType(tag: DW_TAG_structure_type, name: "objc_class", flags: DIFlagFwdDecl, file: !60) 133 !21 = !DILocalVariable(name: "ok", line: 13, scope: !22, file: !6, type: !23) 134 !22 = distinct !DILexicalBlock(line: 12, column: 0, file: !60, scope: !13) 135 !23 = !DIDerivedType(tag: DW_TAG_typedef, name: "BOOL", line: 62, file: !60, baseType: !24) 136 !24 = !DIBasicType(tag: DW_TAG_base_type, name: "signed char", size: 8, align: 8, encoding: DW_ATE_signed_char) 137 !25 = !DILocalVariable(name: "obj2", line: 15, scope: !26, file: !6, type: !14) 138 !26 = distinct !DILexicalBlock(line: 14, column: 0, file: !60, scope: !22) 139 !27 = distinct !DISubprogram(name: "ThrowFunc", line: 4, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 5, file: !60, scope: !6, type: !28, variables: !31) 140 !28 = !DISubroutineType(types: !29) 141 !29 = !{null, !14} 142 !31 = !{!32} 143 !32 = !DILocalVariable(name: "obj", line: 4, arg: 1, scope: !27, file: !6, type: !14) 144 !33 = !{i32 1, !"Objective-C Version", i32 2} 145 !34 = !{i32 1, !"Objective-C Image Info Version", i32 0} 146 !35 = !{i32 1, !"Objective-C Image Info Section", !"__DATA, __objc_imageinfo, regular, no_dead_strip"} 147 !36 = !{i32 4, !"Objective-C Garbage Collection", i32 0} 148 !37 = !DILocation(line: 11, scope: !13) 149 !38 = !{} 150 !39 = !DILocation(line: 15, scope: !26) 151 !40 = !DILocation(line: 17, scope: !41) 152 !41 = distinct !DILexicalBlock(line: 16, column: 0, file: !60, scope: !26) 153 !42 = !DILocation(line: 22, scope: !26) 154 !43 = !DILocation(line: 23, scope: !22) 155 !44 = !DILocation(line: 19, scope: !41) 156 !45 = !{i8 0} 157 !46 = !DILocation(line: 20, scope: !47) 158 !47 = distinct !DILexicalBlock(line: 19, column: 0, file: !60, scope: !48) 159 !48 = distinct !DILexicalBlock(line: 19, column: 0, file: !60, scope: !26) 160 !49 = !DILocation(line: 21, scope: !47) 161 !50 = !DILocation(line: 24, scope: !51) 162 !51 = distinct !DILexicalBlock(line: 23, column: 0, file: !60, scope: !22) 163 !52 = !DILocation(line: 25, scope: !51) 164 !53 = !DILocation(line: 27, scope: !13) 165 !54 = !DILocation(line: 28, scope: !13) 166 !55 = !DILocation(line: 4, scope: !27) 167 !56 = !DILocation(line: 6, scope: !57) 168 !57 = distinct !DILexicalBlock(line: 5, column: 0, file: !60, scope: !27) 169 !58 = !DILocation(line: 7, scope: !57) 170 !60 = !DIFile(filename: "test.m", directory: "/Volumes/Files/gottesmmcab/Radar/12906997") 171 !61 = !{i32 1, !"Debug Info Version", i32 3} 172
