Simplify (B2R2)

Simplify Module

Namespace: B2R2.RearEnd.ROP
Assembly: B2R2.RearEnd.ROP.dll

Functions and values

Function or value	Description
`addNum n1 n2` Full Usage: `addNum n1 n2` Parameters: n1 : `BitVector` n2 : `BitVector` Returns: `Expr`	n1 : `BitVector` n2 : `BitVector` Returns: `Expr`
`binADD e1 e2` Full Usage: `binADD e1 e2` Parameters: e1 : `Expr` e2 : `Expr` Returns: `Expr`	e1 : `Expr` e2 : `Expr` Returns: `Expr`
`binSUB e1 e2` Full Usage: `binSUB e1 e2` Parameters: e1 : `Expr` e2 : `Expr` Returns: `Expr`	e1 : `Expr` e2 : `Expr` Returns: `Expr`
`isFlippable x` Full Usage: `isFlippable x` Parameters: x : `BitVector` Returns: `bool`	x : `BitVector` Returns: `bool`
`isMax ty e` Full Usage: `isMax ty e` Parameters: ty : `int<MeasureProduct<rt, MeasureOne>>` e : `Expr` Returns: `bool`	ty : `int<MeasureProduct<rt, MeasureOne>>` e : `Expr` Returns: `bool`
`isOne e` Full Usage: `isOne e` Parameters: e : `Expr` Returns: `bool`	e : `Expr` Returns: `bool`
`isZero e` Full Usage: `isZero e` Parameters: e : `Expr` Returns: `bool`	e : `Expr` Returns: `bool`
`maxNum ty` Full Usage: `maxNum ty` Parameters: ty : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr`	ty : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr`
`negNum x` Full Usage: `negNum x` Parameters: x : `BitVector` Returns: `Expr`	x : `BitVector` Returns: `Expr`
`simplify expr` Full Usage: `simplify expr` Parameters: expr : `Expr` Returns: `Expr`	expr : `Expr` Returns: `Expr`
`simplifyBinOp op ty e1 e2` Full Usage: `simplifyBinOp op ty e1 e2` Parameters: op : `BinOpType` ty : `RegType` e1 : `Expr` e2 : `Expr` Returns: `Expr`	op : `BinOpType` ty : `RegType` e1 : `Expr` e2 : `Expr` Returns: `Expr`
`simplifyCast kind ty e1` Full Usage: `simplifyCast kind ty e1` Parameters: kind : `CastKind` ty : `RegType` e1 : `Expr` Returns: `Expr`	kind : `CastKind` ty : `RegType` e1 : `Expr` Returns: `Expr`
`subNum n1 n2` Full Usage: `subNum n1 n2` Parameters: n1 : `BitVector` n2 : `BitVector` Returns: `Expr`	n1 : `BitVector` n2 : `BitVector` Returns: `Expr`
`zeroNum ty` Full Usage: `zeroNum ty` Parameters: ty : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr`	ty : `int<MeasureProduct<rt, MeasureOne>>` Returns: `Expr`