75 lines
1.9 KiB
WebAssembly Text Format
75 lines
1.9 KiB
WebAssembly Text Format
(module
|
|
(func (export "func"))
|
|
(func (export "func-i32") (param i32))
|
|
(func (export "func-f32") (param f32))
|
|
(func (export "func->i32") (result i32) (i32.const 22))
|
|
(func (export "func->f32") (result f32) (f32.const 11))
|
|
(func (export "func-i32->i32") (param i32) (result i32) (local.get 0))
|
|
(func (export "func-i64->i64") (param i64) (result i64) (local.get 0))
|
|
(global (export "global-i32") i32 (i32.const 55))
|
|
(global (export "global-f32") f32 (f32.const 44))
|
|
(global (export "global-mut-i64") (mut i64) (i64.const 66))
|
|
(table (export "table-10-inf") 10 funcref)
|
|
(table (export "table-10-20") 10 20 funcref)
|
|
(memory (export "memory-2-inf") 2)
|
|
(memory (export "memory-2-4") 2 4)
|
|
)
|
|
|
|
(register "test")
|
|
(assert_unlinkable
|
|
(module
|
|
(import "test" "memory-2-4" (memory 1))
|
|
(import "test" "func-i32" (memory 1))
|
|
)
|
|
"incompatible import type"
|
|
)
|
|
(assert_unlinkable
|
|
(module
|
|
(import "test" "memory-2-4" (memory 1))
|
|
(import "test" "global-i32" (memory 1))
|
|
)
|
|
"incompatible import type"
|
|
)
|
|
(assert_unlinkable
|
|
(module
|
|
(import "test" "memory-2-4" (memory 1))
|
|
(import "test" "table-10-inf" (memory 1))
|
|
)
|
|
"incompatible import type"
|
|
)
|
|
(assert_unlinkable
|
|
(module
|
|
(import "test" "memory-2-4" (memory 1))
|
|
(import "spectest" "print_i32" (memory 1))
|
|
)
|
|
"incompatible import type"
|
|
)
|
|
(assert_unlinkable
|
|
(module
|
|
(import "test" "memory-2-4" (memory 1))
|
|
(import "spectest" "global_i32" (memory 1))
|
|
)
|
|
"incompatible import type"
|
|
)
|
|
(assert_unlinkable
|
|
(module
|
|
(import "test" "memory-2-4" (memory 1))
|
|
(import "spectest" "table" (memory 1))
|
|
)
|
|
"incompatible import type"
|
|
)
|
|
|
|
(assert_unlinkable
|
|
(module
|
|
(import "test" "memory-2-4" (memory 1))
|
|
(import "spectest" "memory" (memory 2))
|
|
)
|
|
"incompatible import type"
|
|
)
|
|
(assert_unlinkable
|
|
(module
|
|
(import "test" "memory-2-4" (memory 1))
|
|
(import "spectest" "memory" (memory 1 1))
|
|
)
|
|
"incompatible import type"
|
|
)
|