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

use super::*;

#[test]
#[cfg_attr(miri, ignore)]
fn binop_i32_eqz() {
    fn test_for(
        op: &str,
        expect_instr: fn(result: Register, lhs: Register, rhs: Register) -> Instruction,
    ) {
        let wasm = &format!(
            r"
            (module
                (func (param i32 i32) (result i32)
                    (local.get 0)
                    (local.get 1)
                    (i32.{op})
                    (i32.eqz)
                )
            )",
        );
        TranslationTest::from_wat(wasm)
            .expect_func_instrs([
                expect_instr(
                    Register::from_i16(2),
                    Register::from_i16(0),
                    Register::from_i16(1),
                ),
                Instruction::return_reg(2),
            ])
            .run()
    }
    test_for("and", Instruction::i32_and_eqz);
    test_for("or", Instruction::i32_or_eqz);
    test_for("xor", Instruction::i32_xor_eqz);
}

#[test]
#[cfg_attr(miri, ignore)]
fn binop_imm_i32_eqz() {
    fn test_for(
        op: &str,
        expect_instr: fn(result: Register, lhs: Register, rhs: Const16<i32>) -> Instruction,
    ) {
        let wasm = &format!(
            r"
            (module
                (func (param i32 i32) (result i32)
                    (local.get 0)
                    (i32.const 1)
                    (i32.{op})
                    (i32.eqz)
                )
            )",
        );
        TranslationTest::from_wat(wasm)
            .expect_func_instrs([
                expect_instr(
                    Register::from_i16(2),
                    Register::from_i16(0),
                    Const16::from(1),
                ),
                Instruction::return_reg(2),
            ])
            .run()
    }
    test_for("and", Instruction::i32_and_eqz_imm16);
    test_for("or", Instruction::i32_or_eqz_imm16);
    test_for("xor", Instruction::i32_xor_eqz_imm16);
}