diff options
| author | Benoit Jacob <jacob.benoit.1@gmail.com> | 2024-10-09 09:24:23 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-09 09:24:23 -0400 |
| commit | a9ebdbb5ac7de7a028f6060b789196a43aea7580 (patch) | |
| tree | 0547923129ccb53ac6022aab9071e2ca51940491 /lldb/test/API/python_api/global_module_cache/TestGlobalModuleCache.py | |
| parent | 1e357cde4836d034d2f7a6d9af099eef23271756 (diff) | |
[MLIR] Vector: turn the ExtractStridedSlice rewrite pattern from #111541 into a canonicalization (#111614)
This is a reasonable canonicalization because `extract` is more
constrained than `extract_strided_slices`, so there is no loss of
semantics here, just lifting an op to a special-case higher/constrained
op. And the additional `shape_cast` is merely adding leading unit dims
to match the original result type.
Context: discussion on #111541. I wasn't sure how this would turn out,
but in the process of writing this PR, I discovered at least 2 bugs in
the pattern introduced in #111541, which shows the value of shared
canonicalization patterns which are exercised on a high number of
testcases.
---------
Signed-off-by: Benoit Jacob <jacob.benoit.1@gmail.com>
Diffstat (limited to 'lldb/test/API/python_api/global_module_cache/TestGlobalModuleCache.py')
0 files changed, 0 insertions, 0 deletions