[llvm] [LV] Rewrite UDiv A, B -> UDiv A, UMax(B, 1) in trip counts if needed. (PR #92177)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 27 13:43:12 PDT 2024
fhahn wrote:
@efriedma-quic lost the ability to reply to the comment below inline
> Yes, this is what I was thinking, roughly.
>
>> I am not sure if the divisor being poison in @multi_exit_4_exit_count_with_udiv_by_value_in_latch actually needs freezing
>We could probably refine this in SCEVExpander if we end up generating a bunch of freeze in inconvenient places (basically, make a map of SCEVUnknowns which are used without freezing them, and then don't freeze if we see them elsewhere).
Sounds good as a potential follow-up? There are other cases where we also miss freezes I think
https://github.com/llvm/llvm-project/pull/92177
More information about the llvm-commits
mailing list