Typed continuations: nocont and cont basic heap types (#6468)

This PR is part of a series that adds basic support for the typed
continuations/wasmfx proposal.

This particular PR adds cont and nocont as top and bottom types for
continuation types, completely analogous to func and nofunc for function types
(also: exn and noexn).

2 files changed, 13 insertions, 0 deletions

diff --git a/src/tools/fuzzing/fuzzing.cpp b/src/tools/fuzzing/fuzzing.cpp
index e20333500..cbf8f2f4d 100644
--- a/src/tools/fuzzing/fuzzing.cpp
+++ b/src/tools/fuzzing/fuzzing.cpp
@@ -2525,6 +2525,9 @@ Expression* TranslateToFuzzReader::makeBasicRef(Type type) {
     case HeapType::func: {
       return makeRefFuncConst(type);
     }
+    case HeapType::cont: {
+      WASM_UNREACHABLE("not implemented");
+    }
     case HeapType::any: {
       // Choose a subtype we can materialize a constant for. We cannot
       // materialize non-nullable refs to func or i31 in global contexts.
@@ -2652,6 +2655,7 @@ Expression* TranslateToFuzzReader::makeBasicRef(Type type) {
     case HeapType::none:
     case HeapType::noext:
     case HeapType::nofunc:
+    case HeapType::nocont:
     case HeapType::noexn: {
       auto null = builder.makeRefNull(heapType);
       if (!type.isNullable()) {
@@ -4076,6 +4080,8 @@ HeapType TranslateToFuzzReader::getSubType(HeapType type) {
         return pick(FeatureOptions<HeapType>()
                       .add(FeatureSet::ReferenceTypes, HeapType::func)
                       .add(FeatureSet::GC, HeapType::nofunc));
+      case HeapType::cont:
+        return pick(HeapType::cont, HeapType::nocont);
       case HeapType::ext:
         return pick(FeatureOptions<HeapType>()
                       .add(FeatureSet::ReferenceTypes, HeapType::ext)
@@ -4116,6 +4122,7 @@ HeapType TranslateToFuzzReader::getSubType(HeapType type) {
       case HeapType::none:
       case HeapType::noext:
       case HeapType::nofunc:
+      case HeapType::nocont:
       case HeapType::noexn:
         break;
     }
diff --git a/src/tools/fuzzing/heap-types.cpp b/src/tools/fuzzing/heap-types.cpp
index 33a92b796..3d0d29153 100644
--- a/src/tools/fuzzing/heap-types.cpp
+++ b/src/tools/fuzzing/heap-types.cpp
@@ -380,6 +380,8 @@ struct HeapTypeGeneratorImpl {
       switch (type.getBasic()) {
         case HeapType::func:
           return pickSubFunc();
+        case HeapType::cont:
+          WASM_UNREACHABLE("not implemented");
         case HeapType::any:
           return pickSubAny();
         case HeapType::eq:
@@ -399,6 +401,7 @@ struct HeapTypeGeneratorImpl {
         case HeapType::none:
         case HeapType::noext:
         case HeapType::nofunc:
+        case HeapType::nocont:
         case HeapType::noexn:
           return type;
       }
@@ -442,6 +445,7 @@ struct HeapTypeGeneratorImpl {
       case HeapType::ext:
       case HeapType::func:
       case HeapType::exn:
+      case HeapType::cont:
       case HeapType::any:
         break;
       case HeapType::eq:
@@ -470,6 +474,8 @@ struct HeapTypeGeneratorImpl {
         return pickSubAny();
       case HeapType::nofunc:
         return pickSubFunc();
+      case HeapType::nocont:
+        WASM_UNREACHABLE("not implemented");
       case HeapType::noext:
         candidates.push_back(HeapType::ext);
         break;