From 822978cd5dfa8b99974dc76e2a54941d7b3b0527 Mon Sep 17 00:00:00 2001
From: Alex Crichton <alex@alexcrichton.com>
Date: Fri, 14 Jul 2023 19:17:25 -0700
Subject: [PATCH] Update repos

  spec:
    https://github.com/WebAssembly/spec/commit/539d521f
  gc:
    https://github.com/WebAssembly/gc/commit/76e0d6bc
  function-references:
    https://github.com/WebAssembly/function-references/commit/d1b1033a

This change was automatically generated by `update-testsuite.sh`
---
 float_literals.wast                       | 8 ++++++++
 proposals/function-references/data.wast   | 3 ---
 proposals/function-references/elem.wast   | 3 ---
 proposals/function-references/global.wast | 3 ---
 proposals/gc/global.wast                  | 6 +++---
 5 files changed, 11 insertions(+), 12 deletions(-)

diff --git a/float_literals.wast b/float_literals.wast
index fefb91f..3b3ed76 100644
--- a/float_literals.wast
+++ b/float_literals.wast
@@ -352,6 +352,10 @@
   (module quote "(global f32 (f32.const 0x1.0p_+1))")
   "unknown operator"
 )
+(assert_malformed
+  (module quote "(global f32 (f32.const nan:0x80_0000))")
+  "constant out of range"
+)
 
 (assert_malformed
   (module quote "(global f64 (f64.const _100))")
@@ -505,3 +509,7 @@
   (module quote "(global f64 (f64.const 0x1.0p_+1))")
   "unknown operator"
 )
+(assert_malformed
+  (module quote "(global f64 (f64.const nan:0x10_0000_0000_0000))")
+  "constant out of range"
+)
diff --git a/proposals/function-references/data.wast b/proposals/function-references/data.wast
index a5c87fb..a007388 100644
--- a/proposals/function-references/data.wast
+++ b/proposals/function-references/data.wast
@@ -81,9 +81,6 @@
   (data (global.get $g) "a")
 )
 
-(module (memory 1) (global i32 (i32.const 0)) (data (global.get 0) "a"))
-(module (memory 1) (global $g i32 (i32.const 0)) (data (global.get $g) "a"))
-
 
 ;; Corner cases
 
diff --git a/proposals/function-references/elem.wast b/proposals/function-references/elem.wast
index 8b4dbfe..0e6ea20 100644
--- a/proposals/function-references/elem.wast
+++ b/proposals/function-references/elem.wast
@@ -175,9 +175,6 @@
 (assert_return (invoke "call-7") (i32.const 65))
 (assert_return (invoke "call-9") (i32.const 66))
 
-(module (table 1 funcref) (global i32 (i32.const 0)) (elem (global.get 0) $f) (func $f))
-(module (table 1 funcref) (global $g i32 (i32.const 0)) (elem (global.get $g) $f) (func $f))
-
 
 ;; Corner cases
 
diff --git a/proposals/function-references/global.wast b/proposals/function-references/global.wast
index 621de79..6881b83 100644
--- a/proposals/function-references/global.wast
+++ b/proposals/function-references/global.wast
@@ -348,9 +348,6 @@
   "unknown global"
 )
 
-(module (global i32 (i32.const 0)) (global i32 (global.get 0)))
-(module (global $g i32 (i32.const 0)) (global i32 (global.get $g)))
-
 (assert_invalid
   (module (global i32 (global.get 1)) (global i32 (i32.const 0)))
   "unknown global"
diff --git a/proposals/gc/global.wast b/proposals/gc/global.wast
index 621de79..0816b6a 100644
--- a/proposals/gc/global.wast
+++ b/proposals/gc/global.wast
@@ -348,9 +348,6 @@
   "unknown global"
 )
 
-(module (global i32 (i32.const 0)) (global i32 (global.get 0)))
-(module (global $g i32 (i32.const 0)) (global i32 (global.get $g)))
-
 (assert_invalid
   (module (global i32 (global.get 1)) (global i32 (i32.const 0)))
   "unknown global"
@@ -361,6 +358,9 @@
   "unknown global"
 )
 
+(module (global i32 (i32.const 0)) (global i32 (global.get 0)))
+(module (global $g i32 (i32.const 0)) (global i32 (global.get $g)))
+
 (assert_invalid
   (module (global (import "test" "global-mut-i32") (mut i32)) (global i32 (global.get 0)))
   "constant expression required"