Commit cc05349
authored
Replace the IR tree-walking evaluator with a bytecode VM. (#128)
* rego: Replace the IR tree-walking evaluator with a bytecode VM.
Introduce a Bytecode package that compiles IR into a compact
instruction stream and executes it in a tight PC loop, replacing the
recursive tree-walking IR evaluator.
Bytecode is more compact than the IR, more cache-friendly, and
eliminates per-evaluation pointer chasing. The tree-walking evaluator
copies Statement enum associated values on every dispatch; the VM
decodes operands directly from the byte stream instead.
The IR-to-bytecode converter runs once at load time. Compact opcode
variants pack their operand into the 24-bit header length field,
saving a payload word for the most frequent single-operand statements.
Validation bounds-checks all string/number/function table references
before execution so the VM hot loop can skip those checks entirely.
The bytecode VM is up to 25% faster in benchmarks, with the biggest
gains on iteration and call-heavy workloads.
Signed-off-by: Teemu Koponen <tkoponen@apple.com>
* rego: Remove auto-grow from Locals - validate local indices at load time.
Signed-off-by: Teemu Koponen <tkoponen@apple.com>1 parent 4b7ed2d commit cc05349
27 files changed
Lines changed: 5685 additions & 2189 deletions
File tree
- Sources
- AST
- Bytecode
- IR
- Rego
- Tests
- BytecodeTests
- IRTests
- RegoTests
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
33 | | - | |
| 33 | + | |
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | 39 | | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
40 | 44 | | |
41 | 45 | | |
42 | 46 | | |
43 | 47 | | |
44 | 48 | | |
| 49 | + | |
45 | 50 | | |
46 | 51 | | |
47 | 52 | | |
| |||
52 | 57 | | |
53 | 58 | | |
54 | 59 | | |
55 | | - | |
| 60 | + | |
56 | 61 | | |
57 | 62 | | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
58 | 67 | | |
59 | 68 | | |
60 | 69 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
0 commit comments