From b4dee3dc05834ada8bf94e3e925186bc8b430c30 Mon Sep 17 00:00:00 2001
From: Frank Emrich <git@emrich.io>
Date: Thu, 11 Jan 2024 21:22:43 +0000
Subject: Typed continuations: resume instructions (#6083)

This PR is part of a series that adds basic support for the [typed continuations proposal](https://github.com/wasmfx/specfx).

This particular PR adds support for the `resume` instruction. The most notable missing feature is validation, which is not implemented, yet.
---
 src/ir/possible-contents.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/ir/possible-contents.cpp')

diff --git a/src/ir/possible-contents.cpp b/src/ir/possible-contents.cpp
index 67b33553d..2f900f0ed 100644
--- a/src/ir/possible-contents.cpp
+++ b/src/ir/possible-contents.cpp
@@ -1199,6 +1199,11 @@ struct InfoCollector
 
   void visitReturn(Return* curr) { addResult(curr->value); }
 
+  void visitResume(Resume* curr) {
+    // TODO: optimize when possible
+    addRoot(curr);
+  }
+
   void visitFunction(Function* func) {
     // Functions with a result can flow a value out from their body.
     addResult(func->body);
-- 
cgit v1.2.3