tree d3a49d65acc8121b07d6a934a0b82c0ec559e4a2
parent 48cf6b6bbe7a22bfcd98f82dc7afd21c9decd22f
author Matthias Springer <me@m-sp.org> 1719162300 +0200
committer GitHub <noreply@github.com> 1719162300 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJmeFW8CRC1aQ7uu5UhlAAAqmoQABoeMZfMweyPctLg+CLUkHDa
 45Nf/apoyYI52Jxyz7YcrtK4PnrnRlgUl/82wEKMlgWbCUjAtpPuHc24k59ECsld
 PdURIRWG+sqlGIoqsuphGfaCz/6c/5y6ZWjlPsuu3M3Dpvmuyhbn3IY7nnMUDOZd
 4IyPiLYFd86rmofNFJWcRME76roGlioipV+UbrdlM+VoNoa7AhFalAq0xoPhD4kh
 cHVKSXMdJfF9Yz1wQn5KPvgqCNrzDEF/ku42qy/uTQkV3u8dhfGeOlkRMttpfNLT
 bn+XDWEcmLt6RfvN4shEQfrUUJN9/t93fiSitNHxL2MuSlCASQVjW2z46hWF5eEE
 3bgkXN+R+aS50K3Mvr1lm8DpUgFIUbZJs1rQe5bVOHJJazfFKjtwV/yEEInAcdR4
 Q96t28lO5vlFdoSxsfh1ytX7ivmHTLBddgRVg3neikZKCOAPCPGQz4qiO4kRI6AZ
 VlmXsN6cMnPES9OXfJ2AepO1vL2CFOyt/k+8pj3OMfKt2gWPQ65d1OOdBERcqSuV
 yOXInGBcWnyy9imA85lBdpjl6RDYQQkPkou0FKUhmXACqCNFWAvl6oVHV1wwQaWY
 nyR3aw0PK0QtEt94b9JQAh7gyrL9GEoacpz9hc3TuMclfhGVzfbn/VtSOdtLkro8
 Vwj/BQZdjnLF9YTKSGCq
 =4DEO
 -----END PGP SIGNATURE-----
 

[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.