Rename anyfunc -> funcref; parse reference types (#1026)

Also:

* Add feature limits on using v128 and anyref types (requires
  --enable-simd and --enable-reference-types respectively).

* Separate out ParseValueType (used for params, locals, global types)
  from ParseRefType (used for table types).

17 files changed, 17 insertions, 17 deletions

diff --git a/test/roundtrip/apply-global-names.txt b/test/roundtrip/apply-global-names.txt
index 399e35a0..5dc9f558 100644
--- a/test/roundtrip/apply-global-names.txt
+++ b/test/roundtrip/apply-global-names.txt
@@ -15,7 +15,7 @@
   (type $t0 (func))
   (import "m" "g" (global $m.g i32))
   (func $f0 (type $t0))
-  (table $T0 1 anyfunc)
+  (table $T0 1 funcref)
   (memory $M0 1)
   (global $g1 i32 (global.get $m.g))
   (elem $e0 (global.get $m.g) $f0)
diff --git a/test/roundtrip/bulk-memory.txt b/test/roundtrip/bulk-memory.txt
index 7f97735d..914e93e4 100644
--- a/test/roundtrip/bulk-memory.txt
+++ b/test/roundtrip/bulk-memory.txt
@@ -68,7 +68,7 @@
     i32.const 0
     table.copy)
   (func (;1;) (type 0))
-  (table (;0;) 0 anyfunc)
+  (table (;0;) 0 funcref)
   (memory (;0;) 0)
   (elem (;0;) passive 1)
   (data (;0;) passive "hi"))
diff --git a/test/roundtrip/fold-bulk-memory.txt b/test/roundtrip/fold-bulk-memory.txt
index 795e6b7e..9074f39d 100644
--- a/test/roundtrip/fold-bulk-memory.txt
+++ b/test/roundtrip/fold-bulk-memory.txt
@@ -46,7 +46,7 @@
       (i32.const 0)
       (i32.const 0)
       (i32.const 0)))
-  (table (;0;) 1 anyfunc)
+  (table (;0;) 1 funcref)
   (memory (;0;) 1)
   (elem (;0;) passive 0)
   (data (;0;) passive "a"))
diff --git a/test/roundtrip/fold-call.txt b/test/roundtrip/fold-call.txt
index 56d4bb1c..d1cfc60c 100644
--- a/test/roundtrip/fold-call.txt
+++ b/test/roundtrip/fold-call.txt
@@ -64,6 +64,6 @@
     (call_indirect (type 0)
       (i32.const 1)
       (i32.const 2)))
-  (table (;0;) 2 2 anyfunc)
+  (table (;0;) 2 2 funcref)
   (elem (;0;) (i32.const 0) 0 1))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/fold-tail-call.txt b/test/roundtrip/fold-tail-call.txt
index 841af6d1..a85c182e 100644
--- a/test/roundtrip/fold-tail-call.txt
+++ b/test/roundtrip/fold-tail-call.txt
@@ -42,5 +42,5 @@
       (f32.const 0x0p+0 (;=0;))
       (f32.const 0x0p+0 (;=0;))
       (i32.const 0)))
-  (table (;0;) 1 anyfunc))
+  (table (;0;) 1 funcref))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/generate-bulk-memory-names.txt b/test/roundtrip/generate-bulk-memory-names.txt
index 21d9e2d5..b1e67fa3 100644
--- a/test/roundtrip/generate-bulk-memory-names.txt
+++ b/test/roundtrip/generate-bulk-memory-names.txt
@@ -31,7 +31,7 @@
     i32.const 0
     table.init $e0
     elem.drop $e0)
-  (table $T0 1 anyfunc)
+  (table $T0 1 funcref)
   (memory $M0 1)
   (elem $e0 passive $f0)
   (data $d0 passive "a"))
diff --git a/test/roundtrip/generate-from-export-name.txt b/test/roundtrip/generate-from-export-name.txt
index 5d221186..9d5d7262 100644
--- a/test/roundtrip/generate-from-export-name.txt
+++ b/test/roundtrip/generate-from-export-name.txt
@@ -26,7 +26,7 @@
     i32.const 456)
   (func $foo_2 (type $t1) (result i32)
     i32.const 789)
-  (table $my_table 1 anyfunc)
+  (table $my_table 1 funcref)
   (memory $my_memory 1)
   (global $my_global i32 (i32.const 1))
   (export "my_func" (func $my_func))
diff --git a/test/roundtrip/generate-from-import-name.txt b/test/roundtrip/generate-from-import-name.txt
index fda5f85a..43a5b555 100644
--- a/test/roundtrip/generate-from-import-name.txt
+++ b/test/roundtrip/generate-from-import-name.txt
@@ -19,7 +19,7 @@
   (type $t1 (func (result f32)))
   (type $t2 (func (result i32)))
   (import "m1" "my_func" (func $m1.my_func (type $t0)))
-  (import "m2" "my_table" (table $m2.my_table 1 anyfunc))
+  (import "m2" "my_table" (table $m2.my_table 1 funcref))
   (import "m3" "my_memory" (memory $m3.my_memory 1))
   (import "m4" "my_global" (global $m4.my_global i32))
   (import "m5" "foo_1" (func $m5.foo_1 (type $t1)))
