Sorry I was posting on a wrong thread
@kparzysz Thanks for asking! For example, there might be some rare TVM intrinsics like tir.erf that may be lowered to some cuda intrinsic (using Lowering), but those intrinsics aren’t guaranteed to exist on other hardware platforms, and in this case, we substitute the intrinsic with more complicated computation (using Legalization)