ir Namespace Reference

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

Variable Documentation

assignblk1

ir.assignblk1 = AssignBlock([ExprAssign(id_a, id_b)])

Constructors.

assignblk1_bis

ir.assignblk1_bis = AssignBlock([ExprAssign(id_a, id_b)])

Equality.

assignblk2

ir.assignblk2 = AssignBlock({id_a: id_b})

assignblk3

ir.assignblk3 = AssignBlock({id_a: id_b - id_b})

Immutability.

Basic APIs

Simplify

assignblk4

ir.assignblk4 = assignblk3.simplify(expr_simp)

id_a

ir.id_a = ExprId("a", 32)

id_b

ir.id_b = ExprId("b", 32)

int0

ir.int0 = ExprInt(0, id_a.size)