What does InferBound do in tvm source code?

I am studying the implementation of Schedule in TVM. I come across two concepts “Range” and “IterVar”. Can anyone tell me what “Range” and “IterVar” mean in computation graph, and what does InferBound do in tvm? many thanks

IterVar refers to the iteration variable of an axis (aka For loop). An IterVar maps to a Range which contains the starting integer of the For loop and the extent (aka number of iterations).

There’s a detailed write up of InferBound https://docs.tvm.ai/dev/inferbound.html

1 Like