kparzysz added a comment. I can change the comment to something like "returns the smallest positive x such that q(x-1) and q(x) belong to different intervals in the form of [k*2^BW, (k+1)*2^BW)". Repository: rL LLVM https://reviews.llvm.org/D48283