()
| 212 | |
| 213 | |
| 214 | def test_deduce_non_support(): |
| 215 | a = tvm.tirx.Var("a", "int32") |
| 216 | |
| 217 | def test_non_support(lhs): |
| 218 | res = tvm.arith.deduce_bound(a, lhs < 10, {}, {}) |
| 219 | assert res.is_nothing() |
| 220 | |
| 221 | test_non_support(tvm.tirx.floormod(a, 16)) |
| 222 | test_non_support(tvm.tirx.Min(a, 16)) |
| 223 | test_non_support(tvm.tirx.Max(a, 16)) |
| 224 | test_non_support(tvm.tirx.LE(a, 16)) |
| 225 | test_non_support(tvm.tirx.LT(a, 16)) |
| 226 | test_non_support(tvm.tirx.GE(a, 16)) |
| 227 | test_non_support(tvm.tirx.GT(a, 16)) |
| 228 | test_non_support(tvm.tirx.EQ(a, 16)) |
| 229 | test_non_support(tvm.tirx.NE(a, 16)) |
| 230 | test_non_support(tvm.tirx.log(a)) |
| 231 | test_non_support(tvm.tirx.BufferLoad(decl_buffer([16], "int32"), [a])) |
| 232 | |
| 233 | |
| 234 | def test_deduce_floordiv(): |
nothing calls this directly
no test coverage detected
searching dependent graphs…