sem.py File Reference

Classes
class	sem.TestX86Semantic

Namespaces
	sem

Functions
def	sem.symb_exec (lbl, ir_arch, ircfg, inputstate, debug)
def	sem.compute (ir, mode, asm, inputstate={}, debug=False)
def	sem.compute_txt (ir, mode, txt, inputstate={}, debug=False)
def	sem.int_vec_op (op, elt_size, reg_size, arg1, arg2)

Variables
int	sem.m32 = 32
int	sem.m64 = 64
	sem.op_add = lambda a, b: a+b
	sem.op_sub = lambda a, b: a-b
	sem.op_mul = lambda a, b: a*b
	sem.op_div = lambda a, b: a //b
	sem.op_and = lambda a, b: a&b
	sem.op_or = lambda a, b: a|b
	sem.op_xor = lambda a, b: a^b
int	sem.MMX_V0 = 0x0001020304050607
int	sem.MMX_V1 = 0x0101010101010101
	sem.MMX_A = ExprId('A', 64)
	sem.MMX_B = ExprId('B', 64)
int	sem.SSE_V0 = 0x00010203040506070001020304050607
int	sem.SSE_V1 = 0x01010101010101010101010101010101
	sem.SSE_A = ExprId('A', 128)
	sem.SSE_B = ExprId('B', 128)