Function test_max_min

tests/python/arith/test_arith_intset.py:125–131

()

def test_max_min():
    ck = IntSetChecker()
    x, y = tvm.tirx.Var("x", "int32"), tvm.tirx.Var("y", "int32")
    ck.verify(tvm.tirx.max(x, x + 1), {x: tvm.arith.IntervalSet(0, 10)}, (1, 11))
    ck.verify(tvm.tirx.min(x - 1, x + 1), {x: tvm.arith.IntervalSet(0, 10)}, (-1, 9))
    ck.verify(tvm.tirx.min(x, y), {}, (tvm.tirx.min(x, y), tvm.tirx.min(x, y)))
    ck.verify(tvm.tirx.max(x, y), {}, (tvm.tirx.max(x, y), tvm.tirx.max(x, y)))


def test_select():