Skip to content

Refine and extend tests for function signatures #301

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

Merged
merged 2 commits into from
Jul 25, 2016
Merged

Refine and extend tests for function signatures #301

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b178d2a
Refine and extend tests for function signatures
rossberg Jun 27, 2016
2fa67b1
Remove tests for nominal type checks
rossberg Jul 22, 2016
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
54 changes: 54 additions & 0 deletions ml-proto/test/func.wast
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -157,6 +157,51 @@
(func "init-local-i64" (result i64) (local i64) (get_local 0))
(func "init-local-f32" (result f32) (local f32) (get_local 0))
(func "init-local-f64" (result f64) (local f64) (get_local 0))


;; Desugaring of implicit type signature
(func $empty-sig-1) ;; should be assigned type $sig
(func $complex-sig-1 (param f64 i64 f64 i64 f64 i64 f32 i32))
(func $empty-sig-2) ;; should be assigned type $sig
(func $complex-sig-2 (param f64 i64 f64 i64 f64 i64 f32 i32))
(func $complex-sig-3 (param f64 i64 f64 i64 f64 i64 f32 i32))

(type $empty-sig-duplicate (func))
(type $complex-sig-duplicate (func (param f64 i64 f64 i64 f64 i64 f32 i32)))
(table $complex-sig-3 $empty-sig-2 $complex-sig-1 $complex-sig-3 $empty-sig-1)

(func "signature-explicit-reused"
(call_indirect $sig (i32.const 1))
(call_indirect $sig (i32.const 4))
)

(func "signature-implicit-reused"
;; The implicit index 16 in this test depends on the function and
;; type definitions, and may need adapting if they change.
(call_indirect 16 (i32.const 0)
(f64.const 0) (i64.const 0) (f64.const 0) (i64.const 0)
(f64.const 0) (i64.const 0) (f32.const 0) (i32.const 0)
)
(call_indirect 16 (i32.const 2)
(f64.const 0) (i64.const 0) (f64.const 0) (i64.const 0)
(f64.const 0) (i64.const 0) (f32.const 0) (i32.const 0)
)
(call_indirect 16 (i32.const 3)
(f64.const 0) (i64.const 0) (f64.const 0) (i64.const 0)
(f64.const 0) (i64.const 0) (f32.const 0) (i32.const 0)
)
)

(func "signature-explicit-duplicate"
(call_indirect $empty-sig-duplicate (i32.const 1))
)

(func "signature-implicit-duplicate"
(call_indirect $complex-sig-duplicate (i32.const 0)
(f64.const 0) (i64.const 0) (f64.const 0) (i64.const 0)
(f64.const 0) (i64.const 0) (f32.const 0) (i32.const 0)
)
)
)

(assert_return (invoke "local-first-i32") (i32.const 0))
Expand Down Expand Up @@ -276,6 +321,15 @@
(assert_return (invoke "init-local-f32") (f32.const 0))
(assert_return (invoke "init-local-f64") (f64.const 0))

(assert_return (invoke "signature-explicit-reused"))
(assert_return (invoke "signature-implicit-reused"))
(assert_trap (invoke "signature-explicit-duplicate")
"indirect call signature mismatch"
)
(assert_trap (invoke "signature-implicit-duplicate")
"indirect call signature mismatch"
)


;; Invalid typing of locals

Expand Down