; ModuleID = 'simple module'

declare i32 @foo()

define i32 @forloop() {
entry:
  %0 = alloca i32
  store i32 0, i32* %0
  br label %for.cond

for.cond:                                         ; preds = %for.inc, %entry
  %1 = load i32, i32* %0
  br i1 true, label %for.loop, label %for.exit

for.loop:                                         ; preds = %for.cond
  %2 = load i32, i32* %0
  %3 = alloca i32
  store i32 0, i32* %3
  br label %for.cond1

for.inc:                                          ; preds = %for.exit1
  %4 = add i32 1, %2
  store i32 %4, i32* %0
  br label %for.cond

for.exit:                                         ; preds = %for.cond
  ret i32 0

for.cond1:                                        ; preds = %for.inc1, %for.loop
  %5 = load i32, i32* %3
  br i1 true, label %for.loop1, label %for.exit1

for.loop1:                                        ; preds = %for.cond1
  %6 = load i32, i32* %3
  %7 = call i32 @foo()
  br label %for.inc1

for.inc1:                                         ; preds = %for.loop1
  %8 = add i32 1, %6
  store i32 %8, i32* %3
  br label %for.cond1

for.exit1:                                        ; preds = %for.cond1
  br label %for.inc
}