diff options
| author | Stephan Herhut <herhut@google.com> | 2022-01-07 09:53:14 +0100 |
|---|---|---|
| committer | Stephan Herhut <herhut@google.com> | 2022-01-10 11:55:47 +0100 |
| commit | 33cec20dbd3bb8a896084da4a87f00d1cf13f77a (patch) | |
| tree | f91e6dec14da7a4bf0624755d85378778fe20a1a /llvm/unittests/Support/TargetParserTest.cpp | |
| parent | e3c84fb9481894efad345b91ff97a8898a52e841 (diff) | |
| download | llvm-33cec20dbd3bb8a896084da4a87f00d1cf13f77a.zip llvm-33cec20dbd3bb8a896084da4a87f00d1cf13f77a.tar.gz llvm-33cec20dbd3bb8a896084da4a87f00d1cf13f77a.tar.bz2 | |
[mlir][memref] Tighten verification of memref.reinterpret_cast
We allow the omission of a map in memref.reinterpret_cast under the assumption,
that the cast might cast to an identity layout. This change adds verification
that the static knowledge that is present in the reinterpret_cast supports
this assumption.
Differential Revision: https://reviews.llvm.org/D116601
Diffstat (limited to 'llvm/unittests/Support/TargetParserTest.cpp')
0 files changed, 0 insertions, 0 deletions