Skip to main content

FOp

kimchi::circuits::expr

Enum FOp

enum FOp {
    Lit(usize),
    Col(usize),
    Aux(usize),
    Add,
    Sub,
    Mul,
    Square,
    Double,
    Pow(u64),
    StoreReg(usize),
    LoadReg(usize),
}

Expand description

Flat bytecode for the fused evaluator: a stack machine walked once per domain row, with intermediates living in a register frame rather than full-domain arrays.

Variants§

Lit(usize)

Col(usize)

Aux(usize)

Add

Sub

Mul

Square

Double

Pow(u64)

StoreReg(usize)

LoadReg(usize)

Auto Trait Implementations§

impl Freeze for FOp

impl RefUnwindSafe for FOp

impl Send for FOp

impl Sync for FOp

impl Unpin for FOp

impl UnsafeUnpin for FOp

impl UnwindSafe for FOp

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

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

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Pointable for T

const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<T> Same for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = !

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, !>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V