[PATCH] D157375: [LV] Pre-commit test case for AnyOf reduction , NFC

[Michael Maitland via Phabricator via llvm-commits]

michaelmaitland added a comment.

According to `RecurKind`, an `AnyOf` reduction has the form `select(icmp(), x, y) where one of (x,y) are loop invariant`.  In `RecurrenceDescriptor::isAnyOfPattern` there is the additional condition that both (x, y) are loop invariant. (switching between two variables).  The functions in your test case satisfy the first definition of AnyOf but not the second IIUC. Is there a reason why the two definitions of AnyOf are conflicting?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D157375