Enum Instruction

pub enum Instruction {
    Add {
        a: Operand,
        b: Operand,
    },
    AddNsw {
        a: Operand,
        b: Operand,
    },
    AddNuw {
        a: Operand,
        b: Operand,
    },
    AddNw {
        a: Operand,
        b: Operand,
    },
    Sub {
        a: Operand,
        b: Operand,
    },
    SubNsw {
        a: Operand,
        b: Operand,
    },
    SubNuw {
        a: Operand,
        b: Operand,
    },
    SubNw {
        a: Operand,
        b: Operand,
    },
    Mul {
        a: Operand,
        b: Operand,
    },
    MulNsw {
        a: Operand,
        b: Operand,
    },
    MulNuw {
        a: Operand,
        b: Operand,
    },
    MulNw {
        a: Operand,
        b: Operand,
    },
    Udiv {
        a: Operand,
        b: Operand,
    },
    Sdiv {
        a: Operand,
        b: Operand,
    },
    UdivExact {
        a: Operand,
        b: Operand,
    },
    SdivExact {
        a: Operand,
        b: Operand,
    },
    Urem {
        a: Operand,
        b: Operand,
    },
    Srem {
        a: Operand,
        b: Operand,
    },
    And {
        a: Operand,
        b: Operand,
    },
    Or {
        a: Operand,
        b: Operand,
    },
    Xor {
        a: Operand,
        b: Operand,
    },
    Shl {
        a: Operand,
        b: Operand,
    },
    ShlNsw {
        a: Operand,
        b: Operand,
    },
    ShlNuw {
        a: Operand,
        b: Operand,
    },
    ShlNw {
        a: Operand,
        b: Operand,
    },
    Lshr {
        a: Operand,
        b: Operand,
    },
    LshrExact {
        a: Operand,
        b: Operand,
    },
    Ashr {
        a: Operand,
        b: Operand,
    },
    AshrExact {
        a: Operand,
        b: Operand,
    },
    Select {
        a: Operand,
        b: Operand,
        c: Operand,
    },
    Zext {
        a: Operand,
    },
    Sext {
        a: Operand,
    },
    Trunc {
        a: Operand,
    },
    Eq {
        a: Operand,
        b: Operand,
    },
    Ne {
        a: Operand,
        b: Operand,
    },
    Ult {
        a: Operand,
        b: Operand,
    },
    Slt {
        a: Operand,
        b: Operand,
    },
    Ule {
        a: Operand,
        b: Operand,
    },
    Sle {
        a: Operand,
        b: Operand,
    },
    Ctpop {
        a: Operand,
    },
    Bswap {
        a: Operand,
    },
    BitReverse {
        a: Operand,
    },
    Cttz {
        a: Operand,
    },
    Ctlz {
        a: Operand,
    },
    Fshl {
        a: Operand,
        b: Operand,
        c: Operand,
    },
    Fshr {
        a: Operand,
        b: Operand,
        c: Operand,
    },
    SaddWithOverflow {
        a: Operand,
        b: Operand,
    },
    UaddWithOverflow {
        a: Operand,
        b: Operand,
    },
    SsubWithOverflow {
        a: Operand,
        b: Operand,
    },
    UsubWithOverflow {
        a: Operand,
        b: Operand,
    },
    SmulWithOverflow {
        a: Operand,
        b: Operand,
    },
    UmulWithOverflow {
        a: Operand,
        b: Operand,
    },
    SaddSat {
        a: Operand,
        b: Operand,
    },
    UaddSat {
        a: Operand,
        b: Operand,
    },
    SsubSat {
        a: Operand,
        b: Operand,
    },
    UsubSat {
        a: Operand,
        b: Operand,
    },
    ExtractValue {
        a: Operand,
        b: Operand,
    },
    Hole,
    Freeze {
        a: Operand,
    },
}

A Souper instruction.

Variants

Add

Wrapping integer addition.

Fields

a: Operand

b: Operand

AddNsw

Integer addition where signed overflow is undefined behavior.

Fields

a: Operand

b: Operand

AddNuw

Integer addition where unsigned overflow is undefined behavior.

Fields

a: Operand

b: Operand

AddNw

Integer addition where any kind of overflow is undefined behavior.

Fields

a: Operand

b: Operand

Sub

Wrapping integer subtraction.

Fields

a: Operand

b: Operand

SubNsw

Integer subtraction where signed overflow is undefined behavior.

Fields

a: Operand

b: Operand

SubNuw

Integer subtraction where unsigned overflow is undefined behavior.

Fields

a: Operand

b: Operand

SubNw

Integer subtraction where any kind of overflow is undefined behavior.

Fields

a: Operand

b: Operand

Mul

Wrapping integer multiplication.

Fields

a: Operand

b: Operand

MulNsw

Integer multiplication where signed overflow is undefined behavior.

Fields

a: Operand

b: Operand

MulNuw

Integer multiplication where unsigned overflow is undefined behavior.

Fields

a: Operand

b: Operand

MulNw

Integer multiplication where any kind of overflow is undefined behavior.

Fields

a: Operand

b: Operand

Udiv

Unsigned integer division.

Fields

a: Operand

b: Operand

Sdiv

Signed integer division.

Fields

a: Operand

b: Operand

UdivExact

Unsigned division where a must be exactly divisible by b. If a is not exactly divisible by b, then the result is undefined behavior.

