()
| 373 | |
| 374 | |
| 375 | def test_counter_syntax_match(): |
| 376 | with PatternContext() as ctx: |
| 377 | n0 = is_call_dps_packed("extern_matmul") |
| 378 | n1 = is_call_dps_packed("extern_impossible") |
| 379 | n0 >> n1 |
| 380 | dfb = main_fn.body.blocks[0] |
| 381 | assert not ctx.match_dfb(dfb) |
| 382 | |
| 383 | with PatternContext() as ctx: |
| 384 | n0 = is_call_dps_packed("extern_matmul") |
| 385 | n1 = is_call_dps_packed("extern_impossible") |
| 386 | n0 ^ n1 |
| 387 | dfb = main_fn.body.blocks[0] |
| 388 | assert not ctx.match_dfb(dfb) |
| 389 | |
| 390 | |
| 391 | @tvm.script.ir_module |
nothing calls this directly
no test coverage detected
searching dependent graphs…