[threads] Simplify and generalize reftype writing without GC (#6766)

Similar to #6765, but for types instead of heap types. Generalize the
logic for transforming written reference types to types that are
supported without GC so that it will automatically handle shared types
and other new types correctly.

1 files changed, 11 insertions, 4 deletions

diff --git a/test/lit/basic/shared-null-no-gc.wast b/test/lit/basic/shared-types-no-gc.wast
index b920f80f8..94c664f58 100644
--- a/test/lit/basic/shared-null-no-gc.wast
+++ b/test/lit/basic/shared-types-no-gc.wast
@@ -1,19 +1,26 @@
 ;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
 
-;; Test that we can write a binary without crashing when using a shared bottom
-;; type without GC enabled.
+;; Test that we can write a binary without crashing when using shared reference
+;; types without GC enabled.
 
 ;; RUN: wasm-opt %s --enable-reference-types --enable-shared-everything --roundtrip -S -o - | filecheck %s
 
 (module
- ;; CHECK:      (func $test
+ ;; CHECK:      (func $null
  ;; CHECK-NEXT:  (drop
  ;; CHECK-NEXT:   (ref.null (shared nofunc))
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
- (func $test
+ (func $null
   (drop
    (ref.null (shared func))
   )
  )
+
+ ;; CHECK:      (func $signature (result (ref null (shared func)))
+ ;; CHECK-NEXT:  (unreachable)
+ ;; CHECK-NEXT: )
+ (func $signature (result (ref null (shared func)))
+  (unreachable)
+ )
 )