fix

test/lit/passes/monomorphize-consts.wast

@@ -29,8 +29,6 @@
 
   ;; CAREFUL:      (type $3 (func (param i32) (result i32)))
 
-  ;; CAREFUL:      (type $4 (func (result i32)))
-
   ;; CAREFUL:      (import "a" "b" (func $import (type $1) (param i32)))
   (import "a" "b" (func $import (param i32)))
 
@@ -266,7 +264,9 @@
   ;; ALWAYS-NEXT: )
   ;; CAREFUL:      (func $mutual-recursion-b (type $3) (param $0 i32) (result i32)
   ;; CAREFUL-NEXT:  (i32.add
-  ;; CAREFUL-NEXT:   (call $mutual-recursion-a_9)
+  ;; CAREFUL-NEXT:   (call $mutual-recursion-a
+  ;; CAREFUL-NEXT:    (i32.const 0)
+  ;; CAREFUL-NEXT:   )
   ;; CAREFUL-NEXT:   (i32.const 1337)
   ;; CAREFUL-NEXT:  )
   ;; CAREFUL-NEXT: )
@@ -583,7 +583,3 @@
 ;; CAREFUL-NEXT:   (local.get $0)
 ;; CAREFUL-NEXT:  )
 ;; CAREFUL-NEXT: )
-
-;; CAREFUL:      (func $mutual-recursion-a_9 (type $4) (result i32)
-;; CAREFUL-NEXT:  (i32.const 42)
-;; CAREFUL-NEXT: )

test/lit/passes/monomorphize-types.wast

@@ -447,29 +447,32 @@
   ;; ALWAYS-NEXT:  )
   ;; ALWAYS-NEXT: )
   ;; CAREFUL:      (func $refinable (type $4) (param $0 (ref $A))
-  ;; CAREFUL-NEXT:  (local $1 (ref $B))
-  ;; CAREFUL-NEXT:  (local $2 (ref $B))
+  ;; CAREFUL-NEXT:  (local $1 (ref $A))
   ;; CAREFUL-NEXT:  (call $import
-  ;; CAREFUL-NEXT:   (local.tee $1
-  ;; CAREFUL-NEXT:    (ref.cast (ref $B)
-  ;; CAREFUL-NEXT:     (local.get $0)
-  ;; CAREFUL-NEXT:    )
+  ;; CAREFUL-NEXT:   (ref.cast (ref $B)
+  ;; CAREFUL-NEXT:    (local.get $0)
   ;; CAREFUL-NEXT:   )
   ;; CAREFUL-NEXT:  )
   ;; CAREFUL-NEXT:  (call $import
-  ;; CAREFUL-NEXT:   (local.tee $2
-  ;; CAREFUL-NEXT:    (select (result (ref $B))
-  ;; CAREFUL-NEXT:     (local.get $1)
-  ;; CAREFUL-NEXT:     (struct.new_default $B)
-  ;; CAREFUL-NEXT:     (global.get $global)
+  ;; CAREFUL-NEXT:   (ref.cast (ref $B)
+  ;; CAREFUL-NEXT:    (local.tee $1
+  ;; CAREFUL-NEXT:     (select (result (ref $A))
+  ;; CAREFUL-NEXT:      (local.get $0)
+  ;; CAREFUL-NEXT:      (struct.new_default $B)
+  ;; CAREFUL-NEXT:      (global.get $global)
+  ;; CAREFUL-NEXT:     )
   ;; CAREFUL-NEXT:    )
   ;; CAREFUL-NEXT:   )
   ;; CAREFUL-NEXT:  )
   ;; CAREFUL-NEXT:  (call $import
-  ;; CAREFUL-NEXT:   (local.get $2)
+  ;; CAREFUL-NEXT:   (ref.cast (ref $B)
+  ;; CAREFUL-NEXT:    (local.get $1)
+  ;; CAREFUL-NEXT:   )
   ;; CAREFUL-NEXT:  )
   ;; CAREFUL-NEXT:  (call $import
-  ;; CAREFUL-NEXT:   (local.get $1)
+  ;; CAREFUL-NEXT:   (ref.cast (ref $B)
+  ;; CAREFUL-NEXT:    (local.get $0)
+  ;; CAREFUL-NEXT:   )
   ;; CAREFUL-NEXT:  )
   ;; CAREFUL-NEXT: )
   (func $refinable (param $ref (ref $A))