mirror of
https://github.com/mii443/wasmer.git
synced 2025-12-06 20:58:28 +00:00
Merge branch 'master' into feat-deprecated-runtime-core
This commit is contained in:
Ivan Enderlin
@@ -1,9 +0,0 @@
|
||||
(module
|
||||
(func (export "br") (block (br 0)))
|
||||
(func (export "br_if") (block (br_if 0 (i32.const 1))))
|
||||
(func (export "br_table") (block (br_table 0 (i32.const 0))))
|
||||
)
|
||||
|
||||
(assert_return (invoke "br"))
|
||||
(assert_return (invoke "br_if"))
|
||||
(assert_return (invoke "br_table"))
|
||||
482
globals.wast
482
globals.wast
@@ -1,482 +0,0 @@
|
||||
;; Test globals
|
||||
|
||||
(module
|
||||
(global $a i32 (i32.const -2))
|
||||
(global (;1;) f32 (f32.const -3))
|
||||
(global (;2;) f64 (f64.const -4))
|
||||
(global $b i64 (i64.const -5))
|
||||
|
||||
(global $x (mut i32) (i32.const -12))
|
||||
(global (;5;) (mut f32) (f32.const -13))
|
||||
(global (;6;) (mut f64) (f64.const -14))
|
||||
(global $y (mut i64) (i64.const -15))
|
||||
|
||||
(func (export "get-a") (result i32) (global.get $a))
|
||||
(func (export "get-b") (result i64) (global.get $b))
|
||||
(func (export "get-x") (result i32) (global.get $x))
|
||||
(func (export "get-y") (result i64) (global.get $y))
|
||||
(func (export "set-x") (param i32) (global.set $x (local.get 0)))
|
||||
(func (export "set-y") (param i64) (global.set $y (local.get 0)))
|
||||
|
||||
(func (export "get-1") (result f32) (global.get 1))
|
||||
(func (export "get-2") (result f64) (global.get 2))
|
||||
(func (export "get-5") (result f32) (global.get 5))
|
||||
(func (export "get-6") (result f64) (global.get 6))
|
||||
(func (export "set-5") (param f32) (global.set 5 (local.get 0)))
|
||||
(func (export "set-6") (param f64) (global.set 6 (local.get 0)))
|
||||
|
||||
;; As the argument of control constructs and instructions
|
||||
|
||||
(memory 1)
|
||||
|
||||
(func $dummy)
|
||||
|
||||
(func (export "as-select-first") (result i32)
|
||||
(select (global.get $x) (i32.const 2) (i32.const 3))
|
||||
)
|
||||
(func (export "as-select-mid") (result i32)
|
||||
(select (i32.const 2) (global.get $x) (i32.const 3))
|
||||
)
|
||||
(func (export "as-select-last") (result i32)
|
||||
(select (i32.const 2) (i32.const 3) (global.get $x))
|
||||
)
|
||||
|
||||
(func (export "as-loop-first") (result i32)
|
||||
(loop (result i32)
|
||||
(global.get $x) (call $dummy) (call $dummy)
|
||||
)
|
||||
)
|
||||
(func (export "as-loop-mid") (result i32)
|
||||
(loop (result i32)
|
||||
(call $dummy) (global.get $x) (call $dummy)
|
||||
)
|
||||
)
|
||||
(func (export "as-loop-last") (result i32)
|
||||
(loop (result i32)
|
||||
(call $dummy) (call $dummy) (global.get $x)
|
||||
)
|
||||
)
|
||||
|
||||
(func (export "as-if-condition") (result i32)
|
||||
(if (result i32) (global.get $x)
|
||||
(then (call $dummy) (i32.const 2))
|
||||
(else (call $dummy) (i32.const 3))
|
||||
)
|
||||
)
|
||||
(func (export "as-if-then") (result i32)
|
||||
(if (result i32) (i32.const 1)
|
||||
(then (global.get $x)) (else (i32.const 2))
|
||||
)
|
||||
)
|
||||
(func (export "as-if-else") (result i32)
|
||||
(if (result i32) (i32.const 0)
|
||||
(then (i32.const 2)) (else (global.get $x))
|
||||
)
|
||||
)
|
||||
|
||||
(func (export "as-br_if-first") (result i32)
|
||||
(block (result i32)
|
||||
(br_if 0 (global.get $x) (i32.const 2))
|
||||
(return (i32.const 3))
|
||||
)
|
||||
)
|
||||
(func (export "as-br_if-last") (result i32)
|
||||
(block (result i32)
|
||||
(br_if 0 (i32.const 2) (global.get $x))
|
||||
(return (i32.const 3))
|
||||
)
|
||||
)
|
||||
|
||||
(func (export "as-br_table-first") (result i32)
|
||||
(block (result i32)
|
||||
(global.get $x) (i32.const 2) (br_table 0 0)
|
||||
)
|
||||
)
|
||||
(func (export "as-br_table-last") (result i32)
|
||||
(block (result i32)
|
||||
(i32.const 2) (global.get $x) (br_table 0 0)
|
||||
)
|
||||
)
|
||||
|
||||
(func $func (param i32 i32) (result i32) (local.get 0))
|
||||
(type $check (func (param i32 i32) (result i32)))
|
||||
(table funcref (elem $func))
|
||||
(func (export "as-call_indirect-first") (result i32)
|
||||
(block (result i32)
|
||||
(call_indirect (type $check)
|
||||
(global.get $x) (i32.const 2) (i32.const 0)
|
||||
)
|
||||
)
|
||||
)
|
||||
(func (export "as-call_indirect-mid") (result i32)
|
||||
(block (result i32)
|
||||
(call_indirect (type $check)
|
||||
(i32.const 2) (global.get $x) (i32.const 0)
|
||||
)
|
||||
)
|
||||
)
|
||||
(func (export "as-call_indirect-last") (result i32)
|
||||
(block (result i32)
|
||||
(call_indirect (type $check)
|
||||
(i32.const 2) (i32.const 0) (global.get $x)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func (export "as-store-first")
|
||||
(global.get $x) (i32.const 1) (i32.store)
|
||||
)
|
||||
(func (export "as-store-last")
|
||||
(i32.const 0) (global.get $x) (i32.store)
|
||||
)
|
||||
(func (export "as-load-operand") (result i32)
|
||||
(i32.load (global.get $x))
|
||||
)
|
||||
(func (export "as-memory.grow-value") (result i32)
|
||||
(memory.grow (global.get $x))
|
||||
)
|
||||
|
||||
(func $f (param i32) (result i32) (local.get 0))
|
||||
(func (export "as-call-value") (result i32)
|
||||
(call $f (global.get $x))
|
||||
)
|
||||
|
||||
(func (export "as-return-value") (result i32)
|
||||
(global.get $x) (return)
|
||||
)
|
||||
(func (export "as-drop-operand")
|
||||
(drop (global.get $x))
|
||||
)
|
||||
(func (export "as-br-value") (result i32)
|
||||
(block (result i32) (br 0 (global.get $x)))
|
||||
)
|
||||
|
||||
(func (export "as-local.set-value") (param i32) (result i32)
|
||||
(local.set 0 (global.get $x))
|
||||
(local.get 0)
|
||||
)
|
||||
(func (export "as-local.tee-value") (param i32) (result i32)
|
||||
(local.tee 0 (global.get $x))
|
||||
)
|
||||
(func (export "as-global.set-value") (result i32)
|
||||
(global.set $x (global.get $x))
|
||||
(global.get $x)
|
||||
)
|
||||
|
||||
(func (export "as-unary-operand") (result i32)
|
||||
(i32.eqz (global.get $x))
|
||||
)
|
||||
(func (export "as-binary-operand") (result i32)
|
||||
(i32.mul
|
||||
(global.get $x) (global.get $x)
|
||||
)
|
||||
)
|
||||
(func (export "as-compare-operand") (result i32)
|
||||
(i32.gt_u
|
||||
(global.get 0) (i32.const 1)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(assert_return (invoke "get-a") (i32.const -2))
|
||||
(assert_return (invoke "get-b") (i64.const -5))
|
||||
(assert_return (invoke "get-x") (i32.const -12))
|
||||
(assert_return (invoke "get-y") (i64.const -15))
|
||||
|
||||
(assert_return (invoke "get-1") (f32.const -3))
|
||||
(assert_return (invoke "get-2") (f64.const -4))
|
||||
(assert_return (invoke "get-5") (f32.const -13))
|
||||
(assert_return (invoke "get-6") (f64.const -14))
|
||||
|
||||
(assert_return (invoke "set-x" (i32.const 6)))
|
||||
(assert_return (invoke "set-y" (i64.const 7)))
|
||||
(assert_return (invoke "set-5" (f32.const 8)))
|
||||
(assert_return (invoke "set-6" (f64.const 9)))
|
||||
|
||||
(assert_return (invoke "get-x") (i32.const 6))
|
||||
(assert_return (invoke "get-y") (i64.const 7))
|
||||
(assert_return (invoke "get-5") (f32.const 8))
|
||||
(assert_return (invoke "get-6") (f64.const 9))
|
||||
|
||||
(assert_return (invoke "as-select-first") (i32.const 6))
|
||||
(assert_return (invoke "as-select-mid") (i32.const 2))
|
||||
(assert_return (invoke "as-select-last") (i32.const 2))
|
||||
|
||||
(assert_return (invoke "as-loop-first") (i32.const 6))
|
||||
(assert_return (invoke "as-loop-mid") (i32.const 6))
|
||||
(assert_return (invoke "as-loop-last") (i32.const 6))
|
||||
|
||||
(assert_return (invoke "as-if-condition") (i32.const 2))
|
||||
(assert_return (invoke "as-if-then") (i32.const 6))
|
||||
(assert_return (invoke "as-if-else") (i32.const 6))
|
||||
|
||||
(assert_return (invoke "as-br_if-first") (i32.const 6))
|
||||
(assert_return (invoke "as-br_if-last") (i32.const 2))
|
||||
|
||||
(assert_return (invoke "as-br_table-first") (i32.const 6))
|
||||
(assert_return (invoke "as-br_table-last") (i32.const 2))
|
||||
|
||||
(assert_return (invoke "as-call_indirect-first") (i32.const 6))
|
||||
(assert_return (invoke "as-call_indirect-mid") (i32.const 2))
|
||||
(assert_trap (invoke "as-call_indirect-last") "undefined element")
|
||||
|
||||
(assert_return (invoke "as-store-first"))
|
||||
(assert_return (invoke "as-store-last"))
|
||||
(assert_return (invoke "as-load-operand") (i32.const 1))
|
||||
(assert_return (invoke "as-memory.grow-value") (i32.const 1))
|
||||
|
||||
(assert_return (invoke "as-call-value") (i32.const 6))
|
||||
|
||||
(assert_return (invoke "as-return-value") (i32.const 6))
|
||||
(assert_return (invoke "as-drop-operand"))
|
||||
(assert_return (invoke "as-br-value") (i32.const 6))
|
||||
|
||||
(assert_return (invoke "as-local.set-value" (i32.const 1)) (i32.const 6))
|
||||
(assert_return (invoke "as-local.tee-value" (i32.const 1)) (i32.const 6))
|
||||
(assert_return (invoke "as-global.set-value") (i32.const 6))
|
||||
|
||||
(assert_return (invoke "as-unary-operand") (i32.const 0))
|
||||
(assert_return (invoke "as-binary-operand") (i32.const 36))
|
||||
(assert_return (invoke "as-compare-operand") (i32.const 1))
|
||||
|
||||
(assert_invalid
|
||||
(module (global f32 (f32.const 0)) (func (global.set 0 (f32.const 1))))
|
||||
"global is immutable"
|
||||
)
|
||||
|
||||
;; mutable globals can be exported
|
||||
(module (global (mut f32) (f32.const 0)) (export "a" (global 0)))
|
||||
(module (global (export "a") (mut f32) (f32.const 0)))
|
||||
|
||||
(assert_invalid
|
||||
(module (global f32 (f32.neg (f32.const 0))))
|
||||
"constant expression required"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global f32 (local.get 0)))
|
||||
"constant expression required"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global f32 (f32.neg (f32.const 1))))
|
||||
"constant expression required"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global i32 (i32.const 0) (nop)))
|
||||
"constant expression required"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global i32 (nop)))
|
||||
"constant expression required"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global i32 (f32.const 0)))
|
||||
"type mismatch"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global i32 (i32.const 0) (i32.const 0)))
|
||||
"type mismatch"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global i32 (;empty instruction sequence;)))
|
||||
"type mismatch"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global i32 (global.get 0)))
|
||||
"unknown global"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module (global i32 (global.get 1)) (global i32 (i32.const 0)))
|
||||
"unknown global"
|
||||
)
|
||||
|
||||
(module
|
||||
(import "spectest" "global_i32" (global i32))
|
||||
)
|
||||
(assert_malformed
|
||||
(module binary
|
||||
"\00asm" "\01\00\00\00"
|
||||
"\02\98\80\80\80\00" ;; import section
|
||||
"\01" ;; length 1
|
||||
"\08\73\70\65\63\74\65\73\74" ;; "spectest"
|
||||
"\0a\67\6c\6f\62\61\6c\5f\69\33\32" ;; "global_i32"
|
||||
"\03" ;; GlobalImport
|
||||
"\7f" ;; i32
|
||||
"\02" ;; invalid mutability
|
||||
)
|
||||
"invalid mutability"
|
||||
)
|
||||
(assert_malformed
|
||||
(module binary
|
||||
"\00asm" "\01\00\00\00"
|
||||
"\02\98\80\80\80\00" ;; import section
|
||||
"\01" ;; length 1
|
||||
"\08\73\70\65\63\74\65\73\74" ;; "spectest"
|
||||
"\0a\67\6c\6f\62\61\6c\5f\69\33\32" ;; "global_i32"
|
||||
"\03" ;; GlobalImport
|
||||
"\7f" ;; i32
|
||||
"\ff" ;; invalid mutability
|
||||
)
|
||||
"invalid mutability"
|
||||
)
|
||||
|
||||
(module
|
||||
(global i32 (i32.const 0))
|
||||
)
|
||||
(assert_malformed
|
||||
(module binary
|
||||
"\00asm" "\01\00\00\00"
|
||||
"\06\86\80\80\80\00" ;; global section
|
||||
"\01" ;; length 1
|
||||
"\7f" ;; i32
|
||||
"\02" ;; invalid mutability
|
||||
"\41\00" ;; i32.const 0
|
||||
"\0b" ;; end
|
||||
)
|
||||
"invalid mutability"
|
||||
)
|
||||
(assert_malformed
|
||||
(module binary
|
||||
"\00asm" "\01\00\00\00"
|
||||
"\06\86\80\80\80\00" ;; global section
|
||||
"\01" ;; length 1
|
||||
"\7f" ;; i32
|
||||
"\ff" ;; invalid mutability
|
||||
"\41\00" ;; i32.const 0
|
||||
"\0b" ;; end
|
||||
)
|
||||
"invalid mutability"
|
||||
)
|
||||
|
||||
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty
|
||||
(global.set $x)
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-block
|
||||
(i32.const 0)
|
||||
(block (global.set $x))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-loop
|
||||
(i32.const 0)
|
||||
(loop (global.set $x))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-then
|
||||
(i32.const 0) (i32.const 0)
|
||||
(if (then (global.set $x)))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-else
|
||||
(i32.const 0) (i32.const 0)
|
||||
(if (result i32) (then (i32.const 0)) (else (global.set $x)))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-br
|
||||
(i32.const 0)
|
||||
(block (br 0 (global.set $x)))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-br_if
|
||||
(i32.const 0)
|
||||
(block (br_if 0 (global.set $x)))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-br_table
|
||||
(i32.const 0)
|
||||
(block (br_table 0 (global.set $x)))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-return
|
||||
(return (global.set $x))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-select
|
||||
(select (global.set $x) (i32.const 1) (i32.const 2))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $type-global.set-value-empty-in-call
|
||||
(call 1 (global.set $x))
|
||||
)
|
||||
(func (param i32) (result i32) (local.get 0))
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(global $x (mut i32) (i32.const 0))
|
||||
(func $f (param i32) (result i32) (local.get 0))
|
||||
(type $sig (func (param i32) (result i32)))
|
||||
(table funcref (elem $f))
|
||||
(func $type-global.set-value-empty-in-call_indirect
|
||||
(block (result i32)
|
||||
(call_indirect (type $sig)
|
||||
(global.set $x) (i32.const 0)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
96
lib/api/src/externals/function.rs
vendored
96
lib/api/src/externals/function.rs
vendored
@@ -5,7 +5,7 @@ use crate::types::Val;
|
||||
use crate::FunctionType;
|
||||
use crate::NativeFunc;
|
||||
use crate::RuntimeError;
|
||||
pub use inner::{HostFunction, WasmExternType, WasmTypeList, WithEnv, WithoutEnv};
|
||||
pub use inner::{FromToNativeWasmType, HostFunction, WasmTypeList, WithEnv, WithoutEnv};
|
||||
use std::cell::RefCell;
|
||||
use std::cmp::max;
|
||||
use wasmer_runtime::{
|
||||
@@ -505,43 +505,71 @@ mod inner {
|
||||
use wasm_common::{FunctionType, NativeWasmType, Type};
|
||||
use wasmer_runtime::{raise_user_trap, resume_panic, VMFunctionBody};
|
||||
|
||||
/// A trait to represent a wasm extern type.
|
||||
pub unsafe trait WasmExternType: Copy
|
||||
/// A trait to convert a Rust value to a `WasmNativeType` value,
|
||||
/// or to convert `WasmNativeType` value to a Rust value.
|
||||
///
|
||||
/// This trait should ideally be splitted into two traits:
|
||||
/// `FromNativeWasmType` and `ToNativeWasmType` but it creates a
|
||||
/// non-negligeable complexity in the `WasmTypeList`
|
||||
/// implementation.
|
||||
pub unsafe trait FromToNativeWasmType: Copy
|
||||
where
|
||||
Self: Sized,
|
||||
{
|
||||
/// Native wasm type for this `WasmExternType`.
|
||||
/// Native Wasm type.
|
||||
type Native: NativeWasmType;
|
||||
|
||||
/// Convert from given `Native` type to self.
|
||||
/// Convert a value of kind `Self::Native` to `Self`.
|
||||
///
|
||||
/// # Panics
|
||||
///
|
||||
/// This method panics if `native` cannot fit in the `Self`
|
||||
/// type`.
|
||||
fn from_native(native: Self::Native) -> Self;
|
||||
|
||||
/// Convert self to `Native` type.
|
||||
/// Convert self to `Self::Native`.
|
||||
///
|
||||
/// # Panics
|
||||
///
|
||||
/// This method panics if `self` cannot fit in the
|
||||
/// `Self::Native` type.
|
||||
fn to_native(self) -> Self::Native;
|
||||
}
|
||||
|
||||
macro_rules! wasm_extern_type {
|
||||
macro_rules! from_to_native_wasm_type {
|
||||
( $( $type:ty => $native_type:ty ),* ) => {
|
||||
$(
|
||||
#[allow(clippy::use_self)]
|
||||
unsafe impl WasmExternType for $type {
|
||||
unsafe impl FromToNativeWasmType for $type {
|
||||
type Native = $native_type;
|
||||
|
||||
#[inline]
|
||||
fn from_native(native: Self::Native) -> Self {
|
||||
native as _
|
||||
native.try_into().expect(concat!(
|
||||
"out of range type conversion attempt (tried to convert `",
|
||||
stringify!($native_type),
|
||||
"` to `",
|
||||
stringify!($type),
|
||||
"`)",
|
||||
))
|
||||
}
|
||||
|
||||
#[inline]
|
||||
fn to_native(self) -> Self::Native {
|
||||
self as _
|
||||
self.try_into().expect(concat!(
|
||||
"out of range type conversion attempt (tried to convert `",
|
||||
stringify!($type),
|
||||
"` to `",
|
||||
stringify!($native_type),
|
||||
"`)",
|
||||
))
|
||||
}
|
||||
}
|
||||
)*
|
||||
};
|
||||
}
|
||||
|
||||
wasm_extern_type!(
|
||||
from_to_native_wasm_type!(
|
||||
i8 => i32,
|
||||
u8 => i32,
|
||||
i16 => i32,
|
||||
@@ -554,6 +582,26 @@ mod inner {
|
||||
f64 => f64
|
||||
);
|
||||
|
||||
#[cfg(test)]
|
||||
mod test_from_to_native_wasm_type {
|
||||
use super::*;
|
||||
|
||||
#[test]
|
||||
fn test_to_native() {
|
||||
assert_eq!(7i8.to_native(), 7i32);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[should_panic(
|
||||
expected = "out of range type conversion attempt (tried to convert `u32` to `i32`)"
|
||||
)]
|
||||
fn test_to_native_panics() {
|
||||
use std::{i32, u32};
|
||||
|
||||
assert_eq!(u32::MAX.to_native(), i32::MAX);
|
||||
}
|
||||
}
|
||||
|
||||
/// The `WasmTypeList` trait represents a tuple (list) of Wasm
|
||||
/// typed values. It is used to get low-level representation of
|
||||
/// such a tuple.
|
||||
@@ -729,9 +777,9 @@ mod inner {
|
||||
/// A structure with a C-compatible representation that can hold a set of Wasm values.
|
||||
/// This type is used by `WasmTypeList::CStruct`.
|
||||
#[repr($c_struct_representation)]
|
||||
pub struct $c_struct_name< $( $x ),* > ( $( <$x as WasmExternType>::Native ),* )
|
||||
pub struct $c_struct_name< $( $x ),* > ( $( <$x as FromToNativeWasmType>::Native ),* )
|
||||
where
|
||||
$( $x: WasmExternType ),*;
|
||||
$( $x: FromToNativeWasmType ),*;
|
||||
|
||||
// Implement `WasmTypeList` for a specific tuple.
|
||||
#[allow(unused_parens, dead_code)]
|
||||
@@ -740,7 +788,7 @@ mod inner {
|
||||
for
|
||||
( $( $x ),* )
|
||||
where
|
||||
$( $x: WasmExternType ),*
|
||||
$( $x: FromToNativeWasmType ),*
|
||||
{
|
||||
type CStruct = $c_struct_name< $( $x ),* >;
|
||||
|
||||
@@ -754,7 +802,7 @@ mod inner {
|
||||
// Build the tuple.
|
||||
(
|
||||
$(
|
||||
WasmExternType::from_native(NativeWasmType::from_binary($x))
|
||||
FromToNativeWasmType::from_native(NativeWasmType::from_binary($x))
|
||||
),*
|
||||
)
|
||||
}
|
||||
@@ -771,7 +819,7 @@ mod inner {
|
||||
// Build the array.
|
||||
[
|
||||
$(
|
||||
WasmExternType::to_native($x).to_binary()
|
||||
FromToNativeWasmType::to_native($x).to_binary()
|
||||
),*
|
||||
]
|
||||
}
|
||||
@@ -788,7 +836,7 @@ mod inner {
|
||||
|
||||
(
|
||||
$(
|
||||
WasmExternType::from_native($x)
|
||||
FromToNativeWasmType::from_native($x)
|
||||
),*
|
||||
)
|
||||
}
|
||||
@@ -801,7 +849,7 @@ mod inner {
|
||||
// Build the C structure.
|
||||
$c_struct_name(
|
||||
$(
|
||||
WasmExternType::to_native($x)
|
||||
FromToNativeWasmType::to_native($x)
|
||||
),*
|
||||
)
|
||||
}
|
||||
@@ -823,7 +871,7 @@ mod inner {
|
||||
for
|
||||
Func
|
||||
where
|
||||
$( $x: WasmExternType, )*
|
||||
$( $x: FromToNativeWasmType, )*
|
||||
Rets: WasmTypeList,
|
||||
RetsAsResult: IntoResult<Rets>,
|
||||
Func: Fn($( $x , )*) -> RetsAsResult + 'static + Send,
|
||||
@@ -835,14 +883,14 @@ mod inner {
|
||||
/// runtime.
|
||||
extern fn func_wrapper<$( $x, )* Rets, RetsAsResult, Func>( _: usize, $($x: $x::Native, )* ) -> Rets::CStruct
|
||||
where
|
||||
$( $x: WasmExternType, )*
|
||||
$( $x: FromToNativeWasmType, )*
|
||||
Rets: WasmTypeList,
|
||||
RetsAsResult: IntoResult<Rets>,
|
||||
Func: Fn( $( $x ),* ) -> RetsAsResult + 'static
|
||||
{
|
||||
let func: &Func = unsafe { &*(&() as *const () as *const Func) };
|
||||
let result = panic::catch_unwind(AssertUnwindSafe(|| {
|
||||
func( $( WasmExternType::from_native($x) ),* ).into_result()
|
||||
func( $( FromToNativeWasmType::from_native($x) ),* ).into_result()
|
||||
}));
|
||||
|
||||
match result {
|
||||
@@ -862,7 +910,7 @@ mod inner {
|
||||
for
|
||||
Func
|
||||
where
|
||||
$( $x: WasmExternType, )*
|
||||
$( $x: FromToNativeWasmType, )*
|
||||
Rets: WasmTypeList,
|
||||
RetsAsResult: IntoResult<Rets>,
|
||||
Env: Sized,
|
||||
@@ -875,7 +923,7 @@ mod inner {
|
||||
/// runtime.
|
||||
extern fn func_wrapper<$( $x, )* Rets, RetsAsResult, Env, Func>( env: &mut Env, $( $x: $x::Native, )* ) -> Rets::CStruct
|
||||
where
|
||||
$( $x: WasmExternType, )*
|
||||
$( $x: FromToNativeWasmType, )*
|
||||
Rets: WasmTypeList,
|
||||
RetsAsResult: IntoResult<Rets>,
|
||||
Env: Sized,
|
||||
@@ -884,7 +932,7 @@ mod inner {
|
||||
let func: &Func = unsafe { &*(&() as *const () as *const Func) };
|
||||
|
||||
let result = panic::catch_unwind(AssertUnwindSafe(|| {
|
||||
func(env, $( WasmExternType::from_native($x) ),* ).into_result()
|
||||
func(env, $( FromToNativeWasmType::from_native($x) ),* ).into_result()
|
||||
}));
|
||||
|
||||
match result {
|
||||
|
||||
2
lib/api/src/externals/mod.rs
vendored
2
lib/api/src/externals/mod.rs
vendored
@@ -4,7 +4,7 @@ mod memory;
|
||||
mod table;
|
||||
|
||||
pub use self::function::{
|
||||
Function, HostFunction, WasmExternType, WasmTypeList, WithEnv, WithoutEnv,
|
||||
FromToNativeWasmType, Function, HostFunction, WasmTypeList, WithEnv, WithoutEnv,
|
||||
};
|
||||
pub use self::global::Global;
|
||||
pub use self::memory::Memory;
|
||||
|
||||
@@ -17,10 +17,18 @@ mod tunables;
|
||||
mod types;
|
||||
mod utils;
|
||||
|
||||
pub mod internals {
|
||||
//! We use the internals module for exporting types that are only
|
||||
//! intended to use in internal crates such as the compatibility crate
|
||||
//! `wasmer-runtime`. Please don't use any of this types directly, as
|
||||
//! they might change frequently or be removed in the future.
|
||||
|
||||
pub use crate::externals::{WithEnv, WithoutEnv};
|
||||
}
|
||||
|
||||
pub use crate::exports::{ExportError, Exportable, Exports, ExportsIterator};
|
||||
pub use crate::externals::{
|
||||
Extern, Function, Global, HostFunction, Memory, Table, WasmExternType, WasmTypeList, WithEnv,
|
||||
WithoutEnv,
|
||||
Extern, FromToNativeWasmType, Function, Global, HostFunction, Memory, Table, WasmTypeList,
|
||||
};
|
||||
pub use crate::import_object::{ImportObject, ImportObjectIterator, LikeNamespace};
|
||||
pub use crate::instance::Instance;
|
||||
|
||||
@@ -13,7 +13,7 @@ use crate::externals::function::{
|
||||
FunctionDefinition, HostFunctionDefinition, VMDynamicFunction, VMDynamicFunctionWithEnv,
|
||||
VMDynamicFunctionWithoutEnv, WasmFunctionDefinition,
|
||||
};
|
||||
use crate::{Function, FunctionType, RuntimeError, Store, WasmExternType, WasmTypeList};
|
||||
use crate::{FromToNativeWasmType, Function, FunctionType, RuntimeError, Store, WasmTypeList};
|
||||
use std::panic::{catch_unwind, AssertUnwindSafe};
|
||||
use wasm_common::NativeWasmType;
|
||||
use wasmer_runtime::{
|
||||
@@ -97,7 +97,7 @@ macro_rules! impl_native_traits {
|
||||
#[allow(unused_parens, non_snake_case)]
|
||||
impl<'a $( , $x )*, Rets> NativeFunc<'a, ( $( $x ),* ), Rets>
|
||||
where
|
||||
$( $x: WasmExternType, )*
|
||||
$( $x: FromToNativeWasmType, )*
|
||||
Rets: WasmTypeList,
|
||||
{
|
||||
/// Call the typed func and return results.
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
//! Therefore, you should use this abstraction whenever possible to avoid memory
|
||||
//! related bugs when implementing an ABI.
|
||||
|
||||
use crate::{externals::Memory, WasmExternType};
|
||||
use crate::{externals::Memory, FromToNativeWasmType};
|
||||
use std::{cell::Cell, fmt, marker::PhantomData, mem};
|
||||
use wasm_common::ValueType;
|
||||
|
||||
@@ -218,7 +218,7 @@ impl<T: Copy + ValueType> WasmPtr<T, Array> {
|
||||
}
|
||||
}
|
||||
|
||||
unsafe impl<T: Copy, Ty> WasmExternType for WasmPtr<T, Ty> {
|
||||
unsafe impl<T: Copy, Ty> FromToNativeWasmType for WasmPtr<T, Ty> {
|
||||
type Native = i32;
|
||||
|
||||
fn to_native(self) -> Self::Native {
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
#![allow(dead_code)]
|
||||
|
||||
use std::{cell::Cell, fmt};
|
||||
pub use wasmer::{Array, Memory, ValueType, WasmExternType};
|
||||
pub use wasmer::{Array, FromToNativeWasmType, Memory, ValueType};
|
||||
|
||||
#[repr(transparent)]
|
||||
pub struct WasmPtr<T: Copy, Ty = wasmer::Item>(wasmer::WasmPtr<T, Ty>);
|
||||
@@ -26,8 +26,8 @@ impl<T: Copy, Ty> fmt::Debug for WasmPtr<T, Ty> {
|
||||
}
|
||||
}
|
||||
|
||||
unsafe impl<T: Copy, Ty> WasmExternType for WasmPtr<T, Ty> {
|
||||
type Native = <wasmer::WasmPtr<T, Ty> as WasmExternType>::Native;
|
||||
unsafe impl<T: Copy, Ty> FromToNativeWasmType for WasmPtr<T, Ty> {
|
||||
type Native = <wasmer::WasmPtr<T, Ty> as FromToNativeWasmType>::Native;
|
||||
|
||||
fn to_native(self) -> Self::Native {
|
||||
self.0.to_native()
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
use crate::EmEnv;
|
||||
use std::mem;
|
||||
use wasmer::WasmExternType;
|
||||
use wasmer::FromToNativeWasmType;
|
||||
// use std::ffi::CStr;
|
||||
use std::os::raw::c_char;
|
||||
|
||||
@@ -26,7 +26,7 @@ impl VarArgs {
|
||||
}
|
||||
}
|
||||
|
||||
unsafe impl WasmExternType for VarArgs {
|
||||
unsafe impl FromToNativeWasmType for VarArgs {
|
||||
type Native = i32;
|
||||
|
||||
fn to_native(self) -> Self::Native {
|
||||
|
||||
@@ -175,8 +175,9 @@ impl WasiEnv {
|
||||
}
|
||||
}
|
||||
|
||||
/// Create an [`ImportObject`] with an existing [`WasiState`]. [`WasiState`]
|
||||
/// can be constructed from a [`WasiStateBuilder`](state::WasiStateBuilder).
|
||||
/// Create an [`ImportObject`] with an existing [`WasiEnv`]. `WasiEnv`
|
||||
/// needs a [`WasiState`], that can be constructed from a
|
||||
/// [`WasiStateBuilder`](state::WasiStateBuilder).
|
||||
pub fn generate_import_object_from_env(
|
||||
store: &Store,
|
||||
wasi_env: WasiEnv,
|
||||
|
||||
@@ -3,7 +3,7 @@
|
||||
|
||||
use crate::syscalls::types::{__wasi_errno_t, __WASI_EFAULT};
|
||||
use std::{cell::Cell, fmt};
|
||||
pub use wasmer::{Array, Item, Memory, ValueType, WasmExternType, WasmPtr as BaseWasmPtr};
|
||||
pub use wasmer::{Array, FromToNativeWasmType, Item, Memory, ValueType, WasmPtr as BaseWasmPtr};
|
||||
|
||||
#[repr(transparent)]
|
||||
pub struct WasmPtr<T: Copy, Ty = Item>(BaseWasmPtr<T, Ty>);
|
||||
@@ -24,8 +24,8 @@ impl<T: Copy, Ty> fmt::Debug for WasmPtr<T, Ty> {
|
||||
}
|
||||
}
|
||||
|
||||
unsafe impl<T: Copy, Ty> WasmExternType for WasmPtr<T, Ty> {
|
||||
type Native = <BaseWasmPtr<T, Ty> as WasmExternType>::Native;
|
||||
unsafe impl<T: Copy, Ty> FromToNativeWasmType for WasmPtr<T, Ty> {
|
||||
type Native = <BaseWasmPtr<T, Ty> as FromToNativeWasmType>::Native;
|
||||
|
||||
fn to_native(self) -> Self::Native {
|
||||
self.0.to_native()
|
||||
|
||||
@@ -3,8 +3,11 @@
|
||||
|
||||
use crate::types::Type;
|
||||
use crate::values::Value;
|
||||
use std::fmt;
|
||||
|
||||
/// `NativeWasmType` represents a native Wasm type.
|
||||
/// `NativeWasmType` represents a Wasm type that has a direct
|
||||
/// representation on the host (hence the “native” term).
|
||||
///
|
||||
/// It uses the Rust Type system to automatically detect the
|
||||
/// Wasm type associated with a native Rust type.
|
||||
///
|
||||
@@ -19,7 +22,7 @@ use crate::values::Value;
|
||||
/// > automatically detect the signature of a Rust function.
|
||||
pub trait NativeWasmType: Sized {
|
||||
/// The ABI for this type (i32, i64, f32, f64)
|
||||
type Abi: Copy + std::fmt::Debug;
|
||||
type Abi: Copy + fmt::Debug;
|
||||
|
||||
/// Type for this `NativeWasmType`.
|
||||
const WASM_TYPE: Type;
|
||||
@@ -33,9 +36,10 @@ pub trait NativeWasmType: Sized {
|
||||
/// Convert self to i128 binary representation.
|
||||
fn to_binary(self) -> i128;
|
||||
|
||||
/// Convert self to a `Value`
|
||||
/// Convert self to a `Value`.
|
||||
fn to_value<T>(self) -> Value<T> {
|
||||
let binary = self.to_binary();
|
||||
|
||||
unsafe { Value::read_value_from(&binary, Self::WASM_TYPE) }
|
||||
}
|
||||
|
||||
@@ -57,10 +61,12 @@ impl NativeWasmType for i32 {
|
||||
self
|
||||
}
|
||||
|
||||
#[inline]
|
||||
fn to_binary(self) -> i128 {
|
||||
self as _
|
||||
}
|
||||
|
||||
#[inline]
|
||||
fn from_binary(bits: i128) -> Self {
|
||||
bits as _
|
||||
}
|
||||
@@ -150,6 +156,14 @@ mod test_native_type {
|
||||
assert_eq!(f32::WASM_TYPE, Type::F32);
|
||||
assert_eq!(f64::WASM_TYPE, Type::F64);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_roundtrip() {
|
||||
assert_eq!(i32::from_binary(42i32.to_binary()), 42i32);
|
||||
assert_eq!(i64::from_binary(42i64.to_binary()), 42i64);
|
||||
assert_eq!(f32::from_binary(42f32.to_binary()), 42f32);
|
||||
assert_eq!(f64::from_binary(42f64.to_binary()), 42f64);
|
||||
}
|
||||
}
|
||||
|
||||
// pub trait IntegerAtomic
|
||||
|
||||
@@ -16,9 +16,9 @@ DisableWelcomePage=no
|
||||
|
||||
[Registry]
|
||||
Root: HKCU; Subkey: "Environment"; ValueType:string; ValueName: "WASMER_DIR"; \
|
||||
ValueData: "{%USERPROFILE}\.wasmer"; Flags: preservestringtype
|
||||
ValueData: "{app}"; Flags: preservestringtype
|
||||
Root: HKCU; Subkey: "Environment"; ValueType:string; ValueName: "WASMER_CACHE_DIR"; \
|
||||
ValueData: "{%USERPROFILE}\.wasmer\cache"; Flags: preservestringtype
|
||||
ValueData: "{app}\cache"; Flags: preservestringtype
|
||||
|
||||
[Files]
|
||||
Source: "..\..\package\bin\*"; DestDir: "{app}\bin"
|
||||
@@ -29,7 +29,7 @@ Source: "..\..\package\ATTRIBUTIONS"; DestDir: "{app}"
|
||||
Source: "wax.cmd"; DestDir: "{app}\bin"
|
||||
|
||||
[Dirs]
|
||||
Name: "{%USERPROFILE}\.wasmer"
|
||||
Name: "{app}\cache"
|
||||
|
||||
[Code]
|
||||
const EnvironmentKey = 'SYSTEM\CurrentControlSet\Control\Session Manager\Environment';
|
||||
@@ -81,7 +81,7 @@ begin
|
||||
if CurStep = ssPostInstall
|
||||
then begin
|
||||
EnvAddPath(ExpandConstant('{app}') +'\bin');
|
||||
EnvAddPath(ExpandConstant('{%USERPROFILE}') +'\globals\wapm_packages\.bin');
|
||||
EnvAddPath(ExpandConstant('{app}') +'\globals\wapm_packages\.bin');
|
||||
end
|
||||
end;
|
||||
|
||||
@@ -90,6 +90,6 @@ begin
|
||||
if CurUninstallStep = usPostUninstall
|
||||
then begin
|
||||
EnvRemovePath(ExpandConstant('{app}') +'\bin');
|
||||
EnvAddPath(ExpandConstant('{%USERPROFILE}') +'\globals\wapm_packages\.bin');
|
||||
EnvAddPath(ExpandConstant('{app}') +'\globals\wapm_packages\.bin');
|
||||
end
|
||||
end;
|
||||
|
||||
212
typecheck.wast
212
typecheck.wast
@@ -1,212 +0,0 @@
|
||||
;; TODO: move all tests in this file to appropriate operator-specific files.
|
||||
|
||||
;; TODO(stack): more of the above
|
||||
|
||||
;; if condition
|
||||
(assert_invalid (module (func (if (f32.const 0) (then)))) "type mismatch")
|
||||
|
||||
;; br_if condition
|
||||
(assert_invalid (module (func (block (br_if 0 (f32.const 0))))) "type mismatch")
|
||||
|
||||
;; br_table key
|
||||
(assert_invalid
|
||||
(module (func (block (br_table 0 (f32.const 0)))))
|
||||
"type mismatch")
|
||||
|
||||
;; call params
|
||||
(assert_invalid (module (func (param i32)) (func (call 0 (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param i32)))
|
||||
(func (type 0))
|
||||
(table 0 funcref)
|
||||
(func
|
||||
(call_indirect (type 0) (i32.const 0) (f32.const 0))))
|
||||
"type mismatch")
|
||||
|
||||
;; call_indirect index
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func))
|
||||
(func (type 0))
|
||||
(table 0 funcref)
|
||||
(func (call_indirect (type 0) (f32.const 0))))
|
||||
"type mismatch")
|
||||
|
||||
;; return
|
||||
(assert_invalid (module (func (result i32) (return (f32.const 0)))) "type mismatch")
|
||||
|
||||
;; local.set
|
||||
(assert_invalid (module (func (local i32) (local.set 0 (f32.const 0)))) "type mismatch")
|
||||
|
||||
;; load index
|
||||
(assert_invalid (module (memory 1) (func (i32.load (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i32.load8_s (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i32.load8_u (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i32.load16_s (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i32.load16_u (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.load (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.load8_s (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.load8_u (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.load16_s (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.load16_u (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.load32_s (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.load32_u (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (f32.load (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (f64.load (f32.const 0)))) "type mismatch")
|
||||
|
||||
;; store index
|
||||
(assert_invalid (module (memory 1) (func (i32.store (f32.const 0) (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i32.store8 (f32.const 0) (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i32.store16 (f32.const 0) (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.store (f32.const 0) (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.store8 (f32.const 0) (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.store16 (f32.const 0) (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.store32 (f32.const 0) (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (f32.store (f32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (f64.store (f32.const 0) (f64.const 0)))) "type mismatch")
|
||||
|
||||
;; store value
|
||||
(assert_invalid (module (memory 1) (func (i32.store (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i32.store8 (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i32.store16 (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.store (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.store8 (i32.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.store16 (i32.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (i64.store32 (i32.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (f32.store (i32.const 0) (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (memory 1) (func (f64.store (i32.const 0) (i64.const 0)))) "type mismatch")
|
||||
|
||||
;; binary
|
||||
(assert_invalid (module (func (i32.add (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.and (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.div_s (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.div_u (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.mul (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.or (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.rem_s (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.rem_u (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.rotl (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.rotr (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.shl (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.shr_s (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.shr_u (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.sub (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.xor (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.add (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.and (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.div_s (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.div_u (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.mul (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.or (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.rem_s (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.rem_u (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.rotl (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.rotr (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.shl (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.shr_s (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.shr_u (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.sub (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.xor (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.add (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.copysign (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.div (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.max (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.min (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.mul (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.sub (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.add (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.copysign (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.div (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.max (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.min (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.mul (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.sub (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
|
||||
;; unary
|
||||
(assert_invalid (module (func (i32.eqz (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.clz (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.ctz (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.popcnt (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.eqz (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.clz (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.ctz (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.popcnt (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.abs (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.ceil (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.floor (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.nearest (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.neg (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.sqrt (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.trunc (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.abs (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.ceil (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.floor (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.nearest (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.neg (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.sqrt (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.trunc (i64.const 0)))) "type mismatch")
|
||||
|
||||
;; compare
|
||||
(assert_invalid (module (func (i32.eq (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.ge_s (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.ge_u (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.gt_s (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.gt_u (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.le_s (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.le_u (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.lt_s (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.lt_u (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.ne (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.eq (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.ge_s (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.ge_u (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.gt_s (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.gt_u (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.le_s (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.le_u (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.lt_s (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.lt_u (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.ne (i32.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.eq (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.ge (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.gt (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.le (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.lt (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.ne (i64.const 0) (f64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.eq (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.ge (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.gt (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.le (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.lt (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.ne (i64.const 0) (f32.const 0)))) "type mismatch")
|
||||
|
||||
;; convert
|
||||
(assert_invalid (module (func (i32.wrap_i64 (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.trunc_f32_s (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.trunc_f32_u (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.trunc_f64_s (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.trunc_f64_u (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i32.reinterpret_f32 (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.extend_i32_s (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.extend_i32_u (f32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.trunc_f32_s (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.trunc_f32_u (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.trunc_f64_s (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.trunc_f64_u (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (i64.reinterpret_f64 (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.convert_i32_s (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.convert_i32_u (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.convert_i64_s (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.convert_i64_u (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.demote_f64 (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f32.reinterpret_i32 (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.convert_i32_s (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.convert_i32_u (i64.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.convert_i64_s (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.convert_i64_u (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.promote_f32 (i32.const 0)))) "type mismatch")
|
||||
(assert_invalid (module (func (f64.reinterpret_i64 (i32.const 0)))) "type mismatch")
|
||||
|
||||
;; memory.grow
|
||||
(assert_invalid (module (memory 1) (func (memory.grow (f32.const 0)))) "type mismatch")
|
||||
Reference in New Issue
Block a user