Update repos

  gc:
    WebAssembly/gc@8107e016
  function-references:
    WebAssembly/function-references@4c02753d

This change was automatically generated by `update-testsuite.sh`

Author: sunfishcode

proposals/function-references/binary.wast

@@ -1085,8 +1085,19 @@
 (assert_malformed
   (module binary
     "\00asm" "\01\00\00\00"
-    "\01\04\01"                             ;; type section
+    "\01\25\0c"                             ;; type section
     "\60\00\00"                             ;; type 0
+    "\60\00\00"                             ;; type 1
+    "\60\00\00"                             ;; type 2
+    "\60\00\00"                             ;; type 3
+    "\60\00\00"                             ;; type 4
+    "\60\00\00"                             ;; type 5
+    "\60\00\00"                             ;; type 6
+    "\60\00\00"                             ;; type 7
+    "\60\00\00"                             ;; type 8
+    "\60\00\00"                             ;; type 9
+    "\60\00\00"                             ;; type 10
+    "\60\00\00"                             ;; type 11
     "\03\02\01\00"                          ;; func section
     "\0a\13\01"                             ;; code section
     "\11\00"                                ;; func 0
@@ -1097,8 +1108,9 @@
     "\0e\01"                                ;; br_table with inconsistent target count (1 declared, 2 given)
     "\00"                                   ;; break depth 0
     "\01"                                   ;; break depth 1
-    "\02"                                   ;; break depth for default
-    "\0b\0b\0b"                             ;; end
+    "\02"                                   ;; break depth for default, interpreted as a block
+    "\0b"                                   ;; end, interpreted as type 11 for the block
+    "\0b\0b"                                ;; end
   )
   "unexpected end of section or function"
 )
@@ -1132,4 +1144,3 @@
   )
   "unexpected content after last section"
 )
-

proposals/function-references/call_ref.wast

@@ -94,7 +94,7 @@
 (assert_return (invoke "run" (i32.const 0)) (i32.const 0))
 (assert_return (invoke "run" (i32.const 3)) (i32.const -9))
 
-(assert_trap (invoke "null") "null function")
+(assert_trap (invoke "null") "null function reference")
 
 (assert_return (invoke "fac" (i64.const 0)) (i64.const 1))
 (assert_return (invoke "fac" (i64.const 1)) (i64.const 1))

proposals/function-references/if.wast

@@ -524,6 +524,14 @@
     )
     (drop) (drop) (drop)
   )
+
+  ;; Atypical folded condition syntax
+
+  (func (export "atypical-condition")
+    i32.const 0
+    (if (then) (else))
+    (if (i32.const 1) (i32.eqz) (then) (else))
+  )
 )
 
 (assert_return (invoke "empty" (i32.const 0)))
@@ -722,6 +730,8 @@
 
 (assert_return (invoke "type-use"))
 
+(assert_return (invoke "atypical-condition"))
+
 (assert_malformed
   (module quote
     "(type $sig (func (param i32) (result i32)))"
@@ -1548,3 +1558,7 @@
   (module quote "(func i32.const 0 if $a else $l end $l)")
   "mismatching label"
 )
+(assert_malformed
+  (module quote "(func (if i32.const 0 (then) (else)))")
+  "unexpected token"
+)

proposals/function-references/return_call_ref.wast

@@ -180,7 +180,7 @@
 (assert_return (invoke "type-second-f32") (f32.const 32))
 (assert_return (invoke "type-second-f64") (f64.const 64.1))
 
-(assert_trap (invoke "null") "null function")
+(assert_trap (invoke "null") "null function reference")
 
 (assert_return (invoke "fac-acc" (i64.const 0) (i64.const 1)) (i64.const 1))
 (assert_return (invoke "fac-acc" (i64.const 1) (i64.const 1)) (i64.const 1))

proposals/function-references/table.wast

@@ -78,21 +78,36 @@
 ;; Table initializer
 
 (module
+  (global (export "g") (ref $f) (ref.func $f))
+  (type $f (func))
+  (func $f)
+)
+(register "M")
+
+(module
+  (global $g (import "M" "g") (ref $dummy))
+
   (type $dummy (func))
   (func $dummy)
 
   (table $t1 10 funcref)
   (table $t2 10 funcref (ref.func $dummy))
   (table $t3 10 (ref $dummy) (ref.func $dummy))
+  (table $t4 10 funcref (global.get $g))
+  (table $t5 10 (ref $dummy) (global.get $g))
 
   (func (export "get1") (result funcref) (table.get $t1 (i32.const 1)))
   (func (export "get2") (result funcref) (table.get $t2 (i32.const 4)))
   (func (export "get3") (result funcref) (table.get $t3 (i32.const 7)))
+  (func (export "get4") (result funcref) (table.get $t4 (i32.const 8)))
+  (func (export "get5") (result funcref) (table.get $t5 (i32.const 9)))
 )
 
 (assert_return (invoke "get1") (ref.null))
 (assert_return (invoke "get2") (ref.func))
 (assert_return (invoke "get3") (ref.func))
+(assert_return (invoke "get4") (ref.func))
+(assert_return (invoke "get5") (ref.func))
 
 
 (assert_invalid

proposals/gc/call_ref.wast

@@ -94,7 +94,7 @@
 (assert_return (invoke "run" (i32.const 0)) (i32.const 0))
 (assert_return (invoke "run" (i32.const 3)) (i32.const -9))
 
-(assert_trap (invoke "null") "null function")
+(assert_trap (invoke "null") "null function reference")
 
 (assert_return (invoke "fac" (i64.const 0)) (i64.const 1))
 (assert_return (invoke "fac" (i64.const 1)) (i64.const 1))

proposals/gc/return_call_ref.wast

@@ -180,7 +180,7 @@
 (assert_return (invoke "type-second-f32") (f32.const 32))
 (assert_return (invoke "type-second-f64") (f64.const 64.1))
 
-(assert_trap (invoke "null") "null function")
+(assert_trap (invoke "null") "null function reference")
 
 (assert_return (invoke "fac-acc" (i64.const 0) (i64.const 1)) (i64.const 1))
 (assert_return (invoke "fac-acc" (i64.const 1) (i64.const 1)) (i64.const 1))