whitequark · Apr 11, 2020 · Apr 11, 2020 · Apr 11, 2020 · Apr 11, 2020 · Apr 11, 2020
diff --git a/doc/design.ods b/doc/design.ods
diff --git a/doc/manual/insns/ADC.tex b/doc/manual/insns/ADC.tex
@@ -9,7 +9,7 @@
 \begin{remarks}
 A 32-bit addition with both operands in registers can be performed as follows:
 \begin{alltt}
-; Perform (R1|R0) ← (R3|R2) + (R5|R4)
+; Perform \string{R1, R0\string} ← \string{R3, R2\string} + \string{R5, R4\string}
     ADD  R0, R2, R4
     ADC  R1, R3, R5
 \end{alltt}

diff --git a/doc/manual/insns/ADCI.tex b/doc/manual/insns/ADCI.tex
@@ -13,7 +13,7 @@
 \begin{remarks}
 A 32-bit addition with a register and an immediate operand can be performed as follows:
 \begin{alltt}
-; Perform (R1|R0) ← (R3|R2) + 0x40001
+; Perform \string{R1, R0\string} ← \string{R3, R2\string} + 0x40001
     ADDI R0, R2, 1
     ADCI R1, R3, 4
 \end{alltt}

diff --git a/doc/manual/insns/JC.tex → doc/manual/insns/BC.tex b/doc/manual/insns/JC.tex → doc/manual/insns/BC.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JC}{Jump if Carry}
+\begin{instruction}{BC}{Branch if Carry}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{1010} & \off{8} \\
   \end{encoding*}
@@ -7,8 +7,8 @@
     \mnemonic & \op{4}{1011} & \op{4}{1010} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control if an arithmetic operation resulted in unsigned overflow.}
+  \purpose{To transfer control if the last arithmetic operation resulted in unsigned overflow.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{C}\end{operation}
-  \begin{remarks}This instruction has the same encoding as \insnref{JUGE}.\end{remarks}
+  \begin{remarks}This instruction has the same encoding as \insnref{BC1}.\end{remarks}
 \end{instruction}
diff --git a/doc/manual/insns/BC0.tex b/doc/manual/insns/BC0.tex
@@ -0,0 +1,13 @@
+\begin{instruction}{BC0}{Branch if Carry is 0}
+  \begin{encoding*}{short}
+    \mnemonic & \op{4}{1011} & \op{4}{0010} & \off{8} \\
+  \end{encoding*}
+  \begin{encoding*}{long}
+    \exti
+    \mnemonic & \op{4}{1011} & \op{4}{0010} & \off{8} \\
+  \end{encoding*}
+  \assembly{\mnemonic{} label}
+  \purpose{To transfer control if the carry (C) flag is 0.}
+  \input{off8-restrictions.tex}
+  \begin{operation}\off{8}\jump{\K{not} C}\end{operation}
+\end{instruction}
diff --git a/doc/manual/insns/BC1.tex b/doc/manual/insns/BC1.tex
@@ -0,0 +1,13 @@
+\begin{instruction}{BC1}{Branch if Carry is 1}
+  \begin{encoding*}{short}
+    \mnemonic & \op{4}{1011} & \op{4}{1010} & \off{8} \\
+  \end{encoding*}
+  \begin{encoding*}{long}
+    \exti
+    \mnemonic & \op{4}{1011} & \op{4}{1010} & \off{8} \\
+  \end{encoding*}
+  \assembly{\mnemonic{} label}
+  \purpose{To transfer control if the carry (C) flag is 1.}
+  \input{off8-restrictions.tex}
+  \begin{operation}\off{8}\jump{C}\end{operation}
+\end{instruction}
diff --git a/doc/manual/insns/JE.tex → doc/manual/insns/BEQ.tex b/doc/manual/insns/JE.tex → doc/manual/insns/BEQ.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JE}{Jump if Equal}
+\begin{instruction}{BEQ}{Branch if Equal}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{1000} & \off{8} \\
   \end{encoding*}
@@ -10,5 +10,5 @@
   \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is equal to \texttt{Rb}.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{Z}\end{operation}
