openvm_rv32im_circuit/loadstore/
mod.rs

1mod core;
2
3pub use core::*;
4
5use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
6
7use super::adapters::RV32_REGISTER_NUM_LIMBS;
8use crate::adapters::{Rv32LoadStoreAdapterAir, Rv32LoadStoreAdapterExecutor};
9
10mod execution;
11
12#[cfg(feature = "cuda")]
13mod cuda;
14#[cfg(feature = "cuda")]
15pub use cuda::*;
16#[cfg(feature = "aot")]
17mod aot;
18
19#[cfg(test)]
20mod tests;
21
22pub type Rv32LoadStoreAir =
23    VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<RV32_REGISTER_NUM_LIMBS>>;
24pub type Rv32LoadStoreExecutor =
25    LoadStoreExecutor<Rv32LoadStoreAdapterExecutor, RV32_REGISTER_NUM_LIMBS>;
26pub type Rv32LoadStoreChip<F> = VmChipWrapper<F, LoadStoreFiller>;