Functions — github.com/SaberVM/SaberVM

CodeHub MCPcopy Create free account

hub / github.com/SaberVM/SaberVM / functions

Functions45 in github.com/SaberVM/SaberVM

⨍ Functions 45 ◇ Types & classes 19

↓ 27 callersMethodsize

src/header.rs:173

↓ 12 callersFunctionensure_size

start a new contiguous stack chunk if the given size wouldn't fit. The caller must guarantee that the given size is less than STACK_CHUNK_SIZE

↓ 9 callersFunctiontype_eq

Check if two types are equal, for typechecking purposes.

src/verify.rs:1285

↓ 8 callersFunctionsubstitute_t

Perform some variable substitutions within a type. This does not modify the original.

src/verify.rs:1236

↓ 7 callersFunctioncheck_ptr

↓ 4 callersFunctionpost_task

↓ 3 callersFunctionalloc_object

↓ 3 callersFunctionop_to_bytes

↓ 3 callersFunctionsubstitute_r

Perform some variable substitutions in a compile-time region value. This does not modify the original

src/verify.rs:1277

↓ 2 callersFunctionhandle_all

( pos: u32, op: &Op1, compile_time_stack: &mut Vec<CTStackVal>, fresh_id: &mut u32, label:

src/verify.rs:1060

↓ 2 callersFunctionhandle_arr

( pos: u32, op: &Op1, compile_time_stack: &mut Vec<CTStackVal>, )

src/verify.rs:1215

↓ 2 callersFunctionhandle_call

( pos: u32, t: &Type, stack_type: &mut Vec<Type>, compile_time_stack: &mut Vec<CTStackVal>,

src/verify.rs:931

↓ 2 callersFunctionhandle_ctget

(pos: u32, i: &u8, compile_time_stack: &mut Vec<CTStackVal>)

src/verify.rs:1181

↓ 2 callersFunctionhandle_end

( pos: u32, op: &Op1, compile_time_stack: &mut Vec<CTStackVal>, quantification_stack: &mut Vec

src/verify.rs:1099

↓ 2 callersFunctionhandle_func

( n: &u8, pos: u32, op: &Op1, compile_time_stack: &mut Vec<CTStackVal>, )

src/verify.rs:1163

↓ 2 callersFunctionhandle_handle

( pos: u32, op: &Op1, compile_time_stack: &mut Vec<CTStackVal>, )

src/verify.rs:1003

↓ 2 callersFunctionhandle_ptr

(pos: u32, op: &Op1, compile_time_stack: &mut Vec<CTStackVal>)

src/verify.rs:1200

↓ 2 callersFunctionhandle_rgn

( next_region_is_unique: &mut bool, label: &u32, fresh_id: &mut u32, compile_time_stack: &mut

src/verify.rs:1081

↓ 2 callersFunctionhandle_some

( pos: u32, op: &Op1, compile_time_stack: &mut Vec<CTStackVal>, fresh_id: &mut u32, label:

src/verify.rs:1039

↓ 2 callersFunctionhandle_tuple

( n: &u8, pos: u32, op: &Op1, compile_time_stack: &mut Vec<CTStackVal>, )

src/verify.rs:1021

↓ 2 callersFunctionint_pair_to_str

(a: &u64, b: &u64)

src/pretty.rs:67

↓ 2 callersMethodpretty

src/pretty.rs:14

↓ 1 callersFunctiondefinition_pass

( data_section_len: usize, stmt: &Stmt1, types: &HashMap<Label, Type>, mut fresh_id: u32, )

src/verify.rs:118

↓ 1 callersFunctioneval

↓ 1 callersFunctiongo

(bytes: Vec<header::ByteStream>)

↓ 1 callersFunctionlex

Lex bytes into (possibly parameterized) intructions.

src/parse.rs:14

↓ 1 callersFunctionnew_region

↓ 1 callersFunctionop_len

↓ 1 callersFunctionown_suffix

src/pretty.rs:164

↓ 1 callersFunctionparse

(mut tokens_iter: std::slice::Iter<'_, Op1>, forward_decs: &Vec<ForwardDec>, mut pos: u32)

src/parse.rs:237

↓ 1 callersFunctionparse_forward_decs

( tokens: &LexedOpcodes, n: u32, )

src/parse.rs:193

↓ 1 callersFunctionsetup_verifier

src/verify.rs:1333

↓ 1 callersFunctiontype_pass

( stmt: &ForwardDec, mut fresh_id: u32, )

src/verify.rs:59

↓ 1 callersFunctionvalid_data_section_type

src/verify.rs:920

↓ 1 callersFunctionvm_function

Functionfree_object

Lex a stream of bytes, maybe return an error, otherwise parse.

src/parse.rs:276

( data_section: Vec<u8>, types_instrs: Vec<ForwardDec>, unverified_stmts: Vec<Stmt1>, )

src/verify.rs:12

(ir_programs: Vec<IRProgram>)

Functionhandle_stdin

src/header.rs:206

src/error_msgs.rs:10

Functionprogram_size

(prog: &IRProgram)