Handle non-constant shifts in computeKnownBits, and use computeKnownBits for constant...