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

   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 = linker_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 = linker_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}
 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, metadata !"", 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, metadata !"", 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"}