[Mlir-commits] [mlir] [mlir][affine] Treat failed dependence checks conservatively (PR #211014)

[Takayuki Todokoro]

takatodo wrote:

@ftynse 
Implemented option (a), thanks. hasDependence is now mustHaveDependence, and mayHaveDependence conservatively returns true for Failure. 
I also audited the callers: loop-fusion legality uses mayHaveDependence, while callers requiring a proven dependence use mustHaveDependence.

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