LiftingUtils (B2R2)

LiftingUtils Module

Function or value	Description
`numI32 n t` Full Usage: `numI32 n t` Parameters: n : `int32` t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr` Modifiers: inline	n : `int32` t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr`
`numI64 n t` Full Usage: `numI64 n t` Parameters: n : `int64` t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr` Modifiers: inline	n : `int64` t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr`
`numU32 n t` Full Usage: `numU32 n t` Parameters: n : `uint32` t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr` Modifiers: inline	n : `uint32` t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr`
`numU64 n t` Full Usage: `numU64 n t` Parameters: n : `uint64` t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr` Modifiers: inline	n : `uint64` t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr`
`tmpVars2 ir t` Full Usage: `tmpVars2 ir t` Parameters: ir : `IRBuilder` t : `RegType` Returns: `Expr * Expr` Modifiers: inline	ir : `IRBuilder` t : `RegType` Returns: `Expr * Expr`
`tmpVars3 ir t` Full Usage: `tmpVars3 ir t` Parameters: ir : `IRBuilder` t : `RegType` Returns: `Expr * Expr * Expr` Modifiers: inline	ir : `IRBuilder` t : `RegType` Returns: `Expr * Expr * Expr`
`tmpVars4 ir t` Full Usage: `tmpVars4 ir t` Parameters: ir : `IRBuilder` t : `RegType` Returns: `Expr * Expr * Expr * Expr` Modifiers: inline	ir : `IRBuilder` t : `RegType` Returns: `Expr * Expr * Expr * Expr`