[Bug] [Relax][TOPI] Max and min reductions replace infinities with finite extrema #20935

import numpy as np
import onnx
import tvm
from onnx import TensorProto as T, helper as h
from onnx.reference import ReferenceEvaluator
from tvm import relax
from tvm.relax.frontend.onnx import from_onnx

for operation, extreme in [("ReduceMax", -np.inf), ("ReduceMin", np.inf)]:
    model = h.make_model(h.make_graph([
        h.make_node(operation, ["x"], ["y"], keepdims=0)], "reduce",
        [h.make_tensor_value_info("x", T.FLOAT, [3])],
        [h.make_tensor_value_info("y", T.FLOAT, [])]),
        opset_imports=[h.make_opsetid("", 13)], ir_version=10)
    onnx.checker.check_model(model, full_check=True)
    mod = from_onnx(model, keep_params_in_input=False)
    vm = relax.VirtualMachine(relax.build(mod, target="llvm"), tvm.cpu())
    normal = np.full(3, 7, dtype="float32")
    np.testing.assert_array_equal(vm["main"](tvm.runtime.tensor(normal)).numpy(), 7)
    x = np.full(3, extreme, dtype="float32")
    reference = ReferenceEvaluator(model).run(None, {"x": x})[0]
    np.testing.assert_array_equal(reference, np.array(extreme, dtype="float32"))
    actual = vm["main"](tvm.runtime.tensor(x)).numpy()
    assert np.isfinite(actual) and abs(actual) == np.finfo("float32").max
    print(operation, "finite control passed; expected", extreme, "actual", actual.item())