[llvm-branch-commits] [mlir] [mlir][draft] Consolidate patterns into `RegionBranchOpInterface` patterns (PR #174094)

[Ivan Butygin via llvm-branch-commits]

================
@@ -583,3 +624,283 @@ Region *mlir::getEnclosingRepetitiveRegion(Value value) {
   LDBG() << "No enclosing repetitive region found for value";
   return nullptr;
 }
+
+/// Is a defined before b?
+static bool isDefinedBefore(Value a, Value b) {
----------------
Hardcode84 wrote:

Can we use `DominanceInfo`?

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