- ....
- Valid register values are
positive integers in the range 0 to 25#25. This constraint is expressed
formally by the equation ``26#26'', which is applied
to all register values. Negative values are represented using two's-complement
representation.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...beginning.
- This simple approach works because all branches are
restricted to be forward-only. We discuss later what happens in the presence of
loops.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...latency
- These operations are speculative because they are not required
if the branch in line 5 is taken.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...code.
- This is essentially the
same as having a compiler translate the types as well as the code, so that the
target program will have types that can be checked. In fact, this approach to
compiling is taken by the SML/TIL compiler [22].
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