-  \begin{remarks}This instruction has the same encoding as \insnref{JZ}.\end{remarks}
+  \begin{remarks}This instruction has the same encoding as \insnref{BZ1}.\end{remarks}
 \end{instruction}
diff --git a/doc/manual/insns/JSGE.tex → doc/manual/insns/BGES.tex b/doc/manual/insns/JSGE.tex → doc/manual/insns/BGES.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JSGE}{Jump if Signed Greater or Equal}
+\begin{instruction}{BGES}{Branch if Greater or Equal, Signed}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{0101} & \off{8} \\
   \end{encoding*}
@@ -7,7 +7,7 @@
     \mnemonic & \op{4}{1011} & \op{4}{0101} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is greater than or equal to \texttt{Rb} when interpreted as signed integer.}
+  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is greater than or equal to \texttt{Rb} when interpreted as signed integers.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{\K{not} (S \K{xor} V)}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/JUGE.tex → doc/manual/insns/BGEU.tex b/doc/manual/insns/JUGE.tex → doc/manual/insns/BGEU.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JUGE}{Jump if Unsigned Greater or Equal}
+\begin{instruction}{BGEU}{Branch if Greater or Equal, Unsigned}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{1010} & \off{8} \\
   \end{encoding*}
@@ -7,8 +7,8 @@
     \mnemonic & \op{4}{1011} & \op{4}{1010} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is greater than or equal to \texttt{Rb} when interpreted as unsigned integer.}
+  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is greater than or equal to \texttt{Rb} when interpreted as unsigned integers.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{C}\end{operation}
-  \begin{remarks}This instruction has the same encoding as \insnref{JC}.\end{remarks}
+  \begin{remarks}This instruction has the same encoding as \insnref{BC1}.\end{remarks}
 \end{instruction}
diff --git a/doc/manual/insns/JSGT.tex → doc/manual/insns/BGTS.tex b/doc/manual/insns/JSGT.tex → doc/manual/insns/BGTS.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JSGT}{Jump if Signed Greater Than}
+\begin{instruction}{BGTS}{Branch if Greater Than, Signed}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{0110} & \off{8} \\
   \end{encoding*}
@@ -7,7 +7,7 @@
     \mnemonic & \op{4}{1011} & \op{4}{0110} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is greater than to \texttt{Rb} when interpreted as signed integer.}
+  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is greater than \texttt{Rb} when interpreted as signed integers.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{\K{not} ((S \K{xor} V) \K{or} Z)}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/BGTU.tex b/doc/manual/insns/BGTU.tex
@@ -0,0 +1,13 @@
+\begin{instruction}{BGTU}{Branch if Greater Than, Unsigned}
+  \begin{encoding*}{short}
+    \mnemonic & \op{4}{1011} & \op{4}{0100} & \off{8} \\
+  \end{encoding*}
+  \begin{encoding*}{long}
+    \exti
+    \mnemonic & \op{4}{1011} & \op{4}{0100} & \off{8} \\
+  \end{encoding*}
+  \assembly{\mnemonic{} label}
+  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is greater than \texttt{Rb} when interpreted as unsigned integers.}
+  \input{off8-restrictions.tex}
+  \begin{operation}\off{8}\jump{\K{not} ((\K{not} C) \K{or} Z)}\end{operation}
+\end{instruction}
diff --git a/doc/manual/insns/JULE.tex → doc/manual/insns/BLES.tex b/doc/manual/insns/JULE.tex → doc/manual/insns/BLES.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JULE}{Jump if Unsigned Less or Equal}
+\begin{instruction}{BLES}{Branch if Less or Equal, Signed}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{1110} & \off{8} \\
   \end{encoding*}
@@ -7,7 +7,7 @@
     \mnemonic & \op{4}{1011} & \op{4}{1110} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is less than or equal to \texttt{Rb} when interpreted as unsigned integer.}
+  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is less than or equal to \texttt{Rb} when interpreted as signed integers.}
   \input{off8-restrictions.tex}
