Skip to content

Commit 4a2ac13

Browse files
committed
fix: auipc tracegen
1 parent 6c86876 commit 4a2ac13

File tree

3 files changed

+5
-4
lines changed

3 files changed

+5
-4
lines changed

Cargo.lock

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

benchmarks/execute/benches/execute.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
use std::path::PathBuf;
2+
13
use divan;
24
use eyre::Result;
35
use openvm_benchmarks_utils::{get_elf_path, get_programs_dir, read_elf_file};
@@ -8,7 +10,6 @@ use openvm_rv32im_transpiler::{
810
};
911
use openvm_stark_sdk::p3_baby_bear::BabyBear;
1012
use openvm_transpiler::{transpiler::Transpiler, FromElf};
11-
use std::path::PathBuf;
1213

1314
static AVAILABLE_PROGRAMS: &[&str] = &[
1415
"fibonacci_recursive",

extensions/rv32im/circuit/src/auipc/core.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -298,9 +298,9 @@ where
298298
.request_range(imm_limbs[0] as u32, imm_limbs[1] as u32);
299299
self.bitwise_lookup_chip
300300
.request_range(imm_limbs[2] as u32, pc_limbs[1] as u32);
301-
301+
let msl_shift = RV32_REGISTER_NUM_LIMBS * RV32_CELL_BITS - PC_BITS;
302302
self.bitwise_lookup_chip
303-
.request_range(pc_limbs[2] as u32, pc_limbs[3] as u32);
303+
.request_range(pc_limbs[2] as u32, (pc_limbs[3] as u32) << msl_shift);
304304
}
305305
}
306306

0 commit comments

Comments
 (0)