chore: update expect output after toolchain upgrade

tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.hir

@@ -177,58 +177,59 @@
                 (assertz 250 v17)
                 (let (v18 (ptr i32)) (inttoptr v16))
                 (let (v19 i32) (load v18))
-                (let (v20 i1) (eq v19 0))
-                (let (v21 i32) (zext v20))
-                (let (v22 i1) (neq v21 0))
-                (condbr v22 (block 2) (block 3)))
+                (let (v20 i32) (const.i32 1))
+                (let (v21 i1) (neq v19 v20))
+                (let (v22 i32) (zext v21))
+                (let (v23 i1) (neq v22 0))
+                (condbr v23 (block 2) (block 3)))
 
             (block 1
                 (ret))
 
             (block 2
-                (let (v28 u32) (bitcast v4))
-                (let (v29 u32) (add.checked v28 12))
-                (let (v30 u32) (mod.unchecked v29 4))
-                (assertz 250 v30)
-                (let (v31 (ptr i32)) (inttoptr v29))
-                (let (v32 i32) (load v31))
-                (let (v33 i32) (const.i32 4))
-                (let (v34 u32) (bitcast v32))
+                (let (v29 u32) (bitcast v4))
+                (let (v30 u32) (add.checked v29 12))
+                (let (v31 u32) (mod.unchecked v30 4))
+                (assertz 250 v31)
+                (let (v32 (ptr i32)) (inttoptr v30))
+                (let (v33 i32) (load v32))
+                (let (v34 i32) (const.i32 4))
                 (let (v35 u32) (bitcast v33))
-                (let (v36 u32) (shr.wrapping v34 v35))
-                (let (v37 i32) (bitcast v36))
-                (let [(v38 i32) (v39 i32)] (call (#miden::note #get_inputs) v37))
-                (let (v40 u32) (bitcast v0))
-                (let (v41 u32) (add.checked v40 8))
-                (let (v42 u32) (mod.unchecked v41 4))
-                (assertz 250 v42)
-                (let (v43 (ptr i32)) (inttoptr v41))
-                (store v43 v38)
-                (let (v44 u32) (bitcast v0))
-                (let (v45 u32) (add.checked v44 4))
-                (let (v46 u32) (mod.unchecked v45 4))
-                (assertz 250 v46)
-                (let (v47 (ptr i32)) (inttoptr v45))
-                (store v47 v32)
-                (let (v48 u32) (bitcast v0))
-                (let (v49 u32) (mod.unchecked v48 4))
-                (assertz 250 v49)
-                (let (v50 (ptr i32)) (inttoptr v48))
-                (store v50 v14)
-                (let (v51 i32) (const.i32 16))
-                (let (v52 i32) (add.wrapping v4 v51))
-                (let (v53 (ptr i32)) (global.symbol #__stack_pointer))
-                (store v53 v52)
+                (let (v36 u32) (bitcast v34))
+                (let (v37 u32) (shr.wrapping v35 v36))
+                (let (v38 i32) (bitcast v37))
+                (let [(v39 i32) (v40 i32)] (call (#miden::note #get_inputs) v38))
+                (let (v41 u32) (bitcast v0))
+                (let (v42 u32) (add.checked v41 8))
+                (let (v43 u32) (mod.unchecked v42 4))
+                (assertz 250 v43)
+                (let (v44 (ptr i32)) (inttoptr v42))
+                (store v44 v39)
+                (let (v45 u32) (bitcast v0))
+                (let (v46 u32) (add.checked v45 4))
+                (let (v47 u32) (mod.unchecked v46 4))
+                (assertz 250 v47)
+                (let (v48 (ptr i32)) (inttoptr v46))
+                (store v48 v33)
+                (let (v49 u32) (bitcast v0))
+                (let (v50 u32) (mod.unchecked v49 4))
+                (assertz 250 v50)
+                (let (v51 (ptr i32)) (inttoptr v49))
+                (store v51 v14)
+                (let (v52 i32) (const.i32 16))
+                (let (v53 i32) (add.wrapping v4 v52))
+                (let (v54 (ptr i32)) (global.symbol #__stack_pointer))
+                (store v54 v53)
                 (br (block 1)))
 
             (block 3
-                (let (v23 u32) (bitcast v4))
-                (let (v24 u32) (add.checked v23 12))
-                (let (v25 u32) (mod.unchecked v24 4))
-                (assertz 250 v25)
-                (let (v26 (ptr i32)) (inttoptr v24))
-                (let (v27 i32) (load v26))
-                (call #alloc::raw_vec::handle_error v14 v27)
+                (let (v24 u32) (bitcast v4))
+                (let (v25 u32) (add.checked v24 12))
+                (let (v26 u32) (mod.unchecked v25 4))
+                (assertz 250 v26)
+                (let (v27 (ptr i32)) (inttoptr v25))
+                (let (v28 i32) (load v27))
+                (call #alloc::raw_vec::handle_error v14 v28)
                 (unreachable))
         )
 

tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.masm

@@ -63,7 +63,8 @@ export."miden_base_sys::bindings::tx::get_inputs"
     movup.2
     u32div.16
     exec.::intrinsics::mem::load_sw
-    eq.0
+    push.1
+    neq
     neq.0
     if.true
         dup.1

tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.wat

@@ -101,7 +101,6 @@
       return
     end
     unreachable
-    unreachable
   )
   (func $miden_base_sys::bindings::tx::get_inputs (;6;) (type 2) (param i32)
     (local i32 i32 i32)
@@ -122,7 +121,8 @@
     block ;; label = @1
       local.get 1
       i32.load offset=4
-      i32.eqz
+      i32.const 1
+      i32.ne
       br_if 0 (;@1;)
       local.get 2
       local.get 1
@@ -225,7 +225,6 @@
   )
   (func $alloc::raw_vec::handle_error (;8;) (type 6) (param i32 i32)
     unreachable
-    unreachable
   )
   (table (;0;) 1 1 funcref)
   (memory (;0;) 17)