[Mlir-commits] [mlir] [mlir][bufferization]-Support unhandled cases in EmptyTensorElimination (PR #118958)

[Matthias Springer]

================
@@ -28,47 +28,72 @@ namespace bufferization {
 using namespace mlir;
 using namespace mlir::bufferization;
 
+/// Return true if `val` is in scope at the given
+/// `insertionPoint`.
+static bool valueDominateInsertionPoint(const DominanceInfo &domInfo,
----------------
matthias-springer wrote:

I think `bool DomiananceInfo::properlyDominates(Value a, Operation *b);` can be used here.

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