fn w32 $read(w64 %0) {
  @entry0
    load w32 %1 %0 0;
    ret %1;
}

fn w64 $run() {
  @entry0
    reserve %0 4 4;
    store w32 1 %0 0;
    reserve %1 4 4;
    store w32 2 %1 0;
    call w32 %2 $read(%1);
    br.eq w32 %2 2 @assert.ok2 @assert.fail1;
  @assert.fail1
    unreachable;
  @assert.ok2
    ret;
}