Remove legacy WasmGC instructions (#5861)

Remove old, experimental instructions and type encodings that will not be
shipped as part of WasmGC. Updating the encodings and text format to match the
final spec is left as future work.

1 files changed, 0 insertions, 399 deletions

diff --git a/test/heap-types.wast.from-wast b/test/heap-types.wast.from-wast
deleted file mode 100644
index 2504a6f82..000000000
--- a/test/heap-types.wast.from-wast
+++ /dev/null
@@ -1,399 +0,0 @@
-(module
- (type $struct.A (struct (field i32) (field f32) (field $named f64)))
- (type $vector (array (mut f64)))
- (type $struct.B (struct (field i8) (field (mut i16)) (field (ref $struct.A)) (field (mut (ref $struct.A)))))
- (type $none_=>_none (func))
- (type $struct.C (struct (field $named-mut (mut f32))))
- (type $matrix (array (mut (ref null $vector))))
- (type $bytes (array (mut i8)))
- (type $parent (struct ))
- (type $child (sub $parent (struct (field i32))))
- (type $grandchild (sub $child (struct (field i32) (field i64))))
- (type $ref?|$vector|_=>_none (func (param (ref null $vector))))
- (type $nested-child-struct (struct (field (mut (ref $child)))))
- (type $words (array (mut i32)))
- (type $nested-child-array (array (mut (ref $child))))
- (type $anyref_=>_none (func (param anyref)))
- (type $ref|$struct.A|_ref?|$struct.A|_ref?|$grandchild|_ref?|$struct.C|_ref?|$nested-child-struct|_=>_ref|$struct.B| (func (param (ref $struct.A) (ref null $struct.A) (ref null $grandchild) (ref null $struct.C) (ref null $nested-child-struct)) (result (ref $struct.B))))
- (type $ref|$vector|_ref?|$nested-child-array|_ref?|$grandchild|_=>_ref|$matrix| (func (param (ref $vector) (ref null $nested-child-array) (ref null $grandchild)) (result (ref $matrix))))
- (type $anyref_funcref_=>_none (func (param anyref funcref)))
- (type $ref?|$struct.C|_=>_none (func (param (ref null $struct.C))))
- (type $ref|$vector|_ref?|$vector|_=>_none (func (param (ref $vector) (ref null $vector))))
- (type $none_=>_ref|$vector| (func (result (ref $vector))))
- (type $none_=>_ref|$bytes| (func (result (ref $bytes))))
- (global $struct.new-in-global (ref $struct.A) (struct.new_default $struct.A))
- (func $structs (type $ref|$struct.A|_ref?|$struct.A|_ref?|$grandchild|_ref?|$struct.C|_ref?|$nested-child-struct|_=>_ref|$struct.B|) (param $x (ref $struct.A)) (param $struct.A.prime (ref null $struct.A)) (param $grandchild (ref null $grandchild)) (param $struct.C (ref null $struct.C)) (param $nested-child-struct (ref null $nested-child-struct)) (result (ref $struct.B))
-  (local $tA (ref null $struct.A))
-  (local $tB (ref null $struct.B))
-  (local $tc (ref null $struct.C))
-  (local $tv (ref null $vector))
-  (local $tm (ref null $matrix))
-  (drop
-   (local.get $x)
-  )
-  (drop
-   (struct.get $struct.A 0
-    (local.get $x)
-   )
-  )
-  (drop
-   (struct.get $struct.A 1
-    (local.get $x)
-   )
-  )
-  (drop
-   (struct.get $struct.A $named
-    (local.get $x)
-   )
-  )
-  (drop
-   (struct.get $struct.A $named
-    (local.get $x)
-   )
-  )
-  (drop
-   (struct.get $struct.A $named
-    (local.get $struct.A.prime)
-   )
-  )
-  (drop
-   (struct.get_u $struct.B 0
-    (local.get $tB)
-   )
-  )
-  (drop
-   (struct.get_s $struct.B 0
-    (local.get $tB)
-   )
-  )
-  (drop
-   (struct.get $grandchild 0
-    (local.get $grandchild)
-   )
-  )
-  (drop
-   (block (result (ref null $struct.A))
-    (local.get $x)
-   )
-  )
-  (drop
-   (if (result (ref null $struct.A))
-    (i32.const 1)
-    (local.get $x)
-    (local.get $x)
-   )
-  )
-  (drop
-   (loop $loop-in (result (ref null $struct.A))
-    (local.get $x)
-   )
-  )
-  (drop
-   (select (result (ref null $struct.A))
-    (local.get $x)
-    (local.get $x)
-    (i32.const 1)
-   )
-  )
-  (struct.set $struct.C $named-mut
-   (local.get $struct.C)
-   (f32.const 100)
-  )
-  (struct.set $nested-child-struct 0
-   (local.get $nested-child-struct)
-   (ref.as_non_null
-    (local.get $grandchild)
-   )
-  )
-  (drop
-   (struct.new_default $struct.A)
-  )
-  (drop
-   (struct.new $struct.A
-    (i32.const 1)
-    (f32.const 2.3450000286102295)
-    (f64.const 3.14159)
-   )
-  )
-  (unreachable)
- )
- (func $arrays (type $ref|$vector|_ref?|$nested-child-array|_ref?|$grandchild|_=>_ref|$matrix|) (param $x (ref $vector)) (param $nested-child-array (ref null $nested-child-array)) (param $grandchild (ref null $grandchild)) (result (ref $matrix))
-  (local $tv (ref null $vector))
-  (local $tm (ref null $matrix))
-  (local $tb (ref null $bytes))
-  (local $tw (ref null $words))
-  (drop
-   (array.new $vector
-    (f64.const 3.14159)
-    (i32.const 3)
-   )
-  )
-  (drop
-   (array.new_default $matrix
-    (i32.const 10)
-   )
-  )
-  (drop
-   (array.get $vector
-    (local.get $x)
-    (i32.const 2)
-   )
-  )
-  (array.set $vector
-   (local.get $x)
-   (i32.const 2)
-   (f64.const 2.18281828)
-  )
-  (array.set $nested-child-array
-   (local.get $nested-child-array)
-   (i32.const 3)
-   (ref.as_non_null
-    (local.get $grandchild)
-   )
-  )
-  (drop
-   (array.len
-    (local.get $x)
-   )
-  )
-  (drop
-   (array.get $words
-    (local.get $tw)
-    (i32.const 1)
-   )
-  )
-  (drop
-   (array.get_u $bytes
-    (local.get $tb)
-    (i32.const 2)
-   )
-  )
-  (drop
-   (array.get_s $bytes
-    (local.get $tb)
-    (i32.const 3)
-   )
-  )
-  (unreachable)
- )
- (func $ref.is_X (type $anyref_=>_none) (param $x anyref)
-  (if
-   (ref.is_null
-    (local.get $x)
-   )
-   (unreachable)
-  )
-  (if
-   (ref.test i31
-    (local.get $x)
-   )
-   (unreachable)
-  )
- )
- (func $ref.as_X (type $anyref_funcref_=>_none) (param $x anyref) (param $f funcref)
-  (drop
-   (ref.as_non_null
-    (local.get $x)
-   )
-  )
-  (drop
-   (ref.cast func
-    (local.get $f)
-   )
-  )
-  (drop
-   (ref.cast i31
-    (local.get $x)
-   )
-  )
- )
- (func $br_on_X (type $anyref_=>_none) (param $x anyref)
-  (local $y anyref)
-  (local $z anyref)
-  (local $temp-func funcref)
-  (local $temp-i31 i31ref)
-  (block $null
-   (local.set $z
-    (br_on_null $null
-     (local.get $x)
-    )
-   )
-  )
-  (drop
-   (block $i31 (result i31ref)
-    (local.set $y
-     (br_on_cast $i31 anyref (ref i31)
-      (local.get $x)
-     )
-    )
-    (ref.null none)
-   )
-  )
-  (drop
-   (block $non-null (result (ref any))
-    (br_on_non_null $non-null
-     (local.get $x)
-    )
-    (unreachable)
-   )
-  )
-  (drop
-   (block $non-i31 (result anyref)
-    (local.set $temp-i31
-     (br_on_cast_fail $non-i31 anyref (ref i31)
-      (local.get $x)
-     )
-    )
-    (ref.null none)
-   )
-  )
- )
- (func $unreachables-1 (type $none_=>_none)
-  (drop
-   (block ;; (replaces something unreachable we can't emit)
-    (drop
-     (unreachable)
-    )
-    (unreachable)
-   )
-  )
- )
- (func $unreachables-2 (type $ref?|$struct.C|_=>_none) (param $struct.C (ref null $struct.C))
-  (struct.set $struct.C $named-mut
-   (local.get $struct.C)
-   (unreachable)
-  )
- )
- (func $unreachables-3 (type $none_=>_none)
-  (block ;; (replaces something unreachable we can't emit)
-   (drop
-    (unreachable)
-   )
-   (drop
-    (unreachable)
-   )
-   (unreachable)
-  )
- )
- (func $unreachables-4 (type $none_=>_none)
-  (block ;; (replaces something unreachable we can't emit)
-   (drop
-    (unreachable)
-   )
-   (drop
-    (f32.const 1)
-   )
-   (unreachable)
-  )
- )
- (func $unreachables-array-1 (type $none_=>_none)
-  (block ;; (replaces something unreachable we can't emit)
-   (drop
-    (unreachable)
-   )
-   (drop
-    (i32.const 2)
-   )
-   (unreachable)
-  )
- )
- (func $unreachables-array-2 (type $ref?|$vector|_=>_none) (param $vector (ref null $vector))
-  (array.get $vector
-   (local.get $vector)
-   (unreachable)
-  )
- )
- (func $unreachables-array-3 (type $none_=>_none)
-  (block ;; (replaces something unreachable we can't emit)
-   (drop
-    (unreachable)
-   )
-   (drop
-    (i32.const 2)
-   )
-   (drop
-    (f64.const 2.18281828)
-   )
-   (unreachable)
-  )
- )
- (func $unreachables-array-4 (type $ref?|$vector|_=>_none) (param $vector (ref null $vector))
-  (array.set $vector
-   (local.get $vector)
-   (unreachable)
-   (f64.const 2.18281828)
-  )
- )
- (func $unreachables-array-5 (type $ref?|$vector|_=>_none) (param $vector (ref null $vector))
-  (array.set $vector
-   (local.get $vector)
-   (i32.const 2)
-   (unreachable)
-  )
- )
- (func $unreachables-array-6 (type $none_=>_none)
-  (drop
-   (array.len
-    (unreachable)
-   )
-  )
- )
- (func $array-copy (type $ref|$vector|_ref?|$vector|_=>_none) (param $x (ref $vector)) (param $y (ref null $vector))
-  (array.copy $vector $vector
-   (local.get $x)
-   (i32.const 11)
-   (local.get $y)
-   (i32.const 42)
-   (i32.const 1337)
-  )
- )
- (func $array-init (type $none_=>_ref|$vector|) (result (ref $vector))
-  (array.new_fixed $vector
-   (f64.const 1)
-   (f64.const 2)
-   (f64.const 4)
-   (f64.const 8)
-  )
- )
- (func $array-init-packed (type $none_=>_ref|$bytes|) (result (ref $bytes))
-  (array.new_fixed $bytes
-   (i32.const 4)
-   (i32.const 2)
-   (i32.const 1)
-  )
- )
- (func $static-operations (type $none_=>_none)
-  (local $temp.A (ref null $struct.A))
-  (local $temp.B (ref null $struct.B))
-  (drop
-   (ref.test $struct.B
-    (ref.null none)
-   )
-  )
-  (drop
-   (ref.cast null none
-    (ref.null none)
-   )
-  )
-  (drop
-   (block $out-B (result (ref $struct.B))
-    (local.set $temp.A
-     (br_on_cast $out-B nullref (ref $struct.B)
-      (ref.null none)
-     )
-    )
-    (unreachable)
-   )
-  )
-  (drop
-   (block $out-A (result (ref null $struct.A))
-    (local.set $temp.B
-     (br_on_cast_fail $out-A nullref (ref $struct.B)
-      (ref.null none)
-     )
-    )
-    (unreachable)
-   )
-  )
- )
-)