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