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/reduce | |
| 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/reduce')
| -rw-r--r-- | test/reduce/destructive.wast.txt | 4 | ||||
| -rw-r--r-- | test/reduce/imports.wast.txt | 4 | ||||
| -rw-r--r-- | test/reduce/memory_table.wast.txt | 10 | ||||
| -rw-r--r-- | test/reduce/simple.wast.txt | 4 |
4 files changed, 11 insertions, 11 deletions
diff --git a/test/reduce/destructive.wast.txt b/test/reduce/destructive.wast.txt index 8721c051f..f9deb1a04 100644 --- a/test/reduce/destructive.wast.txt +++ b/test/reduce/destructive.wast.txt @@ -1,7 +1,7 @@ (module - (type $0 (func (param i32) (result i32))) + (type $i32_=>_i32 (func (param i32) (result i32))) (export "x" (func $0)) - (func $0 (; 0 ;) (type $0) (param $0 i32) (result i32) + (func $0 (; 0 ;) (param $0 i32) (result i32) (i32.const 100) ) ) diff --git a/test/reduce/imports.wast.txt b/test/reduce/imports.wast.txt index adfd5ff04..4dff9a003 100644 --- a/test/reduce/imports.wast.txt +++ b/test/reduce/imports.wast.txt @@ -1,7 +1,7 @@ (module - (type $0 (func (result i32))) + (type $none_=>_i32 (func (result i32))) (export "x" (func $0)) - (func $0 (; 0 ;) (type $0) (result i32) + (func $0 (; 0 ;) (result i32) (i32.const 5678) ) ) diff --git a/test/reduce/memory_table.wast.txt b/test/reduce/memory_table.wast.txt index 1665c7a4e..4e250f02a 100644 --- a/test/reduce/memory_table.wast.txt +++ b/test/reduce/memory_table.wast.txt @@ -1,14 +1,14 @@ (module - (type $0 (func (result i32))) - (type $1 (func)) + (type $none_=>_i32 (func (result i32))) + (type $none_=>_none (func)) (memory $0 256 256) (export "f1" (func $0)) (export "f2" (func $1)) (export "f4" (func $2)) - (func $0 (; 0 ;) (type $1) + (func $0 (; 0 ;) (nop) ) - (func $1 (; 1 ;) (type $0) (result i32) + (func $1 (; 1 ;) (result i32) (i32.store (i32.const 0) (i32.const 65530) @@ -17,7 +17,7 @@ (i32.const 0) ) ) - (func $2 (; 2 ;) (type $0) (result i32) + (func $2 (; 2 ;) (result i32) (i32.add (call $1) (i32.const 1234) diff --git a/test/reduce/simple.wast.txt b/test/reduce/simple.wast.txt index adfd5ff04..4dff9a003 100644 --- a/test/reduce/simple.wast.txt +++ b/test/reduce/simple.wast.txt @@ -1,7 +1,7 @@ (module - (type $0 (func (result i32))) + (type $none_=>_i32 (func (result i32))) (export "x" (func $0)) - (func $0 (; 0 ;) (type $0) (result i32) + (func $0 (; 0 ;) (result i32) (i32.const 5678) ) ) |