[PATCH] D106852: [SCEV] Fix getAddExpr for adding loop invariants into start of some AddRec
Philip Reames via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 9 15:56:21 PDT 2021
reames added a comment.
I wrote up what I think the current semantics are supposed to be in https://reviews.llvm.org/D109553. Assuming we agree, I'd like to land that, and then fix this piece of code accordingly.
I still think we probably want different semantics, but getting to my desired semantics from our current ones looks quite involved, and I think we need to start with getting to *any* consistent model.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D106852/new/
https://reviews.llvm.org/D106852
More information about the llvm-commits
mailing list