miasm.expression.simplifications_cond Namespace Reference

Functions
def	ExprOp_inf_signed (arg1, arg2)
def	ExprOp_inf_unsigned (arg1, arg2)
def	ExprOp_equal (arg1, arg2)
def	expr_simp_inf_signed (expr_simp, e)
def	expr_simp_inf_unsigned_inversed (expr_simp, e)
def	expr_simp_inverse (expr_simp, e)
def	expr_simp_equal (expr_simp, e)

Variables
	jok1 = m2_expr.ExprId("jok1", 32)
	jok2 = m2_expr.ExprId("jok2", 32)
	jok3 = m2_expr.ExprId("jok3", 32)
	jok_small = m2_expr.ExprId("jok_small", 1)

Function Documentation

expr_simp_equal()

def miasm.expression.simplifications_cond.expr_simp_equal	(		expr_simp,
			e
	)

(x - y)?(0:1) == (x == y)

Here is the call graph for this function:

expr_simp_inf_signed()

def miasm.expression.simplifications_cond.expr_simp_inf_signed	(		expr_simp,
			e
	)

Here is the call graph for this function:

expr_simp_inf_unsigned_inversed()

def miasm.expression.simplifications_cond.expr_simp_inf_unsigned_inversed	(		expr_simp,
			e
	)

Here is the call graph for this function:

expr_simp_inverse()

def miasm.expression.simplifications_cond.expr_simp_inverse	(		expr_simp,
			e
	)

(x <u y) ^ ((x ^ y) [31:32]) == x <s y,
(x <s y) ^ ((x ^ y) [31:32]) == x <u y

Here is the call graph for this function:

ExprOp_equal()

def miasm.expression.simplifications_cond.ExprOp_equal	(		arg1,
			arg2
	)

Here is the caller graph for this function:

ExprOp_inf_signed()

def miasm.expression.simplifications_cond.ExprOp_inf_signed	(		arg1,
			arg2
	)

Here is the caller graph for this function:

ExprOp_inf_unsigned()

def miasm.expression.simplifications_cond.ExprOp_inf_unsigned	(		arg1,
			arg2
	)

Here is the caller graph for this function:

Variable Documentation

jok1

miasm.expression.simplifications_cond.jok1 = m2_expr.ExprId("jok1", 32)

jok2

miasm.expression.simplifications_cond.jok2 = m2_expr.ExprId("jok2", 32)

jok3

miasm.expression.simplifications_cond.jok3 = m2_expr.ExprId("jok3", 32)

jok_small

miasm.expression.simplifications_cond.jok_small = m2_expr.ExprId("jok_small", 1)