rwasm 0.4.3

ZK-friendly WebAssembly runtime optimized for blockchain and zero-knowledge applications
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

use crate::InstructionSet;

impl InstructionSet {
    pub const MSH_I64_ADD: u32 = 4;
    pub const MSH_I64_SUB: u32 = 8;

    /// Max stack height: 4
    pub fn op_i64_add(&mut self) {
        self.op_local_get(4);
        self.op_local_get(3);
        self.op_i32_add64();
        self.op_local_get(5);
        self.op_local_get(4);
        self.op_i32_add();
        self.op_i32_add();
        self.op_local_set(4);
        self.op_local_set(4);
        self.op_drop();
        self.op_drop();
    }

    /// Max stack height: 8
    pub fn op_i64_sub(&mut self) {
        // TODO(dmitry123): "looks optimizable"
        self.op_local_get(4);
        self.op_local_get(3);
        self.op_i32_sub();
        self.op_local_get(5);
        self.op_local_get(4);
        self.op_i32_lt_u();
        self.op_local_get(5);
        self.op_local_get(4);
        self.op_i32_sub();
        self.op_local_get(2);
        self.op_i32_sub();
        self.op_local_set(5);
        self.op_drop();
        self.op_local_set(4);
        self.op_drop();
        self.op_drop();
    }
}