[Mlir-commits] [mlir] [MLIR][NFC] Speed up is valid symbol check (PR #154924)

[William Moses]

================
@@ -427,6 +427,25 @@ bool mlir::affine::isValidSymbol(Value value) {
   return false;
 }
 
+/// A utility function to check if a value is defined at the top level of
+/// `region` or is an argument of `region` or dominates the region.
----------------
wsmoses wrote:

renamed. But also because the underlying code checks the is isolated from above constraint, `areValuesDefinedAbove` isn't equivalent

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