celox-backend-cranelift 0.4.0

Celox Cranelift code-generation backend
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

//! Source-independent Cranelift translation and JIT compilation.

pub type HashMap<K, V> = fxhash::FxHashMap<K, V>;
pub type HashSet<K> = fxhash::FxHashSet<K>;

pub use celox_design::{
    BinaryOp, DomainKind, InstanceId, RegionedAbsoluteAddrBase, SPARSE_WORKING_REGION,
    STABLE_REGION, StateAddr, TriggerIdWithKind, UnaryOp, WORKING_REGION,
};
pub use celox_sir::*;

pub type AbsoluteAddr = celox_design::StateAddr;
pub type RegionedAbsoluteAddr = celox_design::RegionedStateAddr;

const MEM_SHIFT_THRESHOLD: usize = 4;

pub mod cost_model;
mod cranelift_options;
mod error;
mod jit_engine;
pub mod tail_call_split;
mod translator;
mod wide_ops;

pub use cranelift_options::{
    CraneliftDiagnostics, CraneliftOptLevel, CraneliftOptions, RegallocAlgorithm,
};
pub use error::CraneliftError;
pub use jit_engine::JitEngine;
pub use translator::SIRTranslator;

pub type MemoryLayout = celox_state_layout::MemoryLayout<celox_design::StateAddr>;
pub use celox_state_layout::get_byte_size;

/// Complete backend-owned policy required by SIR translation.
#[derive(Debug, Clone)]
pub struct CompileOptions {
    pub four_state: bool,
    pub emit_triggers: bool,
    pub cranelift: CraneliftOptions,
}