Fields

a: Operand

b: Operand

SdivExact

Signed division where a must be exactly divisible by b. If a is not exactly divisible by b, then the result is undefined behavior.

Fields

a: Operand

b: Operand

Urem

Unsigned integer remainder.

Fields

a: Operand

b: Operand

Srem

Signed integer remainder.

Fields

a: Operand

b: Operand

And

Bit-wise and.

Fields

a: Operand

b: Operand

Or

Bit-wise or.

Fields

a: Operand

b: Operand

Xor

Bit-wise xor.

Fields

a: Operand

b: Operand

Shl

Bit shift left. Undefined behavior if b is greater than or equal to bitwidth(a).

Fields

a: Operand

b: Operand

ShlNsw

Bit shift left where shifting out any non-sign bits is undefined behavior.

Fields

a: Operand

b: Operand

ShlNuw

Bit shift left where shifting out any non-zero bits is undefined behavior.

Fields

a: Operand

b: Operand

ShlNw

Bit shift left where shifting out any non-zero or non-sign bits is undefined behavior.

Fields

a: Operand

b: Operand

Lshr

Logical bit shift right (fills left b bits with zero). Undefined behavior if b is greater than or equal to bitwidth(a).

Fields

a: Operand

b: Operand

LshrExact

Logical bit shift right (fills left b bits with zero) where it is undefined behavior if any bits shifted out are non-zero.

Fields

a: Operand

b: Operand

Ashr

Arithmetic bit shift right (sign extends the left b bits).

Fields

a: Operand

b: Operand

AshrExact

Arithmetic bit shift right (fills left b bits with zero) where it is undefined behavior if any bits shifted out are non-zero.

Fields

a: Operand

b: Operand

Select

If a is 1, then evaluates to b, otherwise evaluates to c.

Fields

a: Operand

b: Operand

c: Operand

Zext

Zero extend a.

Fields

a: Operand

Sext

Sign extend a.

Fields

a: Operand

Trunc

Truncate a.

Fields

a: Operand

Eq

a == b.

Fields

a: Operand

b: Operand

Ne

a != b

Fields

a: Operand

b: Operand

Ult

Unsigned less than.

Fields

a: Operand

b: Operand

Slt

Signed less than.

Fields

a: Operand

b: Operand

Ule

Unsigned less than or equal.

Fields

a: Operand

b: Operand

Sle

Signed less than or equal.

Fields

a: Operand

b: Operand

Ctpop

Count the number of 1 bits in a.

Fields

a: Operand

Bswap

Swap bytes in a, e.g. 0xaabbccdd becomes 0xddccbbaa.

Fields

a: Operand

BitReverse

Reverse the bits in a.

Fields

a: Operand

Cttz

Count trailing zero bits in a.

Fields

a: Operand

Ctlz

Count leading one bits in a.

Fields

a: Operand

Fshl

Left funnel shift.

Fields

a: Operand

b: Operand

c: Operand

Fshr

Right funnel shift.

Fields

a: Operand

b: Operand

c: Operand

SaddWithOverflow

Wrapping signed integer addition of a and b where the result is extended by one bit which indicates whether the addition overflowed.

Fields

a: Operand

b: Operand

UaddWithOverflow

Wrapping unsigned integer addition of a and b where the result is extended by one bit which indicates whether the addition overflowed.

Fields

a: Operand

b: Operand

SsubWithOverflow

Wrapping signed integer subtraction of a and b where the result is extended by one bit which indicates whether the subtraction overflowed.

Fields

a: Operand

b: Operand

UsubWithOverflow

Wrapping unsigned integer subtraction of a and b where the result is extended by one bit which indicates whether the subtraction overflowed.

Fields

a: Operand

b: Operand

SmulWithOverflow

Wrapping signed integer multiplication of a and b where the result is extended by one bit which indicates whether the multiplication overflowed.

Fields

a: Operand

b: Operand

UmulWithOverflow

Wrapping unsigned integer multiplication of a and b where the result is extended by one bit which indicates whether the multiplication overflowed.

Fields

a: Operand

b: Operand

SaddSat

Signed saturating integer addition.

Fields

a: Operand

b: Operand

UaddSat

Unsigned saturating integer addition.

Fields

a: Operand

b: Operand

SsubSat

Signed saturating integer subtraction.

Fields

a: Operand

b: Operand

UsubSat

Unsigned saturating integer subtraction.

Fields

a: Operand

b: Operand

ExtractValue

Extract the bth value from a.

Fields

a: Operand

b: Operand

Hole

A hole reserved for an unknown instruction or value.

Freeze

If a is a poison or undef value, returns an arbitrary but fixed value. Otherwise returns a.

Fields

a: Operand

Trait Implementations

impl Clone for Instruction

fn clone(&self) -> Instruction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Instruction

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

Formats the value using the given formatter.

impl From<Instruction> for AssignmentRhs

fn from(i: Instruction) -> Self

Converts to this type from the input type.

impl Parse for Instruction

fn parse<'a>(parser: &mut Parser<'a>) -> Result<Self>

Parse a Self from the given buffer.

impl Peek for Instruction

fn peek<'a>(parser: &mut Parser<'a>) -> Result<bool>

Does it look like we can parse a Self from the given buffer?

impl Copy for Instruction