[PATCH] D130188: [DependenceAnalysis][PR56275] Normalize dependence analysis results to be non-negative when required

[Bardia Mahjour via Phabricator via llvm-commits]

bmahjour added a comment.

Since the `normalize()` function is conceptually an operation that applies to the result (as opposed to the analysis itself), it makes more sense for it to be a member of the `Dependence` class. Client code, such as loop interchange, would then do something like this:

  if (auto D = DI->depends(Src, Dst, true).normalize()) {
     ...

This way the analysis can be done once, but the results can be interpreted differently if the need arises.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D130188/new/

https://reviews.llvm.org/D130188