While adding an operator in Topi, most of the time we need to put certain checks on dynamic input data values for which values are known at runtime only. Is there a way in the form of tensor expression, to assert values in compute definition?
For ex. An operator accepts indices as dynamic inputs and we want to check if they are out of bound. How to add such a kind of checks in the compute definition which will throw an error at the runtime.