1 files changed, 41 insertions, 3 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 10ea5a01f..2ec8b82ff 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -31,16 +31,16 @@
   (export "switcher" (func $switcher))
   (export "frem" (func $frem))
   (export "big_uint_div_u" (func $big_uint_div_u))
-  (export "fr" (func $fr))
+  (export "fr" (func $legalstub$fr))
   (export "negZero" (func $negZero))
   (export "neg" (func $neg))
   (export "smallCompare" (func $smallCompare))
   (export "cneg_nosemicolon" (func $cneg_nosemicolon))
   (export "forLoop" (func $forLoop))
-  (export "ceiling_32_64" (func $ceiling_32_64))
+  (export "ceiling_32_64" (func $legalstub$ceiling_32_64))
   (export "aborts" (func $aborts))
   (export "continues" (func $continues))
-  (export "bitcasts" (func $bitcasts))
+  (export "bitcasts" (func $legalstub$bitcasts))
   (export "recursiveBlockMerging" (func $recursiveBlockMerging))
   (export "lb" (func $lb))
   (export "zeroInit" (func $zeroInit))
@@ -68,6 +68,7 @@
   (export "store_fround" (func $store_fround))
   (export "exportedNumber" (global $exportedNumber))
   (export "relocatableAndModules" (func $relocatableAndModules))
+  (export "exported_f32_user" (func $legalstub$exported_f32_user))
   (func $big_negative
     (nop)
   )
@@ -1122,7 +1123,44 @@
       (i32.const 30)
     )
   )
+  (func $exported_f32_user (param $0 i32) (param $1 f32) (param $2 f64) (result f32)
+    (get_local $1)
+  )
   (func $vi (param $0 i32)
     (nop)
   )
+  (func $legalstub$fr (param $0 f64)
+    (call $fr
+      (f32.demote/f64
+        (get_local $0)
+      )
+    )
+  )
+  (func $legalstub$ceiling_32_64 (param $0 f64) (param $1 f64)
+    (call $ceiling_32_64
+      (f32.demote/f64
+        (get_local $0)
+      )
+      (get_local $1)
+    )
+  )
+  (func $legalstub$bitcasts (param $0 i32) (param $1 f64)
+    (call $bitcasts
+      (get_local $0)
+      (f32.demote/f64
+        (get_local $1)
+      )
+    )
+  )
+  (func $legalstub$exported_f32_user (param $0 i32) (param $1 f64) (param $2 f64) (result f64)
+    (f64.promote/f32
+      (call $exported_f32_user
+        (get_local $0)
+        (f32.demote/f64
+          (get_local $1)
+        )
+        (get_local $2)
+      )
+    )
+  )
 )