diff options
Diffstat (limited to 'test/passes')
5 files changed, 12 insertions, 12 deletions
diff --git a/test/passes/Oz_fuzz-exec_all-features.txt b/test/passes/Oz_fuzz-exec_all-features.txt index 410bf37c1..981e8f8d2 100644 --- a/test/passes/Oz_fuzz-exec_all-features.txt +++ b/test/passes/Oz_fuzz-exec_all-features.txt @@ -204,7 +204,7 @@ ) (func $7 (; has Stack IR ;) (param $0 anyref) (drop - (block $data (result dataref) + (block $data (result (ref data)) (drop (br_on_data $data (local.get $0) diff --git a/test/passes/merge-locals_all-features.txt b/test/passes/merge-locals_all-features.txt index 8be43b60d..cf11edc91 100644 --- a/test/passes/merge-locals_all-features.txt +++ b/test/passes/merge-locals_all-features.txt @@ -459,8 +459,8 @@ ) (func $subtype-test (local $0 anyref) - (local $1 (ref null i31)) - (local $2 (ref null i31)) + (local $1 i31ref) + (local $2 i31ref) (local.set $0 (local.get $1) ) diff --git a/test/passes/remove-unused-brs_all-features.txt b/test/passes/remove-unused-brs_all-features.txt index 631c4ffe3..c340519f8 100644 --- a/test/passes/remove-unused-brs_all-features.txt +++ b/test/passes/remove-unused-brs_all-features.txt @@ -103,7 +103,7 @@ (i32.const 6) ) (drop - (block $i31 (result i31ref) + (block $i31 (result (ref i31)) (drop (br $i31 (i31.new @@ -136,7 +136,7 @@ ) (func $br_on-to-flow (drop - (block $data (result (ref null data)) + (block $data (result dataref) (drop (ref.func $br_on-to-flow) ) @@ -144,7 +144,7 @@ ) ) (drop - (block $datab (result (ref null data)) + (block $datab (result dataref) (drop (i31.new (i32.const 1337) @@ -174,7 +174,7 @@ ) ) (drop - (block $i31 (result (ref null i31)) + (block $i31 (result i31ref) (drop (array.new_default $vector (i32.const 2) @@ -184,7 +184,7 @@ ) ) (drop - (block $i31b (result (ref null i31)) + (block $i31b (result i31ref) (drop (ref.func $br_on-to-flow) ) diff --git a/test/passes/simplify-locals_all-features.txt b/test/passes/simplify-locals_all-features.txt index 2d84d3a7d..fb51e2fed 100644 --- a/test/passes/simplify-locals_all-features.txt +++ b/test/passes/simplify-locals_all-features.txt @@ -1900,11 +1900,11 @@ ) ) (module - (type $eqref_ref?|i31|_=>_i32 (func (param eqref (ref null i31)) (result i32))) + (type $eqref_i31ref_=>_i32 (func (param eqref i31ref) (result i32))) (export "test" (func $0)) - (func $0 (param $0 eqref) (param $1 (ref null i31)) (result i32) + (func $0 (param $0 eqref) (param $1 i31ref) (result i32) (local $2 eqref) - (local $3 (ref null i31)) + (local $3 i31ref) (local.set $2 (local.get $0) ) diff --git a/test/passes/simplify-locals_all-features_disable-exception-handling.txt b/test/passes/simplify-locals_all-features_disable-exception-handling.txt index f206cc42e..78e2804ac 100644 --- a/test/passes/simplify-locals_all-features_disable-exception-handling.txt +++ b/test/passes/simplify-locals_all-features_disable-exception-handling.txt @@ -1866,7 +1866,7 @@ (module (type $none_=>_anyref (func (result anyref))) (func $subtype-test (result anyref) - (local $0 (ref null i31)) + (local $0 i31ref) (local $1 anyref) (local $2 anyref) (block |