diff options
Diffstat (limited to 'test/passes')
| -rw-r--r-- | test/passes/func-metrics.txt | 2 | ||||
| -rw-r--r-- | test/passes/post-emscripten.txt | 12 | ||||
| -rw-r--r-- | test/passes/precompute_all-features.txt | 54 | ||||
| -rw-r--r-- | test/passes/remove-unused-names_remove-unused-brs_vacuum.txt | 2 | ||||
| -rw-r--r-- | test/passes/remove-unused-nonfunction-module-elements_all-features.txt | 2 | ||||
| -rw-r--r-- | test/passes/simplify-locals_all-features.txt | 46 | ||||
| -rw-r--r-- | test/passes/simplify-locals_all-features_disable-exception-handling.txt | 46 |
7 files changed, 82 insertions, 82 deletions
diff --git a/test/passes/func-metrics.txt b/test/passes/func-metrics.txt index 8921b6977..afd6afe07 100644 --- a/test/passes/func-metrics.txt +++ b/test/passes/func-metrics.txt @@ -35,7 +35,7 @@ func: ifs Drop : 6 If : 4 (module - (type $0 (func)) + (type $1 (func)) (type $0 (func (param i32))) (global $glob i32 (i32.const 1337)) (memory $0 256 256) diff --git a/test/passes/post-emscripten.txt b/test/passes/post-emscripten.txt index 6b80f9e3b..186cdeb76 100644 --- a/test/passes/post-emscripten.txt +++ b/test/passes/post-emscripten.txt @@ -1,7 +1,7 @@ (module - (type $0 (func (param i32 f32))) - (type $1 (func (param i32 i32 f32))) - (type $2 (func)) + (type $1 (func (param i32 f32))) + (type $2 (func (param i32 i32 f32))) + (type $3 (func)) (import "env" "invoke_vif" (func $invoke_vif (param i32 i32 f32))) (memory $0 256 256) (table $0 7 7 funcref) @@ -68,9 +68,9 @@ ) ) (module - (type $0 (func (param i32 i32 f32))) - (type $1 (func)) - (type $2 (func (param i32 f32))) + (type $1 (func (param i32 i32 f32))) + (type $2 (func)) + (type $3 (func (param i32 f32))) (import "env" "glob" (global $glob i32)) (import "env" "invoke_vif" (func $invoke_vif (param i32 i32 f32))) (memory $0 256 256) diff --git a/test/passes/precompute_all-features.txt b/test/passes/precompute_all-features.txt index 8021136f2..2ec32c907 100644 --- a/test/passes/precompute_all-features.txt +++ b/test/passes/precompute_all-features.txt @@ -1,11 +1,11 @@ (module - (type $0 (func)) - (type $1 (func (result i32))) - (type $2 (func (result f64))) + (type $1 (func)) + (type $2 (func (result i32))) + (type $3 (func (result f64))) (type $0 (func (param i32))) - (type $4 (func (result v128))) - (type $5 (func (result i32 i64))) - (type $6 (func (result externref))) + (type $5 (func (result v128))) + (type $6 (func (result i32 i64))) + (type $7 (func (result externref))) (global $global i32 (i32.const 1)) (global $global-mut (mut i32) (i32.const 2)) (memory $m 512 512) @@ -93,7 +93,7 @@ (i32.const 0) ) ) - (func $ret (type $1) (result i32) + (func $ret (type $2) (result i32) (if (call $ret) (then @@ -112,7 +112,7 @@ ) (i32.const 1) ) - (func $noret (type $0) + (func $noret (type $1) (if (call $ret) (then @@ -120,7 +120,7 @@ ) ) ) - (func $refinalize-br-condition-unreachable (type $0) + (func $refinalize-br-condition-unreachable (type $1) (block $label$1 (drop (br_if $label$1 @@ -129,7 +129,7 @@ ) ) ) - (func $br_if-condition-is-block-i32-but-unreachable-so-refinalize-tricky (type $0) + (func $br_if-condition-is-block-i32-but-unreachable-so-refinalize-tricky (type $1) (drop (block $label$1 (result i32) (drop @@ -144,7 +144,7 @@ ) ) ) - (func $reuse-br-value (type $2) (result f64) + (func $reuse-br-value (type $3) (result f64) (block $label$0 (result f64) (i32.store8 (i32.const 1919623207) @@ -175,7 +175,7 @@ (f64.const 4776014875438170098655851e156) ) ) - (func $refinalize-two-breaks-one-unreachable (type $0) + (func $refinalize-two-breaks-one-unreachable (type $1) (drop (block $label$0 (result i64) (block @@ -198,7 +198,7 @@ ) ) ) - (func $one-break-value-and-it-is-unreachable (type $2) (result f64) + (func $one-break-value-and-it-is-unreachable (type $3) (result f64) (local $var$0 i32) (block $label$6 (block @@ -209,16 +209,16 @@ ) ) ) - (func $global-notprecomputable (type $1) (result i32) + (func $global-notprecomputable (type $2) (result i32) (i32.add (i32.const 1) (global.get $global-mut) ) ) - (func $global-precomputable (type $1) (result i32) + (func $global-precomputable (type $2) (result i32) (i32.const 2) ) - (func $global-partiallyprecomputable (type $1) (result i32) + (func $global-partiallyprecomputable (type $2) (result i32) (i32.sub (i32.add (i32.const 1) @@ -227,49 +227,49 @@ (i32.const 2) ) ) - (func $simd-precompute (type $4) (result v128) + (func $simd-precompute (type $5) (result v128) (v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000) ) - (func $no-memory-init-precompute (type $0) + (func $no-memory-init-precompute (type $1) (memory.init $0 (i32.const 512) (i32.const 0) (i32.const 12) ) ) - (func $no-data-drop-precompute (type $0) + (func $no-data-drop-precompute (type $1) (data.drop $0) ) - (func $no-memory-copy-precompute (type $0) + (func $no-memory-copy-precompute (type $1) (memory.copy (i32.const 512) (i32.const 0) (i32.const 12) ) ) - (func $no-memory-fill-precompute (type $0) + (func $no-memory-fill-precompute (type $1) (memory.fill (i32.const 512) (i32.const 0) (i32.const 12) ) ) - (func $tuple-precompute (type $5) (result i32 i64) + (func $tuple-precompute (type $6) (result i32 i64) (tuple.make 2 (i32.const 42) (i64.const 42) ) ) - (func $loop-precompute (type $1) (result i32) + (func $loop-precompute (type $2) (result i32) (i32.const 1) ) - (func $reftype-test (type $6) (result externref) + (func $reftype-test (type $7) (result externref) (ref.null noextern) ) - (func $dummy (type $0) + (func $dummy (type $1) (nop) ) - (func $br_reuse_node (type $0) + (func $br_reuse_node (type $1) (drop (block $l0 (result f32) (drop @@ -301,7 +301,7 @@ ) ) (drop - (block $l4 (result (ref null $0)) + (block $l4 (result (ref null $1)) (drop (block $l5 (global.set $global-mut diff --git a/test/passes/remove-unused-names_remove-unused-brs_vacuum.txt b/test/passes/remove-unused-names_remove-unused-brs_vacuum.txt index 2a157dcf9..8b5a96372 100644 --- a/test/passes/remove-unused-names_remove-unused-brs_vacuum.txt +++ b/test/passes/remove-unused-names_remove-unused-brs_vacuum.txt @@ -7,7 +7,7 @@ (type $7 (func (param i32 i32))) (type $1 (func (param f64) (result i32))) (type $13 (func (param i32 i32 i32 i32 i32))) - (type $8 (func (param i32) (result i64))) + (type $16 (func (param i32) (result i64))) (import "env" "memory" (memory $0 256)) (import "env" "table" (table $timport$0 18 18 funcref)) (import "env" "ABORT" (global $import$2 i32)) diff --git a/test/passes/remove-unused-nonfunction-module-elements_all-features.txt b/test/passes/remove-unused-nonfunction-module-elements_all-features.txt index 88998c6ca..e125373d8 100644 --- a/test/passes/remove-unused-nonfunction-module-elements_all-features.txt +++ b/test/passes/remove-unused-nonfunction-module-elements_all-features.txt @@ -342,7 +342,7 @@ ) ) (module - (type $0 (func (param i64))) + (type $1 (func (param i64))) (type $0 (func (param i32))) (tag $e1 (param i64)) (export "e1" (tag $e1)) diff --git a/test/passes/simplify-locals_all-features.txt b/test/passes/simplify-locals_all-features.txt index 36a635e29..0b7b4b705 100644 --- a/test/passes/simplify-locals_all-features.txt +++ b/test/passes/simplify-locals_all-features.txt @@ -4,20 +4,20 @@ (type $FUNCSIG$i (func (result i32))) (type $FUNCSIG$iiiii (func (param i32 i32 i32 i32) (result i32))) (type $6 (func (param i32 i32 i32 i32 i32 i32))) - (type $5 (func (param i32 i32 i32) (result i32))) + (type $7 (func (param i32 i32 i32) (result i32))) (type $FUNCSIG$iiiiii (func (param i32 i32 i32 i32 i32) (result i32))) - (type $7 (func (param i32 i32) (result i32))) - (type $8 (func (param f32))) + (type $9 (func (param i32 i32) (result i32))) + (type $10 (func (param f32))) (type $4 (func (param i32))) - (type $10 (func (param i32 i32))) - (type $11 (func (param i64))) - (type $12 (func (param i32 f64 f64 f32 i32) (result f64))) + (type $12 (func (param i32 i32))) + (type $13 (func (param i64))) + (type $14 (func (param i32 f64 f64 f32 i32) (result f64))) (import "env" "waka" (func $waka (type $FUNCSIG$v))) (import "env" "waka_int" (func $waka_int (type $FUNCSIG$i) (result i32))) (import "env" "i64sub" (func $_i64Subtract (type $FUNCSIG$iiiii) (param i32 i32 i32 i32) (result i32))) (import "env" "moddi" (func $___udivmoddi4 (type $FUNCSIG$iiiiii) (param i32 i32 i32 i32 i32) (result i32))) - (import "env" "lp" (func $lp (type $7) (param i32 i32) (result i32))) - (import "fuzzing-support" "log-f32" (func $fimport$0 (type $8) (param f32))) + (import "env" "lp" (func $lp (type $9) (param i32 i32) (result i32))) + (import "fuzzing-support" "log-f32" (func $fimport$0 (type $10) (param f32))) (global $global$0 (mut i32) (i32.const 10)) (memory $0 256 256) (func $contrast (type $FUNCSIG$v) @@ -792,7 +792,7 @@ (local.get $i1) ) ) - (func $no-out-of-label (type $10) (param $x i32) (param $y i32) + (func $no-out-of-label (type $12) (param $x i32) (param $y i32) (nop) (local.set $x (loop $moar (result i32) @@ -847,7 +847,7 @@ ) ) ) - (func $drop-if-value (type $5) (param $x i32) (param $y i32) (param $z i32) (result i32) + (func $drop-if-value (type $7) (param $x i32) (param $y i32) (param $z i32) (result i32) (local $temp i32) (drop (if (result i32) @@ -879,7 +879,7 @@ (i32.const 0) ) ) - (func $drop-br_if (type $5) (param $label i32) (param $$cond2 i32) (param $$$0151 i32) (result i32) + (func $drop-br_if (type $7) (param $label i32) (param $$cond2 i32) (param $$$0151 i32) (result i32) (nop) (local.tee $label (block $label$break$L4 (result i32) @@ -922,7 +922,7 @@ (local.get $x) ) ) - (func $if-return-but-unreachable (type $11) (param $var$0 i64) + (func $if-return-but-unreachable (type $13) (param $var$0 i64) (if (unreachable) (then @@ -1135,7 +1135,7 @@ ) ) ) - (func $update-getCounter (type $12) (param $0 i32) (param $1 f64) (param $2 f64) (param $3 f32) (param $4 i32) (result f64) + (func $update-getCounter (type $14) (param $0 i32) (param $1 f64) (param $2 f64) (param $3 f32) (param $4 i32) (result f64) (global.set $global$0 (i32.sub (global.get $global$0) @@ -1215,14 +1215,14 @@ (type $5 (func (param i32) (result i32))) (type $FUNCSIG$iiiiii (func (param i32 i32 i32 i32 i32) (result i32))) (type $4 (func (param i32))) - (type $5 (func (param f32))) - (type $6 (func (param i32 i32))) - (type $7 (func (result f64))) - (type $8 (func (param i32 i32) (result f64))) - (type $9 (func (param i32 i32) (result i32))) + (type $7 (func (param f32))) + (type $8 (func (param i32 i32))) + (type $9 (func (result f64))) + (type $10 (func (param i32 i32) (result f64))) + (type $11 (func (param i32 i32) (result i32))) (import "fuzzing-support" "log1" (func $fimport$0 (type $FUNCSIG$i) (result i32))) (import "fuzzing-support" "log2" (func $fimport$1 (type $4) (param i32))) - (import "fuzzing-support" "log3" (func $fimport$2 (type $5) (param f32))) + (import "fuzzing-support" "log3" (func $fimport$2 (type $7) (param f32))) (global $global$0 (mut i32) (i32.const 10)) (memory $0 256 256 shared) (func $nonatomics (type $FUNCSIG$i) (result i32) @@ -1663,7 +1663,7 @@ (local.get $x) ) ) - (func $loop-copies (type $6) (param $x i32) (param $y i32) + (func $loop-copies (type $8) (param $x i32) (param $y i32) (loop $loop (nop) (drop @@ -1674,7 +1674,7 @@ ) ) ) - (func $proper-type (type $7) (result f64) + (func $proper-type (type $9) (result f64) (local $var$0 i32) (local $var$2 f64) (local.set $var$0 @@ -1686,7 +1686,7 @@ ) (local.get $var$2) ) - (func $multi-pass-get-equivs-right (type $8) (param $var$0 i32) (param $var$1 i32) (result f64) + (func $multi-pass-get-equivs-right (type $10) (param $var$0 i32) (param $var$1 i32) (result f64) (local $var$2 i32) (nop) (i32.store @@ -1717,7 +1717,7 @@ ) ) ) - (func $set-tee-need-one-of-them (type $9) (param $var$0 i32) (param $var$1 i32) (result i32) + (func $set-tee-need-one-of-them (type $11) (param $var$0 i32) (param $var$1 i32) (result i32) (local $var$2 i32) (local $var$3 i32) (local.set $var$2 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 f14253c3e..e6986b1a7 100644 --- a/test/passes/simplify-locals_all-features_disable-exception-handling.txt +++ b/test/passes/simplify-locals_all-features_disable-exception-handling.txt @@ -4,20 +4,20 @@ (type $FUNCSIG$i (func (result i32))) (type $FUNCSIG$iiiii (func (param i32 i32 i32 i32) (result i32))) (type $6 (func (param i32 i32 i32 i32 i32 i32))) - (type $5 (func (param i32 i32 i32) (result i32))) + (type $7 (func (param i32 i32 i32) (result i32))) (type $FUNCSIG$iiiiii (func (param i32 i32 i32 i32 i32) (result i32))) - (type $7 (func (param i32 i32) (result i32))) - (type $8 (func (param f32))) + (type $9 (func (param i32 i32) (result i32))) + (type $10 (func (param f32))) (type $4 (func (param i32))) - (type $10 (func (param i32 i32))) - (type $11 (func (param i64))) - (type $12 (func (param i32 f64 f64 f32 i32) (result f64))) + (type $12 (func (param i32 i32))) + (type $13 (func (param i64))) + (type $14 (func (param i32 f64 f64 f32 i32) (result f64))) (import "env" "waka" (func $waka (type $FUNCSIG$v))) (import "env" "waka_int" (func $waka_int (type $FUNCSIG$i) (result i32))) (import "env" "i64sub" (func $_i64Subtract (type $FUNCSIG$iiiii) (param i32 i32 i32 i32) (result i32))) (import "env" "moddi" (func $___udivmoddi4 (type $FUNCSIG$iiiiii) (param i32 i32 i32 i32 i32) (result i32))) - (import "env" "lp" (func $lp (type $7) (param i32 i32) (result i32))) - (import "fuzzing-support" "log-f32" (func $fimport$0 (type $8) (param f32))) + (import "env" "lp" (func $lp (type $9) (param i32 i32) (result i32))) + (import "fuzzing-support" "log-f32" (func $fimport$0 (type $10) (param f32))) (global $global$0 (mut i32) (i32.const 10)) (memory $0 256 256) (func $contrast (type $FUNCSIG$v) @@ -786,7 +786,7 @@ (local.get $i1) ) ) - (func $no-out-of-label (type $10) (param $x i32) (param $y i32) + (func $no-out-of-label (type $12) (param $x i32) (param $y i32) (nop) (local.set $x (loop $moar (result i32) @@ -841,7 +841,7 @@ ) ) ) - (func $drop-if-value (type $5) (param $x i32) (param $y i32) (param $z i32) (result i32) + (func $drop-if-value (type $7) (param $x i32) (param $y i32) (param $z i32) (result i32) (local $temp i32) (drop (if (result i32) @@ -873,7 +873,7 @@ (i32.const 0) ) ) - (func $drop-br_if (type $5) (param $label i32) (param $$cond2 i32) (param $$$0151 i32) (result i32) + (func $drop-br_if (type $7) (param $label i32) (param $$cond2 i32) (param $$$0151 i32) (result i32) (nop) (local.tee $label (block $label$break$L4 (result i32) @@ -916,7 +916,7 @@ (local.get $x) ) ) - (func $if-return-but-unreachable (type $11) (param $var$0 i64) + (func $if-return-but-unreachable (type $13) (param $var$0 i64) (if (unreachable) (then @@ -1129,7 +1129,7 @@ ) ) ) - (func $update-getCounter (type $12) (param $0 i32) (param $1 f64) (param $2 f64) (param $3 f32) (param $4 i32) (result f64) + (func $update-getCounter (type $14) (param $0 i32) (param $1 f64) (param $2 f64) (param $3 f32) (param $4 i32) (result f64) (global.set $global$0 (i32.sub (global.get $global$0) @@ -1209,14 +1209,14 @@ (type $5 (func (param i32) (result i32))) (type $FUNCSIG$iiiiii (func (param i32 i32 i32 i32 i32) (result i32))) (type $4 (func (param i32))) - (type $5 (func (param f32))) - (type $6 (func (param i32 i32))) - (type $7 (func (result f64))) - (type $8 (func (param i32 i32) (result f64))) - (type $9 (func (param i32 i32) (result i32))) + (type $7 (func (param f32))) + (type $8 (func (param i32 i32))) + (type $9 (func (result f64))) + (type $10 (func (param i32 i32) (result f64))) + (type $11 (func (param i32 i32) (result i32))) (import "fuzzing-support" "log1" (func $fimport$0 (type $FUNCSIG$i) (result i32))) (import "fuzzing-support" "log2" (func $fimport$1 (type $4) (param i32))) - (import "fuzzing-support" "log3" (func $fimport$2 (type $5) (param f32))) + (import "fuzzing-support" "log3" (func $fimport$2 (type $7) (param f32))) (global $global$0 (mut i32) (i32.const 10)) (memory $0 256 256 shared) (func $nonatomics (type $FUNCSIG$i) (result i32) @@ -1657,7 +1657,7 @@ (local.get $x) ) ) - (func $loop-copies (type $6) (param $x i32) (param $y i32) + (func $loop-copies (type $8) (param $x i32) (param $y i32) (loop $loop (nop) (drop @@ -1668,7 +1668,7 @@ ) ) ) - (func $proper-type (type $7) (result f64) + (func $proper-type (type $9) (result f64) (local $var$0 i32) (local $var$2 f64) (local.set $var$0 @@ -1680,7 +1680,7 @@ ) (local.get $var$2) ) - (func $multi-pass-get-equivs-right (type $8) (param $var$0 i32) (param $var$1 i32) (result f64) + (func $multi-pass-get-equivs-right (type $10) (param $var$0 i32) (param $var$1 i32) (result f64) (local $var$2 i32) (nop) (i32.store @@ -1711,7 +1711,7 @@ ) ) ) - (func $set-tee-need-one-of-them (type $9) (param $var$0 i32) (param $var$1 i32) (result i32) + (func $set-tee-need-one-of-them (type $11) (param $var$0 i32) (param $var$1 i32) (result i32) (local $var$2 i32) (local $var$3 i32) (local.set $var$2 |