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, 15 insertions, 15 deletions

diff --git a/test/passes/optimize-added-constants_low-memory-unused.txt b/test/passes/optimize-added-constants_low-memory-unused.txt
index 4150c4da1..53faf31f1 100644
--- a/test/passes/optimize-added-constants_low-memory-unused.txt
+++ b/test/passes/optimize-added-constants_low-memory-unused.txt
@@ -1,9 +1,9 @@
 (module
- (type $FUNCSIG$v (func))
- (type $FUNCSIG$vi (func (param i32)))
- (type $FUNCSIG$ii (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $i32_=>_i32 (func (param i32) (result i32)))
  (memory $0 1 1)
- (func $consts (; 0 ;) (type $FUNCSIG$v)
+ (func $consts (; 0 ;)
   (drop
    (i32.load
     (i32.const 0)
@@ -59,7 +59,7 @@
    (i32.const 1)
   )
  )
- (func $offsets (; 1 ;) (type $FUNCSIG$vi) (param $x i32)
+ (func $offsets (; 1 ;) (param $x i32)
   (drop
    (i32.load offset=1
     (local.get $x)
@@ -97,7 +97,7 @@
    )
   )
  )
- (func $load-off-2 (; 2 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
+ (func $load-off-2 (; 2 ;) (param $0 i32) (result i32)
   (i32.store
    (i32.const 6)
    (local.get $0)
@@ -168,7 +168,7 @@
    (local.get $0)
   )
  )
- (func $offset-constant (; 3 ;) (type $FUNCSIG$v)
+ (func $offset-constant (; 3 ;)
   (drop
    (i32.load
     (i32.const 10)
@@ -205,7 +205,7 @@
    )
   )
  )
- (func $offset-propagate-param (; 4 ;) (type $FUNCSIG$vi) (param $x i32)
+ (func $offset-propagate-param (; 4 ;) (param $x i32)
   (local $y i32)
   (local.set $x
    (i32.add
@@ -219,7 +219,7 @@
    )
   )
  )
- (func $offset-propagate (; 5 ;) (type $FUNCSIG$v)
+ (func $offset-propagate (; 5 ;)
   (local $x i32)
   (local $y i32)
   (local.set $x
@@ -234,7 +234,7 @@
    )
   )
  )
- (func $offset-propagate2 (; 6 ;) (type $FUNCSIG$v)
+ (func $offset-propagate2 (; 6 ;)
   (local $x i32)
   (local $y i32)
   (local.set $x
@@ -252,7 +252,7 @@
    )
   )
  )
- (func $offset-propagate3 (; 7 ;) (type $FUNCSIG$v)
+ (func $offset-propagate3 (; 7 ;)
   (local $x i32)
   (local $y i32)
   (local.set $x
@@ -267,7 +267,7 @@
    )
   )
  )
- (func $offset-propagate4 (; 8 ;) (type $FUNCSIG$v)
+ (func $offset-propagate4 (; 8 ;)
   (local $x i32)
   (local $y i32)
   (local.set $y
@@ -285,7 +285,7 @@
    )
   )
  )
- (func $offset-propagate5 (; 9 ;) (type $FUNCSIG$vi) (param $z i32)
+ (func $offset-propagate5 (; 9 ;) (param $z i32)
   (local $x i32)
   (local $y i32)
   (if
@@ -306,7 +306,7 @@
    )
   )
  )
- (func $offset-propagate6 (; 10 ;) (type $FUNCSIG$vi) (param $z i32)
+ (func $offset-propagate6 (; 10 ;) (param $z i32)
   (local $x i32)
   (local $y i32)
   (local.set $y
@@ -327,7 +327,7 @@
    )
   )
  )
- (func $offset-realistic (; 11 ;) (type $FUNCSIG$vi) (param $ptr i32)
+ (func $offset-realistic (; 11 ;) (param $ptr i32)
   (local $x i32)
   (local $y i32)
   (local $z i32)