[llvm] [CodeGenPrepare] Folding `urem` with loop invariant value as remainder (PR #96625)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Alive2 seemed unable to prove this (see:
https://alive2.llvm.org/ce/z/ATGDp3 which is clearly wrong but still
checks out...) 

Can you try again with "--src-unroll=xxx --tgt-unroll=xxx"?


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