wasmi 0.36.0

WebAssembly interpreter
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

use super::Executor;
use crate::{
    core::UntypedVal,
    engine::bytecode::{BinInstr, BinInstrImm16},
};

#[cfg(doc)]
use crate::engine::bytecode::Instruction;

macro_rules! impl_comparison {
    ( $( (Instruction::$var_name:ident, $fn_name:ident, $op:expr) ),* $(,)? ) => {
        $(
            #[doc = concat!("Executes an [`Instruction::", stringify!($var_name), "`].")]
            #[inline(always)]
            pub fn $fn_name(&mut self, instr: BinInstr) {
                self.execute_binary(instr, $op)
            }
        )*
    };
}

impl<'engine> Executor<'engine> {
    impl_comparison! {
        (Instruction::I32Eq, execute_i32_eq, UntypedVal::i32_eq),
        (Instruction::I32Ne, execute_i32_ne, UntypedVal::i32_ne),
        (Instruction::I32LtS, execute_i32_lt_s, UntypedVal::i32_lt_s),
        (Instruction::I32LtU, execute_i32_lt_u, UntypedVal::i32_lt_u),
        (Instruction::I32LeS, execute_i32_le_s, UntypedVal::i32_le_s),
        (Instruction::I32LeU, execute_i32_le_u, UntypedVal::i32_le_u),
        (Instruction::I32GtS, execute_i32_gt_s, UntypedVal::i32_gt_s),
        (Instruction::I32GtU, execute_i32_gt_u, UntypedVal::i32_gt_u),
        (Instruction::I32GeS, execute_i32_ge_s, UntypedVal::i32_ge_s),
        (Instruction::I32GeU, execute_i32_ge_u, UntypedVal::i32_ge_u),

        (Instruction::I64Eq, execute_i64_eq, UntypedVal::i64_eq),
        (Instruction::I64Ne, execute_i64_ne, UntypedVal::i64_ne),
        (Instruction::I64LtS, execute_i64_lt_s, UntypedVal::i64_lt_s),
        (Instruction::I64LtU, execute_i64_lt_u, UntypedVal::i64_lt_u),
        (Instruction::I64LeS, execute_i64_le_s, UntypedVal::i64_le_s),
        (Instruction::I64LeU, execute_i64_le_u, UntypedVal::i64_le_u),
        (Instruction::I64GtS, execute_i64_gt_s, UntypedVal::i64_gt_s),
        (Instruction::I64GtU, execute_i64_gt_u, UntypedVal::i64_gt_u),
        (Instruction::I64GeS, execute_i64_ge_s, UntypedVal::i64_ge_s),
        (Instruction::I64GeU, execute_i64_ge_u, UntypedVal::i64_ge_u),

        (Instruction::F32Eq, execute_f32_eq, UntypedVal::f32_eq),
        (Instruction::F32Ne, execute_f32_ne, UntypedVal::f32_ne),
        (Instruction::F32Lt, execute_f32_lt, UntypedVal::f32_lt),
        (Instruction::F32Le, execute_f32_le, UntypedVal::f32_le),
        (Instruction::F32Gt, execute_f32_gt, UntypedVal::f32_gt),
        (Instruction::F32Ge, execute_f32_ge, UntypedVal::f32_ge),

        (Instruction::F64Eq, execute_f64_eq, UntypedVal::f64_eq),
        (Instruction::F64Ne, execute_f64_ne, UntypedVal::f64_ne),
        (Instruction::F64Lt, execute_f64_lt, UntypedVal::f64_lt),
        (Instruction::F64Le, execute_f64_le, UntypedVal::f64_le),
        (Instruction::F64Gt, execute_f64_gt, UntypedVal::f64_gt),
        (Instruction::F64Ge, execute_f64_ge, UntypedVal::f64_ge),
    }
}

macro_rules! impl_comparison_imm16 {
    ( $( ($ty:ty, Instruction::$var_name:ident, $fn_name:ident, $op:expr) ),* $(,)? ) => {
        $(
            #[doc = concat!("Executes an [`Instruction::", stringify!($var_name), "`].")]
            #[inline(always)]
            pub fn $fn_name(&mut self, instr: BinInstrImm16<$ty>) {
                self.execute_binary_imm16(instr, $op)
            }
        )*
    };
}

impl<'engine> Executor<'engine> {
    impl_comparison_imm16! {
        (i32, Instruction::I32EqImm16, execute_i32_eq_imm16, UntypedVal::i32_eq),
        (i32, Instruction::I32NeImm16, execute_i32_ne_imm16, UntypedVal::i32_ne),
        (i32, Instruction::I32LtSImm16, execute_i32_lt_s_imm16, UntypedVal::i32_lt_s),
        (u32, Instruction::I32LtUImm16, execute_i32_lt_u_imm16, UntypedVal::i32_lt_u),
        (i32, Instruction::I32LeSImm16, execute_i32_le_s_imm16, UntypedVal::i32_le_s),
        (u32, Instruction::I32LeUImm16, execute_i32_le_u_imm16, UntypedVal::i32_le_u),
        (i32, Instruction::I32GtSImm16, execute_i32_gt_s_imm16, UntypedVal::i32_gt_s),
        (u32, Instruction::I32GtUImm16, execute_i32_gt_u_imm16, UntypedVal::i32_gt_u),
        (i32, Instruction::I32GeSImm16, execute_i32_ge_s_imm16, UntypedVal::i32_ge_s),
        (u32, Instruction::I32GeUImm16, execute_i32_ge_u_imm16, UntypedVal::i32_ge_u),

        (i64, Instruction::I64EqImm16, execute_i64_eq_imm16, UntypedVal::i64_eq),
        (i64, Instruction::I64NeImm16, execute_i64_ne_imm16, UntypedVal::i64_ne),
        (i64, Instruction::I64LtSImm16, execute_i64_lt_s_imm16, UntypedVal::i64_lt_s),
        (u64, Instruction::I64LtUImm16, execute_i64_lt_u_imm16, UntypedVal::i64_lt_u),
        (i64, Instruction::I64LeSImm16, execute_i64_le_s_imm16, UntypedVal::i64_le_s),
        (u64, Instruction::I64LeUImm16, execute_i64_le_u_imm16, UntypedVal::i64_le_u),
        (i64, Instruction::I64GtSImm16, execute_i64_gt_s_imm16, UntypedVal::i64_gt_s),
        (u64, Instruction::I64GtUImm16, execute_i64_gt_u_imm16, UntypedVal::i64_gt_u),
        (i64, Instruction::I64GeSImm16, execute_i64_ge_s_imm16, UntypedVal::i64_ge_s),
        (u64, Instruction::I64GeUImm16, execute_i64_ge_u_imm16, UntypedVal::i64_ge_u),
    }
}