Function test_non_support

tests/python/arith/test_arith_deduce_bound.py:217–219

(lhs)

    a = tvm.tirx.Var("a", "int32")

    def test_non_support(lhs):
        res = tvm.arith.deduce_bound(a, lhs < 10, {}, {})
        assert res.is_nothing()

    test_non_support(tvm.tirx.floormod(a, 16))
    test_non_support(tvm.tirx.Min(a, 16))