Changes:
\begin{tabular}{rl}
+\color{red}09-Jul
+& \color{red} Fixed a few typos \\
+& \color{red} Added {\tt DataLatch}\to{\tt TAPL} (Amir's request) \\
+& \color{red} Eliminate ability to predicate directly on {\tt C}-flag (Ivan's request) \\
16-Jun
-& \color{red} When a torpedo strikes, {\tt ILC} is set to {\tt 1} \\
-& \color{red} Only {\tt move} can be torpedoed (removed {\tt I}-bit from {\tt set}/{\tt shift}) \\
+& When a torpedo strikes, {\tt ILC} is set to {\tt 1} \\
+& Only {\tt move} can be torpedoed (removed {\tt I}-bit from {\tt set}/{\tt shift}) \\
11-Jun
& Changed all uses of ``Payload'' to ``Immediate'' \color{black} (not in red) \\
& Reworked encoding of {\tt set} instruction \\
23-Apr
& added epilogue fifo to diagrams \\
& indicated that a token sent to the instruction port is treated as a torpedo \\
-18-Apr
-& replaced {\tt setInner}, {\tt setOuter}, {\tt setFlags} with unified {\tt set} instruction \\
-& replaced {\tt literal} with {\tt shift} instruction \\
-17-Apr
-& Made all instructions except {\tt setOuter} depend on {\tt OLC>0} \\
-& Removed ability to manually set the {\tt C} flag \\
-& Expanded predicate field to three bits \\
-& New literals scheme (via shifting) \\
-& Instruction encoding changes made at Ivan's request (for layout purposes) \\
-& Added summary of instruction encodings on last page \\
+%18-Apr
+%& replaced {\tt setInner}, {\tt setOuter}, {\tt setFlags} with unified {\tt set} instruction \\
+%& replaced {\tt literal} with {\tt shift} instruction \\
+%17-Apr
+%& Made all instructions except {\tt setOuter} depend on {\tt OLC>0} \\
+%& Removed ability to manually set the {\tt C} flag \\
+%& Expanded predicate field to three bits \\
+%& New literals scheme (via shifting) \\
+%& Instruction encoding changes made at Ivan's request (for layout purposes) \\
+%& Added summary of instruction encodings on last page \\
%07-Apr
%& removed ``+'' from ``potentially torpedoable'' row where it does not occur in Execute \\
%06-Apr
{\tt 001:} & {\tt OLC$\neq$0} & and {\tt A=1} \\
{\tt 010:} & {\tt OLC$\neq$0} & and {\tt B=0} \\
{\tt 011:} & {\tt OLC$\neq$0} & and {\tt B=1} \\
-{\tt 100:} & {\tt OLC$\neq$0} & and {\tt C=0} \\
-{\tt 101:} & {\tt OLC$\neq$0} & and {\tt C=1} \\
+{\tt 100:} & \color{red}Unused\color{black} & \\
+{\tt 101:} & \color{red}Unused\color{black} & \\
{\tt 110:} & {\tt OLC$\neq$0} & \\
{\tt 111:} & always & \\
\hline\end{tabular}
{\it Otherwise} if the instruction is interruptible ({\tt I=0})
and a torpedo is present in the waiting area: consume the
torpedo, set the outer loop counter to zero ({\tt OLC=0}),
- \color{red}set the inner loop counter to one ({\tt ILC=1}),\color{black}\
+ set the inner loop counter to one ({\tt ILC=1}),
unseal the hatch, and transmit a token along in the
{\it torpedo acknowledgment path latch} ({\tt TAPL}).
\pagebreak
\section{Instructions}
-The dock supports for instructions:
+The dock supports \color{red}four\color{black}\ instructions:
{\tt move} (variants: {\tt moveto}, {\tt dispatch}),
{\tt shift},
{\tt set}, and
\bitheader[b]{0,12,14-18}\\
\bitbox[1]{6}{\raggedleft {\tt Immediate}\to{\tt TAPL}}
\bitbox[r]{1}{}
- \bitbox{5}{\tt 00001}
- \bitbox{1}{}
+ \bitbox{6}{\tt 000010}
\bitbox{13}{\tt Immediate}
\end{bytefield}
+\color{red}
+\begin{bytefield}{26}
+ \bitheader[b]{0,12,14-18}\\
+ \bitbox[1]{6}{\raggedleft {\tt Data Latch}\to{\tt TAPL}}
+ \bitbox[r]{1}{}
+ \bitbox{6}{\tt 000001}
+ \bitbox{13}{}
+\end{bytefield}
+\color{black}
+
\color{black}
}