Function test_modular_set

tests/python/arith/test_arith_intset.py:387–394

()

def test_modular_set():
    ck = IntSetChecker()
    x = tvm.tirx.Var("x", "int32")
    y = tvm.tirx.Var("y", "int32")
    expr = (x * 2048 + y * 16) % 7168
    ck.verify(
        expr, {x: tvm.arith.IntervalSet(0, 128), y: tvm.arith.IntervalSet(0, 3584)}, (0, 7152)
    )


def test_relax_deep_variable_dependency_chain():