Enum moore_svlog::hir::BuiltinCall

pub enum BuiltinCall {
    Unsupported,
    Clog2(NodeId),
    Bits(NodeId),
    Signed(NodeId),
    Unsigned(NodeId),
}

The different builtin function calls that are supported.

Variants

Unsupported

An unsupported builtin. Will yield constant 0.

Clog2(NodeId)

A call to the ceil-log2 function $clog2(x).

Bits(NodeId)

A call to the storage size function $bits(x).

Signed(NodeId)

A call to the convert-to-signed function $signed(x).

Unsigned(NodeId)

A call to the convert-to-unsigned function $unsigned(x).

Trait Implementations

impl Clone for BuiltinCall

fn clone(&self) -> BuiltinCall

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for BuiltinCall

impl Debug for BuiltinCall

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

Formats the value using the given formatter.

impl Eq for BuiltinCall

impl PartialEq<BuiltinCall> for BuiltinCall

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for BuiltinCall

impl StructuralPartialEq for BuiltinCall