Skip to content

Commit 5d2277b

Browse files
committed
fix: restore auto-merged files
1 parent 61ee036 commit 5d2277b

5 files changed

Lines changed: 20 additions & 21 deletions

File tree

crates/vm/derive/src/tco.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ pub fn tco_impl(item: TokenStream) -> TokenStream {
5656
let handler_fn = quote! {
5757
#[inline(never)]
5858
unsafe fn #handler_name #handler_generics (
59-
interpreter: &::openvm_circuit::arch::interpreter::InterpretedInstance<'_, #f_type, #ctx_type>,
59+
interpreter: &::openvm_circuit::arch::interpreter::InterpretedInstance<#f_type, #ctx_type>,
6060
exec_state: &mut ::openvm_circuit::arch::VmExecState<
6161
#f_type,
6262
::openvm_circuit::system::memory::online::GuestMemory,

crates/vm/src/arch/aot/metered_execute.rs

Lines changed: 5 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -22,18 +22,15 @@ use crate::{
2222
},
2323
system::memory::online::GuestMemory,
2424
};
25-
static_assertions::assert_impl_all!(
26-
AotInstance<'static, p3_baby_bear::BabyBear, MeteredCtx>: Send,
27-
Sync
28-
);
25+
static_assertions::assert_impl_all!(AotInstance<p3_baby_bear::BabyBear, MeteredCtx>: Send, Sync);
2926

30-
impl<'a, F> AotInstance<'a, F, MeteredCtx>
27+
impl<F> AotInstance<F, MeteredCtx>
3128
where
3229
F: PrimeField32,
3330
{
3431
/// Creates a new instance for metered execution.
3532
pub fn new_metered<E>(
36-
inventory: &'a ExecutorInventory<E>,
33+
inventory: &ExecutorInventory<E>,
3734
exe: &VmExe<F>,
3835
executor_idx_to_air_idx: &[usize],
3936
) -> Result<Self, StaticProgramError>
@@ -68,15 +65,15 @@ where
6865
start.elapsed().as_millis()
6966
);
7067
Ok(Self {
71-
system_config: inventory.config(),
68+
system_config: inventory.config().clone(),
7269
pre_compute_buf,
7370
pre_compute_insns,
7471
pc_start: exe.pc_start,
7572
init_memory,
7673
lib,
7774
})
7875
}
79-
fn create_metered_asm<E>(
76+
pub fn create_metered_asm<E>(
8077
exe: &VmExe<F>,
8178
inventory: &ExecutorInventory<E>,
8279
executor_idx_to_air_idx: &[usize],

crates/vm/src/arch/aot/mod.rs

Lines changed: 9 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,9 @@ mod pure;
2424
/// Verify installation by `as --version`, `ar --version` and `cargo --version`
2525
/// Refer to AOT.md for further clarification about AOT
2626
///
27-
pub struct AotInstance<'a, F, Ctx> {
27+
pub struct AotInstance<F, Ctx> {
2828
init_memory: SparseMemoryImage,
29-
system_config: &'a SystemConfig,
29+
system_config: SystemConfig,
3030
// SAFETY: this is not actually dead code, but `pre_compute_insns` contains raw pointer refers
3131
// to this buffer.
3232
#[allow(dead_code)]
@@ -43,13 +43,18 @@ type AsmRunFn = unsafe extern "C" fn(
4343
instret_left: u64,
4444
);
4545

46-
impl<'a, F, Ctx> AotInstance<'a, F, Ctx>
46+
impl<F, Ctx> AotInstance<F, Ctx>
4747
where
4848
F: PrimeField32,
4949
Ctx: ExecutionCtxTrait,
5050
{
5151
pub fn create_initial_vm_state(&self, inputs: impl Into<Streams<F>>) -> VmState<F> {
52-
VmState::initial(self.system_config, &self.init_memory, self.pc_start, inputs)
52+
VmState::initial(
53+
&self.system_config,
54+
&self.init_memory,
55+
self.pc_start,
56+
inputs,
57+
)
5358
}
5459

5560
fn push_external_registers() -> String {

crates/vm/src/arch/aot/pure.rs

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -23,16 +23,13 @@ use crate::{
2323
system::memory::online::GuestMemory,
2424
};
2525

26-
static_assertions::assert_impl_all!(
27-
AotInstance<'static, p3_baby_bear::BabyBear, ExecutionCtx>: Send,
28-
Sync
29-
);
26+
static_assertions::assert_impl_all!(AotInstance<p3_baby_bear::BabyBear, ExecutionCtx>: Send, Sync);
3027

31-
impl<'a, F> AotInstance<'a, F, ExecutionCtx>
28+
impl<'a, F> AotInstance<F, ExecutionCtx>
3229
where
3330
F: PrimeField32,
3431
{
35-
fn create_pure_asm<E>(
32+
pub fn create_pure_asm<E>(
3633
exe: &VmExe<F>,
3734
inventory: &ExecutorInventory<E>,
3835
pre_compute_insns_ptr: *const PreComputeInstruction<F, ExecutionCtx>,
@@ -268,7 +265,7 @@ where
268265
let init_memory = exe.init_memory.clone();
269266

270267
Ok(Self {
271-
system_config: inventory.config(),
268+
system_config: inventory.config().clone(),
272269
pre_compute_buf,
273270
pre_compute_insns,
274271
pc_start: exe.pc_start,

crates/vm/src/arch/execution.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -137,7 +137,7 @@ pub type ExecuteFunc<F, CTX> =
137137
/// pointer is typeless to avoid self-referential types.
138138
#[cfg(feature = "tco")]
139139
pub type Handler<F, CTX> = unsafe fn(
140-
interpreter: &InterpretedInstance<'_, F, CTX>,
140+
interpreter: &InterpretedInstance<F, CTX>,
141141
exec_state: &mut VmExecState<F, GuestMemory, CTX>,
142142
);
143143

0 commit comments

Comments
 (0)