Enum Builtin 

pub enum Builtin {
    Carry,
    Scarry,
    Sborrow,
    Nan,
    Abs,
    Sqrt,
    Floor,
    Ceil,
    Round,
    Int2Float,
    Float2Float,
    Trunc,
    Zext,
    Sext,
    Popcount,
    Lzcount,
    Cpool,
    NewObject,
}

The built-in SLEIGH functions — a spec may call these without declaring them, unlike define pcodeop names.

They appear as ExpressionTy::FunctionCall and every one of them has a direct p-code meaning, so a consumer lowering to its own IR is expected to implement them rather than treat them as opaque calls. The two exceptions are noted on their variants.

Variants

Carry

carry(a, b) — would the unsigned addition a + b carry out of the top bit? One byte.

Scarry

scarry(a, b) — would the signed addition a + b overflow? One byte.

Sborrow

sborrow(a, b) — would the signed subtraction a - b overflow? One byte.

Nan

nan(x) — is the floating-point value x a NaN? One byte.

Abs

abs(x) — floating-point absolute value.

Sqrt

sqrt(x) — floating-point square root.

Floor

floor(x) — round towards negative infinity, staying floating-point.

Ceil

ceil(x) — round towards positive infinity, staying floating-point.

Round

round(x) — round to nearest, staying floating-point.

Int2Float

int2float(x) — signed integer to floating-point.

Float2Float

float2float(x) — change floating-point width, preserving the value.

Trunc

trunc(x) — floating-point to signed integer, truncating towards zero.

Zext

zext(x) — widen, filling with zeroes. The result width comes from the context the call sits in, not from the argument.

Sext

sext(x) — widen, filling with copies of the sign bit.

Popcount

popcount(x) — number of set bits.

Lzcount

lzcount(x) — number of leading zero bits.

Cpool

Constant-pool reference. Has no p-code expansion: a consumer must resolve it against the binary’s constant pool.

NewObject

Object allocation, the companion of Builtin::Cpool in bytecode-oriented specifications.

Implementations

impl Builtin

pub const ALL: &'static [Builtin]

Every builtin, in declaration order.

The symbol table is seeded from this, so a variant added here is automatically callable from a specification.

pub fn as_str(self) -> &'static str

The name a specification calls this builtin by.

pub fn from_name(s: &str) -> Option<Self>

Returns the builtin with the SLEIGH source spelling s.

Trait Implementations

impl Clone for Builtin

fn clone(&self) -> Builtin

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Builtin

impl Debug for Builtin

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Builtin

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Builtin

impl Hash for Builtin

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Builtin

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Builtin

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Builtin