Displaying 1 result from an estimated 1 matches for "approxnot".
Did you mean:
approot
2016 May 03
3
Reasoning about known bits of the absolute value of a signed integer
I'm trying to reason about how to find certain bit positions of the absolute value of a given integer value. Specifically, I want to know the highest possibly set bit and lowest possibly set bit of the absolute value, in order to find the range between the two.
Note that I'm specifically trying to be as conservative as possible.
This is what I have so far:
If the sign bit of the