simplification_tools.py File Reference

Namespaces
	simplification_tools

Functions
def	simplification_tools.replace_expr (e)

Variables
	simplification_tools.a = ExprId('a', 32)
	simplification_tools.b = ExprId('b', 32)
	simplification_tools.c = ExprId('c', 32)
	simplification_tools.d = ExprId('d', 32)
	simplification_tools.e = ExprId('e', 32)
	simplification_tools.m = ExprMem(a, 32)
	simplification_tools.s = a[:8]
	simplification_tools.i1 = ExprInt(0x1, 32)
	simplification_tools.i2 = ExprInt(0x2, 32)
	simplification_tools.cc = ExprCond(a, b, c)
	simplification_tools.o = ExprCompose(a[8:16], a[:8])
	simplification_tools.o2 = ExprCompose(a[8:16], a[:8])
list	simplification_tools.l = [a[:8], b[:8], c[:8], m[:8], s, i1[:8], i2[:8], o[:8]]
list	simplification_tools.l2 = l[::-1]
	simplification_tools.x = ExprMem(a + b + ExprInt(0x42, 32), 32)
	simplification_tools.y = x.visit(replace_expr)
	simplification_tools.z = ExprCompose(a[5:5 + 8], b[:16], x[:8])
	simplification_tools.u = z.copy()