================
@@ -2842,8 +2851,18 @@ static LogicalResult
produceSubViewErrorMsg(SliceVerificationResult result,
llvm_unreachable("unexpected subview verification result");
}
-/// Verifier for SubViewOp.
LogicalResult SubViewOp::verify() {
+ for (int64_t offset : getStaticOffsets()) {
----------------
rikhuijzer wrote:
Yes that makes a lot of sense IMO. I find it quite impressive from the MLIR
developers that adding the check (e4e40f2) causes none of the tests to fail!
Hopefully nobody downstream depends on this logic even though it shouldn't work
anyway.
https://github.com/llvm/llvm-project/pull/72059
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
