Struct CpuCols 

#[repr(C)]
pub struct CpuCols<T: Copy> {

    pub shard: T,
    pub clk_16bit_limb: T,
    pub clk_8bit_limb: T,
    pub shard_to_send: T,
    pub clk_to_send: T,
    pub pc: T,
    pub next_pc: T,
    pub instruction: InstructionCols<T>,
    pub op_a_immutable: T,
    pub is_memory: T,
    pub is_syscall: T,
    pub is_halt: T,
    pub num_extra_cycles: T,
    pub op_a_access: MemoryReadWriteCols<T>,
    pub op_b_access: MemoryReadCols<T>,
    pub op_c_access: MemoryReadCols<T>,
    pub is_real: T,
}

The column layout for the CPU.

Fields

shard: T

The current shard.

clk_16bit_limb: T

The least significant 16 bit limb of clk.

clk_8bit_limb: T

The most significant 8 bit limb of clk.

shard_to_send: T

The shard to send to the opcode specific tables. This should be 0 for all instructions other than the ecall and memory instructions.

clk_to_send: T

The clk to send to the opcode specific tables. This should be 0 for all instructions other than the ecall and memory instructions.

pc: T

The program counter value.

next_pc: T

The expected next program counter value.

instruction: InstructionCols<T>

Columns related to the instruction.

op_a_immutable: T

Whether op_a should not be changed by the instruction. This should be true for memory store and branch instructions.

is_memory: T

Whether this is a memory instruction.

is_syscall: T

Whether this is a syscall instruction.

is_halt: T

Whether this is a halt instruction.

num_extra_cycles: T

The number of extra cycles to add to the clk for a syscall instruction.

op_a_access: MemoryReadWriteCols<T>

Operand values, either from registers or immediate values.

op_b_access: MemoryReadCols<T>

op_c_access: MemoryReadCols<T>

is_real: T

Selector to label whether this row is a non padded row.

Implementations

impl<T: Copy> CpuCols<T>

pub fn op_a_val(&self) -> Word<T>

Gets the value of the first operand.

pub fn op_b_val(&self) -> Word<T>

Gets the value of the second operand.

pub fn op_c_val(&self) -> Word<T>

Gets the value of the third operand.

Trait Implementations

impl<T: Copy> Borrow<CpuCols<T>> for [T]

fn borrow(&self) -> &CpuCols<T>

Immutably borrows from an owned value.

impl<T: Copy> BorrowMut<CpuCols<T>> for [T]

fn borrow_mut(&mut self) -> &mut CpuCols<T>

Mutably borrows from an owned value.

impl<T: Clone + Copy> Clone for CpuCols<T>

fn clone(&self) -> CpuCols<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + Copy> Debug for CpuCols<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Default + Copy> Default for CpuCols<T>

fn default() -> CpuCols<T>

Returns the “default value” for a type.

impl<T: Copy + Copy> Copy for CpuCols<T>