about summary refs log tree commit diff
path: root/users/tazjin/rlox/src/bytecode/chunk.rs
blob: 4a671c83836303f8ddb5fd44e9dd059dbb055452 (plain) (blame)
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
73
74
75
76
77
78
79
80
81
82
83
use std::ops::Index;

use super::opcode::OpCode;
use super::value;

// In the book, this type is a hand-rolled dynamic array
// implementation in C. The main benefit of following that approach
// would be avoiding issues with OpCode variants not having equal
// sizes, but for the purpose of this I'm going to ignore that
// problem.
#[derive(Debug, Default)]
pub struct Chunk {
    pub code: Vec<OpCode>,
    lines: Vec<Span>,
    constants: Vec<value::Value>,
}

#[derive(Debug)]
struct Span {
    /// Source code line
    line: usize,

    /// Number of instructions derived from this line
    count: usize,
}

impl Chunk {
    pub fn add_op(&mut self, data: OpCode, line: usize) -> usize {
        let idx = self.code.len();
        self.code.push(data);
        self.add_line(line);
        idx
    }

    pub fn add_constant(&mut self, data: value::Value) -> usize {
        let idx = self.constants.len();
        self.constants.push(data);
        idx
    }

    pub fn constant(&self, idx: usize) -> &value::Value {
        self.constants.index(idx)
    }

    fn add_line(&mut self, line: usize) {
        match self.lines.last_mut() {
            Some(span) if span.line == line => span.count += 1,
            _ => self.lines.push(Span { line, count: 1 }),
        }
    }

    fn get_line(&self, offset: usize) -> usize {
        let mut pos = 0;
        for span in &self.lines {
            pos += span.count;
            if pos > offset {
                return span.line;
            }
        }

        panic!("invalid chunk state: line missing for offset {}", offset);
    }
}

// Disassembler

/// Print a single disassembled instruction at the specified offset.
/// Some instructions are printed "raw", others have special handling.
pub fn disassemble_instruction(chunk: &Chunk, offset: usize) {
    print!("{:04} ", offset);

    let line = chunk.get_line(offset);
    if offset > 0 && line == chunk.get_line(offset - 1) {
        print!("   | ");
    } else {
        print!("{:4} ", line);
    }

    match chunk.code.index(offset) {
        OpCode::OpConstant(idx) => println!("OpConstant({}) '{:?}'", *idx, chunk.constant(*idx)),
        op => println!("{:?}", op),
    }
}