diff options
Diffstat (limited to 'test/passes')
6 files changed, 44 insertions, 40 deletions
diff --git a/test/passes/Oz_fuzz-exec_all-features.wast b/test/passes/Oz_fuzz-exec_all-features.wast index c8ad3700a..a07e7e3d7 100644 --- a/test/passes/Oz_fuzz-exec_all-features.wast +++ b/test/passes/Oz_fuzz-exec_all-features.wast @@ -203,14 +203,16 @@ (local $x anyref) ;; set x to something that is not null, but also not data (local.set $x - (ref.func $a-void-func) + (i31.new + (i32.const 0) + ) ) (drop (block $any (result anyref) (drop (br_on_non_data $any (local.get $x)) ) - ;; $x refers to a function, so we will branch, and not log + ;; $x refers to an i31, so we will branch, and not log (call $log (i32.const 1)) (ref.null any) ) @@ -219,8 +221,8 @@ (func "br-on_non_null" (drop (block $non-null (result (ref any)) - (br_on_non_null $non-null (ref.func $a-void-func)) - ;; $x refers to a function, which is not null, so we will branch, and not + (br_on_non_null $non-null (i31.new (i32.const 0))) + ;; $x refers to an i31, which is not null, so we will branch, and not ;; log (call $log (i32.const 1)) (unreachable) diff --git a/test/passes/merge-locals_all-features.txt b/test/passes/merge-locals_all-features.txt index ebb9407fc..8be43b60d 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 funcref) - (local $2 funcref) + (local $1 (ref null i31)) + (local $2 (ref null i31)) (local.set $0 (local.get $1) ) diff --git a/test/passes/merge-locals_all-features.wast b/test/passes/merge-locals_all-features.wast index 1cdac26ec..1b73c9a95 100644 --- a/test/passes/merge-locals_all-features.wast +++ b/test/passes/merge-locals_all-features.wast @@ -377,8 +377,8 @@ ) (func $subtype-test (local $0 anyref) - (local $1 funcref) - (local $2 funcref) + (local $1 (ref null i31)) + (local $2 (ref null i31)) (local.set $0 (local.get $1) ) 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 5a4dff21a..f206cc42e 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 funcref) + (local $0 (ref null i31)) (local $1 anyref) (local $2 anyref) (block diff --git a/test/passes/simplify-locals_all-features_disable-exception-handling.wast b/test/passes/simplify-locals_all-features_disable-exception-handling.wast index 803d557f6..25b452511 100644 --- a/test/passes/simplify-locals_all-features_disable-exception-handling.wast +++ b/test/passes/simplify-locals_all-features_disable-exception-handling.wast @@ -1657,7 +1657,7 @@ ) (module (func $subtype-test (result anyref) - (local $0 funcref) + (local $0 (ref null i31)) (local $1 anyref) (local $2 anyref) (block diff --git a/test/passes/translate-to-fuzz_all-features_metrics_noprint.txt b/test/passes/translate-to-fuzz_all-features_metrics_noprint.txt index 5e4beae81..d81ea0ccd 100644 --- a/test/passes/translate-to-fuzz_all-features_metrics_noprint.txt +++ b/test/passes/translate-to-fuzz_all-features_metrics_noprint.txt @@ -1,40 +1,42 @@ total - [exports] : 9 - [funcs] : 13 + [exports] : 5 + [funcs] : 8 [globals] : 6 [imports] : 5 [memories] : 1 [memory-data] : 22 - [table-data] : 4 + [table-data] : 2 [tables] : 1 - [tags] : 0 - [total] : 669 - [vars] : 20 - ArrayInit : 3 - AtomicCmpxchg : 2 - Binary : 75 - Block : 81 - Break : 8 - Call : 44 + [tags] : 2 + [total] : 495 + [vars] : 23 + ArrayInit : 2 + AtomicNotify : 1 + Binary : 64 + Block : 52 + Break : 7 + Call : 28 CallRef : 1 - Const : 137 - Drop : 10 - GlobalGet : 41 - GlobalSet : 22 - I31New : 8 - If : 31 - Load : 18 - LocalGet : 48 - LocalSet : 27 - Loop : 8 - Nop : 12 - RefFunc : 10 - RefIs : 1 + Const : 126 + Drop : 3 + GlobalGet : 25 + GlobalSet : 12 + I31Get : 1 + I31New : 11 + If : 19 + Load : 22 + LocalGet : 33 + LocalSet : 20 + Loop : 4 + Nop : 5 + RefFunc : 3 RefNull : 4 - Return : 27 - Select : 1 + Return : 17 + SIMDExtract : 3 + Select : 3 Store : 1 - StructNew : 7 + StructNew : 1 TupleExtract : 1 - TupleMake : 6 - Unary : 35 + TupleMake : 11 + Unary : 13 + Unreachable : 2 |