Enum moore_svlog::hir::BuiltinCall

pub enum BuiltinCall<'a> {
    Unsupported,
    Clog2(NodeId),
    Bits(&'a TypeOrExpr<'a>),
    Signed(NodeId),
    Unsigned(NodeId),
    CountOnes(&'a Expr<'a>),
    OneHot(&'a Expr<'a>),
    OneHot0(&'a Expr<'a>),
    IsUnknown(&'a Expr<'a>),
    ArrayDim(ArrayDim, &'a Expr<'a>, Option<&'a Expr<'a>>),
}

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).

Tuple Fields of Clog2

0: NodeId

Bits(&'a TypeOrExpr<'a>)

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

Tuple Fields of Bits

0: &'a TypeOrExpr<'a>

Signed(NodeId)

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

Tuple Fields of Signed

0: NodeId

Unsigned(NodeId)

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

Tuple Fields of Unsigned

0: NodeId

CountOnes(&'a Expr<'a>)

A call to the $countones(x) function.

Tuple Fields of CountOnes

0: &'a Expr<'a>

OneHot(&'a Expr<'a>)

A call to the $onehot(x) function.

Tuple Fields of OneHot

0: &'a Expr<'a>

OneHot0(&'a Expr<'a>)

A call to the $onehot0(x) function.

Tuple Fields of OneHot0

0: &'a Expr<'a>

IsUnknown(&'a Expr<'a>)

A call to the $isunknown(x) function.

Tuple Fields of IsUnknown

0: &'a Expr<'a>

ArrayDim(ArrayDim, &'a Expr<'a>, Option<&'a Expr<'a>>)

A call to one of the array dimension functions.

Tuple Fields of ArrayDim

0: ArrayDim1: &'a Expr<'a>2: Option<&'a Expr<'a>>

Trait Implementations

impl<'a> Clone for BuiltinCall<'a>

fn clone(&self) -> BuiltinCall<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for BuiltinCall<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq<BuiltinCall<'a>> for BuiltinCall<'a>

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

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

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

This method tests for !=.

impl<'a> Copy for BuiltinCall<'a>

impl<'a> Eq for BuiltinCall<'a>

impl<'a> StructuralEq for BuiltinCall<'a>

impl<'a> StructuralPartialEq for BuiltinCall<'a>