diff options
| author | Andrzej Warzyński <andrzej.warzynski@arm.com> | 2024-07-25 09:50:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-25 09:50:25 +0100 |
| commit | 98c73d5df7ff0b5d9c10bc9d44a584d631def1e6 (patch) | |
| tree | 6ffcd545bc9379bcaa20b616a34395acb615d9b0 /llvm/lib/Bitcode/Writer/BitcodeWriter.cpp | |
| parent | c7a3346ab6a8fbd551a80bd4028ec8624daa35e4 (diff) | |
| download | llvm-98c73d5df7ff0b5d9c10bc9d44a584d631def1e6.zip llvm-98c73d5df7ff0b5d9c10bc9d44a584d631def1e6.tar.gz llvm-98c73d5df7ff0b5d9c10bc9d44a584d631def1e6.tar.bz2 | |
[mlir][vector] Restrict vector.shape_cast (scalable vectors) (#100331)
Updates the verifier for `vector.shape_cast` so that incorrect cases
where "scalability" is dropped are immediately rejected. For example:
```mlir
vector.shape_cast %vec : vector<1x1x[4]xindex> to vector<4xindex>
```
Also, as a separate PR, I've prepared a fix for the Linalg vectorizer to
avoid generating such shape casts (*):
* https://github.com/llvm/llvm-project/pull/100325
(*) Note, that's just one specific case that I've identified so far.
Diffstat (limited to 'llvm/lib/Bitcode/Writer/BitcodeWriter.cpp')
0 files changed, 0 insertions, 0 deletions