-  \begin{operation}\off{8}\jump{(\K{not} C) \K{or} V}\end{operation}
+  \begin{operation}\off{8}\jump{(S \K{xor} V) \K{or} Z}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/JSLE.tex → doc/manual/insns/BLEU.tex b/doc/manual/insns/JSLE.tex → doc/manual/insns/BLEU.tex
@@ -1,13 +1,13 @@
-\begin{instruction}{JSLE}{Jump if Signed Less or Equal}
+\begin{instruction}{BLEU}{Branch if Less or Equal, Unsigned}
   \begin{encoding*}{short}
-    \mnemonic & \op{4}{1011} & \op{4}{1110} & \off{8} \\
+    \mnemonic & \op{4}{1011} & \op{4}{1100} & \off{8} \\
   \end{encoding*}
   \begin{encoding*}{long}
     \exti
-    \mnemonic & \op{4}{1011} & \op{4}{1110} & \off{8} \\
+    \mnemonic & \op{4}{1011} & \op{4}{1100} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is less than or equal to \texttt{Rb} when interpreted as signed integer.}
+  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is less than or equal to \texttt{Rb} when interpreted as unsigned integers.}
   \input{off8-restrictions.tex}
-  \begin{operation}\off{8}\jump{((S \K{xor} V) \K{or} Z)}\end{operation}
+  \begin{operation}\off{8}\jump{(\K{not} C) \K{or} Z}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/JSLT.tex → doc/manual/insns/BLTS.tex b/doc/manual/insns/JSLT.tex → doc/manual/insns/BLTS.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JSLT}{Jump if Signed Less Than}
+\begin{instruction}{BLTS}{Branch if Less Than, Signed}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{1101} & \off{8} \\
   \end{encoding*}
@@ -7,7 +7,7 @@
     \mnemonic & \op{4}{1011} & \op{4}{1101} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is less than \texttt{Rb} when interpreted as signed integer.}
+  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is less than \texttt{Rb} when interpreted as signed integers.}
   \input{off8-restrictions.tex}
-  \begin{operation}\off{8}\jump{(S \K{xor} V)}\end{operation}
+  \begin{operation}\off{8}\jump{S \K{xor} V}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/JULT.tex → doc/manual/insns/BLTU.tex b/doc/manual/insns/JULT.tex → doc/manual/insns/BLTU.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JULT}{Jump if Unsigned Less Than}
+\begin{instruction}{BLTU}{Branch if Less Than, Unsigned}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{0010} & \off{8} \\
   \end{encoding*}
@@ -7,8 +7,8 @@
     \mnemonic & \op{4}{1011} & \op{4}{0010} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is less than \texttt{Rb} when interpreted as unsigned integer.}
+  \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is less than \texttt{Rb} when interpreted as unsigned integers.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{\K{not} C}\end{operation}
-  \begin{remarks}This instruction has the same encoding as \insnref{JNC}.\end{remarks}
+  \begin{remarks}This instruction has the same encoding as \insnref{BC0}.\end{remarks}
 \end{instruction}
diff --git a/doc/manual/insns/JNC.tex → doc/manual/insns/BNC.tex b/doc/manual/insns/JNC.tex → doc/manual/insns/BNC.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JNC}{Jump if Not Carry}
+\begin{instruction}{BNC}{Branch if Not Carry}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{0010} & \off{8} \\
   \end{encoding*}
@@ -7,8 +7,8 @@
     \mnemonic & \op{4}{1011} & \op{4}{0010} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control if an arithmetic operation did not result in unsigned overflow.}
+  \purpose{To transfer control if the last arithmetic operation did not result in unsigned overflow.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{\K{not} C}\end{operation}
-  \begin{remarks}This instruction has the same encoding as \insnref{JULT}.\end{remarks}
+  \begin{remarks}This instruction has the same encoding as \insnref{BC0}.\end{remarks}
 \end{instruction}
diff --git a/doc/manual/insns/JNE.tex → doc/manual/insns/BNE.tex b/doc/manual/insns/JNE.tex → doc/manual/insns/BNE.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JNE}{Jump if Not Equal}
+\begin{instruction}{BNE}{Branch if Not Equal}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{0000} & \off{8} \\
   \end{encoding*}
