[Mlir-commits] [mlir] [mlir] Allow using non-attribute properties in declarative rewrite patterns (PR #143071)

[Krzysztof Drewniak]

================
@@ -503,6 +552,13 @@ bool SymbolInfoMap::bindAttr(StringRef symbol) {
   return symbolInfoMap.count(inserted->first) == 1;
 }
 
+bool SymbolInfoMap::bindProp(StringRef symbol,
+                             const PropConstraint &constraint) {
+  auto inserted =
----------------
krzysz00 wrote:

It's an unordered *multi*map - so you can specifically both check for two results and - I suspect - determine what there's a conflict with

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