diff options
Diffstat (limited to 'test/lit/passes/signature-pruning.wast')
| -rw-r--r-- | test/lit/passes/signature-pruning.wast | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/lit/passes/signature-pruning.wast b/test/lit/passes/signature-pruning.wast index d58631ecb..319071e0f 100644 --- a/test/lit/passes/signature-pruning.wast +++ b/test/lit/passes/signature-pruning.wast @@ -747,8 +747,6 @@ ;; CHECK: (memory $0 1 1) - ;; CHECK: (elem declare func $foo) - ;; CHECK: (func $foo (type $sig-foo) ;; CHECK-NEXT: (local $0 anyref) ;; CHECK-NEXT: (local.set $0 @@ -765,7 +763,7 @@ (func $foo (type $sig-foo) (param $anyref anyref) (drop (local.get $anyref)) (call $foo (ref.null any)) - (call $foo (ref.null func)) + (call $foo (ref.null data)) ) ;; CHECK: (func $bar (type $sig-bar) (param $anyref anyref) @@ -773,17 +771,19 @@ ;; CHECK-NEXT: (local.get $anyref) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (call $bar - ;; CHECK-NEXT: (ref.func $foo) + ;; CHECK-NEXT: (i31.new + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (call $bar - ;; CHECK-NEXT: (ref.null func) + ;; CHECK-NEXT: (ref.null data) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $bar (type $sig-bar) (param $anyref anyref) (drop (local.get $anyref)) ;; Mixing a null with something else prevents optimization, of course. - (call $bar (ref.func $foo)) - (call $bar (ref.null func)) + (call $bar (i31.new (i32.const 0))) + (call $bar (ref.null data)) ) ) |