mirror of
https://github.com/fluencelabs/parity-wasm
synced 2025-06-01 00:51:42 +00:00
use self::Opcode::*
This commit is contained in:
Sergey Pepyakin
parent
dea1f3cac0
commit
7c7e3bd051
@ -115,197 +115,198 @@ impl Validator {
|
||||
}
|
||||
|
||||
fn validate_instruction(context: &mut FunctionValidationContext, opcode: &Opcode) -> Result<InstructionOutcome, Error> {
|
||||
use self::Opcode::*;
|
||||
debug!(target: "validator", "validating {:?}", opcode);
|
||||
match *opcode {
|
||||
Opcode::Unreachable => Ok(InstructionOutcome::Unreachable),
|
||||
Opcode::Nop => Ok(InstructionOutcome::ValidateNextInstruction),
|
||||
Opcode::Block(block_type) => Validator::validate_block(context, block_type),
|
||||
Opcode::Loop(block_type) => Validator::validate_loop(context, block_type),
|
||||
Opcode::If(block_type) => Validator::validate_if(context, block_type),
|
||||
Opcode::Else => Validator::validate_else(context),
|
||||
Opcode::End => Validator::validate_end(context),
|
||||
Opcode::Br(idx) => Validator::validate_br(context, idx),
|
||||
Opcode::BrIf(idx) => Validator::validate_br_if(context, idx),
|
||||
Opcode::BrTable(ref table, default) => Validator::validate_br_table(context, table, default),
|
||||
Opcode::Return => Validator::validate_return(context),
|
||||
Unreachable => Ok(InstructionOutcome::Unreachable),
|
||||
Nop => Ok(InstructionOutcome::ValidateNextInstruction),
|
||||
Block(block_type) => Validator::validate_block(context, block_type),
|
||||
Loop(block_type) => Validator::validate_loop(context, block_type),
|
||||
If(block_type) => Validator::validate_if(context, block_type),
|
||||
Else => Validator::validate_else(context),
|
||||
End => Validator::validate_end(context),
|
||||
Br(idx) => Validator::validate_br(context, idx),
|
||||
BrIf(idx) => Validator::validate_br_if(context, idx),
|
||||
BrTable(ref table, default) => Validator::validate_br_table(context, table, default),
|
||||
Return => Validator::validate_return(context),
|
||||
|
||||
Opcode::Call(index) => Validator::validate_call(context, index),
|
||||
Opcode::CallIndirect(index, _reserved) => Validator::validate_call_indirect(context, index),
|
||||
Call(index) => Validator::validate_call(context, index),
|
||||
CallIndirect(index, _reserved) => Validator::validate_call_indirect(context, index),
|
||||
|
||||
Opcode::Drop => Validator::validate_drop(context),
|
||||
Opcode::Select => Validator::validate_select(context),
|
||||
Drop => Validator::validate_drop(context),
|
||||
Select => Validator::validate_select(context),
|
||||
|
||||
Opcode::GetLocal(index) => Validator::validate_get_local(context, index),
|
||||
Opcode::SetLocal(index) => Validator::validate_set_local(context, index),
|
||||
Opcode::TeeLocal(index) => Validator::validate_tee_local(context, index),
|
||||
Opcode::GetGlobal(index) => Validator::validate_get_global(context, index),
|
||||
Opcode::SetGlobal(index) => Validator::validate_set_global(context, index),
|
||||
GetLocal(index) => Validator::validate_get_local(context, index),
|
||||
SetLocal(index) => Validator::validate_set_local(context, index),
|
||||
TeeLocal(index) => Validator::validate_tee_local(context, index),
|
||||
GetGlobal(index) => Validator::validate_get_global(context, index),
|
||||
SetGlobal(index) => Validator::validate_set_global(context, index),
|
||||
|
||||
Opcode::I32Load(align, _) => Validator::validate_load(context, align, 4, ValueType::I32.into()),
|
||||
Opcode::I64Load(align, _) => Validator::validate_load(context, align, 8, ValueType::I64.into()),
|
||||
Opcode::F32Load(align, _) => Validator::validate_load(context, align, 4, ValueType::F32.into()),
|
||||
Opcode::F64Load(align, _) => Validator::validate_load(context, align, 8, ValueType::F64.into()),
|
||||
Opcode::I32Load8S(align, _) => Validator::validate_load(context, align, 1, ValueType::I32.into()),
|
||||
Opcode::I32Load8U(align, _) => Validator::validate_load(context, align, 1, ValueType::I32.into()),
|
||||
Opcode::I32Load16S(align, _) => Validator::validate_load(context, align, 2, ValueType::I32.into()),
|
||||
Opcode::I32Load16U(align, _) => Validator::validate_load(context, align, 2, ValueType::I32.into()),
|
||||
Opcode::I64Load8S(align, _) => Validator::validate_load(context, align, 1, ValueType::I64.into()),
|
||||
Opcode::I64Load8U(align, _) => Validator::validate_load(context, align, 1, ValueType::I64.into()),
|
||||
Opcode::I64Load16S(align, _) => Validator::validate_load(context, align, 2, ValueType::I64.into()),
|
||||
Opcode::I64Load16U(align, _) => Validator::validate_load(context, align, 2, ValueType::I64.into()),
|
||||
Opcode::I64Load32S(align, _) => Validator::validate_load(context, align, 4, ValueType::I64.into()),
|
||||
Opcode::I64Load32U(align, _) => Validator::validate_load(context, align, 4, ValueType::I64.into()),
|
||||
I32Load(align, _) => Validator::validate_load(context, align, 4, ValueType::I32.into()),
|
||||
I64Load(align, _) => Validator::validate_load(context, align, 8, ValueType::I64.into()),
|
||||
F32Load(align, _) => Validator::validate_load(context, align, 4, ValueType::F32.into()),
|
||||
F64Load(align, _) => Validator::validate_load(context, align, 8, ValueType::F64.into()),
|
||||
I32Load8S(align, _) => Validator::validate_load(context, align, 1, ValueType::I32.into()),
|
||||
I32Load8U(align, _) => Validator::validate_load(context, align, 1, ValueType::I32.into()),
|
||||
I32Load16S(align, _) => Validator::validate_load(context, align, 2, ValueType::I32.into()),
|
||||
I32Load16U(align, _) => Validator::validate_load(context, align, 2, ValueType::I32.into()),
|
||||
I64Load8S(align, _) => Validator::validate_load(context, align, 1, ValueType::I64.into()),
|
||||
I64Load8U(align, _) => Validator::validate_load(context, align, 1, ValueType::I64.into()),
|
||||
I64Load16S(align, _) => Validator::validate_load(context, align, 2, ValueType::I64.into()),
|
||||
I64Load16U(align, _) => Validator::validate_load(context, align, 2, ValueType::I64.into()),
|
||||
I64Load32S(align, _) => Validator::validate_load(context, align, 4, ValueType::I64.into()),
|
||||
I64Load32U(align, _) => Validator::validate_load(context, align, 4, ValueType::I64.into()),
|
||||
|
||||
Opcode::I32Store(align, _) => Validator::validate_store(context, align, 4, ValueType::I32.into()),
|
||||
Opcode::I64Store(align, _) => Validator::validate_store(context, align, 8, ValueType::I64.into()),
|
||||
Opcode::F32Store(align, _) => Validator::validate_store(context, align, 4, ValueType::F32.into()),
|
||||
Opcode::F64Store(align, _) => Validator::validate_store(context, align, 8, ValueType::F64.into()),
|
||||
Opcode::I32Store8(align, _) => Validator::validate_store(context, align, 1, ValueType::I32.into()),
|
||||
Opcode::I32Store16(align, _) => Validator::validate_store(context, align, 2, ValueType::I32.into()),
|
||||
Opcode::I64Store8(align, _) => Validator::validate_store(context, align, 1, ValueType::I64.into()),
|
||||
Opcode::I64Store16(align, _) => Validator::validate_store(context, align, 2, ValueType::I64.into()),
|
||||
Opcode::I64Store32(align, _) => Validator::validate_store(context, align, 4, ValueType::I64.into()),
|
||||
I32Store(align, _) => Validator::validate_store(context, align, 4, ValueType::I32.into()),
|
||||
I64Store(align, _) => Validator::validate_store(context, align, 8, ValueType::I64.into()),
|
||||
F32Store(align, _) => Validator::validate_store(context, align, 4, ValueType::F32.into()),
|
||||
F64Store(align, _) => Validator::validate_store(context, align, 8, ValueType::F64.into()),
|
||||
I32Store8(align, _) => Validator::validate_store(context, align, 1, ValueType::I32.into()),
|
||||
I32Store16(align, _) => Validator::validate_store(context, align, 2, ValueType::I32.into()),
|
||||
I64Store8(align, _) => Validator::validate_store(context, align, 1, ValueType::I64.into()),
|
||||
I64Store16(align, _) => Validator::validate_store(context, align, 2, ValueType::I64.into()),
|
||||
I64Store32(align, _) => Validator::validate_store(context, align, 4, ValueType::I64.into()),
|
||||
|
||||
Opcode::CurrentMemory(_) => Validator::validate_current_memory(context),
|
||||
Opcode::GrowMemory(_) => Validator::validate_grow_memory(context),
|
||||
CurrentMemory(_) => Validator::validate_current_memory(context),
|
||||
GrowMemory(_) => Validator::validate_grow_memory(context),
|
||||
|
||||
Opcode::I32Const(_) => Validator::validate_const(context, ValueType::I32.into()),
|
||||
Opcode::I64Const(_) => Validator::validate_const(context, ValueType::I64.into()),
|
||||
Opcode::F32Const(_) => Validator::validate_const(context, ValueType::F32.into()),
|
||||
Opcode::F64Const(_) => Validator::validate_const(context, ValueType::F64.into()),
|
||||
I32Const(_) => Validator::validate_const(context, ValueType::I32.into()),
|
||||
I64Const(_) => Validator::validate_const(context, ValueType::I64.into()),
|
||||
F32Const(_) => Validator::validate_const(context, ValueType::F32.into()),
|
||||
F64Const(_) => Validator::validate_const(context, ValueType::F64.into()),
|
||||
|
||||
Opcode::I32Eqz => Validator::validate_testop(context, ValueType::I32.into()),
|
||||
Opcode::I32Eq => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32Ne => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32LtS => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32LtU => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32GtS => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32GtU => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32LeS => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32LeU => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32GeS => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
Opcode::I32GeU => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32Eqz => Validator::validate_testop(context, ValueType::I32.into()),
|
||||
I32Eq => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32Ne => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32LtS => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32LtU => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32GtS => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32GtU => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32LeS => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32LeU => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32GeS => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
I32GeU => Validator::validate_relop(context, ValueType::I32.into()),
|
||||
|
||||
Opcode::I64Eqz => Validator::validate_testop(context, ValueType::I64.into()),
|
||||
Opcode::I64Eq => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64Ne => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64LtS => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64LtU => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64GtS => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64GtU => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64LeS => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64LeU => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64GeS => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
Opcode::I64GeU => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64Eqz => Validator::validate_testop(context, ValueType::I64.into()),
|
||||
I64Eq => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64Ne => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64LtS => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64LtU => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64GtS => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64GtU => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64LeS => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64LeU => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64GeS => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
I64GeU => Validator::validate_relop(context, ValueType::I64.into()),
|
||||
|
||||
Opcode::F32Eq => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
Opcode::F32Ne => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
Opcode::F32Lt => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
Opcode::F32Gt => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
Opcode::F32Le => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
Opcode::F32Ge => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
F32Eq => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
F32Ne => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
F32Lt => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
F32Gt => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
F32Le => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
F32Ge => Validator::validate_relop(context, ValueType::F32.into()),
|
||||
|
||||
Opcode::F64Eq => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
Opcode::F64Ne => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
Opcode::F64Lt => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
Opcode::F64Gt => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
Opcode::F64Le => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
Opcode::F64Ge => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
F64Eq => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
F64Ne => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
F64Lt => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
F64Gt => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
F64Le => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
F64Ge => Validator::validate_relop(context, ValueType::F64.into()),
|
||||
|
||||
Opcode::I32Clz => Validator::validate_unop(context, ValueType::I32.into()),
|
||||
Opcode::I32Ctz => Validator::validate_unop(context, ValueType::I32.into()),
|
||||
Opcode::I32Popcnt => Validator::validate_unop(context, ValueType::I32.into()),
|
||||
Opcode::I32Add => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32Sub => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32Mul => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32DivS => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32DivU => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32RemS => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32RemU => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32And => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32Or => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32Xor => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32Shl => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32ShrS => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32ShrU => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32Rotl => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
Opcode::I32Rotr => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32Clz => Validator::validate_unop(context, ValueType::I32.into()),
|
||||
I32Ctz => Validator::validate_unop(context, ValueType::I32.into()),
|
||||
I32Popcnt => Validator::validate_unop(context, ValueType::I32.into()),
|
||||
I32Add => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32Sub => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32Mul => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32DivS => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32DivU => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32RemS => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32RemU => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32And => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32Or => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32Xor => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32Shl => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32ShrS => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32ShrU => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32Rotl => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
I32Rotr => Validator::validate_binop(context, ValueType::I32.into()),
|
||||
|
||||
Opcode::I64Clz => Validator::validate_unop(context, ValueType::I64.into()),
|
||||
Opcode::I64Ctz => Validator::validate_unop(context, ValueType::I64.into()),
|
||||
Opcode::I64Popcnt => Validator::validate_unop(context, ValueType::I64.into()),
|
||||
Opcode::I64Add => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64Sub => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64Mul => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64DivS => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64DivU => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64RemS => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64RemU => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64And => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64Or => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64Xor => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64Shl => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64ShrS => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64ShrU => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64Rotl => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
Opcode::I64Rotr => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64Clz => Validator::validate_unop(context, ValueType::I64.into()),
|
||||
I64Ctz => Validator::validate_unop(context, ValueType::I64.into()),
|
||||
I64Popcnt => Validator::validate_unop(context, ValueType::I64.into()),
|
||||
I64Add => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64Sub => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64Mul => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64DivS => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64DivU => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64RemS => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64RemU => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64And => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64Or => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64Xor => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64Shl => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64ShrS => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64ShrU => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64Rotl => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
I64Rotr => Validator::validate_binop(context, ValueType::I64.into()),
|
||||
|
||||
Opcode::F32Abs => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
Opcode::F32Neg => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
Opcode::F32Ceil => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
Opcode::F32Floor => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
Opcode::F32Trunc => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
Opcode::F32Nearest => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
Opcode::F32Sqrt => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
Opcode::F32Add => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
Opcode::F32Sub => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
Opcode::F32Mul => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
Opcode::F32Div => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
Opcode::F32Min => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
Opcode::F32Max => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
Opcode::F32Copysign => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
F32Abs => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
F32Neg => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
F32Ceil => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
F32Floor => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
F32Trunc => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
F32Nearest => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
F32Sqrt => Validator::validate_unop(context, ValueType::F32.into()),
|
||||
F32Add => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
F32Sub => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
F32Mul => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
F32Div => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
F32Min => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
F32Max => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
F32Copysign => Validator::validate_binop(context, ValueType::F32.into()),
|
||||
|
||||
Opcode::F64Abs => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
Opcode::F64Neg => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
Opcode::F64Ceil => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
Opcode::F64Floor => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
Opcode::F64Trunc => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
Opcode::F64Nearest => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
Opcode::F64Sqrt => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
Opcode::F64Add => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
Opcode::F64Sub => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
Opcode::F64Mul => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
Opcode::F64Div => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
Opcode::F64Min => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
Opcode::F64Max => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
Opcode::F64Copysign => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
F64Abs => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
F64Neg => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
F64Ceil => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
F64Floor => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
F64Trunc => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
F64Nearest => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
F64Sqrt => Validator::validate_unop(context, ValueType::F64.into()),
|
||||
F64Add => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
F64Sub => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
F64Mul => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
F64Div => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
F64Min => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
F64Max => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
F64Copysign => Validator::validate_binop(context, ValueType::F64.into()),
|
||||
|
||||
Opcode::I32WarpI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::I32.into()),
|
||||
Opcode::I32TruncSF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I32.into()),
|
||||
Opcode::I32TruncUF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I32.into()),
|
||||
Opcode::I32TruncSF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I32.into()),
|
||||
Opcode::I32TruncUF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I32.into()),
|
||||
Opcode::I64ExtendSI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::I64.into()),
|
||||
Opcode::I64ExtendUI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::I64.into()),
|
||||
Opcode::I64TruncSF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I64.into()),
|
||||
Opcode::I64TruncUF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I64.into()),
|
||||
Opcode::I64TruncSF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I64.into()),
|
||||
Opcode::I64TruncUF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I64.into()),
|
||||
Opcode::F32ConvertSI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F32.into()),
|
||||
Opcode::F32ConvertUI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F32.into()),
|
||||
Opcode::F32ConvertSI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F32.into()),
|
||||
Opcode::F32ConvertUI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F32.into()),
|
||||
Opcode::F32DemoteF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::F32.into()),
|
||||
Opcode::F64ConvertSI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F64.into()),
|
||||
Opcode::F64ConvertUI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F64.into()),
|
||||
Opcode::F64ConvertSI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F64.into()),
|
||||
Opcode::F64ConvertUI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F64.into()),
|
||||
Opcode::F64PromoteF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::F64.into()),
|
||||
I32WarpI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::I32.into()),
|
||||
I32TruncSF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I32.into()),
|
||||
I32TruncUF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I32.into()),
|
||||
I32TruncSF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I32.into()),
|
||||
I32TruncUF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I32.into()),
|
||||
I64ExtendSI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::I64.into()),
|
||||
I64ExtendUI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::I64.into()),
|
||||
I64TruncSF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I64.into()),
|
||||
I64TruncUF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I64.into()),
|
||||
I64TruncSF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I64.into()),
|
||||
I64TruncUF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I64.into()),
|
||||
F32ConvertSI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F32.into()),
|
||||
F32ConvertUI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F32.into()),
|
||||
F32ConvertSI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F32.into()),
|
||||
F32ConvertUI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F32.into()),
|
||||
F32DemoteF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::F32.into()),
|
||||
F64ConvertSI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F64.into()),
|
||||
F64ConvertUI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F64.into()),
|
||||
F64ConvertSI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F64.into()),
|
||||
F64ConvertUI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F64.into()),
|
||||
F64PromoteF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::F64.into()),
|
||||
|
||||
Opcode::I32ReinterpretF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I32.into()),
|
||||
Opcode::I64ReinterpretF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I64.into()),
|
||||
Opcode::F32ReinterpretI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F32.into()),
|
||||
Opcode::F64ReinterpretI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F64.into()),
|
||||
I32ReinterpretF32 => Validator::validate_cvtop(context, ValueType::F32.into(), ValueType::I32.into()),
|
||||
I64ReinterpretF64 => Validator::validate_cvtop(context, ValueType::F64.into(), ValueType::I64.into()),
|
||||
F32ReinterpretI32 => Validator::validate_cvtop(context, ValueType::I32.into(), ValueType::F32.into()),
|
||||
F64ReinterpretI64 => Validator::validate_cvtop(context, ValueType::I64.into(), ValueType::F64.into()),
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user