simplification_tools Namespace Reference

Functions
def	replace_expr (e)

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

Function Documentation

replace_expr()

def simplification_tools.replace_expr

(

e

)

Variable Documentation

a

simplification_tools.a = ExprId('a', 32)

b

simplification_tools.b = ExprId('b', 32)

c

simplification_tools.c = ExprId('c', 32)

cc

simplification_tools.cc = ExprCond(a, b, c)

d

simplification_tools.d = ExprId('d', 32)

e

simplification_tools.e = ExprId('e', 32)

i1

simplification_tools.i1 = ExprInt(0x1, 32)

i2

simplification_tools.i2 = ExprInt(0x2, 32)

l

list simplification_tools.l = [a[:8], b[:8], c[:8], m[:8], s, i1[:8], i2[:8], o[:8]]

l2

list simplification_tools.l2 = l[::-1]

m

simplification_tools.m = ExprMem(a, 32)

o

simplification_tools.o = ExprCompose(a[8:16], a[:8])

o2

simplification_tools.o2 = ExprCompose(a[8:16], a[:8])

s

simplification_tools.s = a[:8]

u

simplification_tools.u = z.copy()

x

simplification_tools.x = ExprMem(a + b + ExprInt(0x42, 32), 32)

y

simplification_tools.y = x.visit(replace_expr)

z

simplification_tools.z = ExprCompose(a[5:5 + 8], b[:16], x[:8])