diff options
| author | Benoit Jacob <jacob.benoit.1@gmail.com> | 2024-05-08 13:37:05 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-08 13:37:05 -0400 |
| commit | dabdec1001dc368373dd581cf72f37a440873ce3 (patch) | |
| tree | 72632701611d7cd812a3d946deb06898dfc327ff /llvm/lib/Transforms/Utils/BasicBlockUtils.cpp | |
| parent | bb6df0804ba0a0b0581aec4156138f5144dbcee2 (diff) | |
| download | llvm-dabdec1001dc368373dd581cf72f37a440873ce3.zip llvm-dabdec1001dc368373dd581cf72f37a440873ce3.tar.gz llvm-dabdec1001dc368373dd581cf72f37a440873ce3.tar.bz2 | |
Fix `memref.expand_shape` verifier (#91501)
Torch-mlir integration is currently blocked on `memref.expand_shape`
verifier errors of the form
```
'memref.expand_shape' op invalid output shape provided at pos 1
```
The verifier code generating these errors was introduced in
https://github.com/llvm/llvm-project/pull/91245. I have commented there
why I believe it's incorrect. This PR has my suggested fix.
Unfortunately, this does not seem to be directly testable on `memref`
IR, because `static_output_shape` is not directly exposed in the custom
assembly format.
Diffstat (limited to 'llvm/lib/Transforms/Utils/BasicBlockUtils.cpp')
0 files changed, 0 insertions, 0 deletions