Function tvm::min(const PrimExpr&, int, Location)