Function test_select

tests/python/arith/test_arith_intset.py:134–137

()

def test_select():
    ck = IntSetChecker()
    x, y = tvm.tirx.Var("x", "int32"), tvm.tirx.Var("y", "int32")
    ck.verify(tvm.tirx.Select(x > 0, x - 1, x + 1), {x: tvm.arith.IntervalSet(0, 10)}, (-1, 11))


def check_region_bound(expect_region, var_dom, mode, predicate=None):