expr_grapher Namespace Reference

Variables
	a = ExprId("A", 32)
	b = ExprId("B", 32)
	c = ExprId("C", 32)
	d = ExprId("D", 32)
	m = ExprMem(a + b + c + a, 32)
	e1 = ExprCompose(a + b - ((c * a) // m) | b, a + m)
	e2 = ExprInt(15, 64)
	e = ExprCond(d, e1, e2)[0:32]
	g = e.graph()

Variable Documentation

a

expr_grapher.a = ExprId("A", 32)

b

expr_grapher.b = ExprId("B", 32)

c

expr_grapher.c = ExprId("C", 32)

d

expr_grapher.d = ExprId("D", 32)

e

expr_grapher.e = ExprCond(d, e1, e2)[0:32]

e1

expr_grapher.e1 = ExprCompose(a + b - ((c * a) // m) | b, a + m)

e2

expr_grapher.e2 = ExprInt(15, 64)

g

expr_grapher.g = e.graph()

m

expr_grapher.m = ExprMem(a + b + c + a, 32)