Arithmetic Bounds

Prev: Power-of-2 Boundaries

Next: Counting Bits

Sections

• 4-1 Checking Bounds of Integers
• 4-2 Propagating Bounds through Add’s and Subtract’s
• 4-3 Propagating Bounds through Logical Operations

Problems

1. For unsigned integers, what are the bounds on $x-y$ if $0\le x\le b$ and $0\le y\le d$?

2. Show how the maxOR function (Figure 4-4) can be simplified if either $a=0$ or $c=0$ on a machine that has the number-of-leading-zeros instruction.