github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

Introduced get_pc(), saving a hash table lookup.

Browse Source
This commit is contained in:
Lucas Clemente Vella
2024-01-05 21:43:18 +00:00
parent 4d9406def8
commit 978109c393
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
riscv_executor/src/lib.rs
View File

@@ -246,6 +246,11 @@ mod builder {
}
}
/// get current value of PC
pub(crate) fn get_pc(&self) -> Elem {
self.get_reg_idx(self.pc_idx)
}
/// get current value of register
pub(crate) fn get_reg(&self, idx: &str) -> Elem {
self.get_reg_idx(self.trace.reg_map[idx])
@@ -524,14 +529,14 @@ impl<'a, 'b, F: FieldElement> Executor<'a, 'b, F> {
Vec::new()
}
"jump_and_link_dyn" => {
let pc = self.proc.get_reg("pc");
let pc = self.proc.get_pc();
self.proc.set_reg("x1", pc.u() + 1);
self.proc.set_pc(args[0]);
Vec::new()
}
"call" => {
let pc = self.proc.get_reg("pc");
let pc = self.proc.get_pc();
self.proc.set_reg("x1", pc.u() + 1);
self.proc.set_pc(args[0]);
@@ -565,7 +570,7 @@ impl<'a, 'b, F: FieldElement> Executor<'a, 'b, F> {
}
"skip_if_zero" => {
if args[0].0 == 0 {
let pc = self.proc.get_reg("pc").s();
let pc = self.proc.get_pc().s();
self.proc.set_pc((pc + args[1].s() + 1).into());
}