[PATCH] D157375: [LV] Pre-commit test case for AnyOf reduction , NFC
Michael Maitland via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 22 18:43:32 PDT 2023
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
More information about the llvm-commits
mailing list