[llvm] [LICM][MustExec] Make must-exec logic for IV condition commutative (PR #93150)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Sat May 25 07:38:05 PDT 2024
nikic wrote:
> > I'm not sure what else can be done about that test.
>
> Can we truncate the count? I mean, the math in howManyLessThans doesn't fit into i64, but does the actual backedge-taken count overflow 64 bits?
I think so. The BECount for `{0,+,1}<nuw> ule N` is `zext(N) + 1`, so we can't represent it in the narrow type.
https://github.com/llvm/llvm-project/pull/93150
More information about the llvm-commits
mailing list