[threads] Simplify and generalize heap type writing without GC (#6765)

We represent `ref.null`s as having bottom heap types, even when GC is
not enabled. Bottom heap types are a feature of the GC proposal, so in
that case the binary writer needs to write the corresponding top type
instead. We previously had separate logic for this for each type
hierarchy in the binary writer, but that did not handle shared types and
would not have automatically handled other new types, either. Simplify
and generalize the implementation and test that we can write `ref.null`s
of shared types without GC enabled.

1 files changed, 19 insertions, 0 deletions

diff --git a/test/lit/basic/shared-null-no-gc.wast b/test/lit/basic/shared-null-no-gc.wast
new file mode 100644
index 000000000..b920f80f8
--- /dev/null
+++ b/test/lit/basic/shared-null-no-gc.wast
@@ -0,0 +1,19 @@
+;; 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.
+
+;; RUN: wasm-opt %s --enable-reference-types --enable-shared-everything --roundtrip -S -o - | filecheck %s
+
+(module
+ ;; CHECK:      (func $test
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (ref.null (shared nofunc))
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $test
+  (drop
+   (ref.null (shared func))
+  )
+ )
+)