fix legalization issues with f32s

1 files changed, 22 insertions, 2 deletions

diff --git a/test/wasm-only.fromasm.imprecise.no-opts b/test/wasm-only.fromasm.imprecise.no-opts
index 542b0cad2..9311971fb 100644
--- a/test/wasm-only.fromasm.imprecise.no-opts
+++ b/test/wasm-only.fromasm.imprecise.no-opts
@@ -1,17 +1,21 @@
 (module
   (type $FUNCSIG$vdji (func (param f64 i64 i32)))
   (type $FUNCSIG$j (func (result i64)))
+  (type $FUNCSIG$ff (func (param f32) (result f32)))
   (type $legaltype$illegalImport (func (param f64 i32 i32 i32)))
   (type $legaltype$illegalImportResult (func (result i32)))
+  (type $legaltype$_fabsf (func (param f64) (result f64)))
   (import "env" "illegalImport" (func $illegalImport (param f64 i64 i32)))
   (import "env" "illegalImportResult" (func $illegalImportResult (result i64)))
+  (import "env" "_fabsf" (func $_fabsf (param f32) (result f32)))
   (import "env" "illegalImport" (func $legalimport$illegalImport (param f64 i32 i32 i32)))
   (import "env" "illegalImportResult" (func $legalimport$illegalImportResult (result i32)))
+  (import "env" "_fabsf" (func $legalimport$_fabsf (param f64) (result f64)))
   (import "env" "memory" (memory $0 256 256))
-  (import "env" "table" (table 1 1 anyfunc))
+  (import "env" "table" (table 2 2 anyfunc))
   (import "env" "memoryBase" (global $memoryBase i32))
   (import "env" "tableBase" (global $tableBase i32))
-  (elem (get_global $tableBase) $illegalImport)
+  (elem (get_global $tableBase) $illegalImport $_fabsf)
   (global $tempRet0 (mut i32) (i32.const 0))
   (export "test64" (func $test64))
   (export "illegalParam" (func $legalstub$illegalParam))
@@ -755,6 +759,13 @@
       )
     )
   )
+  (func $__emscripten_dceable_type_decls
+    (drop
+      (call $legalfunc$_fabsf
+        (f32.const 0)
+      )
+    )
+  )
   (func $legalstub$illegalParam (param $0 i32) (param $1 i32) (param $2 i32) (param $3 f64)
     (call $illegalParam
       (get_local $0)
@@ -817,4 +828,13 @@
       )
     )
   )
+  (func $legalfunc$_fabsf (param $0 f32) (result f32)
+    (f32.demote/f64
+      (call $legalimport$_fabsf
+        (f64.promote/f32
+          (get_local $0)
+        )
+      )
+    )
+  )
 )