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

[David Sherwood via llvm-commits]

================
@@ -335,6 +334,7 @@ Value *SCEVExpander::InsertBinop(Instruction::BinaryOps Opcode, Value *LHS,
   Builder.SetCurrentDebugLocation(Loc);
   bool IsNUW = any(Flags & SCEV::FlagNUW);
   bool IsNSW = any(Flags & SCEV::FlagNSW);
+  bool IsExact = any(Flags & SCEV::FlagExact);
----------------
david-arm wrote:

I understand you're following the existing precedent of using `any` here, but I don't understand why we can't just do

```
  bool IsExact = Flags & SCEV::FlagExact;
```

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