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
|
//! This module implements the instruction set running on the abstract
//! machine implemented by tvix.
#[derive(Clone, Copy, Debug)]
pub struct ConstantIdx(pub usize);
#[derive(Clone, Copy, Debug)]
pub struct CodeIdx(pub usize);
#[warn(variant_size_differences)]
#[derive(Clone, Copy, Debug)]
pub enum OpCode {
// Push a constant onto the stack.
OpConstant(ConstantIdx),
// Discard a value from the stack.
OpPop,
// Push a literal value.
OpNull,
OpTrue,
OpFalse,
// Unary operators
OpInvert,
OpNegate,
// Arithmetic binary operators
OpAdd,
OpSub,
OpMul,
OpDiv,
// Comparison operators
OpEqual,
OpLess,
OpLessOrEq,
OpMore,
OpMoreOrEq,
// Logical operators & generic jumps
OpJump(usize),
OpJumpIfTrue(usize),
OpJumpIfFalse(usize),
OpJumpIfNotFound(usize),
// Attribute sets
OpAttrs(usize),
OpAttrPath(usize),
OpAttrsUpdate,
OpAttrsSelect,
OpAttrOrNotFound,
OpAttrsIsSet,
// Lists
OpList(usize),
OpConcat,
// Strings
OpInterpolate(usize),
// Type assertion operators
OpAssertBool,
// Access local identifiers with statically known positions.
OpGetLocal(usize),
// Close scopes while leaving their expression value around.
OpCloseScope(usize), // number of locals to pop
}
|
