a few places where demanded bits precision could be tuned up

[regehr]

Dataflow analysis people might enjoy this:

   Precision Opportunities for Demanded Bits in LLVM – Embedded in Academia

John