Fix test

Author: stevenfontanella

test/lit/passes/global-effects-closed-world-simplify-locals.wast

@@ -1,16 +1,17 @@
 ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: foreach %s %t wasm-opt -all --closed-world --generate-global-effects --simplify-locals -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --enable-gc --enable-reference-types --closed-world --generate-global-effects --simplify-locals -S -o - | filecheck %s
 
 ;; Tests for aggregating effects from indirect calls in GlobalEffects when
 ;; --closed-world is true. Continued from global-effects-closed-world.wast.
 
 (module
-  ;; CHECK:      (type $indirect-type (sub (func (param i32))))
-  (type $indirect-type (sub (func (param i32))))
-  ;; CHECK:      (type $1 (func (param (ref $indirect-type))))
+  ;; CHECK:      (type $indirect-type-super (sub (func (param i32))))
+  (type $indirect-type-super (sub (func (param i32))))
 
-  ;; CHECK:      (type $indirect-type-sub (sub $indirect-type (func (param i32))))
-  (type $indirect-type-sub (sub $indirect-type (func (param i32))))
+  ;; CHECK:      (type $1 (func (param (ref $indirect-type-super))))
+
+  ;; CHECK:      (type $indirect-type-sub (sub $indirect-type-super (func (param i32))))
+  (type $indirect-type-sub (sub $indirect-type-super (func (param i32))))
 
   ;; CHECK:      (global $g1 (mut i32) (i32.const 0))
   (global $g1 (mut i32) (i32.const 0))
@@ -23,12 +24,12 @@
 
   ;; CHECK:      (export "impl2" (func $impl2))
 
-  ;; CHECK:      (func $impl1 (type $indirect-type) (param $i32 i32)
+  ;; CHECK:      (func $impl1 (type $indirect-type-super) (param $i32 i32)
   ;; CHECK-NEXT:  (global.set $g1
   ;; CHECK-NEXT:   (local.get $i32)
   ;; CHECK-NEXT:  )
   ;; CHECK-NEXT: )
-  (func $impl1 (export "impl1") (type $indirect-type) (param $i32 i32)
+  (func $impl1 (export "impl1") (type $indirect-type-super) (param $i32 i32)
     (global.set $g1 (local.get $i32))
   )
 
@@ -41,18 +42,17 @@
     (global.set $g2 (local.get $i32))
   )
 
-  ;; CHECK:      (func $caller (type $1) (param $ref (ref $indirect-type))
-  ;; CHECK-NEXT:  (call_ref $indirect-type
+  ;; CHECK:      (func $caller (type $1) (param $ref (ref $indirect-type-super))
+  ;; CHECK-NEXT:  (call_ref $indirect-type-super
   ;; CHECK-NEXT:   (i32.const 1)
   ;; CHECK-NEXT:   (local.get $ref)
   ;; CHECK-NEXT:  )
   ;; CHECK-NEXT: )
-  (func $caller (param $ref (ref $indirect-type))
-    ;; This inherits effects from $impl1 and $impl2, so may mutate $g1 and $g2.
-    (call_ref $indirect-type (i32.const 1) (local.get $ref))
+  (func $caller (param $ref (ref $indirect-type-super))
+    (call_ref $indirect-type-super (i32.const 1) (local.get $ref))
   )
 
-  ;; CHECK:      (func $merges-multiple-effects (type $1) (param $ref (ref $indirect-type))
+  ;; CHECK:      (func $test-merge (type $1) (param $ref (ref $indirect-type-super))
   ;; CHECK-NEXT:  (local $x i32)
   ;; CHECK-NEXT:  (local $y i32)
   ;; CHECK-NEXT:  (local $z i32)
@@ -62,9 +62,7 @@
   ;; CHECK-NEXT:  (local.set $y
   ;; CHECK-NEXT:   (global.get $g2)
   ;; CHECK-NEXT:  )
-  ;; CHECK-NEXT:  (local.set $z
-  ;; CHECK-NEXT:   (global.get $g3)
-  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (nop)
   ;; CHECK-NEXT:  (call $caller
   ;; CHECK-NEXT:   (local.get $ref)
   ;; CHECK-NEXT:  )
@@ -75,10 +73,10 @@
   ;; CHECK-NEXT:   (local.get $y)
   ;; CHECK-NEXT:  )
   ;; CHECK-NEXT:  (drop
-  ;; CHECK-NEXT:   (local.get $z)
+  ;; CHECK-NEXT:   (global.get $g3)
   ;; CHECK-NEXT:  )
   ;; CHECK-NEXT: )
-  (func $merges-multiple-effects (param $ref (ref $indirect-type))
+  (func $test-merge (param $ref (ref $indirect-type-super))
     (local $x i32)
     (local $y i32)
     (local $z i32)