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
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

use crate::{CompiledFunc, LocalDepth, NumLocals, RwasmExecutor, UntypedValue};

impl<'a, T> RwasmExecutor<'a, T> {
    #[inline(always)]
    pub(crate) fn visit_local_get(&mut self, local_depth: LocalDepth) {
        let value = self.sp.nth_back(local_depth as usize);
        self.sp.push(value);
        self.ip.add(1);
    }

    #[inline(always)]
    pub(crate) fn visit_local_set(&mut self, local_depth: LocalDepth) {
        let new_value = self.sp.pop();
        self.sp.set_nth_back(local_depth as usize, new_value);
        self.ip.add(1);
    }

    #[inline(always)]
    pub(crate) fn visit_local_tee(&mut self, local_depth: LocalDepth) {
        let new_value = self.sp.last();
        self.sp.set_nth_back(local_depth as usize, new_value);
        self.ip.add(1);
    }

    #[inline(always)]
    pub(crate) fn visit_drop(&mut self) {
        self.sp.drop();
        self.ip.add(1);
    }

    #[inline(always)]
    pub(crate) fn visit_select(&mut self) {
        self.sp.eval_top3(|e1, e2, e3| {
            let condition = <bool as From<UntypedValue>>::from(e3);
            if condition {
                e1
            } else {
                e2
            }
        });
        self.ip.add(1);
    }

    #[inline(always)]
    pub(crate) fn visit_ref_func(&mut self, compiled_func: CompiledFunc) {
        self.sp.push_as(compiled_func);
        self.ip.add(1);
    }

    #[inline(always)]
    pub(crate) fn visit_i32_const(&mut self, untyped_value: UntypedValue) {
        self.sp.push(untyped_value);
        self.ip.add(1);
    }

    #[inline(always)]
    pub(crate) fn visit_bulk_const(&mut self, imm: NumLocals) {
        // TODO(dmitry123): We can optimize it, but need to support bulk stack reset
        for _ in 0..imm {
            self.sp.push_i32(0);
        }
        self.ip.add(1);
    }

    #[inline(always)]
    pub(crate) fn visit_bulk_drop(&mut self, imm: NumLocals) {
        self.sp.drop_n(imm as usize);
        self.ip.add(1);
    }
}