@@ -10,5 +10,5 @@
   \purpose{To transfer control after a \texttt{\insnref{CMP} Ra, Rb} instruction if \texttt{Ra} is not equal to \texttt{Rb}.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{\K{not} Z}\end{operation}
-  \begin{remarks}This instruction has the same encoding as \insnref{JNZ}.\end{remarks}
+  \begin{remarks}This instruction has the same encoding as \insnref{BZ0}.\end{remarks}
 \end{instruction}
diff --git a/doc/manual/insns/BNS.tex b/doc/manual/insns/BNS.tex
@@ -0,0 +1,14 @@
+\begin{instruction}{BNS}{Branch if Not Sign}
+  \begin{encoding*}{short}
+    \mnemonic & \op{4}{1011} & \op{4}{0001} & \off{8} \\
+  \end{encoding*}
+  \begin{encoding*}{long}
+    \exti
+    \mnemonic & \op{4}{1011} & \op{4}{0001} & \off{8} \\
+  \end{encoding*}
+  \assembly{\mnemonic{} label}
+  \purpose{To transfer control if the last arithmetic operation did not produce a negative result.}
+  \input{off8-restrictions.tex}
+  \begin{operation}\off{8}\jump{\K{not} S}\end{operation}
+  \begin{remarks}This instruction has the same encoding as \insnref{BS0}.\end{remarks}
+\end{instruction}
diff --git a/doc/manual/insns/BNV.tex b/doc/manual/insns/BNV.tex
@@ -0,0 +1,14 @@
+\begin{instruction}{BNV}{Branch if Not Overflow}
+  \begin{encoding*}{short}
+    \mnemonic & \op{4}{1011} & \op{4}{0011} & \off{8} \\
+  \end{encoding*}
+  \begin{encoding*}{long}
+    \exti
+    \mnemonic & \op{4}{1011} & \op{4}{0011} & \off{8} \\
+  \end{encoding*}
+  \assembly{\mnemonic{} label}
+  \purpose{To transfer control if the last arithmetic operation did not result in signed overflow.}
+  \input{off8-restrictions.tex}
+  \begin{operation}\off{8}\jump{\K{not} V}\end{operation}
+  \begin{remarks}This instruction has the same encoding as \insnref{BV0}.\end{remarks}
+\end{instruction}
diff --git a/doc/manual/insns/JNZ.tex → doc/manual/insns/BNZ.tex b/doc/manual/insns/JNZ.tex → doc/manual/insns/BNZ.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JNZ}{Jump if Not Zero}
+\begin{instruction}{BNZ}{Branch if Not Zero}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{0000} & \off{8} \\
   \end{encoding*}
@@ -7,8 +7,8 @@
     \mnemonic & \op{4}{1011} & \op{4}{0000} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control if an arithmetic or shift operation produced a non-zero result.}
+  \purpose{To transfer control if the last operation produced a result not equal to zero.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{\K{not} Z}\end{operation}
-  \begin{remarks}This instruction has the same encoding as \insnref{JNE}.\end{remarks}
+  \begin{remarks}This instruction has the same encoding as \insnref{BZ0}.\end{remarks}
 \end{instruction}
diff --git a/doc/manual/insns/BS.tex b/doc/manual/insns/BS.tex
@@ -0,0 +1,14 @@
+\begin{instruction}{BS}{Branch if Sign}
+  \begin{encoding*}{short}
+    \mnemonic & \op{4}{1011} & \op{4}{1001} & \off{8} \\
+  \end{encoding*}
+  \begin{encoding*}{long}
+    \exti
+    \mnemonic & \op{4}{1011} & \op{4}{1001} & \off{8} \\
+  \end{encoding*}
+  \assembly{\mnemonic{} label}
+  \purpose{To transfer control if the last arithmetic operation produced a negative result.}
+  \input{off8-restrictions.tex}
+  \begin{operation}\off{8}\jump{S}\end{operation}
+  \begin{remarks}This instruction has the same encoding as \insnref{BS1}.\end{remarks}
+\end{instruction}
diff --git a/doc/manual/insns/JNS.tex → doc/manual/insns/BS0.tex b/doc/manual/insns/JNS.tex → doc/manual/insns/BS0.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JNS}{Jump if Not Negative}
+\begin{instruction}{BS0}{Branch if Sign is 0}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{0001} & \off{8} \\
   \end{encoding*}
