[PATCH] D70623: [SCEV] Compute trip counts w/frozen conditions

Wed Apr 1 07:07:46 PDT 2020

aqjune added a subscriber: spatel.
aqjune added a comment.
Herald added a subscriber: dantrushin.

Hello all,
I'm seeing this issue after https://reviews.llvm.org/D76483 is merged. LoopStrengthReduce doesn't fire on `49f7513.ll` because the induction variable is frozen (LSR successfully optimizes `0019c2f.ll` on the other hand).
To resolve this, I'd like to write a transformation suggested by @nlopes; pushing freeze out of a loop, effectively making it as `49f7513.candidate.ll`.
Is there an appropriate pass for having this transformation? Or should it be a separate pass?

F11655915: 0019c2f.ll <https://reviews.llvm.org/F11655915> F11655917: 49f7513.candidate.ll <https://reviews.llvm.org/F11655917> F11655916: 49f7513.ll <https://reviews.llvm.org/F11655916>

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D70623