[llvm] [SCEV] Introduce SCEVExactFlags for UDiv (PR #225065)

[Ramkumar Ramachandra via llvm-commits]

================
@@ -7942,7 +7945,7 @@ const SCEV *ScalarEvolution::createSCEV(Value *V) {
     case Instruction::UDiv:
       LHS = getSCEV(BO->LHS);
       RHS = getSCEV(BO->RHS);
-      return getUDivExpr(LHS, RHS);
+      return getUDivExpr(LHS, RHS, BO->IsExact);
----------------
artagnon wrote:

Correct, and yes, I will move it to the use-flags, thanks.

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