diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2019-12-11 17:12:37 -0800 |
---|---|---|
committer | Alon Zakai <azakai@google.com> | 2019-12-11 17:12:37 -0800 |
commit | 759c485a9f35bd859d43b86b02e1397a669fa469 (patch) | |
tree | a5c7475002b406e35c6d1e5c2d843000947ef192 /test/tail-call.wast.fromBinary | |
parent | acd786dbd1e59f9d105c4ec8603c2ff46f233649 (diff) | |
download | binaryen-759c485a9f35bd859d43b86b02e1397a669fa469.tar.gz binaryen-759c485a9f35bd859d43b86b02e1397a669fa469.tar.bz2 binaryen-759c485a9f35bd859d43b86b02e1397a669fa469.zip |
Remove FunctionType (#2510)
Function signatures were previously redundantly stored on Function
objects as well as on FunctionType objects. These two signature
representations had to always be kept in sync, which was error-prone
and needlessly complex. This PR takes advantage of the new ability of
Type to represent multiple value types by consolidating function
signatures as a pair of Types (params and results) stored on the
Function object.
Since there are no longer module-global named function types,
significant changes had to be made to the printing and emitting of
function types, as well as their parsing and manipulation in various
passes.
The C and JS APIs and their tests also had to be updated to remove
named function types.
Diffstat (limited to 'test/tail-call.wast.fromBinary')
-rw-r--r-- | test/tail-call.wast.fromBinary | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/tail-call.wast.fromBinary b/test/tail-call.wast.fromBinary index 15c1e61b0..3e50bd890 100644 --- a/test/tail-call.wast.fromBinary +++ b/test/tail-call.wast.fromBinary @@ -1,12 +1,12 @@ (module - (type $0 (func)) + (type $none_=>_none (func)) (table $0 1 1 funcref) (elem (i32.const 0) $foo) - (func $foo (; 0 ;) (type $0) + (func $foo (; 0 ;) (return_call $bar) ) - (func $bar (; 1 ;) (type $0) - (return_call_indirect (type $0) + (func $bar (; 1 ;) + (return_call_indirect (type $none_=>_none) (i32.const 0) ) ) |