[llvm] [CGP] [CodeGenPrepare] Folding `urem` with loop invariant value plus offset (PR #104724)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> @dtcxzyw Does this pattern exist?

Add: abc/giaSimBase.c.ll
DisjointOr: none
Sub: none

> I can imagine the `add` variant might, but `sub` and `or disjoint` are unnecessary generalization.

Agree.



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