openvm_rv32im_circuit

Type Alias Rv32LoadSignExtendChip

Source
pub type Rv32LoadSignExtendChip<F> = VmChipWrapper<F, Rv32LoadStoreAdapterChip<F>, LoadSignExtendCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>>;

Aliased Type§

struct Rv32LoadSignExtendChip<F> {
    pub adapter: Rv32LoadStoreAdapterChip<F>,
    pub core: LoadSignExtendCoreChip<4, 8>,
    pub records: Vec<(<Rv32LoadStoreAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32LoadStoreAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <LoadSignExtendCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS> as VmCoreChip<F, <Rv32LoadStoreAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>,
    /* private fields */
}

Fields§

§adapter: Rv32LoadStoreAdapterChip<F>§core: LoadSignExtendCoreChip<4, 8>§records: Vec<(<Rv32LoadStoreAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32LoadStoreAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <LoadSignExtendCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS> as VmCoreChip<F, <Rv32LoadStoreAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>