diff options
| author | Matthias Springer <me@m-sp.org> | 2023-07-14 09:49:20 +0200 |
|---|---|---|
| committer | Matthias Springer <me@m-sp.org> | 2023-07-14 09:50:37 +0200 |
| commit | 6040044f2f076aef4f70f45d66aa014a5e5bd7d6 (patch) | |
| tree | d1e8595305069791120573ca399fb0d809cac56d /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 2ac99205ee1a232b8da5ec144662b29bb00ccd70 (diff) | |
| download | llvm-6040044f2f076aef4f70f45d66aa014a5e5bd7d6.zip llvm-6040044f2f076aef4f70f45d66aa014a5e5bd7d6.tar.gz llvm-6040044f2f076aef4f70f45d66aa014a5e5bd7d6.tar.bz2 | |
[mlir][vector] VectorToSCF: Omit redundant out-of-bounds check
There was a bug in `TransferWriteNonPermutationLowering`, a pattern that extends the permutation map of a TransferWriteOp with leading transfer dimensions of size ones. These newly added transfer dimensions are always in-bounds, because the starting point of any dimension is in-bounds. VectorToSCF inserts out-of-bounds checks based on the "in_bounds" attribute and dims that are marked as out-of-bounds but that are actually always in-bounds lead to unnecessary "scf.if" ops.
Differential Revision: https://reviews.llvm.org/D155196
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions