tvm_tirx.ir.prim.assume

tvm_tirx.ir.prim.assume(cond=None, *, ty=None, loc=UNKNOWN_LOC)

Provide a true statement that can be used for simplifications

Parameters:

• cond (Expr) – The constraint condition.

• loc (Location)

Returns:

call (Expr) – The call expression.