Why is ceil implemented differently in TVM and HalideIR


#1

tvm::ceil:

HalideIR::Internal::ceil:

Such difference effectively prevent from simplifying properly:

Is it a bug? @tqchen


#2

This is intentional,we can go and fix it to use the new ceil convention in the new simplification infra