diff --git a/test/roundtrip/generate-func-names.txt b/test/roundtrip/generate-func-names.txt
index 069c1664..85b9fa09 100644
--- a/test/roundtrip/generate-func-names.txt
+++ b/test/roundtrip/generate-func-names.txt
@@ -15,7 +15,7 @@
   (func $one (type $t0)
     call $zero)
   (func $f2 (type $t0))
-  (table $T0 3 3 anyfunc)
+  (table $T0 3 3 funcref)
   (export "zero" (func $zero))
   (export "one" (func $one))
   (elem $e0 (i32.const 0) $zero $one $zero))
diff --git a/test/roundtrip/generate-func-type-names.txt b/test/roundtrip/generate-func-type-names.txt
index 7b9c177d..92cfada3 100644
--- a/test/roundtrip/generate-func-type-names.txt
+++ b/test/roundtrip/generate-func-type-names.txt
@@ -20,6 +20,6 @@
     i32.const 0
     call_indirect (type $t0) $T0
     i32.const 1)
-  (table $T0 1 1 anyfunc)
+  (table $T0 1 1 funcref)
   (elem $e0 (i32.const 0) $foo.bar))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/generate-some-names.txt b/test/roundtrip/generate-some-names.txt
index 5ea9d620..a3de50fa 100644
--- a/test/roundtrip/generate-some-names.txt
+++ b/test/roundtrip/generate-some-names.txt
@@ -51,7 +51,7 @@
     drop
     f32.const 0x0p+0 (;=0;)
     local.set $l2)
-  (table $T0 1 1 anyfunc)
+  (table $T0 1 1 funcref)
   (export "baz" (func $import))
   (export "quux" (func $func0))
   (elem $e0 (i32.const 0) $import))
diff --git a/test/roundtrip/generate-tail-call.txt b/test/roundtrip/generate-tail-call.txt
index 02b2ec34..f56e24af 100644
--- a/test/roundtrip/generate-tail-call.txt
+++ b/test/roundtrip/generate-tail-call.txt
@@ -13,5 +13,5 @@
   (func $f1 (type $t0)
     i32.const 0
     return_call_indirect (type $t0))
-  (table $T0 1 anyfunc))
+  (table $T0 1 funcref))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/inline-export-multi.txt b/test/roundtrip/inline-export-multi.txt
index 92845251..178ea12c 100644
--- a/test/roundtrip/inline-export-multi.txt
+++ b/test/roundtrip/inline-export-multi.txt
@@ -21,7 +21,7 @@
   (type (;0;) (func))
   (func (;0;) (export "func0") (export "func1") (type 0)
     nop)
-  (table (;0;) (export "table0") (export "table1") 1 1 anyfunc)
+  (table (;0;) (export "table0") (export "table1") 1 1 funcref)
   (memory (;0;) (export "memory0") (export "memory1") 0)
   (global (;0;) (export "global0") (export "global1") i32 (i32.const 0)))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/inline-export-table.txt b/test/roundtrip/inline-export-table.txt
index 61ea0598..329925ed 100644
--- a/test/roundtrip/inline-export-table.txt
+++ b/test/roundtrip/inline-export-table.txt
@@ -10,6 +10,6 @@
   (type (;0;) (func))
   (func (;0;) (type 0))
   (func (;1;) (type 0))
-  (table (;0;) (export "foo") 2 2 anyfunc)
+  (table (;0;) (export "foo") 2 2 funcref)
   (elem (;0;) (i32.const 0) 0 1))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/inline-import-export.txt b/test/roundtrip/inline-import-export.txt
index 339c11f4..623b1911 100644
--- a/test/roundtrip/inline-import-export.txt
+++ b/test/roundtrip/inline-import-export.txt
@@ -16,6 +16,6 @@
   (type (;0;) (func (param i32)))
   (func (;0;) (export "F") (import "mod" "f") (type 0) (param i32))
   (global (;0;) (export "G") (import "mod" "g") f32)
-  (table (;0;) (export "T") (import "mod" "t") 1 2 anyfunc)
+  (table (;0;) (export "T") (import "mod" "t") 1 2 funcref)
   (memory (;0;) (export "M") (import "mod" "m") 3))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/inline-import-table.txt b/test/roundtrip/inline-import-table.txt
index 484b8447..2934e5b6 100644
--- a/test/roundtrip/inline-import-table.txt
+++ b/test/roundtrip/inline-import-table.txt
@@ -5,5 +5,5 @@
 )
 (;; STDOUT ;;;
 (module
-  (table (;0;) (import "mod" "t1") 1 anyfunc))
+  (table (;0;) (import "mod" "t1") 1 funcref))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/table-index.txt b/test/roundtrip/table-index.txt
index 8a58c130..c988679d 100644
--- a/test/roundtrip/table-index.txt
+++ b/test/roundtrip/table-index.txt
@@ -4,5 +4,5 @@
   (import "a" "b" (table 2 anyfunc)))
 (;; STDOUT ;;;
 (module
-  (import "a" "b" (table (;0;) 2 anyfunc)))
+  (import "a" "b" (table (;0;) 2 funcref)))
 ;;; STDOUT ;;)