[PATCH] D98807: Fix a naming issue in recurrence matcher

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Is there any difference between this "near recurrence" and any loop-variant value? Like, in code

  iv = phi 0, iv.next
  x = load volatile ...
  iv.next = iv + x

`iv` is near-recurrence in your definition. But what is a conceptual difference between `iv` and `x`? Both change on every loop iteration by a random value. They even may happen to be the same most of the time.

If you think that "near recurrences" have to be a specific class of loop variants, then we need clear definition of that is it and what properties it is expected to have.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D98807