openvm_rv32im_circuit/shift/
mod.rs

1use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
2
3use super::adapters::{
4    Rv32BaseAluAdapterAir, Rv32BaseAluAdapterExecutor, Rv32BaseAluAdapterFiller, RV32_CELL_BITS,
5    RV32_REGISTER_NUM_LIMBS,
6};
7
8mod core;
9mod execution;
10pub use core::*;
11
12#[cfg(feature = "cuda")]
13mod cuda;
14#[cfg(feature = "cuda")]
15pub use cuda::*;
16
17#[cfg(test)]
18mod tests;
19
20pub type Rv32ShiftAir =
21    VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>>;
22pub type Rv32ShiftExecutor = ShiftExecutor<
23    Rv32BaseAluAdapterExecutor<RV32_CELL_BITS>,
24    RV32_REGISTER_NUM_LIMBS,
25    RV32_CELL_BITS,
26>;
27pub type Rv32ShiftChip<F> = VmChipWrapper<
28    F,
29    ShiftFiller<Rv32BaseAluAdapterFiller<RV32_CELL_BITS>, RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>,
30>;