[llvm] [LICM][MustExec] Make must-exec logic for IV condition commutative (PR #93150)

[Eli Friedman via llvm-commits]

efriedma-quic wrote:

Oh, I see what you mean: the overall backedge-taken count fits into an iN, but the backedge-taken count for the specific edge doesn't fit.  That's unfortunate; I can't think of any way to solve it.

I suspect it's still slightly profitable to try to truncate the overall backedge-taken count to iN, but maybe not by as much as I was thinking.

https://github.com/llvm/llvm-project/pull/93150