Commit 7ea94922 authored by Tres Popp's avatar Tres Popp
Browse files

[mlir] Allow RegionBranchOps in dependence analysis 

This is to prevent assertion failures on scf.if and shape.assuming
operations where this is not enough information currently to handle any
aliasing information.

Differential Revision: https://reviews.llvm.org/D92963
parent 68ff3b33

mlir/lib/Dialect/Linalg/Analysis/DependenceAnalysis.cpp

+4 −0
Original line number Diff line number Diff line
@@ -43,6 +43,10 @@ Value Aliases::find(Value v) { 
    if (!defOp)

      return v;



    // Treat RegionBranchOpInterfaces like an allocate and don't try to follow

    // the aliasing further.

    if (isa<RegionBranchOpInterface>(defOp))

      return v;

    if (isa<TensorToMemrefOp>(defOp))

      return v;