diff options
| author | Max191 <44243577+Max191@users.noreply.github.com> | 2024-05-08 12:05:53 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-08 15:05:53 -0400 |
| commit | 7e35a9a0e77aad673a3054855761ee4afd2605c1 (patch) | |
| tree | 8fc46bae53211821794c17383daa3b9cbd9cca8f /llvm/lib/Transforms/Utils/InlineFunction.cpp | |
| parent | 2f956a35edb61d250a52c4d883f368d060fae57c (diff) | |
| download | llvm-7e35a9a0e77aad673a3054855761ee4afd2605c1.zip llvm-7e35a9a0e77aad673a3054855761ee4afd2605c1.tar.gz llvm-7e35a9a0e77aad673a3054855761ee4afd2605c1.tar.bz2 | |
[mlir] Replace dynamic sizes in insert_slice of tensor.cast canonicalization (#91352)
In some cases this pattern may ignore static information due to dynamic
operands in the insert_slice sizes operands, e.g.:
```
%0 = tensor.cast %arg0 : tensor<1x?xf32> to tensor<?x?xf32>
%1 = tensor.insert_slice %0 into %arg1[...] [%s0, %s1] [...]
: tensor<?x?xf32> into tensor<?x?xf32>
```
Can be rewritten into:
```
%1 = tensor.insert_slice %arg0 into %arg1[...] [1, %s1] [...]
: tensor<1x?xf32> into tensor<?x?xf32>
```
This PR updates the matching in the pattern to allow rewrites like this.
Diffstat (limited to 'llvm/lib/Transforms/Utils/InlineFunction.cpp')
0 files changed, 0 insertions, 0 deletions