define i32 @z_main() {
entry:
  %c = alloca i32                                 ; <i32*> [#uses=2]
  %b = alloca i32                                 ; <i32*> [#uses=4]
  %a = alloca i32                                 ; <i32*> [#uses=5]
  %z_main_ret = alloca i32                        ; <i32*> [#uses=3]
  store i32 0, i32* %z_main_ret
  store i32 0, i32* %a
  store i32 0, i32* %b
  store i32 0, i32* %c
  store i32 0, i32* %a
  store i32 10, i32* %c
  br label %while-cond

while-cond:                                       ; preds = %while-body, %entry
  %a1 = load i32* %a                              ; <i32> [#uses=1]
  %cmp_i32 = icmp ult i32 %a1, 10                 ; <i1> [#uses=1]
  %while = icmp ne i1 %cmp_i32, false             ; <i1> [#uses=1]
  br i1 %while, label %while-body, label %while-cont

while-body:                                       ; preds = %while-cond
  %a2 = load i32* %a                              ; <i32> [#uses=1]
  %add = add i32 %a2, 1                           ; <i32> [#uses=1]
  store i32 %add, i32* %a
  %b3 = load i32* %b                              ; <i32> [#uses=1]
  %add4 = add i32 %b3, 1                          ; <i32> [#uses=1]
  store i32 %add4, i32* %b
  br label %while-cond

while-cont:                                       ; preds = %while-cond
  %b5 = load i32* %b                              ; <i32> [#uses=1]
  store i32 %b5, i32* %z_main_ret
  br label %term

term:                                             ; preds = %while-cont
  %z_main_ret6 = load i32* %z_main_ret            ; <i32> [#uses=1]
  ret i32 %z_main_ret6
}
=====================================
main() returns: 10