diff options
| author | Alon Zakai <azakai@google.com> | 2020-12-01 17:36:13 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-01 17:36:13 -0800 |
| commit | a5403d47483836d5e2d53c3f3721bd376551624a (patch) | |
| tree | 888d259d6296eda35d0d8e12b080b2a602ece012 /test/typed-function-references.wast.fromBinary | |
| parent | 16d44ff96be46e03690fc4853b2b1312e3a543ce (diff) | |
| download | binaryen-a5403d47483836d5e2d53c3f3721bd376551624a.tar.gz binaryen-a5403d47483836d5e2d53c3f3721bd376551624a.tar.bz2 binaryen-a5403d47483836d5e2d53c3f3721bd376551624a.zip | |
[Printing] Print type names where possible. (#3410)
For a nested type, we used to print e.g.
(param $x (ref (func (param i32))))
Instead of expanding the full type inline, which can get long for
a deeply nested type, print a name when running the Print pass.
In this example that would be something like
(param $x (ref $i32_=>_none))
Diffstat (limited to 'test/typed-function-references.wast.fromBinary')
| -rw-r--r-- | test/typed-function-references.wast.fromBinary | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/test/typed-function-references.wast.fromBinary b/test/typed-function-references.wast.fromBinary index 5cb2ff7c6..629f8191f 100644 --- a/test/typed-function-references.wast.fromBinary +++ b/test/typed-function-references.wast.fromBinary @@ -6,11 +6,11 @@ (type $i32_i32_i32_i32_i32_=>_none (func (param i32 i32 i32 i32 i32))) (type $none_=>_i32 (func (result i32))) (type $none_=>_anyref (func (result anyref))) - (type $ref_null[i32_->_i32]_=>_i32 (func (param (ref null (func (param i32) (result i32)))) (result i32))) - (type $none_=>_i32_ref_null[_->_anyref_f32_anyref_f32]_f64 (func (result i32 (ref null (func (result anyref f32 anyref f32))) f64))) - (type $none_=>_ref_null[i32_i32_i32_i32_i32_->_] (func (result (ref null (func (param i32 i32 i32 i32 i32)))))) - (type $f64_=>_ref_null[_->_eqref] (func (param f64) (result (ref null (func (result eqref)))))) - (type $none_=>_ref_null[_->_ref_null[i32_i32_i32_i32_i32_->_]] (func (result (ref null (func (result (ref null (func (param i32 i32 i32 i32 i32))))))))) + (type $ref_null[i32_->_i32]_=>_i32 (func (param (ref null $i32_=>_i32)) (result i32))) + (type $none_=>_i32_ref_null[_->_anyref_f32_anyref_f32]_f64 (func (result i32 (ref null $none_=>_anyref_f32_anyref_f32) f64))) + (type $none_=>_ref_null[i32_i32_i32_i32_i32_->_] (func (result (ref null $i32_i32_i32_i32_i32_=>_none)))) + (type $f64_=>_ref_null[_->_eqref] (func (param f64) (result (ref null $none_=>_eqref)))) + (type $none_=>_ref_null[_->_ref_null[i32_i32_i32_i32_i32_->_]] (func (result (ref null $none_=>_ref_null[i32_i32_i32_i32_i32_->_])))) (func $call-ref (call_ref (ref.func $call-ref) @@ -27,20 +27,20 @@ (ref.func $call-ref-more) ) ) - (func $call_from-param (param $f (ref null (func (param i32) (result i32)))) (result i32) + (func $call_from-param (param $f (ref null $i32_=>_i32)) (result i32) (call_ref (i32.const 42) (local.get $f) ) ) - (func $call_from-param-null (param $f (ref null (func (param i32) (result i32)))) (result i32) + (func $call_from-param-null (param $f (ref null $i32_=>_i32)) (result i32) (call_ref (i32.const 42) (local.get $f) ) ) (func $call_from-local-null (result i32) - (local $f (ref null (func (param i32) (result i32)))) + (local $f (ref null $i32_=>_i32)) (local.set $f (ref.func $call-ref-more) ) @@ -55,12 +55,12 @@ (func $type-only-in-tuple-local (local $x i32) (local $1 f64) - (local $2 (ref null (func (result anyref)))) + (local $2 (ref null $none_=>_anyref)) (nop) ) (func $type-only-in-tuple-block (local $0 (i32 (ref null (func (result anyref f32 anyref f32))) f64)) - (local $1 (ref null (func (result anyref f32 anyref f32)))) + (local $1 (ref null $none_=>_anyref_f32_anyref_f32)) (local $2 i32) (local.set $0 (block $label$1 (result i32 (ref null (func (result anyref f32 anyref f32))) f64) |