Template Function tvm::div(const Pattern&, int64_t)