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.

1 files changed, 12 insertions, 12 deletions

diff --git a/test/fib-dbg.wasm.fromBinary b/test/fib-dbg.wasm.fromBinary
index 297911b8d..0abcb7f4a 100644
--- a/test/fib-dbg.wasm.fromBinary
+++ b/test/fib-dbg.wasm.fromBinary
@@ -1,9 +1,9 @@
 (module
- (type $0 (func (param i32 i32)))
- (type $1 (func (param i32) (result i32)))
- (type $2 (func (result i32)))
- (type $3 (func (param i32)))
- (type $4 (func))
+ (type $i32_i32_=>_none (func (param i32 i32)))
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
  (import "env" "memory" (memory $9 256 256))
  (import "env" "table" (table $timport$10 0 0 funcref))
  (import "env" "DYNAMICTOP_PTR" (global $gimport$0 i32))
@@ -48,7 +48,7 @@
  (export "stackRestore" (func $stackRestore))
  (export "_fib" (func $_fib))
  (export "stackAlloc" (func $stackAlloc))
- (func $stackAlloc (; 0 ;) (type $1) (param $0 i32) (result i32)
+ (func $stackAlloc (; 0 ;) (param $0 i32) (result i32)
   (local $1 i32)
   (block $label$1
    (local.set $1
@@ -74,17 +74,17 @@
    )
   )
  )
- (func $stackSave (; 1 ;) (type $2) (result i32)
+ (func $stackSave (; 1 ;) (result i32)
   (return
    (global.get $global$3)
   )
  )
- (func $stackRestore (; 2 ;) (type $3) (param $0 i32)
+ (func $stackRestore (; 2 ;) (param $0 i32)
   (global.set $global$3
    (local.get $0)
   )
  )
- (func $establishStackSpace (; 3 ;) (type $0) (param $0 i32) (param $1 i32)
+ (func $establishStackSpace (; 3 ;) (param $0 i32) (param $1 i32)
   (block $label$1
    (global.set $global$3
     (local.get $0)
@@ -94,7 +94,7 @@
    )
   )
  )
- (func $setThrew (; 4 ;) (type $0) (param $0 i32) (param $1 i32)
+ (func $setThrew (; 4 ;) (param $0 i32) (param $1 i32)
   (if
    (i32.eq
     (global.get $global$7)
@@ -110,7 +110,7 @@
    )
   )
  )
- (func $_fib (; 5 ;) (type $1) (param $0 i32) (result i32)
+ (func $_fib (; 5 ;) (param $0 i32) (result i32)
   (local $1 i32)
   (local $2 i32)
   (local $3 i32)
@@ -210,7 +210,7 @@
    )
   )
  )
- (func $runPostSets (; 6 ;) (type $4)
+ (func $runPostSets (; 6 ;)
   (local $0 i32)
   (nop)
  )