To summarize the discussion so far. I think everyone agrees that we should introduce one of FloorDiv or EuclideanDiv, and this is a pretty close call (see the technical summary above).
@derisavi @sgrechanik-h suggested eucildean div for the reason of being consistent with Halide smt-libs. My understanding atm is that while we have different thoughts, we mostly agree that adding either floordiv or eucildean div would be a good improvement. We just need to decide which one. I am still slightly lean toward floordiv given that it is conceptually easier and consistent with python3, MLIR, but would still love to hear further thoughts if we have a strong opinion against the choice. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3478#issuecomment-508832024
