zksync_vm2 0.5.0

High-performance rewrite of the out-of-circuit VM for ZKsync Era
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

/// Select an instantiation of a generic function based on runtime variables
/// For example `monomorphize!(load [H] match_reg_imm src match_boolean increment)`
macro_rules! monomorphize {
    ($function_name: ident [$($types: tt)*] $next_matcher: ident $($rest: ident)*) => {
        $next_matcher!([$($types)*] $($rest)* parameterize $function_name)
    };

    ($function_name: ident $($rest: ident)*) => {
        monomorphize!($function_name [] $($rest)*)
    };
}

macro_rules! match_source {
    ([ $($types: tt)* ] $input_type: ident $next_matcher: ident $($rest: ident)*) => {
        match $input_type {
            AnySource::Register1(_) => $next_matcher!([$($types)* Register1] $($rest)*),
            AnySource::Immediate1(_) => $next_matcher!([$($types)* Immediate1] $($rest)*),
            AnySource::AbsoluteStack(_) => $next_matcher!([$($types)* AbsoluteStack] $($rest)*),
            AnySource::RelativeStack(_) => $next_matcher!([$($types)* RelativeStack] $($rest)*),
            AnySource::AdvanceStackPointer(_) => $next_matcher!([$($types)* AdvanceStackPointer] $($rest)*),
            AnySource::CodePage(_) => $next_matcher!([$($types)* CodePage] $($rest)*),
        }
    };
}

macro_rules! match_reg_imm {
    ([ $($types: tt)* ] $input_type: ident $next_matcher: ident $($rest: ident)*) => {
        match $input_type {
            RegisterOrImmediate::Register1(_) => $next_matcher!([$($types)* Register1] $($rest)*),
            RegisterOrImmediate::Immediate1(_) => $next_matcher!([$($types)* Immediate1] $($rest)*),
        }
    };
}

macro_rules! match_destination {
    ([ $($types: tt)* ] $input_type: ident $next_matcher: ident $($rest: ident)*) => {
        match $input_type {
            AnyDestination::Register1(_) => $next_matcher!([$($types)* Register1] $($rest)*),
            AnyDestination::AbsoluteStack(_) => $next_matcher!([$($types)* AbsoluteStack] $($rest)*),
            AnyDestination::RelativeStack(_) => $next_matcher!([$($types)* RelativeStack] $($rest)*),
            AnyDestination::AdvanceStackPointer(_) => $next_matcher!([$($types)* AdvanceStackPointer] $($rest)*),
        }
    };
}

macro_rules! match_boolean {
    ([ $($types: tt)* ] $increment: ident $next_matcher: ident $($rest: ident)*) => {
        if $increment {
            $next_matcher!([$($types)* {true}] $($rest)*)
        } else {
            $next_matcher!([$($types)* {false}] $($rest)*)
        }
    };
}

macro_rules! parameterize {
    ([$($types: tt)*] $function_name:ident) => {
        $function_name::<$($types),*>
    };
}

pub(crate) use match_boolean;
pub(crate) use match_destination;
pub(crate) use match_reg_imm;
pub(crate) use match_source;
pub(crate) use monomorphize;
pub(crate) use parameterize;