diff options
Diffstat (limited to 'test/passes')
26 files changed, 497 insertions, 600 deletions
diff --git a/test/passes/dce_all-features.txt b/test/passes/dce_all-features.txt index 59f32f1be..c5094b301 100644 --- a/test/passes/dce_all-features.txt +++ b/test/passes/dce_all-features.txt @@ -547,7 +547,7 @@ ) (func $rethrow (rethrow - (ref.null) + (ref.null exn) ) ) ) diff --git a/test/passes/dce_all-features.wast b/test/passes/dce_all-features.wast index 77e781097..78324b941 100644 --- a/test/passes/dce_all-features.wast +++ b/test/passes/dce_all-features.wast @@ -779,7 +779,7 @@ (func $throw (drop - (block $label$0 (result nullref) + (block $label$0 (result externref) (if (i32.clz (block $label$1 (result i32) @@ -788,25 +788,25 @@ ) (nop) ) - (ref.null) + (ref.null extern) ) ) ) (func $rethrow (drop - (block $label$0 (result nullref) + (block $label$0 (result externref) (if (i32.clz (block $label$1 (result i32) (rethrow - (ref.null) + (ref.null exn) ) ) ) (nop) ) - (ref.null) + (ref.null extern) ) ) ) diff --git a/test/passes/flatten_all-features.txt b/test/passes/flatten_all-features.txt index e52f9e826..896dc4ed0 100644 --- a/test/passes/flatten_all-features.txt +++ b/test/passes/flatten_all-features.txt @@ -5,7 +5,6 @@ (type $i32_=>_i32 (func (param i32) (result i32))) (type $none_=>_f32 (func (result f32))) (type $i64_i64_=>_i64 (func (param i64 i64) (result i64))) - (type $none_=>_externref (func (result externref))) (memory $0 10) (table $0 1 1 funcref) (elem (i32.const 0) $call-me) @@ -2376,53 +2375,6 @@ ) (unreachable) ) - (func $subtype (result externref) - (local $0 nullref) - (local $1 externref) - (local $2 nullref) - (local $3 nullref) - (local $4 nullref) - (local $5 nullref) - (local $6 nullref) - (local $7 externref) - (block $label0 - (block $block - (local.set $1 - (ref.null) - ) - (local.set $2 - (ref.null) - ) - (br_if $label0 - (i32.const 0) - ) - (local.set $3 - (local.get $2) - ) - (local.set $0 - (local.get $3) - ) - (local.set $4 - (local.get $0) - ) - (local.set $5 - (local.get $4) - ) - ) - (local.set $6 - (local.get $5) - ) - (local.set $1 - (local.get $6) - ) - ) - (local.set $7 - (local.get $1) - ) - (return - (local.get $7) - ) - ) ) (module (type $i64_f32_=>_none (func (param i64 f32))) diff --git a/test/passes/flatten_all-features.wast b/test/passes/flatten_all-features.wast index f07175bd2..68bd7a64b 100644 --- a/test/passes/flatten_all-features.wast +++ b/test/passes/flatten_all-features.wast @@ -1020,6 +1020,7 @@ (return (i32.sub (i32.const 1) (i32.const 2))) ) + ;; TODO (GC) ;; subtypes ;; br_if leaves a value on the stack if not taken, which later can be the last @@ -1027,18 +1028,19 @@ ;; targets an outer branch whose return type is a supertype of the br_if's ;; value type, we need the value to be set into two locals: one with the outer ;; block's type, and one with its value type. - (func $subtype (result externref) (local $0 nullref) - (block $label0 (result externref) - (block (result nullref) - (local.tee $0 - (br_if $label0 - (ref.null) - (i32.const 0) - ) - ) - ) - ) - ) + ;; (func $subtype (result externref) + ;; (local $0 anyref) + ;; (block $label0 (result externref) + ;; (block (result anyref) + ;; (local.tee $0 + ;; (br_if $label0 + ;; (ref.null extern) + ;; (i32.const 0) + ;; ) + ;; ) + ;; ) + ;; ) + ;; ) ) (module (func $0 (param $0 i64) (param $1 f32) diff --git a/test/passes/flatten_local-cse_all-features.txt b/test/passes/flatten_local-cse_all-features.txt index 5f3adace7..201a6f793 100644 --- a/test/passes/flatten_local-cse_all-features.txt +++ b/test/passes/flatten_local-cse_all-features.txt @@ -764,52 +764,3 @@ ) ) ) -(module - (type $none_=>_none (func)) - (type $none_=>_funcref (func (result funcref))) - (func $subtype-test (result funcref) - (local $0 nullref) - (local $1 nullref) - (local $2 funcref) - (local $3 funcref) - (block - (nop) - (loop $label$1 - (local.set $0 - (ref.null) - ) - ) - (local.set $1 - (local.get $0) - ) - (local.set $2 - (local.get $0) - ) - ) - (local.set $3 - (local.get $2) - ) - (return - (local.get $2) - ) - ) - (func $test - (local $0 externref) - (local $1 nullref) - (local $2 nullref) - (block $label$1 - (local.set $0 - (ref.null) - ) - (local.set $1 - (ref.null) - ) - ) - (local.set $2 - (local.get $1) - ) - (drop - (local.get $1) - ) - ) -) diff --git a/test/passes/flatten_local-cse_all-features.wast b/test/passes/flatten_local-cse_all-features.wast index 1b4dc37c2..05fbcb2ac 100644 --- a/test/passes/flatten_local-cse_all-features.wast +++ b/test/passes/flatten_local-cse_all-features.wast @@ -288,29 +288,30 @@ ) ) -(module - ;; After --flatten, there will be a series of chain copies between multiple - ;; locals, but some of the locals will be nullref type and others funcref type. - ;; We cannot make locals of different types a common subexpression. - (func $subtype-test (result funcref) - (nop) - (loop $label$1 (result nullref) - (ref.null) - ) - ) +;; TODO (GC) +;; (module +;; ;; After --flatten, there will be a series of chain copies between multiple +;; ;; locals, but some of the locals will be funcref type and others anyref +;; ;; type. We cannot make locals of different types a common subexpression. +;; (func $subtype-test (result anyref) +;; (nop) +;; (loop $label$1 (result funcref) +;; (ref.null func) +;; ) +;; ) - (func $test - (local $0 externref) - (drop - (block $label$1 (result nullref) - (local.set $0 - (ref.null) - ) - ;; After --flatten, this will be assigned to a local of nullref type. After - ;; --local-cse, even if we set (ref.null) to local $0 above, this should not - ;; be replaced with $0, because it is of type externref. - (ref.null) - ) - ) - ) -) +;; (func $test +;; (local $0 anyref) +;; (drop +;; (block $label$1 (result funcref) +;; (local.set $0 +;; (ref.null func) +;; ) +;; ;; After --flatten, this will be assigned to a local of funcref type. After +;; ;; --local-cse, even if we set (ref.null) to local $0 above, this should not +;; ;; be replaced with $0, because it is of type anyref. +;; (ref.null func) +;; ) +;; ) +;; ) +;; ) diff --git a/test/passes/inlining_all-features.txt b/test/passes/inlining_all-features.txt index cb24b9e8b..b2f483d3d 100644 --- a/test/passes/inlining_all-features.txt +++ b/test/passes/inlining_all-features.txt @@ -23,7 +23,7 @@ (block (block $__inlined_func$func_inner (local.set $1 - (ref.null) + (ref.null exn) ) (drop (block $l0 (result i32) diff --git a/test/passes/instrument-locals_all-features.txt b/test/passes/instrument-locals_all-features.txt index e2ba3e107..91e71a48d 100644 --- a/test/passes/instrument-locals_all-features.txt +++ b/test/passes/instrument-locals_all-features.txt @@ -6,7 +6,6 @@ (type $i32_i32_v128_=>_v128 (func (param i32 i32 v128) (result v128))) (type $i32_i32_funcref_=>_funcref (func (param i32 i32 funcref) (result funcref))) (type $i32_i32_externref_=>_externref (func (param i32 i32 externref) (result externref))) - (type $i32_i32_nullref_=>_nullref (func (param i32 i32 nullref) (result nullref))) (type $i32_i32_exnref_=>_exnref (func (param i32 i32 exnref) (result exnref))) (type $none_=>_none (func)) (import "env" "get_i32" (func $get_i32 (param i32 i32 i32) (result i32))) @@ -21,8 +20,6 @@ (import "env" "set_funcref" (func $set_funcref (param i32 i32 funcref) (result funcref))) (import "env" "get_externref" (func $get_externref (param i32 i32 externref) (result externref))) (import "env" "set_externref" (func $set_externref (param i32 i32 externref) (result externref))) - (import "env" "get_nullref" (func $get_nullref (param i32 i32 nullref) (result nullref))) - (import "env" "set_nullref" (func $set_nullref (param i32 i32 nullref) (result nullref))) (import "env" "get_exnref" (func $get_exnref (param i32 i32 exnref) (result exnref))) (import "env" "set_exnref" (func $set_exnref (param i32 i32 exnref) (result exnref))) (import "env" "get_v128" (func $get_v128 (param i32 i32 v128) (result v128))) @@ -34,7 +31,6 @@ (local $w f64) (local $F funcref) (local $X externref) - (local $N nullref) (local $E exnref) (local $S v128) (drop @@ -76,22 +72,15 @@ ) ) (drop - (call $get_nullref - (i32.const 5) - (i32.const 6) - (local.get $N) - ) - ) - (drop (call $get_exnref + (i32.const 5) (i32.const 6) - (i32.const 7) (local.get $E) ) ) (drop (call $get_i32 - (i32.const 7) + (i32.const 6) (i32.const 0) (local.get $x) ) @@ -101,49 +90,42 @@ ) (drop (call $get_f32 - (i32.const 8) + (i32.const 7) (i32.const 2) (local.get $z) ) ) (drop (call $get_f64 - (i32.const 9) + (i32.const 8) (i32.const 3) (local.get $w) ) ) (drop (call $get_funcref - (i32.const 10) + (i32.const 9) (i32.const 4) (local.get $F) ) ) (drop (call $get_externref - (i32.const 11) + (i32.const 10) (i32.const 5) (local.get $X) ) ) (drop - (call $get_nullref - (i32.const 12) - (i32.const 6) - (local.get $N) - ) - ) - (drop (call $get_exnref - (i32.const 13) - (i32.const 7) + (i32.const 11) + (i32.const 6) (local.get $E) ) ) (local.set $x (call $set_i32 - (i32.const 14) + (i32.const 12) (i32.const 0) (i32.const 1) ) @@ -153,57 +135,50 @@ ) (local.set $z (call $set_f32 - (i32.const 15) + (i32.const 13) (i32.const 2) (f32.const 3.2100000381469727) ) ) (local.set $w (call $set_f64 - (i32.const 16) + (i32.const 14) (i32.const 3) (f64.const 4.321) ) ) (local.set $F (call $set_funcref - (i32.const 17) + (i32.const 15) (i32.const 4) (ref.func $test) ) ) (local.set $X (call $set_externref - (i32.const 19) + (i32.const 17) (i32.const 5) (call $get_externref - (i32.const 18) + (i32.const 16) (i32.const 5) (local.get $X) ) ) ) - (local.set $N - (call $set_nullref - (i32.const 20) - (i32.const 6) - (ref.null) - ) - ) (local.set $E (call $set_exnref - (i32.const 22) - (i32.const 7) + (i32.const 19) + (i32.const 6) (call $get_exnref - (i32.const 21) - (i32.const 7) + (i32.const 18) + (i32.const 6) (local.get $E) ) ) ) (local.set $x (call $set_i32 - (i32.const 23) + (i32.const 20) (i32.const 0) (i32.const 11) ) @@ -213,24 +188,24 @@ ) (local.set $z (call $set_f32 - (i32.const 24) + (i32.const 21) (i32.const 2) (f32.const 33.209999084472656) ) ) (local.set $w (call $set_f64 - (i32.const 25) + (i32.const 22) (i32.const 3) (f64.const 44.321) ) ) (local.set $F (call $set_funcref - (i32.const 27) + (i32.const 24) (i32.const 4) (call $get_funcref - (i32.const 26) + (i32.const 23) (i32.const 4) (local.get $F) ) @@ -238,33 +213,22 @@ ) (local.set $X (call $set_externref - (i32.const 29) + (i32.const 26) (i32.const 5) (call $get_externref - (i32.const 28) + (i32.const 25) (i32.const 5) (local.get $X) ) ) ) - (local.set $N - (call $set_nullref - (i32.const 31) - (i32.const 6) - (call $get_nullref - (i32.const 30) - (i32.const 6) - (local.get $N) - ) - ) - ) (local.set $E (call $set_exnref - (i32.const 33) - (i32.const 7) + (i32.const 28) + (i32.const 6) (call $get_exnref - (i32.const 32) - (i32.const 7) + (i32.const 27) + (i32.const 6) (local.get $E) ) ) @@ -275,23 +239,20 @@ (local.set $X (externref.pop) ) - (local.set $N - (nullref.pop) - ) (local.set $E (exnref.pop) ) (drop (call $get_v128 - (i32.const 34) - (i32.const 8) + (i32.const 29) + (i32.const 7) (local.get $S) ) ) (local.set $S (call $set_v128 - (i32.const 35) - (i32.const 8) + (i32.const 30) + (i32.const 7) (v128.const i32x4 0x00000000 0x00000001 0x00000002 0x00000003) ) ) diff --git a/test/passes/instrument-locals_all-features.wast b/test/passes/instrument-locals_all-features.wast index 5640b1661..2110ce7db 100644 --- a/test/passes/instrument-locals_all-features.wast +++ b/test/passes/instrument-locals_all-features.wast @@ -6,7 +6,6 @@ (local $w f64) (local $F funcref) (local $X externref) - (local $N nullref) (local $E exnref) (local $S v128) @@ -16,7 +15,6 @@ (drop (local.get $w)) (drop (local.get $F)) (drop (local.get $X)) - (drop (local.get $N)) (drop (local.get $E)) (drop (local.get $x)) @@ -25,7 +23,6 @@ (drop (local.get $w)) (drop (local.get $F)) (drop (local.get $X)) - (drop (local.get $N)) (drop (local.get $E)) (local.set $x (i32.const 1)) @@ -34,7 +31,6 @@ (local.set $w (f64.const 4.321)) (local.set $F (ref.func $test)) (local.set $X (local.get $X)) - (local.set $N (ref.null)) (local.set $E (local.get $E)) (local.set $x (i32.const 11)) @@ -43,13 +39,11 @@ (local.set $w (f64.const 44.321)) (local.set $F (local.get $F)) (local.set $X (local.get $X)) - (local.set $N (local.get $N)) (local.set $E (local.get $E)) ;; Pop instructions should not be instrumented (local.set $F (funcref.pop)) (local.set $X (externref.pop)) - (local.set $N (nullref.pop)) (local.set $E (exnref.pop)) ;; Add new instructions here so expected output doesn't change too much, it diff --git a/test/passes/merge-locals_all-features.txt b/test/passes/merge-locals_all-features.txt index e4d325695..15039b4ce 100644 --- a/test/passes/merge-locals_all-features.txt +++ b/test/passes/merge-locals_all-features.txt @@ -1,7 +1,6 @@ (module (type $i32_i32_=>_none (func (param i32 i32))) (type $i32_i32_=>_i32 (func (param i32 i32) (result i32))) - (type $none_=>_none (func)) (type $i32_i32_i32_=>_none (func (param i32 i32 i32))) (type $i32_f32_f32_=>_i64 (func (param i32 f32 f32) (result i64))) (global $global$0 (mut i32) (i32.const 10)) @@ -457,15 +456,4 @@ ) ) ) - (func $subtype-test - (local $0 externref) - (local $1 nullref) - (local $2 nullref) - (local.set $0 - (local.get $1) - ) - (local.set $2 - (local.get $1) - ) - ) ) diff --git a/test/passes/merge-locals_all-features.wast b/test/passes/merge-locals_all-features.wast index 2a0a3d292..c12a02426 100644 --- a/test/passes/merge-locals_all-features.wast +++ b/test/passes/merge-locals_all-features.wast @@ -375,17 +375,18 @@ ) ) ) - (func $subtype-test - (local $0 externref) - (local $1 nullref) - (local $2 nullref) - (local.set $0 - (local.get $1) - ) - (local.set $2 - ;; This should NOT become $0, because types of $0 and $1 are different - (local.get $1) - ) - ) + ;; TODO (GC) + ;; (func $subtype-test + ;; (local $0 anyref) + ;; (local $1 funcref) + ;; (local $2 funcref) + ;; (local.set $0 + ;; (local.get $1) + ;; ) + ;; (local.set $2 + ;; ;; This should NOT become $0, because types of $0 and $1 are different + ;; (local.get $1) + ;; ) + ;; ) ) diff --git a/test/passes/optimize-instructions_all-features.txt b/test/passes/optimize-instructions_all-features.txt index 2aaba9071..5677624cb 100644 --- a/test/passes/optimize-instructions_all-features.txt +++ b/test/passes/optimize-instructions_all-features.txt @@ -14,7 +14,6 @@ (type $i32_i32_f64_f64_=>_none (func (param i32 i32 f64 f64))) (type $i32_i64_f64_i32_=>_none (func (param i32 i64 f64 i32))) (type $none_=>_f64 (func (result f64))) - (type $none_=>_externref (func (result externref))) (memory $0 0) (export "load-off-2" (func $load-off-2)) (func $f (param $i1 i32) (param $i2 i64) @@ -3712,9 +3711,6 @@ (unreachable) ) ) - (func $if-arms-subtype (result externref) - (ref.null) - ) (func $optimize-boolean-context (param $x i32) (param $y i32) (if (local.get $x) diff --git a/test/passes/optimize-instructions_all-features.wast b/test/passes/optimize-instructions_all-features.wast index e336ac2f9..37d0d7618 100644 --- a/test/passes/optimize-instructions_all-features.wast +++ b/test/passes/optimize-instructions_all-features.wast @@ -4207,14 +4207,15 @@ (unreachable) ) ) + ;; TODO (GC) ;; Tests when if arms are subtype of if's type - (func $if-arms-subtype (result externref) - (if (result externref) - (i32.const 0) - (ref.null) - (ref.null) - ) - ) + ;; (func $if-arms-subtype (result anyref) + ;; (if (result anyref) + ;; (i32.const 0) + ;; (ref.null extern) + ;; (ref.null func) + ;; ) + ;; ) (func $optimize-boolean-context (param $x i32) (param $y i32) ;; 0 - x ==> x (if diff --git a/test/passes/precompute_all-features.txt b/test/passes/precompute_all-features.txt index 4253d3c42..89f40adf5 100644 --- a/test/passes/precompute_all-features.txt +++ b/test/passes/precompute_all-features.txt @@ -5,7 +5,7 @@ (type $none_=>_v128 (func (result v128))) (type $i32_=>_none (func (param i32))) (type $none_=>_i32_i64 (func (result i32 i64))) - (type $none_=>_nullref (func (result nullref))) + (type $none_=>_externref (func (result externref))) (memory $0 512 512) (data (i32.const 0) "passive") (global $global i32 (i32.const 1)) @@ -262,8 +262,8 @@ (func $loop-precompute (result i32) (i32.const 1) ) - (func $reftype-test (result nullref) - (ref.null) + (func $reftype-test (result externref) + (ref.null extern) ) (func $dummy (nop) @@ -285,18 +285,18 @@ ) ) (drop - (block $l2 (result nullref) + (block $l2 (result externref) (drop (block $l3 (global.set $global-mut (i32.const 1) ) (br $l2 - (ref.null) + (ref.null extern) ) ) ) - (ref.null) + (ref.null extern) ) ) (drop @@ -311,7 +311,7 @@ ) ) ) - (ref.null) + (ref.null func) ) ) ) diff --git a/test/passes/precompute_all-features.wast b/test/passes/precompute_all-features.wast index 343b01ff1..ca849b88c 100644 --- a/test/passes/precompute_all-features.wast +++ b/test/passes/precompute_all-features.wast @@ -385,13 +385,13 @@ ) ;; Check if Precompute pass does not crash on reference types - (func $reftype-test (result nullref) - (ref.null) + (func $reftype-test (result externref) + (ref.null extern) ) ;; Check if constant nodes (const, ref.null, and ref.func) are correctly ;; reused. (We shouldn't reuse a const node for something like ref.null, which - ;; will incorrectly cause an expression like 'nullref.const'.) + ;; will incorrectly cause an expression like 'someref.const'.) (func $dummy) (func $br_reuse_node (drop @@ -418,7 +418,7 @@ ) (drop - (block $l2 (result nullref) + (block $l2 (result externref) (drop (block $l3 (result i32) (global.set $global-mut @@ -428,14 +428,14 @@ (i32.const 1) (ref.is_null (br_if $l2 - (ref.null) + (ref.null extern) (i32.const 3) ) ) ) ) ) - (ref.null) + (ref.null extern) ) ) @@ -457,7 +457,7 @@ ) ) ) - (ref.null) + (ref.null func) ) ) ) @@ -469,7 +469,7 @@ (block $label$1 (drop (br_on_exn $label$1 $event$0 - (loop $label$2 (result nullref) + (loop $label$2 (result exnref) (br $label$2) ) ) diff --git a/test/passes/remove-unused-names_code-folding_all-features.txt b/test/passes/remove-unused-names_code-folding_all-features.txt index 1cb02c26e..946545144 100644 --- a/test/passes/remove-unused-names_code-folding_all-features.txt +++ b/test/passes/remove-unused-names_code-folding_all-features.txt @@ -1799,7 +1799,7 @@ (call $foo) (call $foo) (return - (ref.null) + (ref.null exn) ) ) (catch @@ -1811,11 +1811,11 @@ (call $foo) (call $foo) (return - (ref.null) + (ref.null exn) ) ) ) - (ref.null) + (ref.null exn) ) (func $try-call-optimize-expression-tails (local $exn exnref) diff --git a/test/passes/remove-unused-names_code-folding_all-features.wast b/test/passes/remove-unused-names_code-folding_all-features.wast index ab5f222ca..b982a10fb 100644 --- a/test/passes/remove-unused-names_code-folding_all-features.wast +++ b/test/passes/remove-unused-names_code-folding_all-features.wast @@ -1254,7 +1254,7 @@ (call $foo) (call $foo) (call $foo) - (return (ref.null)) + (return (ref.null exn)) ) (catch (drop (exnref.pop)) @@ -1262,10 +1262,10 @@ (call $foo) (call $foo) (call $foo) - (return (ref.null)) + (return (ref.null exn)) ) ) - (ref.null) + (ref.null exn) ) (func $try-call-optimize-expression-tails (local $exn exnref) diff --git a/test/passes/simplify-globals_all-features.txt b/test/passes/simplify-globals_all-features.txt index dc766683e..ace056aac 100644 --- a/test/passes/simplify-globals_all-features.txt +++ b/test/passes/simplify-globals_all-features.txt @@ -215,7 +215,7 @@ (type $none_=>_none (func)) (import "env" "global-1" (global $g1 externref)) (global $g2 externref (global.get $g1)) - (global $g3 externref (ref.null)) + (global $g3 externref (ref.null extern)) (func $test1 (drop (global.get $g1) @@ -226,7 +226,7 @@ ) (func $test2 (drop - (ref.null) + (ref.null extern) ) ) ) diff --git a/test/passes/simplify-globals_all-features.wast b/test/passes/simplify-globals_all-features.wast index 3c7c61a9f..83c23bae5 100644 --- a/test/passes/simplify-globals_all-features.wast +++ b/test/passes/simplify-globals_all-features.wast @@ -130,7 +130,7 @@ (module (import "env" "global-1" (global $g1 externref)) (global $g2 (mut externref) (global.get $g1)) - (global $g3 externref (ref.null)) + (global $g3 externref (ref.null extern)) (func $test1 (drop (global.get $g1)) (drop (global.get $g2)) diff --git a/test/passes/simplify-locals_all-features.txt b/test/passes/simplify-locals_all-features.txt index 34efb8726..f461a7580 100644 --- a/test/passes/simplify-locals_all-features.txt +++ b/test/passes/simplify-locals_all-features.txt @@ -1882,19 +1882,6 @@ ) ) (module - (type $none_=>_funcref (func (result funcref))) - (func $subtype-test (result funcref) - (local $0 nullref) - (local $1 funcref) - (local $2 funcref) - (block $block - (nop) - ) - (nop) - (local.get $0) - ) -) -(module (type $none_=>_none (func)) (type $i32_exnref_=>_none (func (param i32 exnref))) (type $exnref_=>_none (func (param exnref))) @@ -1907,7 +1894,7 @@ (block $label$0 (local.set $0 (br_on_exn $label$0 $event$0 - (ref.null) + (ref.null exn) ) ) ) @@ -1918,7 +1905,7 @@ (drop (block $label$1 (result exnref) (br_on_exn $label$1 $event$1 - (ref.null) + (ref.null exn) ) ) ) @@ -1930,7 +1917,7 @@ (try (do (rethrow - (ref.null) + (ref.null exn) ) ) (catch @@ -1973,7 +1960,7 @@ (i32.const 3) (try (result exnref) (do - (ref.null) + (ref.null exn) ) (catch (exnref.pop) diff --git a/test/passes/simplify-locals_all-features.wast b/test/passes/simplify-locals_all-features.wast index 3edffca7e..b32da3df8 100644 --- a/test/passes/simplify-locals_all-features.wast +++ b/test/passes/simplify-locals_all-features.wast @@ -1655,22 +1655,23 @@ ) ) ) -(module - (func $subtype-test (result funcref) - (local $0 nullref) - (local $1 funcref) - (local $2 funcref) - (block - (local.set $1 - (local.get $0) - ) - ) - (local.set $2 - (local.get $1) - ) - (local.get $1) - ) -) +;; TODO (GC) +;; (module +;; (func $subtype-test (result anyref) +;; (local $0 anyref) +;; (local $1 externref) +;; (local $2 externref) +;; (block +;; (local.set $1 +;; (local.get $0) +;; ) +;; ) +;; (local.set $2 +;; (local.get $1) +;; ) +;; (local.get $1) +;; ) +;; ) (module (event $event$0 (attr 0) (param)) (func $unoptimizable-br_on_exn-block (result exnref) (local $0 exnref) @@ -1678,7 +1679,7 @@ (local.set $0 ;; br_on_exn's target block cannot be optimized to have a return value (br_on_exn $label$0 $event$0 - (ref.null) + (ref.null exn) ) ) ) @@ -1692,7 +1693,7 @@ (local.set $0 (block $label$1 (result exnref) (br_on_exn $label$1 $event$1 - (ref.null) + (ref.null exn) ) ) ) @@ -1704,7 +1705,7 @@ (local.set $0 (block $label$1 (result i32) (try - (do (rethrow (ref.null))) + (do (rethrow (ref.null exn))) (catch) ) (i32.const 0) @@ -1738,7 +1739,7 @@ ;; try-catch, so it is OK. (local.set $0 (try (result exnref) - (do (ref.null)) + (do (ref.null exn)) (catch (exnref.pop)) ) ) 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 0d035234b..b01941639 100644 --- a/test/passes/simplify-locals_all-features_disable-exception-handling.txt +++ b/test/passes/simplify-locals_all-features_disable-exception-handling.txt @@ -1875,16 +1875,3 @@ ) ) ) -(module - (type $none_=>_funcref (func (result funcref))) - (func $subtype-test (result funcref) - (local $0 nullref) - (local $1 funcref) - (local $2 funcref) - (block $block - (nop) - ) - (nop) - (local.get $0) - ) -) 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 a819dda15..c0f279cd0 100644 --- a/test/passes/simplify-locals_all-features_disable-exception-handling.wast +++ b/test/passes/simplify-locals_all-features_disable-exception-handling.wast @@ -1655,19 +1655,20 @@ ) ) ) -(module - (func $subtype-test (result funcref) - (local $0 nullref) - (local $1 funcref) - (local $2 funcref) - (block - (local.set $1 - (local.get $0) - ) - ) - (local.set $2 - (local.get $1) - ) - (local.get $1) - ) -) +;; TODO (GC) +;; (module +;; (func $subtype-test (result anyref) +;; (local $0 funcref) +;; (local $1 anyref) +;; (local $2 anyref) +;; (block +;; (local.set $1 +;; (local.get $0) +;; ) +;; ) +;; (local.set $2 +;; (local.get $1) +;; ) +;; (local.get $1) +;; ) +;; ) diff --git a/test/passes/strip-target-features_roundtrip_print-features_all-features.txt b/test/passes/strip-target-features_roundtrip_print-features_all-features.txt index e6ff57ce1..d54c7bb4e 100644 --- a/test/passes/strip-target-features_roundtrip_print-features_all-features.txt +++ b/test/passes/strip-target-features_roundtrip_print-features_all-features.txt @@ -13,7 +13,7 @@ (func $foo (result v128 externref) (tuple.make (v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000) - (ref.null) + (ref.null extern) ) ) (func $bar (result v128 externref) diff --git a/test/passes/strip-target-features_roundtrip_print-features_all-features.wast b/test/passes/strip-target-features_roundtrip_print-features_all-features.wast index 614804f9d..f073de7a4 100644 --- a/test/passes/strip-target-features_roundtrip_print-features_all-features.wast +++ b/test/passes/strip-target-features_roundtrip_print-features_all-features.wast @@ -5,7 +5,7 @@ (func $foo (result v128 externref ) (tuple.make (v128.const i32x4 0 0 0 0) - (ref.null) + (ref.null extern) ) ) (func $bar (result v128 externref) diff --git a/test/passes/translate-to-fuzz_all-features.txt b/test/passes/translate-to-fuzz_all-features.txt index 5cfe2bc41..ab9a5b946 100644 --- a/test/passes/translate-to-fuzz_all-features.txt +++ b/test/passes/translate-to-fuzz_all-features.txt @@ -1,54 +1,53 @@ (module (type $none_=>_none (func)) - (type $f32_=>_none (func (param f32))) - (type $nullref_=>_none (func (param nullref))) - (type $none_=>_externref_exnref_exnref_exnref (func (result externref exnref exnref exnref))) - (type $none_=>_exnref (func (result exnref))) (type $i32_=>_none (func (param i32))) + (type $none_=>_funcref_exnref_i32_externref (func (result funcref exnref i32 externref))) + (type $i32_funcref_f64_v128_i32_=>_none (func (param i32 funcref f64 v128 i32))) (type $i64_=>_none (func (param i64))) + (type $f32_=>_none (func (param f32))) (type $f64_=>_none (func (param f64))) - (type $f64_i32_i64_f64_v128_=>_none (func (param f64 i32 i64 f64 v128))) (type $v128_=>_none (func (param v128))) (type $exnref_=>_none (func (param exnref))) (type $none_=>_i32 (func (result i32))) - (type $funcref_f64_f32_v128_exnref_f32_=>_i64 (func (param funcref f64 f32 v128 exnref f32) (result i64))) - (type $externref_externref_f32_v128_funcref_funcref_=>_v128 (func (param externref externref f32 v128 funcref funcref) (result v128))) - (type $v128_=>_funcref (func (param v128) (result funcref))) + (type $i32_v128_f64_i32_=>_i32 (func (param i32 v128 f64 i32) (result i32))) + (type $none_=>_i64 (func (result i64))) + (type $none_=>_f32 (func (result f32))) + (type $i64_f32_=>_f64 (func (param i64 f32) (result f64))) + (type $none_=>_v128 (func (result v128))) + (type $none_=>_funcref (func (result funcref))) (import "fuzzing-support" "log-i32" (func $log-i32 (param i32))) (import "fuzzing-support" "log-i64" (func $log-i64 (param i64))) (import "fuzzing-support" "log-f32" (func $log-f32 (param f32))) (import "fuzzing-support" "log-f64" (func $log-f64 (param f64))) (import "fuzzing-support" "log-v128" (func $log-v128 (param v128))) - (import "fuzzing-support" "log-nullref" (func $log-nullref (param nullref))) (import "fuzzing-support" "log-exnref" (func $log-exnref (param exnref))) (memory $0 (shared 1 1)) (data (i32.const 0) "N\0fN\f5\f9\b1\ff\fa\eb\e5\fe\a7\ec\fb\fc\f4\a6\e4\ea\f0\ae\e3") - (table $0 2 2 funcref) - (elem (i32.const 0) $func_8 $func_12) - (global $global$5 (mut f32) (f32.const 74)) - (global $global$4 (mut nullref) (ref.null)) - (global $global$3 (mut i32) (i32.const 1263230471)) - (global $global$2 (mut i32) (i32.const -131072)) - (global $global$1 (mut (funcref nullref nullref externref exnref f64)) (tuple.make - (ref.null) - (ref.null) - (ref.null) - (ref.null) - (ref.null) - (f64.const 1.1754943508222875e-38) + (table $0 5 5 funcref) + (elem (i32.const 0) $func_9 $func_10 $func_12 $func_12 $func_14) + (global $global$5 (mut exnref) (ref.null exn)) + (global $global$4 (mut f64) (f64.const 13)) + (global $global$3 (mut f32) (f32.const 16448)) + (global $global$2 (mut (v128 i32 i32 f64 exnref exnref)) (tuple.make + (v128.const i32x4 0x4d5affff 0x055b007b 0xff830011 0xffee0040) + (i32.const -32767) + (i32.const 44) + (f64.const 1797693134862315708145274e284) + (ref.null exn) + (ref.null exn) )) + (global $global$1 (mut exnref) (ref.null exn)) (global $hangLimit (mut i32) (i32.const 10)) - (event $event$0 (attr 0) (param nullref)) - (event $event$1 (attr 0) (param f32)) + (event $event$0 (attr 0) (param i32)) (export "hashMemory" (func $hashMemory)) (export "memory" (memory $0)) - (export "func_8" (func $func_8)) - (export "func_8_invoker" (func $func_8_invoker)) - (export "func_11" (func $func_11)) + (export "func_7_invoker" (func $func_7_invoker)) + (export "func_9" (func $func_9)) + (export "func_10_invoker" (func $func_10_invoker)) (export "func_12" (func $func_12)) (export "func_12_invoker" (func $func_12_invoker)) - (export "func_14" (func $func_14)) - (export "func_15" (func $func_15)) + (export "func_16_invoker" (func $func_16_invoker)) + (export "func_19" (func $func_19)) (export "hangLimitInitializer" (func $hangLimitInitializer)) (func $hashMemory (result i32) (local $0 i32) @@ -281,17 +280,14 @@ ) (local.get $0) ) - (func $func_8 (result exnref) - (local $0 i64) - (local $1 i64) - (local $2 exnref) + (func $func_7 (param $0 i32) (param $1 v128) (param $2 f64) (param $3 i32) (result i32) (block (if (i32.eqz (global.get $hangLimit) ) (return - (ref.null) + (i32.const 4883) ) ) (global.set $hangLimit @@ -301,26 +297,65 @@ ) ) ) - (ref.null) - ) - (func $func_8_invoker - (drop - (call $func_8) + (local.tee $3 + (local.tee $0 + (local.get $3) + ) ) + ) + (func $func_7_invoker (drop - (call $func_8) + (call $func_7 + (i32.const -119) + (v128.const i32x4 0x00000000 0x40410000 0x00000000 0x3ff00000) + (f64.const 3.433897990215153e-220) + (i32.const 255) + ) ) (call $log-i32 (call $hashMemory) ) - (drop - (call $func_8) + ) + (func $func_9 (result funcref) + (local $0 i64) + (local $1 i64) + (block + (if + (i32.eqz + (global.get $hangLimit) + ) + (return + (ref.func $log-f32) + ) + ) + (global.set $hangLimit + (i32.sub + (global.get $hangLimit) + (i32.const 1) + ) + ) ) - (call $log-i32 - (call $hashMemory) + (block $label$0 + (f64.store offset=22 align=2 + (i32.and + (i32.const -65535) + (i32.const 15) + ) + (f64.const 8589934593) + ) + (return + (ref.func $log-exnref) + ) ) ) - (func $func_10 (result externref exnref exnref exnref) + (func $func_10 (result funcref exnref i32 externref) + (local $0 i64) + (local $1 exnref) + (local $2 f32) + (local $3 externref) + (local $4 externref) + (local $5 f32) + (local $6 i64) (block (if (i32.eqz @@ -328,10 +363,10 @@ ) (return (tuple.make - (ref.null) - (ref.null) - (ref.null) - (ref.null) + (ref.func $func_10) + (ref.null exn) + (i32.const 0) + (ref.null extern) ) ) ) @@ -343,14 +378,22 @@ ) ) (tuple.make - (ref.null) - (ref.null) - (ref.null) - (ref.null) + (ref.func $log-v128) + (ref.null exn) + (i32.const 26155) + (ref.null extern) ) ) - (func $func_11 (param $0 f64) (param $1 i32) (param $2 i64) (param $3 f64) (param $4 v128) - (local $5 nullref) + (func $func_10_invoker + (drop + (call $func_10) + ) + (call $log-i32 + (call $hashMemory) + ) + ) + (func $func_12 + (local $0 exnref) (block (if (i32.eqz @@ -365,30 +408,56 @@ ) ) ) - (block $label$0 - (call $log-i32 - (call $hashMemory) + (call $log-i32 + (i32.const 1) + ) + ) + (func $func_12_invoker + (call $func_12) + ) + (func $func_14 (result v128) + (local $0 i32) + (local $1 f32) + (local $2 f32) + (local $3 externref) + (local $4 exnref) + (local $5 f64) + (local $6 i64) + (block + (if + (i32.eqz + (global.get $hangLimit) + ) + (return + (v128.const i32x4 0x5ea21f0a 0x52800ae0 0x002a5300 0xe4010058) + ) ) - (call $log-exnref - (ref.null) + (global.set $hangLimit + (i32.sub + (global.get $hangLimit) + (i32.const 1) + ) ) ) + (v128.const i32x4 0x1d00ff00 0x2a255500 0x01fbf800 0x0a000002) ) - (func $func_12 (param $0 funcref) (param $1 f64) (param $2 f32) (param $3 v128) (param $4 exnref) (param $5 f32) (result i64) - (local $6 nullref) - (local $7 f32) - (local $8 exnref) - (local $9 f32) - (local $10 f64) - (local $11 i64) - (local $12 i32) + (func $func_15 (result i64) + (local $0 f32) + (local $1 funcref) + (local $2 f32) + (local $3 i32) + (local $4 f32) + (local $5 v128) + (local $6 f64) + (local $7 funcref) + (local $8 externref) (block (if (i32.eqz (global.get $hangLimit) ) (return - (local.get $11) + (i64.const -2097152) ) ) (global.set $hangLimit @@ -399,55 +468,64 @@ ) ) (block $label$0 - (call $log-f32 - (f32.const -nan:0x7fffe0) - ) + (nop) (return - (local.get $11) + (i64.const -61) ) ) ) - (func $func_12_invoker - (drop - (call $func_12 - (ref.null) - (f64.const -nan:0xfffffffffffec) - (f32.const 244) - (v128.const i32x4 0x5e58601d 0x5e555c53 0xffff0001 0xffffffff) - (ref.null) - (f32.const 72) + (func $func_16 (param $0 i32) (param $1 funcref) (param $2 f64) (param $3 v128) (param $4 i32) + (local $5 (i32 f64)) + (local $6 i64) + (local $7 (i32 i64)) + (local $8 i32) + (local $9 funcref) + (local $10 f32) + (local $11 (i64 v128 f32)) + (block + (if + (i32.eqz + (global.get $hangLimit) + ) + (return) ) - ) - (drop - (call $func_12 - (ref.func $log-v128) - (f64.const 32) - (f32.const 18014398509481984) - (v128.const i32x4 0x367f7324 0x5f000000 0x4e80108b 0xcf000000) - (ref.null) - (f32.const -549755813888) + (global.set $hangLimit + (i32.sub + (global.get $hangLimit) + (i32.const 1) + ) ) ) - (drop - (call $func_12 - (ref.func $func_12) - (f64.const 4294967295.799) - (f32.const 1279937664) - (v128.const i32x4 0xffffffb6 0x00000000 0x4041414b 0x4478405c) - (ref.null) - (f32.const 10284) - ) + (nop) + ) + (func $func_16_invoker + (call $func_16 + (i32.const -19) + (ref.func $hashMemory) + (f64.const -2305843009213693952) + (v128.const i32x4 0x2b27212f 0x322e2366 0x0000343b 0x00000000) + (i32.const 24) + ) + (call $func_16 + (i32.const 2147483646) + (ref.null func) + (f64.const 23348) + (v128.const i32x4 0x0000007c 0x00000000 0x00000000 0xc0000000) + (i32.const 521672456) ) ) - (func $func_14 (param $0 externref) (param $1 externref) (param $2 f32) (param $3 v128) (param $4 funcref) (param $5 funcref) (result v128) - (local $6 (i64 i32 i32 i64 funcref)) + (func $func_18 (param $0 i64) (param $1 f32) (result f64) + (local $2 (f64 f64 i32)) + (local $3 i64) + (local $4 f32) + (local $5 externref) (block (if (i32.eqz (global.get $hangLimit) ) (return - (local.get $3) + (f64.const -1073741824) ) ) (global.set $hangLimit @@ -457,118 +535,168 @@ ) ) ) - (block $label$0 (result v128) - (i32.atomic.store8 offset=3 - (i32.and - (if (result i32) - (global.get $global$3) - (i32.const 15) - (i32.const 1) + (select + (f64.const 35184372088832) + (f64x2.extract_lane 0 + (v128.const i32x4 0x55800000 0x4f800000 0x3def9db2 0x4e6dcc9d) + ) + (loop $label$0 (result i32) + (block + (if + (i32.eqz + (global.get $hangLimit) + ) + (return + (f64.const 4294967213) + ) ) - (i32.const 15) - ) - (i32.load offset=3 align=2 - (i32.and - (i32.const 15) - (i32.const 15) + (global.set $hangLimit + (i32.sub + (global.get $hangLimit) + (i32.const 1) + ) ) ) - ) - (local.tee $3 - (block $label$16 (result v128) - (loop $label$17 - (block - (if - (i32.eqz - (global.get $hangLimit) - ) - (return - (v128.const i32x4 0xffff0009 0xfffeffff 0x00005a18 0xffff7fff) - ) - ) - (global.set $hangLimit - (i32.sub - (global.get $hangLimit) - (i32.const 1) - ) - ) + (block (result i32) + (block $label$1 + (call_indirect (type $none_=>_none) + (i32.const 2) ) - (block - (local.set $5 - (tuple.extract 2 - (tuple.make - (f32.const 3366576023666688) - (f32.const 1897033472) - (ref.null) - (ref.func $log-exnref) - (ref.null) + (nop) + ) + (br_if $label$0 + (i32.eqz + (loop $label$2 (result i32) + (block + (if + (i32.eqz + (global.get $hangLimit) + ) + (return + (f64.const 8589934591.815) + ) + ) + (global.set $hangLimit + (i32.sub + (global.get $hangLimit) + (i32.const 1) + ) ) ) - ) - (local.set $5 - (tuple.extract 2 - (tuple.make - (f32.const 3366576023666688) - (f32.const 1897033472) - (ref.null) - (ref.func $log-exnref) - (ref.null) + (block (result i32) + (block $label$15 + (memory.copy + (i32.and + (i32.const -8192) + (i32.const 15) + ) + (i32.and + (i8x16.extract_lane_s 1 + (v128.const i32x4 0x3329287c 0x00007fff 0x00000002 0x00002966) + ) + (i32.const 15) + ) + (i32.atomic.rmw8.add_u offset=1 + (i32.and + (i32.const -93) + (i32.const 15) + ) + (i32.const 26) + ) + ) + (br_if $label$15 + (i32.eqz + (i32.const 169416729) + ) + ) + ) + (br_if $label$2 + (i32.const 1397565735) + ) + (tuple.extract 1 + (tuple.make + (f64.const -2.2250738585072014e-308) + (i32.const -86) + ) ) ) ) - (if - (i32.eqz - (i8x16.extract_lane_u 13 - (i16x8.neg - (local.get $3) + ) + ) + (if (result i32) + (if (result i32) + (i32.const -33) + (i32.trunc_f32_s + (f32.load offset=4 align=1 + (i32.const 1347440720) + ) + ) + (i32.const -83) + ) + (block $label$12 (result i32) + (nop) + (i32.const -5) + ) + (if (result i32) + (i32.eqz + (i32.load offset=3 align=1 + (i32.and + (block $label$23 + (nop) + (return + (f64.const -1) + ) ) + (i32.const 15) ) ) - (block $label$18 - (loop $label$19 - (block - (if - (i32.eqz - (global.get $hangLimit) + ) + (block $label$13 (result i32) + (call $log-i32 + (i32.load offset=4 align=1 + (i32.and + (i32.const 2049) + (block $label$24 + (global.set $global$4 + (f64.const 3.475623083072852e-234) ) (return - (v128.const i32x4 0x2a230007 0x24000cff 0x01000405 0xe6abf412) - ) - ) - (global.set $hangLimit - (i32.sub - (global.get $hangLimit) - (i32.const 1) + (f64.const -2147483647.157) ) ) ) - (drop - (v128.const i32x4 0xffff8001 0xffffffff 0xfc000000 0xffffffff) - ) ) - (call $func_12_invoker) ) - (drop - (local.tee $0 - (local.get $1) + (block $label$14 + (call $log-i64 + (local.get $0) + ) + (nop) + ) + (f32.gt + (f32.sqrt + (local.tee $4 + (local.get $1) + ) ) + (f32.const 512.2849731445312) ) ) + (i32.const 0) ) ) - (local.get $3) ) ) ) ) - (func $func_15 (param $0 v128) (result funcref) + (func $func_19 (result f32) (block (if (i32.eqz (global.get $hangLimit) ) (return - (ref.null) + (f32.const 8589934592) ) ) (global.set $hangLimit @@ -578,88 +706,34 @@ ) ) ) - (select (result nullref) - (if (result nullref) - (loop $label$10 (result i32) - (block - (if - (i32.eqz - (global.get $hangLimit) - ) - (return - (ref.func $log-f64) - ) - ) - (global.set $hangLimit - (i32.sub - (global.get $hangLimit) - (i32.const 1) - ) - ) - ) - (block (result i32) - (block $label$11 - (i32.atomic.store8 offset=4 - (i32.and - (i32.load8_s offset=3 + (f32.load offset=4 align=2 + (i32.and + (i32.popcnt + (ref.is_null + (block $label$0 (result exnref) + (nop) + (call $log-f32 + (f32.convert_i64_s + (i32.atomic.rmw.cmpxchg offset=22 (i32.and - (i32.const 1026044209) + (block $label$1 + (atomic.fence) + (return + (f32.const -512.8049926757812) + ) + ) (i32.const 15) ) + (i64.const -28) + (i64.const -524289) ) - (i32.const 15) ) - (i32.const 0) - ) - (drop - (local.get $0) - ) - ) - (br_if $label$10 - (i32.const 128) - ) - (select - (select - (i32.const -127) - (i32.const -65537) - (i32.const -254) ) - (i32.const 102650628) - (i32.const 810034249) + (ref.null exn) ) ) ) - (ref.null) - (block $label$13 (result nullref) - (loop $label$14 - (block - (if - (i32.eqz - (global.get $hangLimit) - ) - (return - (ref.func $func_8) - ) - ) - (global.set $hangLimit - (i32.sub - (global.get $hangLimit) - (i32.const 1) - ) - ) - ) - (nop) - ) - (ref.null) - ) - ) - (ref.null) - (i32.atomic.load8_u offset=1 - (ref.is_null - (call_indirect (type $none_=>_exnref) - (i32.const 0) - ) - ) + (i32.const 15) ) ) ) |