()
| 733 | case11_normalized8() |
| 734 | |
| 735 | def case12_normalized9(): |
| 736 | # Normalized Tile Layout Test - 9 (tile = inner w/ device + diff major-dim) |
| 737 | outer = TileLayout(S[(16, 8, 4) : (1, 64, 16)]) |
| 738 | inner = TileLayout(S[(2, 4, 2, 2) : (4, 1, 4, 3)]) |
| 739 | layout_tile = inner.tile(outer, (16, 8, 4), (8, 2, 2)) |
| 740 | |
| 741 | outer_res = inner.is_tile_inner(layout_tile, (128, 16, 8), (8, 2, 2)) |
| 742 | assert outer_res is not None |
| 743 | assert_structural_equal(outer_res.canonicalize(), outer.canonicalize()) |
| 744 | assert inner.is_tile_inner(layout_tile.canonicalize(), (128, 16, 8), (8, 2, 2)) |
| 745 | assert not outer.canonicalize().is_tile_inner( |
| 746 | layout_tile.canonicalize(), (128, 16, 8), (16, 8, 4) |
| 747 | ) |
| 748 | |
| 749 | case12_normalized9() |
| 750 |
no test coverage detected
searching dependent graphs…