[Mlir-commits] [mlir] [mlir] transform dialect; add pre/post-condition type (PR #191813)

[Oleksandr Alex Zinenko]

================
@@ -104,6 +104,46 @@ transform::AnyParamType::checkPayload(Location loc,
   return DiagnosedSilenceableFailure::success();
 }
 
+//===----------------------------------------------------------------------===//
+// transform::NormalizedOpType
+//===----------------------------------------------------------------------===//
+
+DiagnosedSilenceableFailure
+transform::NormalizedOpType::checkPayload(Location loc,
+                                          ArrayRef<Operation *> payload) const {
+  // Return any definite failure or the first silenceable failure.
+  DiagnosedSilenceableFailure overallResult =
----------------
ftynse wrote:

Transform part, and a lot of mlir, is pretty aggressively "almost never auto". Pretty much limited to lambdas/iterators/tuple-unpack.

https://github.com/llvm/llvm-project/pull/191813