; RUN: lli -jit-kind=orc-lazy %s a b c | FileCheck %s

; CHECK: argc = 4
; CHECK-NEXT: argv = ["{{.*}}printargv.ll", "a", "b", "c"]
; CHECK-NEXT: argv[4] = null

@.str = private unnamed_addr constant [11 x i8] c"argc = %i\0A\00", align 1
@.str.1 = private unnamed_addr constant [9 x i8] c"argv = [\00", align 1
@.str.3 = private unnamed_addr constant [5 x i8] c"\22%s\22\00", align 1
@.str.4 = private unnamed_addr constant [5 x i8] c"null\00", align 1
@.str.5 = private unnamed_addr constant [7 x i8] c", \22%s\22\00", align 1
@.str.6 = private unnamed_addr constant [15 x i8] c"argv[%i] = %s\0A\00", align 1
@.str.7 = private unnamed_addr constant [5 x i8] c"junk\00", align 1
@str.8 = private unnamed_addr constant [2 x i8] c"]\00", align 1

define i32 @main(i32 %argc, ptr nocapture readonly %argv)  {
entry:
  %call = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %argc)
  %call1 = tail call i32 (ptr, ...) @printf(ptr @.str.1)
  %cmp = icmp eq i32 %argc, 0
  br i1 %cmp, label %if.then, label %if.end

if.then:
  %puts36 = tail call i32 @puts(ptr @str.8)
  br label %if.end

if.end:
  %0 = load ptr, ptr %argv, align 8
  %tobool = icmp eq ptr %0, null
  br i1 %tobool, label %if.else, label %if.then3

if.then3:
  %call5 = tail call i32 (ptr, ...) @printf(ptr @.str.3, ptr %0)
  br label %if.end7

if.else:
  %call6 = tail call i32 (ptr, ...) @printf(ptr @.str.4)
  br label %if.end7

if.end7:
  %cmp837 = icmp eq i32 %argc, 1
  br i1 %cmp837, label %for.cond.cleanup, label %for.body.preheader

for.body.preheader:
  %1 = zext i32 %argc to i64
  br label %for.body

for.cond.cleanup:
  %puts = tail call i32 @puts(ptr @str.8)
  %idxprom19 = sext i32 %argc to i64
  %arrayidx20 = getelementptr inbounds ptr, ptr %argv, i64 %idxprom19
  %2 = load ptr, ptr %arrayidx20, align 8
  %tobool21 = icmp eq ptr %2, null
  %cond = select i1 %tobool21, ptr @.str.4, ptr @.str.7
  %call22 = tail call i32 (ptr, ...) @printf(ptr @.str.6, i32 %argc, ptr %cond)
  ret i32 0

for.body:
  %indvars.iv = phi i64 [ 1, %for.body.preheader ], [ %indvars.iv.next, %for.inc ]
  %arrayidx9 = getelementptr inbounds ptr, ptr %argv, i64 %indvars.iv
  %3 = load ptr, ptr %arrayidx9, align 8
  %tobool10 = icmp eq ptr %3, null
  br i1 %tobool10, label %if.else15, label %if.then11

if.then11:
  %call14 = tail call i32 (ptr, ...) @printf(ptr @.str.5, ptr %3)
  br label %for.inc

if.else15:
  %call16 = tail call i32 (ptr, ...) @printf(ptr @.str.4)
  br label %for.inc

for.inc:
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %cmp8 = icmp eq i64 %indvars.iv.next, %1
  br i1 %cmp8, label %for.cond.cleanup, label %for.body
}

declare i32 @printf(ptr nocapture readonly, ...)

declare i32 @puts(ptr nocapture readonly)