[PATCH] D115969: [Support] improve known bits analysis for leading zeros of multiply

[Simon Pilgrim via Phabricator via llvm-commits]

RKSimon added inline comments.


================
Comment at: llvm/lib/Support/KnownBits.cpp:433
+  unsigned LeadZ = std::max(UMaxLZ, BitWidth) - BitWidth;
   assert(LeadZ <= BitWidth && "More zeros than bits?");
 
----------------
I'm not certain, but this assert (and the max() feeding it) doesn't look quite right - please can you double check it?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D115969/new/

https://reviews.llvm.org/D115969