From 84cc9fa123e58c5ff236145a24157c098daede64 Mon Sep 17 00:00:00 2001
From: Frank Emrich <git@emrich.io>
Date: Tue, 19 Mar 2024 17:53:08 +0000
Subject: Typed continuations: suspend instructions (#6393)

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

This particular PR adds support for the `suspend` instruction for suspending
with a given tag, documented
[here](https://github.com/wasmfx/specfx/blob/main/proposals/continuations/Overview.md#instructions).
These instructions are of the form `(suspend $tag)`. Assuming that `$tag` is
defined with _n_ `param` types `t_1` to `t_n`, the instruction consumes _n_
arguments of types  `t_1` to `t_n`. Its result type is the same as the `result`
type of the tag. Thus, the folded textual representation looks like
`(suspend $tag arg1 ... argn)`.

Support for the instruction is implemented in both the old and the new wat
parser.

Note that this PR does not implement validation of the new instruction.

This PR also fixes finalization of `cont.new`, `cont.bind` and `resume` nodes in
those cases where any  of their children are unreachable.
---
 test/lit/basic/typed_continuations_suspend.wast | 49 +++++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 test/lit/basic/typed_continuations_suspend.wast

(limited to 'test/lit/basic')

diff --git a/test/lit/basic/typed_continuations_suspend.wast b/test/lit/basic/typed_continuations_suspend.wast
new file mode 100644
index 000000000..62a09c213
--- /dev/null
+++ b/test/lit/basic/typed_continuations_suspend.wast
@@ -0,0 +1,49 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; RUN: wasm-opt %s -all -o %t.text.wast -g -S
+;; RUN: wasm-as %s -all -g -o %t.wasm
+;; RUN: wasm-dis %t.wasm -all -o %t.bin.wast
+;; RUN: wasm-as %s -all -o %t.nodebug.wasm
+;; RUN: wasm-dis %t.nodebug.wasm -all -o %t.bin.nodebug.wast
+;; RUN: cat %t.text.wast | filecheck %s --check-prefix=CHECK-TEXT
+;; RUN: cat %t.bin.wast | filecheck %s --check-prefix=CHECK-BIN
+;; RUN: cat %t.bin.nodebug.wast | filecheck %s --check-prefix=CHECK-BIN-NODEBUG
+
+(module
+ ;; CHECK-TEXT:      (type $0 (func (param i32) (result i64)))
+
+ ;; CHECK-TEXT:      (type $1 (func (result i64)))
+
+ ;; CHECK-TEXT:      (tag $t (param i32) (result i64))
+ ;; CHECK-BIN:      (type $0 (func (param i32) (result i64)))
+
+ ;; CHECK-BIN:      (type $1 (func (result i64)))
+
+ ;; CHECK-BIN:      (tag $t (param i32) (result i64))
+ (tag $t (param i32) (result i64))
+
+ ;; CHECK-TEXT:      (func $f (type $1) (result i64)
+ ;; CHECK-TEXT-NEXT:  (suspend $t
+ ;; CHECK-TEXT-NEXT:   (i32.const 123)
+ ;; CHECK-TEXT-NEXT:  )
+ ;; CHECK-TEXT-NEXT: )
+ ;; CHECK-BIN:      (func $f (type $1) (result i64)
+ ;; CHECK-BIN-NEXT:  (suspend $t
+ ;; CHECK-BIN-NEXT:   (i32.const 123)
+ ;; CHECK-BIN-NEXT:  )
+ ;; CHECK-BIN-NEXT: )
+ (func $f (result i64)
+   (suspend $t (i32.const 123))
+ )
+)
+;; CHECK-BIN-NODEBUG:      (type $0 (func (param i32) (result i64)))
+
+;; CHECK-BIN-NODEBUG:      (type $1 (func (result i64)))
+
+;; CHECK-BIN-NODEBUG:      (tag $tag$0 (param i32) (result i64))
+
+;; CHECK-BIN-NODEBUG:      (func $0 (type $1) (result i64)
+;; CHECK-BIN-NODEBUG-NEXT:  (suspend $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:   (i32.const 123)
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
-- 
cgit v1.2.3