fix import type detection of calls in comma operators; when the parent is a comma, it can't be a coersion (or that would have been the parent), so there is no coercion, so the result type is none (#1115)

1 files changed, 16 insertions, 20 deletions

diff --git a/test/use-import-and-drop.fromasm.imprecise.no-opts b/test/use-import-and-drop.fromasm.imprecise.no-opts
index 332851f61..5ce22091a 100644
--- a/test/use-import-and-drop.fromasm.imprecise.no-opts
+++ b/test/use-import-and-drop.fromasm.imprecise.no-opts
@@ -1,6 +1,6 @@
 (module
- (type $FUNCSIG$ii (func (param i32) (result i32)))
- (import "env" "setTempRet0" (func $setTempRet0 (param i32) (result i32)))
+ (type $FUNCSIG$vi (func (param i32)))
+ (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
  (import "env" "memory" (memory $0 256 256))
  (import "env" "table" (table 0 0 anyfunc))
  (import "env" "memoryBase" (global $memoryBase i32))
@@ -13,23 +13,21 @@
   (local $$1$0 i32)
   (return
    (block (result i32)
-    (drop
-     (call $setTempRet0
-      (i32.or
+    (call $setTempRet0
+     (i32.or
+      (i32.add
        (i32.add
-        (i32.add
-         (i32.mul
-          (get_local $$b$1)
-          (get_local $$x_sroa_0_0_extract_trunc)
-         )
-         (get_local $$2)
+        (i32.mul
+         (get_local $$b$1)
+         (get_local $$x_sroa_0_0_extract_trunc)
         )
-        (get_local $$1$1)
-       )
-       (i32.and
-        (get_local $$1$1)
-        (i32.const 0)
+        (get_local $$2)
        )
+       (get_local $$1$1)
+      )
+      (i32.and
+       (get_local $$1$1)
+       (i32.const 0)
       )
      )
     )
@@ -44,10 +42,8 @@
   )
  )
  (func $test2
-  (drop
-   (call $setTempRet0
-    (i32.const 10)
-   )
+  (call $setTempRet0
+   (i32.const 10)
   )
  )
 )