tvm_tirx.ir.reinfer_type

tvm_tirx.ir.reinfer_type(call)

Derive a Call’s result type from its current inputs without changing the Call.

For an Op callee, a registered TFixedReturnType takes precedence over FInferType. For another callee whose type is a FuncType, the result is that function type’s return type. Without an applicable rule, this returns MissingType. Inference errors propagate.

This does not invoke the operator’s validator or overwrite call.ty.

Parameters:

call (Call)

Return type:

Type