[llvm] ValueTracking: simplify udiv/urem recurrences (PR #108973)

[Ramkumar Ramachandra via llvm-commits]

================
@@ -8997,12 +9012,14 @@ bool llvm::matchSimpleRecurrence(const PHINode *P, BinaryOperator *&BO,
     switch (Opcode) {
     default:
       continue;
-    // TODO: Expand list -- xor, div, gep, uaddo, etc..
+    // TODO: Expand list -- sdiv, srem, fadd etc.
----------------
artagnon wrote:

- I can't think of a possible recurrence with xor.
- GEP isn't a BinaryOperator, is it? What possible recurrences are possible?
- I can't find uaddo in the LangRef, and don't know what it is.

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