Missing definition for SSA value (v6)

[greenhat]

#[no_mangle]
pub fn fib(n: u32) -> u32 {
    let mut a = 2;
    while a < n {
        a = a * 3;
    }
    a
}

Compiles to the following Wasm:

(module
  (type (;0;) (func (param i32) (result i32)))
  (func $fib (;0;) (type 0) (param i32) (result i32)
    (local i32)
    i32.const 2
    local.set 1
    loop (result i32) ;; label = @1
      block ;; label = @2
        local.get 1
        local.get 0
        i32.lt_u
        br_if 0 (;@2;)
        local.get 1
        return
      end
      local.get 1
      i32.const 3
      i32.mul
      local.set 1
      br 0 (;@1;)
    end
  )
  (memory (;0;) 16)
  (global $__stack_pointer (;0;) (mut i32) i32.const 1048576)
  (global (;1;) i32 i32.const 1048576)
  (global (;2;) i32 i32.const 1048576)
  (export "memory" (memory 0))
  (export "fib" (func $fib))
  (export "__data_end" (global 1))
  (export "__heap_base" (global 2))
)

Which translates to the following IR:

module noname

const $0 = 0x00100000;

global external @__stack_pointer : i32 = $0 { id = 0 };
global external @gv1 : i32 = $0 { id = 1 };
global external @gv2 : i32 = $0 { id = 2 };

pub fn fib(i32) -> i32 {
block0(v0: i32):
    v2 = const.i32 0 : i32;
    v3 = const.i32 2 : i32;
    br block2(v3);

block1(v1: i32):

block2(v5: i32):
    v7 = cast v5 : u32;
    v8 = cast v6 : u32;
    v9 = lt v7, v8 : i1;
    v10 = cast v9 : i32;
    v11 = neq v10, 0 : i1;
    condbr v11, block4, block5;

block3(v4: i32):

block4:
    v12 = const.i32 3 : i32;
    v13 = mul.wrapping v5, v12 : i32;
    br block2(v13);

block5:
    ret v5;
}

v6 is undefined.

[greenhat]

Fixed in #66