sway-core 0.35.3

Sway core language.
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

mod r#abstract;
mod allocated;
mod r#final;

use super::fuel::{
    abstract_instruction_set::AbstractInstructionSet,
    allocated_abstract_instruction_set::AllocatedAbstractInstructionSet, data_section::DataSection,
    register_sequencer::RegisterSequencer,
};

use crate::{
    asm_lang::{allocated_ops::AllocatedOp, Label},
    decl_engine::DeclRef,
};

type SelectorOpt = Option<[u8; 4]>;
type FnName = String;
type ImmOffset = u64;

#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum ProgramKind {
    Contract,
    Library,
    Predicate,
    Script,
}

/// An AbstractProgram represents code generated by the compilation from IR, with virtual registers
/// and abstract control flow.
///
/// Use `AbstractProgram::to_allocated_program()` to perform register allocation.
///
pub(super) struct AbstractProgram {
    kind: ProgramKind,
    data_section: DataSection,
    entries: Vec<AbstractEntry>,
    non_entries: Vec<AbstractInstructionSet>,
    reg_seqr: RegisterSequencer,
}

/// The entry point of an abstract program.
pub(super) struct AbstractEntry {
    pub(super) selector: SelectorOpt,
    pub(super) label: Label,
    pub(super) ops: AbstractInstructionSet,
    pub(super) name: FnName,
    pub(super) test_decl_ref: Option<DeclRef>,
}

/// An AllocatedProgram represents code which has allocated registers but still has abstract
/// control flow.
pub(super) struct AllocatedProgram {
    kind: ProgramKind,
    data_section: DataSection,
    prologue: AllocatedAbstractInstructionSet,
    functions: Vec<AllocatedAbstractInstructionSet>,
    entries: Vec<(SelectorOpt, Label, FnName, Option<DeclRef>)>,
}

/// A FinalProgram represents code which may be serialized to VM bytecode.
pub(super) enum FinalProgram {
    Fuel {
        kind: ProgramKind,
        data_section: DataSection,
        ops: Vec<AllocatedOp>,
        entries: Vec<(SelectorOpt, ImmOffset, FnName, Option<DeclRef>)>,
    },
    Evm {
        ops: Vec<etk_asm::ops::AbstractOp>,
        abi: Vec<ethabi::operation::Operation>,
    },
}