llvm/test/Transforms/ObjCARC/ensure-that-exception-unwind-path-is-visited.ll

   1 ; RUN: opt -passes=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 { ptr, ptr, ptr, ptr, ptr }
  10 %struct._objc_cache = type opaque
  11 %struct._class_ro_t = type { i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
  12 %struct.__method_list_t = type { i32, i32, [0 x %struct._objc_method] }
  13 %struct._objc_method = type { ptr, ptr, ptr }
  14 %struct._objc_protocol_list = type { i64, [0 x ptr] }
  15 %struct._protocol_t = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr }
  16 %struct._prop_list_t = type { i32, i32, [0 x %struct._prop_t] }
  17 %struct._prop_t = type { ptr, ptr }
  18 %struct._ivar_list_t = type { i32, i32, [0 x %struct._ivar_t] }
  19 %struct._ivar_t = type { ptr, ptr, ptr, i32, i32 }
  20 %struct.NSConstantString = type { ptr, i32, ptr, i64 }
  21
  22 @"OBJC_CLASS_$_NSObject" = external global %struct._class_t
  23 @"\01L_OBJC_CLASSLIST_REFERENCES_$_" = internal global ptr @"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 ptr @"\01L_OBJC_METH_VAR_NAME_", 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 { ptr @__CFConstantStringClassReference, i32 1992, ptr @.str, i64 10 }, section "__DATA,__cfstring"
  29 @"OBJC_CLASS_$_NSException" = external global %struct._class_t
  30 @"\01L_OBJC_CLASSLIST_REFERENCES_$_1" = internal global ptr @"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 { ptr @__CFConstantStringClassReference, i32 1992, ptr @.str2, 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 ptr @"\01L_OBJC_METH_VAR_NAME_4", section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
  35 @llvm.used = appending global [6 x ptr] [ptr @"\01L_OBJC_CLASSLIST_REFERENCES_$_", ptr @"\01L_OBJC_METH_VAR_NAME_", ptr @"\01L_OBJC_SELECTOR_REFERENCES_", ptr @"\01L_OBJC_CLASSLIST_REFERENCES_$_1", ptr @"\01L_OBJC_METH_VAR_NAME_4", ptr @"\01L_OBJC_SELECTOR_REFERENCES_5"], section "llvm.metadata"
  36
  37 define i32 @main() uwtable ssp personality ptr @__objc_personality_v0 !dbg !5 {
  38 entry:
  39   %tmp = load ptr, ptr @"\01L_OBJC_CLASSLIST_REFERENCES_$_", align 8, !dbg !37
  40   %tmp1 = load ptr, ptr @"\01L_OBJC_SELECTOR_REFERENCES_", align 8, !dbg !37, !invariant.load !38
  41 ; CHECK: call ptr @objc_msgSend(ptr %tmp, ptr %tmp1)
  42   %call = call ptr @objc_msgSend(ptr %tmp, ptr %tmp1), !dbg !37, !clang.arc.no_objc_arc_exceptions !38
  43   call void @llvm.dbg.value(metadata ptr %call, metadata !25, metadata !DIExpression()), !dbg !37
  44 ; CHECK: call ptr @llvm.objc.retain(ptr %call) [[NUW:#[0-9]+]]
  45   %tmp3 = call ptr @llvm.objc.retain(ptr %call) nounwind, !dbg !39
  46   call void @llvm.dbg.value(metadata ptr %call, metadata !25, metadata !DIExpression()), !dbg !39
  47   invoke fastcc void @ThrowFunc(ptr %call)
  48           to label %eh.cont unwind label %lpad, !dbg !40, !clang.arc.no_objc_arc_exceptions !38
  49
  50 eh.cont:                                          ; preds = %entry
  51 ; CHECK: call void @llvm.objc.release(ptr %call)
  52   call void @llvm.objc.release(ptr %call) nounwind, !dbg !42, !clang.imprecise_release !38
  53   br label %if.end, !dbg !43
  54
  55 lpad:                                             ; preds = %entry
  56   %tmp4 = landingpad { ptr, i32 }
  57           catch ptr null, !dbg !40
  58   %tmp5 = extractvalue { ptr, i32 } %tmp4, 0, !dbg !40
  59   %exn.adjusted = call ptr @llvm.objc.begin_catch(ptr %tmp5) nounwind, !dbg !44
  60   call void @llvm.dbg.value(metadata i8 0, metadata !21, metadata !DIExpression()), !dbg !46
  61   call void @llvm.objc.end_catch(), !dbg !49, !clang.arc.no_objc_arc_exceptions !38
  62 ; CHECK: call void @llvm.objc.release(ptr %call)
  63   call void @llvm.objc.release(ptr %call) nounwind, !dbg !42, !clang.imprecise_release !38
  64   call void (ptr, ...) @NSLog(ptr @_unnamed_cfstring_, ptr %call), !dbg !50, !clang.arc.no_objc_arc_exceptions !38
  65   br label %if.end, !dbg !52
  66
  67 if.end:                                           ; preds = %lpad, %eh.cont
  68   call void (ptr, ...) @NSLog(ptr @_unnamed_cfstring_, ptr %call), !dbg !53, !clang.arc.no_objc_arc_exceptions !38
  69 ; CHECK: call void @llvm.objc.release(ptr %call)
  70   call void @llvm.objc.release(ptr %call) nounwind, !dbg !54, !clang.imprecise_release !38
  71   ret i32 0, !dbg !54
  72 }
  73
  74 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
  75
  76 declare ptr @objc_msgSend(ptr, ptr, ...) nonlazybind
  77
  78 declare ptr @llvm.objc.retain(ptr) nonlazybind
  79
  80 declare ptr @llvm.objc.begin_catch(ptr)
  81
  82 declare void @llvm.objc.end_catch()
  83
  84 declare void @llvm.objc.exception_rethrow()
  85
  86 define internal fastcc void @ThrowFunc(ptr %obj) uwtable noinline ssp !dbg !27 {
  87 entry:
  88   %tmp = call ptr @llvm.objc.retain(ptr %obj) nounwind
  89   call void @llvm.dbg.value(metadata ptr %obj, metadata !32, metadata !DIExpression()), !dbg !55
  90   %tmp1 = load ptr, ptr @"\01L_OBJC_CLASSLIST_REFERENCES_$_1", align 8, !dbg !56
  91   %tmp2 = load ptr, ptr @"\01L_OBJC_SELECTOR_REFERENCES_5", align 8, !dbg !56, !invariant.load !38
  92   call void (ptr, ptr, ptr, ptr, ...) @objc_msgSend(ptr %tmp1, ptr %tmp2, ptr @_unnamed_cfstring_3, ptr @_unnamed_cfstring_3), !dbg !56, !clang.arc.no_objc_arc_exceptions !38
  93   call void @llvm.objc.release(ptr %obj) nounwind, !dbg !58, !clang.imprecise_release !38
  94   ret void, !dbg !58
  95 }
  96
  97 declare i32 @__objc_personality_v0(...)
  98
  99 declare void @llvm.objc.release(ptr) nonlazybind
 100
 101 declare void @NSLog(ptr, ...)
 102
 103 declare void @llvm.dbg.value(metadata, metadata, metadata) nounwind readnone
 104
 105 ; CHECK: attributes #0 = { ssp uwtable }
 106 ; CHECK: attributes #1 = { nonlazybind }
 107 ; CHECK: attributes [[NUW]] = { nounwind }
 108 ; CHECK: attributes #3 = { noinline ssp uwtable }
 109
 110 !llvm.dbg.cu = !{!0}
 111 !llvm.module.flags = !{!33, !34, !35, !36, !61}
 112
 113 !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)
 114 !1 = !{}
 115 !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, retainedNodes: !11)
 116 !6 = !DIFile(filename: "test.m", directory: "/Volumes/Files/gottesmmcab/Radar/12906997")
 117 !7 = !DISubroutineType(types: !8)
 118 !8 = !{!9}
 119 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
 120 !11 = !{!12, !21, !25}
 121 !12 = !DILocalVariable(name: "obj", line: 11, scope: !13, file: !6, type: !14)
 122 !13 = distinct !DILexicalBlock(line: 10, column: 0, file: !60, scope: !5)
 123 !14 = !DIDerivedType(tag: DW_TAG_typedef, name: "id", line: 11, file: !60, baseType: !15)
 124 !15 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, file: !60, baseType: !16)
 125 !16 = !DICompositeType(tag: DW_TAG_structure_type, name: "objc_object", file: !60, elements: !17)
 126 !17 = !{!18}
 127 !18 = !DIDerivedType(tag: DW_TAG_member, name: "isa", size: 64, file: !60, scope: !16, baseType: !19)
 128 !19 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, baseType: !20)
 129 !20 = !DICompositeType(tag: DW_TAG_structure_type, name: "objc_class", flags: DIFlagFwdDecl, file: !60)
 130 !21 = !DILocalVariable(name: "ok", line: 13, scope: !22, file: !6, type: !23)
 131 !22 = distinct !DILexicalBlock(line: 12, column: 0, file: !60, scope: !13)
 132 !23 = !DIDerivedType(tag: DW_TAG_typedef, name: "BOOL", line: 62, file: !60, baseType: !24)
 133 !24 = !DIBasicType(tag: DW_TAG_base_type, name: "signed char", size: 8, align: 8, encoding: DW_ATE_signed_char)
 134 !25 = !DILocalVariable(name: "obj2", line: 15, scope: !26, file: !6, type: !14)
 135 !26 = distinct !DILexicalBlock(line: 14, column: 0, file: !60, scope: !22)
 136 !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, retainedNodes: !31)
 137 !28 = !DISubroutineType(types: !29)
 138 !29 = !{null, !14}
 139 !31 = !{!32}
 140 !32 = !DILocalVariable(name: "obj", line: 4, arg: 1, scope: !27, file: !6, type: !14)
 141 !33 = !{i32 1, !"Objective-C Version", i32 2}
 142 !34 = !{i32 1, !"Objective-C Image Info Version", i32 0}
 143 !35 = !{i32 1, !"Objective-C Image Info Section", !"__DATA, __objc_imageinfo, regular, no_dead_strip"}
 144 !36 = !{i32 4, !"Objective-C Garbage Collection", i32 0}
 145 !37 = !DILocation(line: 11, scope: !13)
 146 !38 = !{}
 147 !39 = !DILocation(line: 15, scope: !26)
 148 !40 = !DILocation(line: 17, scope: !41)
 149 !41 = distinct !DILexicalBlock(line: 16, column: 0, file: !60, scope: !26)
 150 !42 = !DILocation(line: 22, scope: !26)
 151 !43 = !DILocation(line: 23, scope: !22)
 152 !44 = !DILocation(line: 19, scope: !41)
 153 !45 = !{i8 0}
 154 !46 = !DILocation(line: 20, scope: !47)
 155 !47 = distinct !DILexicalBlock(line: 19, column: 0, file: !60, scope: !48)
 156 !48 = distinct !DILexicalBlock(line: 19, column: 0, file: !60, scope: !26)
 157 !49 = !DILocation(line: 21, scope: !47)
 158 !50 = !DILocation(line: 24, scope: !51)
 159 !51 = distinct !DILexicalBlock(line: 23, column: 0, file: !60, scope: !22)
 160 !52 = !DILocation(line: 25, scope: !51)
 161 !53 = !DILocation(line: 27, scope: !13)
 162 !54 = !DILocation(line: 28, scope: !13)
 163 !55 = !DILocation(line: 4, scope: !27)
 164 !56 = !DILocation(line: 6, scope: !57)
 165 !57 = distinct !DILexicalBlock(line: 5, column: 0, file: !60, scope: !27)
 166 !58 = !DILocation(line: 7, scope: !57)
 167 !60 = !DIFile(filename: "test.m", directory: "/Volumes/Files/gottesmmcab/Radar/12906997")
 168 !61 = !{i32 1, !"Debug Info Version", i32 3}