language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 05:49:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

document how jumps are generated

Browse source
This commit is contained in:
Folkert 2023-09-16 15:06:54 +02:00
parent d4cc3a63f5
commit 3e19f4a6fb
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/compiler/gen_dev/src/generic64/mod.rs
View file

@ -1230,6 +1230,11 @@ impl<
.remove(id)
.unwrap_or_else(|| internal_error!("join point not defined"))
{
// join_location: byte offset where the body of the joinpoint starts
// jmp_location: byte offset where the jump instruction starts
// start_offset: byte offset where the jump instruction ends
// a temporary buffer is needed, but the jump at `jmp_location` is updated in `self.buf`
tmp.clear();
self.update_jmp_imm32_offset(&mut tmp, jmp_location, start_offset, join_location);
}
@ -5378,12 +5383,13 @@ impl<
base_offset: u64,
target_offset: u64,
) {
// write the new jmp instruction into tmp
tmp.clear();
let jmp_offset = target_offset as i32 - base_offset as i32;
ASM::jmp_imm32(tmp, jmp_offset);
for (i, byte) in tmp.iter().enumerate() {
self.buf[jmp_location as usize + i] = *byte;
}
// update the jump in self.buf
self.buf[jmp_location as usize..][..tmp.len()].copy_from_slice(&tmp);
}
/// Loads the alignment bytes of `layout` into the given `symbol`