diff options
author | Matthias Springer <me@m-sp.org> | 2024-06-23 19:05:00 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-23 19:05:00 +0200 |
commit | 6dc8de7a0abc7df8295273694fd9b951ed33708f (patch) | |
tree | d3a49d65acc8121b07d6a934a0b82c0ec559e4a2 /llvm/lib | |
parent | 48cf6b6bbe7a22bfcd98f82dc7afd21c9decd22f (diff) | |
download | llvm-6dc8de7a0abc7df8295273694fd9b951ed33708f.zip llvm-6dc8de7a0abc7df8295273694fd9b951ed33708f.tar.gz llvm-6dc8de7a0abc7df8295273694fd9b951ed33708f.tar.bz2 |
[mlir][memref] Improve `memref.subview` type inference (#96421)
The `memref.subview` result type inference
(`SubViewOp::inferResultType`) sometimes used to produce a dynamic
offset when a static offset is possible.
When a dynamic value (stride, size, etc.) is multiplied with zero, the
result is always a "static 0". Based on this, the result type inference
implementation can be improved to produce more static type information
in memref types.
Diffstat (limited to 'llvm/lib')
0 files changed, 0 insertions, 0 deletions