1 files changed, 76 insertions, 22 deletions
diff --git a/test/unit.fromasm.imprecise.no-opts b/test/unit.fromasm.imprecise.no-opts
index 243b8b8fe..76934df4b 100644
--- a/test/unit.fromasm.imprecise.no-opts
+++ b/test/unit.fromasm.imprecise.no-opts
@@ -36,7 +36,7 @@
  (export "pick" (func $exportMe))
  (export "doubleCompares" (func $doubleCompares))
  (export "intOps" (func $intOps))
- (export "conversions" (func $conversions))
+ (export "conversions" (func $legalstub$conversions))
  (export "switcher" (func $switcher))
  (export "frem" (func $frem))
  (export "frem_float" (func $legalstub$frem_float))
@@ -68,6 +68,7 @@
  (export "dropCallImport" (func $dropCallImport))
  (export "loophi" (func $loophi))
  (export "loophi2" (func $loophi2))
+ (export "loophi2b" (func $loophi2b))
  (export "relooperJumpThreading" (func $relooperJumpThreading))
  (export "relooperJumpThreading__ZN4game14preloadweaponsEv" (func $relooperJumpThreading__ZN4game14preloadweaponsEv))
  (export "__Z12multi_varargiz" (func $__Z12multi_varargiz))
@@ -151,6 +152,12 @@
     (f64.const 1.2)
    )
   )
+  (set_local $Int
+   (get_local $x)
+  )
+  (set_local $Double
+   (get_global $n)
+  )
   (if
    (f64.gt
     (get_local $Int)
@@ -182,8 +189,7 @@
    (get_local $y)
   )
  )
- (func $intOps (result i32)
-  (local $x i32)
+ (func $intOps (param $x i32) (result i32)
   (return
    (i32.eqz
     (get_local $x)
@@ -202,10 +208,7 @@
    )
   )
  )
- (func $conversions
-  (local $i i32)
-  (local $d f64)
-  (local $f f32)
+ (func $conversions (param $i i32) (param $d f64) (param $f f32)
   (set_local $i
    (i32.trunc_s/f64
     (get_local $d)
@@ -542,9 +545,7 @@
    )
   )
  )
- (func $smallCompare (result i32)
-  (local $i i32)
-  (local $j i32)
+ (func $smallCompare (param $i i32) (param $j i32) (result i32)
   (if
    (i32.lt_s
     (get_local $i)
@@ -1341,6 +1342,60 @@
    (get_local $i$lcssa)
   )
  )
+ (func $loophi2b (result i32)
+  (local $jnc i32)
+  (local $i i32)
+  (local $i$lcssa i32)
+  (local $temp i32)
+  (local $j i32)
+  (set_local $i
+   (i32.const 0)
+  )
+  (loop $label$continue$L7
+   (block $label$break$L7
+    (set_local $j
+     (i32.const 0)
+    )
+    (loop $while-in
+     (block $while-out
+      (set_local $temp
+       (get_local $j)
+      )
+      (if
+       (call $return_int)
+       (if
+        (get_local $temp)
+        (block
+         (set_local $i$lcssa
+          (get_local $j)
+         )
+         (br $label$break$L7)
+        )
+       )
+      )
+      (set_local $jnc
+       (i32.add
+        (get_local $j)
+        (i32.const 1)
+       )
+      )
+      (if
+       (get_local $jnc)
+       (set_local $j
+        (get_local $jnc)
+       )
+       (br $while-out)
+      )
+      (br $while-in)
+     )
+    )
+    (br $label$continue$L7)
+   )
+  )
+  (return
+   (get_local $i$lcssa)
+  )
+ )
  (func $relooperJumpThreading (param $x i32) (result i32)
   (local $label i32)
   (if
@@ -1580,14 +1635,7 @@
    (get_local $x)
   )
  )
- (func $relooperJumpThreading__ZN4game14preloadweaponsEv
-  (local $$12 i32)
-  (local $$14 i32)
-  (local $$or$cond8 i32)
-  (local $$or$cond6 i32)
-  (local $$vararg_ptr5 i32)
-  (local $$11 i32)
-  (local $$exitcond i32)
+ (func $relooperJumpThreading__ZN4game14preloadweaponsEv (param $$12 i32) (param $$14 i32) (param $$or$cond8 i32) (param $$or$cond6 i32) (param $$vararg_ptr5 i32) (param $$11 i32) (param $$exitcond i32)
   (local $label i32)
   (loop $while-in
    (block $while-out
@@ -1711,10 +1759,7 @@
    )
   )
  )
- (func $__Z12multi_varargiz (param $$0 i32)
-  (local $$2 i32)
-  (local $$$06$i4 i32)
-  (local $$exitcond$i6 i32)
+ (func $__Z12multi_varargiz (param $$0 i32) (param $$$06$i4 i32) (param $$exitcond$i6 i32) (param $$2 i32)
   (local $$12 i32)
   (local $$20 i32)
   (if
@@ -2028,6 +2073,15 @@
    (get_local $x)
   )
  )
+ (func $legalstub$conversions (param $0 i32) (param $1 f64) (param $2 f64)
+  (call $conversions
+   (get_local $0)
+   (get_local $1)
+   (f32.demote/f64
+    (get_local $2)
+   )
+  )
+ )
  (func $legalstub$frem_float (result f64)
   (f64.promote/f32
    (call $frem_float)