tvm_tirx.ir.prim.indexdiv

Contents

tvm_tirx.ir.prim.indexdiv#

tvm_tirx.ir.prim.indexdiv(a, b, loc=UNKNOWN_LOC)#

Compute floor(a / b) where a and b are non-negative.

Parameters:
  • a (Expr) – The left hand operand, known to be non-negative.

  • b (Expr) – The right hand operand, known to be non-negative.

  • loc (Location, optional) – The location of this operator in the source.

Returns:

res (Expr) – The result expression.

Note

Use this function to split non-negative indices. This function may take advantage of operands’ non-negativeness.