[Mlir-commits] [mlir] [MLIR][DLTI] Enable types as keys in DLTI-query utils (PR #105995)

[Rolf Morel]

================
@@ -17,6 +17,60 @@ module attributes {transform.with_named_sequence} {
 
 // -----
 
+// expected-remark @below {{associated attr 42 : i32}}
+module attributes { test.dlti = #dlti.map<#dlti.dl_entry<i32, 42 : i32>>} {
----------------
rolfmorel wrote:

Have now adjusted the example to indicate the standard pattern of how to use maps to build sets. In combination with a query method that fails when the key is not there, such sets (of types) might be useful, especially when nested inside another map which associates a name to the set (meaning we can effectively create a DLTI predicate).

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