@@ -7,7 +7,7 @@
     \mnemonic & \op{4}{1011} & \op{4}{0001} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control if an arithmetic or shift operation produced a non-negative result.}
+  \purpose{To transfer control if the sign (S) flag is 0.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{\K{not} S}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/JS.tex → doc/manual/insns/BS1.tex b/doc/manual/insns/JS.tex → doc/manual/insns/BS1.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JS}{Jump if Negative}
+\begin{instruction}{BS1}{Branch if Sign is 1}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{1001} & \off{8} \\
   \end{encoding*}
@@ -7,7 +7,7 @@
     \mnemonic & \op{4}{1011} & \op{4}{1001} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control if an arithmetic or shift operation produced a negative result.}
+  \purpose{To transfer control if the sign (S) flag is 1.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{S}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/BV.tex b/doc/manual/insns/BV.tex
@@ -0,0 +1,14 @@
+\begin{instruction}{BV}{Branch if Overflow}
+  \begin{encoding*}{short}
+    \mnemonic & \op{4}{1011} & \op{4}{1011} & \off{8} \\
+  \end{encoding*}
+  \begin{encoding*}{long}
+    \exti
+    \mnemonic & \op{4}{1011} & \op{4}{1011} & \off{8} \\
+  \end{encoding*}
+  \assembly{\mnemonic{} label}
+  \purpose{To transfer control if the last arithmetic operation resulted in signed overflow.}
+  \input{off8-restrictions.tex}
+  \begin{operation}\off{8}\jump{V}\end{operation}
+  \begin{remarks}This instruction has the same encoding as \insnref{BV1}.\end{remarks}
+\end{instruction}
diff --git a/doc/manual/insns/JNO.tex → doc/manual/insns/BV0.tex b/doc/manual/insns/JNO.tex → doc/manual/insns/BV0.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JNO}{Jump if Not Overflow}
+\begin{instruction}{BV0}{Branch if Overflow is 0}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{0011} & \off{8} \\
   \end{encoding*}
@@ -7,7 +7,7 @@
     \mnemonic & \op{4}{1011} & \op{4}{0011} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control if an arithmetic operation did not result in signed overflow.}
+  \purpose{To transfer control if the overflow (V) flag is 0.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{\K{not} V}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/JO.tex → doc/manual/insns/BV1.tex b/doc/manual/insns/JO.tex → doc/manual/insns/BV1.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JO}{Jump if Overflow}
+\begin{instruction}{BV1}{Branch if Overflow is 1}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{1011} & \off{8} \\
   \end{encoding*}
@@ -7,7 +7,7 @@
     \mnemonic & \op{4}{1011} & \op{4}{1011} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control if an arithmetic operation resulted in signed overflow.}
+  \purpose{To transfer control if the overflow (V) flag is 1.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{V}\end{operation}
 \end{instruction}
diff --git a/doc/manual/insns/JZ.tex → doc/manual/insns/BZ.tex b/doc/manual/insns/JZ.tex → doc/manual/insns/BZ.tex
@@ -1,4 +1,4 @@
-\begin{instruction}{JZ}{Jump if Zero}
+\begin{instruction}{BZ}{Branch if Zero}
   \begin{encoding*}{short}
     \mnemonic & \op{4}{1011} & \op{4}{1000} & \off{8} \\
   \end{encoding*}
@@ -7,8 +7,8 @@
     \mnemonic & \op{4}{1011} & \op{4}{1000} & \off{8} \\
   \end{encoding*}
   \assembly{\mnemonic{} label}
-  \purpose{To transfer control if an arithmetic or shift operation produced a zero result.}
+  \purpose{To transfer control if the last operation produced a result equal to zero.}
   \input{off8-restrictions.tex}
   \begin{operation}\off{8}\jump{Z}\end{operation}
-  \begin{remarks}This instruction has the same encoding as \insnref{JE}.\end{remarks}
+  \begin{remarks}This instruction has the same encoding as \insnref{BZ1}.\end{remarks}
 \end{instruction}