[PATCH] D28884: [SCEV] Simplify/generalize howFarToZero solving.

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy accepted this revision.
sanjoy added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: lib/Analysis/ScalarEvolution.cpp:7037
   uint32_t BW = A.getBitWidth();
-  assert(BW == B.getBitWidth() && "Bit widths must be the same.");
   assert(A != 0 && "A must be non-zero.");
----------------
Can't we keep this same assert using `getScalarTypeInBits`?


Repository:
  rL LLVM

https://reviews.llvm.org/D28884