aboutsummaryrefslogtreecommitdiffstats
path: root/src/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/lib.rs')
-rw-r--r--src/lib.rs29
1 files changed, 25 insertions, 4 deletions
diff --git a/src/lib.rs b/src/lib.rs
index 1bdcc00..42a74a0 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -626,17 +626,23 @@ mod op {
}
#[derive(Debug)]
+enum BlockLinkState {
+ Linked,
+ Unlinked,
+ Nothing,
+}
+
+#[derive(Debug)]
pub struct Block {
pub ty: Type,
upvalues: Vec<(usize, bool, Type)>,
+ linking: BlockLinkState,
pub name: String,
pub file: PathBuf,
ops: Vec<Op>,
last_line_offset: usize,
line_offsets: HashMap<usize, usize>,
- linked: bool,
- constant: bool,
}
impl Block {
@@ -644,16 +650,31 @@ impl Block {
Self {
ty: Type::Void,
upvalues: Vec::new(),
+ linking: BlockLinkState::Nothing,
+
name: String::from(name),
file: file.to_owned(),
ops: Vec::new(),
last_line_offset: 0,
line_offsets: HashMap::new(),
- linked: false,
- constant: false,
}
}
+ fn mark_constant(&mut self) {
+ if self.upvalues.is_empty() {
+ return;
+ }
+ self.linking = BlockLinkState::Unlinked;
+ }
+
+ fn link(&mut self) {
+ self.linking = BlockLinkState::Linked;
+ }
+
+ fn needs_linking(&self) -> bool {
+ matches!(self.linking, BlockLinkState::Unlinked)
+ }
+
// Used to create empty functions.
fn stubbed_block(ty: &Type) -> Self {
let mut block = Block::new("/empty/", Path::new(""));