[Mlir-commits] [mlir] [MLIR][python bindings] invalidate ops after PassManager run (PR #69746)

[Maksim Levental]

makslevental wrote:

> Stupid suggestion: if we could "revalidate" ops, we can invalidate everything including the root and than revalidate the root back.

![image](https://github.com/llvm/llvm-project/assets/5657668/c09a4e1c-1d84-445a-b35e-419ea6417565)

but if "validation" becomes reversible then it might be wise to put `LiveOperationMap liveOperations` behind a mutex? Just so someone doesn't accidentally create a race condition at some point down the line?

One alternative is to make the walk `MlirWalkPreOrder`, do nothing but set a flag like `rootSeen = true`, and from then on check that flag instead of performing `mlirOperationEqual`. I should've done that in the first place I think...


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