Skip to content

[exceptions] Add tests for catch handlers that target the function block #1992

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
+252 −0
Open

[exceptions] Add tests for catch handlers that target the function block #1992

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
252 changes: 252 additions & 0 deletions test/core/exceptions/catch_ret.wast
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,252 @@
(module
(type $f1 (func))
(tag $t (param i32))
(func $throw
(throw $t (i32.const 47))
)
(elem declare func $throw)
(func (export "main") (param i32) (result i32)
(try_table (catch $t 0)
(call $throw)
)
i32.const 42 ;; unreachable
)
)

(assert_return (invoke "main" (i32.const 44)) (i32.const 47))
(module
(type $f1 (func))
(tag $t (param i32))
(func $throw
(throw $t (i32.const 47))
)
(elem declare func $throw)
(func (export "main") (param i32) (result i32)
(block (result i32)
(try_table (catch $t 0)
(call $throw)
)
(i32.const 22)
)
)
)

(assert_return (invoke "main" (i32.const 44)) (i32.const 47))
(module
(type $f1 (func))
(tag $t (param i32))
(func $throw
(throw $t (i32.const 47))
)
(elem declare func $throw)
(func (export "main") (param i32) (result i32)
(i32.const 33)
(block (result i32)
(try_table (catch $t 0)
(call $throw)
)
(i32.const 22)
)
return
)
)

(assert_return (invoke "main" (i32.const 44)) (i32.const 47))
(module
(type $f1 (func))
(tag $t (param i32))
(func $throw
(throw $t (i32.const 47))
)
(elem declare func $throw)
(func (export "main") (param i32) (result i32)
(local f32)
(local f32)
(local f32)
(i32.const 33)
(block (result i32)
(try_table (catch $t 0)
(call $throw)
)
(i32.const 22)
)
return
)
)

(assert_return (invoke "main" (i32.const 44)) (i32.const 47))
(module
(type $f1 (func))
(tag $t (param i32))
(func $throw
(throw $t (i32.const 47))
)
(elem declare func $throw)
(func (export "main") (param i32) (result i32)
(local f32)
(local f32)
(local f32)
(i32.const 33)
(block (result i32)
(try_table (catch $t 1)
(call $throw)
)
(i32.const 22)
)
return
)
)

(assert_return (invoke "main" (i32.const 44)) (i32.const 47))
(module
(type $f1 (func))
(tag $t (param i32))
(func $throw
(throw $t (i32.const 47))
)
(elem declare func $throw)
(func (export "main") (param i32) (result i32)
(i32.add (i32.const 11) (call $f1 (local.get 0)))
)
(func $f1 (param i32) (result i32)
(local f32)
(local f32)
(local f32)
(i32.const 33)
(block (result i32)
(try_table (catch $t 1)
(call $throw)
)
(i32.const 22)
)
return
)
)

(assert_return (invoke "main" (i32.const 44)) (i32.const 58))
(module
(type $f1 (func))
(tag $t (param i64))
(func $throw
(throw $t (i64.const 9999999999))
)
(elem declare func $throw)
(func (export "main") (param i64) (result i64)
(try_table (catch $t 0)
(call $throw)
)
i64.const 42 ;; unreachable
)
)

(assert_return (invoke "main" (i64.const 123)) (i64.const 9999999999))
(module
(type $f1 (func))
(tag $t (param f32))
(func $throw
(throw $t (f32.const 3.25))
)
(elem declare func $throw)
(func (export "main") (param f32) (result f32)
(try_table (catch $t 0)
(call $throw)
)
f32.const 42 ;; unreachable
)
)

(assert_return (invoke "main" (f32.const 1.5)) (f32.const 3.25))
(module
(type $f1 (func))
(tag $t (param f64))
(func $throw
(throw $t (f64.const 6.022e23))
)
(elem declare func $throw)
(func (export "main") (param f64) (result f64)
(try_table (catch $t 0)
(call $throw)
)
f64.const 42 ;; unreachable
)
)

(assert_return (invoke "main" (f64.const 0.0)) (f64.const 6.022e23))
(module
(type $f1 (func))
(tag $t (param i32 f32))
(func $throw
(throw $t (i32.const 77) (f32.const 1.75))
)
(elem declare func $throw)
(func (export "main") (param i32) (result i32 f32)
(try_table (catch $t 0)
(call $throw)
)
i32.const 0
f32.const 0 ;; unreachable
)
)

(assert_return (invoke "main" (i32.const 11)) (i32.const 77) (f32.const 1.75))
(module
(type $f1 (func))
(tag $t (param i32))
(func $throw
(throw $t (i32.const 99))
)
(elem declare func $throw)

(func (export "main") (param i32) (result i32)
(local i32 i64) ;; a couple of locals

;; initialize locals so they’re nontrivial
(local.set 1 (i32.const 77777))
(local.set 2 (i64.const 88888))

;; put some junk on the stack before entering try_table
(local.get 1)
(local.get 2)

(try_table (result i32) (catch $t 0)
;; at this point, stack has 77777, 88888 on it
(call $throw)
;; if throw didn’t happen, return a dummy
i32.const 42
)
return ;; implicit pop
)
)

(assert_return (invoke "main" (i32.const 44)) (i32.const 99))
(module
(type $f1 (func))
(tag $t (param i32))
(func $throw
(throw $t (i32.const 99))
)
(elem declare func $throw)

(func (export "main") (param i32) (result i32)
(local i32 i64) ;; a couple of locals

;; initialize locals so they’re nontrivial
(local.set 1 (i32.const 77777))
(local.set 2 (i64.const 88888))

;; put some junk on the stack before entering try_table
(local.get 1)
(local.get 2)

(try_table (param i32 i64) (result i32) (catch $t 0)
;; at this point, stack has 77777, 88888 on it
(call $throw)
drop
drop
;; pop if throw didn't
i32.const 42
)
)
)

(assert_return (invoke "main" (i32.const 44)) (i32.const 99))
Loading