Source code
Revision control
Copy as Markdown
Other Tools
// |jit-test| skip-if: !wasmComponentsEnabled()
// Export a function.
wasmValidateText(`
(component
(type (func (param "a" s32) (param "b" s32) (result s32)))
(core module
(func (export "add_impl") (param i32 i32) (result i32)
(i32.add (local.get 0) (local.get 1))
)
)
(core instance (instantiate 0))
(alias core export 0 "add_impl" (core func))
(func (type 0) (canon lift (core func 0)))
(export "add" (func 0))
)
`);
// Export a type.
wasmValidateText(`
(component
(type (record (field "x" f64) (field "y" f64)))
(export "point" (type 0))
)
`);
// Export a core module.
wasmValidateText(`
(component
(core module
(func (export "add") (param i32 i32) (result i32)
(i32.add (local.get 0) (local.get 1))
)
)
(export "adder" (core module 0))
)
`);
// Export multiple items of different sorts.
wasmValidateText(`
(component
(core module
(func (export "add") (param i32 i32) (result i32)
(i32.add (local.get 0) (local.get 1))
)
)
(core module
(func (export "sub") (param i32 i32) (result i32)
(i32.sub (local.get 0) (local.get 1))
)
)
(export "adder" (core module 0))
(export "subber" (core module 1))
)
`);
// Invalid function index.
wasmFailValidateText(`
(component
(type (func (param "a" s32) (param "b" s32) (result s32)))
(core module
(func (export "add_impl") (param i32 i32) (result i32)
(i32.add (local.get 0) (local.get 1))
)
)
(core instance (instantiate 0))
(alias core export 0 "add_impl" (core func))
(func (type 0) (canon lift (core func 0)))
(export "add" (func 1))
)
`, /invalid function index 1 for export/);
// Invalid type index.
wasmFailValidateText(`
(component
(type u32)
(export "bad" (type 5))
)
`, /invalid type index 5 for export/);
// Invalid core module index.
wasmFailValidateText(`
(component
(core module)
(export "bad" (core module 1))
)
`, /invalid core module index 1 for export/);
// Export name well-formedness
// Valid plain export names.
wasmValidateText(`
(component
(core module)
(export "my-module" (core module 0))
)
`);
// Valid interface export name.
// TODO(wasm-cm): Should we support interface names?
wasmFailValidateText(`
(component
(core module)
(export "wasi:http/handler" (core module 0))
)
`, /invalid characters in export name/);
// Export name must not be empty.
wasmFailValidateText(`
(component
(core module)
(export "" (core module 0))
)
`, /export name cannot be empty/);
// Export name with invalid characters.
wasmFailValidateText(`
(component
(core module)
(export "no spaces" (core module 0))
)
`, /invalid characters in export name/);
// Duplicate export names should be rejected.
wasmFailValidateText(`
(component
(core module)
(export "same" (core module 0))
(export "same" (core module 0))
)
`, /not strongly-unique/);
// Export a component - requires nested components (section ID 4) which aren't
// supported, so the component section itself is rejected.
// TODO(wasm-cm)
wasmFailValidateText(`
(component
(component)
(export "inner" (component 0))
)
`, /unexpected section ID/);
// Export a component instance - also requires nested components.
// TODO(wasm-cm)
wasmFailValidateText(`
(component
(component)
(instance (instantiate 0))
(export "inst" (instance 0))
)
`, /unexpected section ID/);
// ---- Integration test ----
// A complete component exercising types, core modules, instances, aliases,
// canon lift, and exports together.
wasmValidateText(`
(component
(type (func (param "a" s32) (param "b" s32) (result s32)))
(core module
(func (export "add_impl") (param i32 i32) (result i32)
(i32.add (local.get 0) (local.get 1))
)
)
(core module
(func (export "sub_impl") (param i32 i32) (result i32)
(i32.sub (local.get 0) (local.get 1))
)
)
(core instance (instantiate 0))
(core instance (instantiate 1))
(alias core export 0 "add_impl" (core func))
(alias core export 1 "sub_impl" (core func))
(func (type 0) (canon lift (core func 0)))
(func (type 0) (canon lift (core func 1)))
(export "add" (func 0))
(export "sub" (func 1))
)
`);