Function test_add_sub

tests/python/arith/test_arith_intset.py:65–70

()

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


def test_mul_div():