From 934dddfa02bf41146628e188af944719c3c838d1 Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Wed, 9 Jul 2008 17:30:12 -0700
Subject: [PATCH] checkpoint 09-jul

darcs-hash:20080710003012-5007d-aa20e8c53c797930b1f2e24538e0f38d6376b975.gz
---
 am33.tex |   49 +++++++++++++++++++++++++++++++------------------
 1 file changed, 31 insertions(+), 18 deletions(-)

diff --git a/am33.tex b/am33.tex
index c29ce94..649f878 100644
--- a/am33.tex
+++ b/am33.tex
@@ -66,9 +66,13 @@ Adam Megacz
 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 \\
@@ -89,16 +93,16 @@ Changes:
 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
@@ -390,8 +394,8 @@ Code       & Execute & if \\\hline
 {\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}
@@ -426,7 +430,7 @@ processes have completed:
       {\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}).
 
@@ -443,7 +447,7 @@ processes have completed:
 \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
@@ -639,11 +643,20 @@ counter, outer loop counter, and data latch.
   \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}
 
 }
-- 
1.7.10.4