sp1_core_executor

Enum Opcode

#[repr(u8)]pub enum Opcode {
Show 38 variants    ADD = 0,
    SUB = 1,
    XOR = 2,
    OR = 3,
    AND = 4,
    SLL = 5,
    SRL = 6,
    SRA = 7,
    SLT = 8,
    SLTU = 9,
    MUL = 10,
    MULH = 11,
    MULHU = 12,
    MULHSU = 13,
    DIV = 14,
    DIVU = 15,
    REM = 16,
    REMU = 17,
    LB = 18,
    LH = 19,
    LW = 20,
    LBU = 21,
    LHU = 22,
    SB = 23,
    SH = 24,
    SW = 25,
    BEQ = 26,
    BNE = 27,
    BLT = 28,
    BGE = 29,
    BLTU = 30,
    BGEU = 31,
    JAL = 32,
    JALR = 33,
    AUIPC = 34,
    ECALL = 35,
    EBREAK = 36,
    UNIMP = 37,
}

Expand description

An opcode (short for “operation code”) specifies the operation to be performed by the processor.

In the context of the RISC-V ISA, an opcode specifies which operation (i.e., addition, subtraction, multiplication, etc.) to perform on up to three operands such as registers, immediates, or memory addresses.

While the SP1 zkVM targets the RISC-V ISA, it uses a custom instruction encoding that uses a different set of opcodes. The main difference is that the SP1 zkVM encodes register operations and immediate operations as the same opcode. For example, the RISC-V opcodes ADD and ADDI both become ADD inside the SP1 zkVM. We utilize flags inside the instruction itself to distinguish between the two.

Refer to the “RV32I Reference Card” here for more details.

Variants§

ADD = 0

rd ← rs1 + rs2, pc ← pc + 4

SUB = 1

rd ← rs1 - rs2, pc ← pc + 4

XOR = 2

rd ← rs1 ^ rs2, pc ← pc + 4

OR = 3

rd ← rs1 | rs2, pc ← pc + 4

AND = 4

rd ← rs1 & rs2, pc ← pc + 4

SLL = 5

rd ← rs1 << rs2, pc ← pc + 4

SRL = 6

rd ← rs1 >> rs2 (logical), pc ← pc + 4

SRA = 7

rd ← rs1 >> rs2 (arithmetic), pc ← pc + 4

SLT = 8

rd ← (rs1 < rs2) ? 1 : 0 (signed), pc ← pc + 4

SLTU = 9

rd ← (rs1 < rs2) ? 1 : 0 (unsigned), pc ← pc + 4

MUL = 10

rd ← rs1 * rs2 (signed), pc ← pc + 4

MULH = 11

rd ← rs1 * rs2 (half), pc ← pc + 4

MULHU = 12

rd ← rs1 * rs2 (half unsigned), pc ← pc + 4

MULHSU = 13

rd ← rs1 * rs2 (half signed unsigned), pc ← pc + 4

DIV = 14

rd ← rs1 / rs2 (signed), pc ← pc + 4

DIVU = 15

rd ← rs1 / rs2 (unsigned), pc ← pc + 4

REM = 16

rd ← rs1 % rs2 (signed), pc ← pc + 4

REMU = 17

rd ← rs1 % rs2 (unsigned), pc ← pc + 4

LB = 18

rd ← sx(m8(rs1 + imm)), pc ← pc + 4

LH = 19

rd ← sx(m16(rs1 + imm)), pc ← pc + 4

LW = 20

rd ← sx(m32(rs1 + imm)), pc ← pc + 4

LBU = 21

rd ← zx(m8(rs1 + imm)), pc ← pc + 4

LHU = 22

rd ← zx(m16(rs1 + imm)), pc ← pc + 4

SB = 23

m8(rs1 + imm) ← rs2[7:0], pc ← pc + 4

SH = 24

m16(rs1 + imm) ← rs2[15:0], pc ← pc + 4

SW = 25

m32(rs1 + imm) ← rs2[31:0], pc ← pc + 4

BEQ = 26

pc ← pc + ((rs1 == rs2) ? imm : 4)

BNE = 27

pc ← pc + ((rs1 != rs2) ? imm : 4)

BLT = 28

pc ← pc + ((rs1 < rs2) ? imm : 4) (signed)

BGE = 29

pc ← pc + ((rs1 >= rs2) ? imm : 4) (signed)

BLTU = 30

pc ← pc + ((rs1 < rs2) ? imm : 4) (unsigned)

BGEU = 31

pc ← pc + ((rs1 >= rs2) ? imm : 4) (unsigned)

JAL = 32

rd ← pc + 4, pc ← pc + imm

JALR = 33

rd ← pc + 4, pc ← (rs1 + imm) & ∼1

AUIPC = 34

rd ← pc + imm, pc ← pc + 4

ECALL = 35

Transfer control to the operating system.

EBREAK = 36

Transfer control to the debugger.

UNIMP = 37

Unimplemented instruction.

Implementations§

impl Opcode

pub const fn mnemonic(&self) -> &str

Get the mnemonic for the opcode.

pub fn as_field<F: Field>(self) -> F

Convert the opcode to a field element.

Trait Implementations§

impl Clone for Opcode

fn clone(&self) -> Opcode

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for Opcode

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for Opcode

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl Display for Opcode

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

Formats the value using the given formatter. Read more

impl Enum for Opcode

const LENGTH: usize = 38usize

Length of the enum.

fn from_usize(value: usize) -> Self

Takes an usize, and returns an element matching into_usize function.

fn into_usize(self) -> usize

Returns an unique identifier for a value within range of 0..Array::LENGTH.

impl<V> EnumArray<V> for Opcode

type Array = [V; 38]

Representation of an enum map for type V.

impl From<Opcode> for ByteOpcode

fn from(value: Opcode) -> Self

Convert an opcode to a byte opcode.

impl Hash for Opcode

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher. Read more

1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more

impl Ord for Opcode

fn cmp(&self, other: &Opcode) -> Ordering

This method returns an Ordering between self and other. Read more

1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more

1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more

1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more

impl PartialEq for Opcode

fn eq(&self, other: &Opcode) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Opcode

fn partial_cmp(&self, other: &Opcode) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more

1.0.0 · Source§

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator. Read more

1.0.0 · Source§

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator. Read more

1.0.0 · Source§

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator. Read more

1.0.0 · Source§

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl Serialize for Opcode

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl Copy for Opcode

impl Eq for Opcode

impl StructuralPartialEq for Opcode

Auto Trait Implementations§

impl Freeze for Opcode

impl RefUnwindSafe for Opcode

impl Send for Opcode

impl Sync for Opcode

impl Unpin for Opcode

impl UnwindSafe for Opcode

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> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> Downcast for T
where T: Any,

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.

impl<T> DowncastSync for T
where T: Any + Send + Sync,

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

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> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

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> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<T> JsonSchemaMaybe for T