[llvm] [ValueTracking] Infer `exact` for `udiv` and `sdiv` (PR #126438)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

I'm not entirely convinced that this is worthwhile, esp. taking into account that the div/rem will usually be combined.

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