Crate midenc_dialect_arith

Source

Structs§

Add
Two’s complement sum
AddBuilder
A specialized builder for Add, which is used by calling it like a function.
AddOverflowing
Two’s complement sum with overflow bit
AddOverflowingBuilder
A specialized builder for AddOverflowing, which is used by calling it like a function.
And
Logical AND
AndBuilder
A specialized builder for And, which is used by calling it like a function.
ArithDialect
Ashr
Arithmetic (signed) shift-right
AshrBuilder
A specialized builder for Ashr, which is used by calling it like a function.
Band
Bitwise AND
BandBuilder
A specialized builder for Band, which is used by calling it like a function.
Bnot
Bitwise NOT
BnotBuilder
A specialized builder for Bnot, which is used by calling it like a function.
Bor
Bitwise OR
BorBuilder
A specialized builder for Bor, which is used by calling it like a function.
Bxor
Bitwise XOR
BxorBuilder
A specialized builder for Bxor, which is used by calling it like a function.
Clo
Count Leading Ones
CloBuilder
A specialized builder for Clo, which is used by calling it like a function.
Clz
Count Leading Zeros
ClzBuilder
A specialized builder for Clz, which is used by calling it like a function.
Constant
An operation for expressing constant immediate values.
ConstantBuilder
A specialized builder for Constant, which is used by calling it like a function.
Cto
Count Trailing Ones
CtoBuilder
A specialized builder for Cto, which is used by calling it like a function.
Ctz
Count Trailing Zeros
CtzBuilder
A specialized builder for Ctz, which is used by calling it like a function.
Div
Unsigned integer division, traps on division by zero
DivBuilder
A specialized builder for Div, which is used by calling it like a function.
Divmod
Combined unsigned integer Euclidean division and remainder (modulo).
DivmodBuilder
A specialized builder for Divmod, which is used by calling it like a function.
Eq
Equality comparison
EqBuilder
A specialized builder for [Eq], which is used by calling it like a function.
Exp
Exponentiation for field elements
ExpBuilder
A specialized builder for Exp, which is used by calling it like a function.
Gt
Greater-than comparison
GtBuilder
A specialized builder for Gt, which is used by calling it like a function.
Gte
Greater-than-or-equal comparison
GteBuilder
A specialized builder for Gte, which is used by calling it like a function.
Ilog2
log2(operand)
Ilog2Builder
A specialized builder for Ilog2, which is used by calling it like a function.
Incr
Increment
IncrBuilder
A specialized builder for Incr, which is used by calling it like a function.
Inv
Modular inverse
InvBuilder
A specialized builder for Inv, which is used by calling it like a function.
IsOdd
is_odd(operand)
IsOddBuilder
A specialized builder for IsOdd, which is used by calling it like a function.
Lt
Less-than comparison
LtBuilder
A specialized builder for Lt, which is used by calling it like a function.
Lte
Less-than-or-equal comparison
LteBuilder
A specialized builder for Lte, which is used by calling it like a function.
Max
Select maximum value
MaxBuilder
A specialized builder for Max, which is used by calling it like a function.
Min
Select minimum value
MinBuilder
A specialized builder for Min, which is used by calling it like a function.
Mod
Unsigned integer Euclidean modulo, traps on division by zero
ModBuilder
A specialized builder for Mod, which is used by calling it like a function.
Mul
Two’s complement product
MulBuilder
A specialized builder for Mul, which is used by calling it like a function.
MulOverflowing
Two’s complement product with overflow bit
MulOverflowingBuilder
A specialized builder for MulOverflowing, which is used by calling it like a function.
Neg
Negation
NegBuilder
A specialized builder for Neg, which is used by calling it like a function.
Neq
Inequality comparison
NeqBuilder
A specialized builder for Neq, which is used by calling it like a function.
Not
Logical NOT
NotBuilder
A specialized builder for Not, which is used by calling it like a function.
Or
Logical OR
OrBuilder
A specialized builder for Or, which is used by calling it like a function.
Popcnt
Count of non-zero bits (population count)
PopcntBuilder
A specialized builder for Popcnt, which is used by calling it like a function.
Pow2
pow2(operand)
Pow2Builder
A specialized builder for Pow2, which is used by calling it like a function.
Rotl
Bitwise rotate-left
RotlBuilder
A specialized builder for Rotl, which is used by calling it like a function.
Rotr
Bitwise rotate-right
RotrBuilder
A specialized builder for Rotr, which is used by calling it like a function.
Sdiv
Signed integer division, traps on division by zero or dividing the minimum signed value by -1
SdivBuilder
A specialized builder for Sdiv, which is used by calling it like a function.
Sdivmod
Combined signed integer Euclidean division and remainder (modulo).
SdivmodBuilder
A specialized builder for Sdivmod, which is used by calling it like a function.
Sext
SextBuilder
A specialized builder for Sext, which is used by calling it like a function.
Shl
Bitwise shift-left
ShlBuilder
A specialized builder for Shl, which is used by calling it like a function.
Shr
Bitwise (logical) shift-right
ShrBuilder
A specialized builder for Shr, which is used by calling it like a function.
Smod
Signed integer Euclidean modulo, traps on division by zero
SmodBuilder
A specialized builder for Smod, which is used by calling it like a function.
Sub
Two’s complement difference (subtraction)
SubBuilder
A specialized builder for Sub, which is used by calling it like a function.
SubOverflowing
Two’s complement difference (subtraction) with underflow bit
SubOverflowingBuilder
A specialized builder for SubOverflowing, which is used by calling it like a function.
Trunc
TruncBuilder
A specialized builder for Trunc, which is used by calling it like a function.
Xor
Logical XOR
XorBuilder
A specialized builder for Xor, which is used by calling it like a function.
Zext
ZextBuilder
A specialized builder for Zext, which is used by calling it like a function.

Traits§

ArithOpBuilder