Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
sav08:bitwidth_analysis [2008/05/20 13:56] vkuncak |
sav08:bitwidth_analysis [2008/05/20 13:58] vkuncak |
||
---|---|---|---|
Line 15: | Line 15: | ||
One simple rule: $g(x)=$ | One simple rule: $g(x)=$ | ||
- | ++++ | + | ++++| |
- | | | + | \[\begin{array}{l} |
- | let L = $\min(g(y)) + \min(g(z))-1$ | + | let\ L = \min(g(y)) + \min(g(z))-1 \\ |
- | let U = $\max(g(y)) + \max(g(z))+1$ | + | let\ U = \max(g(y)) + \max(g(z))+1 \\ |
- | if (L < 32) or (U > 31) then B | + | if\ (L < 32) \lor (U > 31)\ then\ B \\ |
- | else [L,U] | + | else\ [L,U] |
+ | \end{array} | ||
+ | \] | ||
++++ | ++++ | ||