ir.py File Reference

Namespaces
	ir

Variables
	ir.id_a = ExprId("a", 32)
	ir.id_b = ExprId("b", 32)
	ir.int0 = ExprInt(0, id_a.size)
	ir.assignblk1 = AssignBlock([ExprAssign(id_a, id_b)])
	Constructors. More...
	ir.assignblk2 = AssignBlock({id_a: id_b})
	ir.assignblk1_bis = AssignBlock([ExprAssign(id_a, id_b)])
	Equality. More...
	ir.assignblk3 = AssignBlock({id_a: id_b - id_b})
	Immutability. More...
	ir.assignblk4 = assignblk3.simplify(expr_simp)