[llvm] [ValueTracking] Enhance overflow computation for unsigned mul (PR #171568)

[Nikita Popov via llvm-commits]

================
@@ -7286,15 +7286,15 @@ OverflowResult llvm::computeOverflowForUnsignedMul(const Value *LHS,
                                                    const Value *RHS,
                                                    const SimplifyQuery &SQ,
                                                    bool IsNSW) {
-  KnownBits LHSKnown = computeKnownBits(LHS, SQ);
-  KnownBits RHSKnown = computeKnownBits(RHS, SQ);
+  ConstantRange LHSRange =
+      computeConstantRangeIncludingKnownBits(LHS, false, SQ);
----------------
nikic wrote:

```suggestion
      computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/false, SQ);
```

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