[llvm] [SCEV] BECount to zero if `((-C + (C smax %x)) /u %x), C > 0` holds (PR #104580)

[Nikita Popov via llvm-commits]

================
@@ -3547,6 +3547,25 @@ const SCEV *ScalarEvolution::getUDivExpr(const SCEV *LHS,
     }
   }
 
+  // ((-C + (C smax %x)) /u %x) evaluates to zero, for any positive %x and any
+  // positive constant C.
----------------
nikic wrote:

```suggestion
  // ((-C + (C smax %x)) /u %x) evaluates to zero, for any
  // positive constant C.
```
Positive %x not required?

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