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

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Some initial comments, the AddSub stuff is very confusing to me.

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