273 lines
12 KiB
TeX
273 lines
12 KiB
TeX
\ExplSyntaxOn
|
|
% Opcode, Opcode Name, Description, Flags Affected, Options
|
|
% Maybe have an optional argument to relabel the operands Source and Destination
|
|
\NewDocumentCommand{\createoptabletwoparam}{ m m m m m }{
|
|
\clist_clear_new:N \l_options
|
|
|
|
\clist_set:Nn \l_options {#3}
|
|
|
|
\__start_op_table:
|
|
|
|
\clist_map_inline:Nn \l_options {
|
|
|
|
\str_case:nnF{##1} {
|
|
{0}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2~/r,~/r & r & r \\ \hline }
|
|
}{1}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2~/r,~[/r] & r & [r] \\ \hline }
|
|
}{2}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2~[/r],~/r2 & [r] & r \\ \hline }
|
|
}{5}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2~/r,~[imm] & r & [imm] \\ \hline }
|
|
}{8}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2~imm,~/r & imm & r \\ \hline }
|
|
}{9}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2 ~imm,~[r] & imm & [r] \\ \hline }
|
|
}{A}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2~[imm],~/r & imm & r \\ \hline }
|
|
}{C}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2~imm,~imm & imm & imm \\ \hline }
|
|
}{D}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1~##1\_ & #2~imm,~[imm] & imm & [imm] \\ \hline }
|
|
}
|
|
}{ \tl_put_right:Nn \l_tmpa_seq {#1~##1\_ & INVALID & -- & -- \\ \hline} }
|
|
|
|
}
|
|
|
|
\__end_op_table:nn {#5} {#4}
|
|
|
|
\tl_use:N \l_tmpa_seq
|
|
}
|
|
|
|
\NewDocumentCommand{\createoptableoneparam}{ m m m m m}{
|
|
\__start_op_table:
|
|
|
|
\str_case:nnF{#3} {
|
|
{imm}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1 & #2~imm & imm & None \\ \hline }
|
|
}{reg}{
|
|
\tl_put_right:Nn \l_tmpa_seq { #1 & #2~/r & r & None \\ \hline }
|
|
}
|
|
}{ \tl_put_right:Nn \l_tmpa_seq {#1 & INVALID & -- & -- \\ \hline} }
|
|
|
|
\__end_op_table:nn {#5} {#4}
|
|
|
|
\tl_use:N \l_tmpa_seq
|
|
}
|
|
|
|
\NewDocumentCommand{\createoptablenoparam}{ m m m m }{
|
|
|
|
\__start_op_table:
|
|
|
|
\tl_put_right:Nn \l_tmpa_seq { #1 & #2 & None & None \\ \hline }
|
|
|
|
\__end_op_table:nn {#4} {#3}
|
|
|
|
\tl_use:N \l_tmpa_seq
|
|
}
|
|
|
|
\cs_new:Nn \__start_op_table: {
|
|
\seq_clear:N \l_tmpa_seq
|
|
|
|
\tl_set:Nn \l_tmpa_seq { \begin{tabularx}{\textwidth}{ | c | X | c | c | } \hline }
|
|
|
|
\tl_put_right:Nn \l_tmpa_seq { Opcode & Instruction & Operand One & Operand Two \\ \hline }
|
|
}
|
|
|
|
\cs_new:Npn \__end_op_table:nn #1 #2 {
|
|
\tl_put_right:Nn \l_tmpa_seq { \end{tabularx} }
|
|
\tl_put_right:Nn \l_tmpa_seq { \paragraph{Description} #1 }
|
|
\tl_put_right:Nn \l_tmpa_seq { \paragraph{Flags Affected} #2 }
|
|
}
|
|
|
|
\ExplSyntaxOff
|
|
|
|
\chapter{Instruction Set Architecture}
|
|
In general instructions are variable length depending on the number of arguments and their width. The first byte of an instruction is the \textit{opcode} which tells the machine what operation is to be performed. If one or more arguments are required, then the next byte is the \textit{options} byte which describes the type and width of the argument(s). The exact meaning of all the bits in the options byte are shown in Figure \ref{fig:encodingphysicallayout}.
|
|
|
|
\section{Instruction Layout}
|
|
The logical ordering of the arguments follows the AT\&T syntax, meaning the left hand argument is the source and the right hand argument is the destination. This means to move the literal integer of, say 40, into the \textit{r1} register one would write this instruction as follows:
|
|
\begin{verbatim}
|
|
mov 40, r1
|
|
\end{verbatim}
|
|
This is in contrast with how the data is laid out physically in memory, following the conventions described in section \ref{sec:conventions}~\nameref{sec:conventions}. Figure \ref{fig:encodingphysicallayout} shows how an instruction would be laid out. The operands can be of varying sizes based on the low nibble of the Options byte and, depending on the instruction, all but the Opcode byte may be present.
|
|
%Because this machine is little endian, the opcode byte is physically located on the right hand-side of a word.
|
|
% Placement info here: https://en.wikibooks.org/wiki/LaTeX/Floats,_Figures_and_Captions#Figures
|
|
% Paths: https://tikz.dev/tikz-paths
|
|
\begin{figure}[h]
|
|
\begin{tikzpicture}
|
|
%\draw[help lines] (-8,-5) grid (8,5);
|
|
\node [draw, fit={( -7.5, 0.0) ( -13.0, 1.0)}, inner sep=0, label=center:Destination] (argtwo) {};
|
|
\node [draw, fit={( -2.5, 0.0) ( - 7.0, 1.0)}, inner sep=0, label=center:Source] (argone) {};
|
|
\node [draw, fit={( 0.0, 0.0) ( - 2.0, 1.0)}, inner sep=0, label=center:Options] (options) {};
|
|
\node [draw, fit={( 0.0, 0.0) ( 2.0, 1.0)}, inner sep=0, label=center:Opcode] (opcode) {};
|
|
|
|
\node at (argtwo.north)[above] {(if required)};
|
|
\node at (argtwo.north west)[above] {31};
|
|
\node at (argone.north)[above] {(if required)};
|
|
\node at (argone.north west)[above] {24 23};
|
|
\node at (options.north west)[above] {16 15};
|
|
\node at (opcode.north west)[above] {8 7};
|
|
\node at (options.south)[below] {(if required)};
|
|
\node at (opcode.north east)[above] {0};
|
|
% Use the calc library to calculate the center of two points.
|
|
% Reference: https://tex.stackexchange.com/a/71479
|
|
%\node at ($(highestbit.north)!0.5!(lowestbit.north)$)[above] {Physical Layout};
|
|
\end{tikzpicture}
|
|
\caption{Physical Layout}
|
|
\label{fig:encodingphysicallayout} % https://www.overleaf.com/learn/latex/Referencing_Figures
|
|
\end{figure}
|
|
|
|
\section{Instructions}
|
|
The /r represents a byte that specifies a register. /immX is for the immediate data type, where \textit{X} defines the width, which are 8, 16, or 32 bits. An address is defined as /addrX with the \textit{X} denoting the size of the data that will be written which can be 8, 16 or 32 bits, with the address itself always being 32-bits wide.
|
|
\subsection{Add}
|
|
\createoptabletwoparam{01}{add}{0, 8}{ OF and ZF. }
|
|
{
|
|
Adds two unsigned values together, the source (operand one) and the destination (operand two), storing the result in destination. The overflow flag (OF) is set if the result is less than the source and the zero flag (ZF) is set when the result of addition is zero.
|
|
}
|
|
\subsection{Sub}
|
|
\createoptabletwoparam{02}{sub}{0, 8}{ UF and ZF. }
|
|
{
|
|
Subtracts two unsigned values, the source (operand one) and the destination (operand two), storing the result in destination. The underflow flag (UF) is set if the result is greater than the source and the zero flag (ZF) is set when the result of subtraction is zero.
|
|
}
|
|
\subsection{Mul}
|
|
\createoptabletwoparam{03}{mul}{0, 8}{ OF and ZF. }
|
|
{
|
|
Multiplies two unsigned values together, the source (operand one) and the destination (operand two), storing the result in destination. The overflow flag (OF) is set if the result is less than the source and the zero flag (ZF) is set when the result of addition is zero.
|
|
}
|
|
\subsection{Div}
|
|
\createoptabletwoparam{04}{div}{0, 8}{ UF and ZF. }
|
|
{
|
|
Divides two unsigned values, the source (operand one) and the destination (operand two), storing the result in destination. The underflow flag (UF) is set if the result is greater than the source and the zero flag (ZF) is set when the result of subtraction is zero.
|
|
}
|
|
\subsection{Mov}\label{sec:mov}
|
|
\createoptabletwoparam{05}{mov}{0, 1, 2, 5, 8, 9, A, D}{ None. }
|
|
{
|
|
Copies the source (operand one) value to the destination (operand two).
|
|
}
|
|
\subsection{AND}
|
|
\createoptabletwoparam{06}{and}{0, 8}{ ZF. }
|
|
{
|
|
Bitwise AND's the source (operand one) with the destination (operand two) storing the result in the destination. If the result of the operation is zero then the Zero Flag (ZF) is set.
|
|
}
|
|
\subsection{OR}
|
|
\createoptabletwoparam{07}{or}{0, 8}{ ZF. }
|
|
{
|
|
Bitwise OR's the source (operand one) with the destination (operand two) storing the result in the destination. If the result of the operation is zero then the Zero Flag (ZF) is set.
|
|
}
|
|
\subsection{XOR}
|
|
\createoptabletwoparam{08}{xor}{0, 8}{ ZF. }
|
|
{
|
|
Bitwise exclusive OR's (XOR) the source (operand one) with the destination (operand two) storing the result in the destination. If the result of the operation is zero then the Zero Flag (ZF) is set.
|
|
}
|
|
\subsection{NOT}
|
|
\createoptableoneparam{09}{not}{reg}{ None. }
|
|
{
|
|
Bit-wise NOT's the source (operand one) in place.
|
|
}
|
|
\subsection{SHL}
|
|
\createoptabletwoparam{0A}{shl}{8}{ OF and ZF. }
|
|
{
|
|
Shifts the destination (operand two) left \textit{operand one} times in place. If the source is smaller than before the operation the overflow flag (OF) is set. If the result of the operation is zero than the zero flag (ZF) is set.
|
|
}
|
|
\subsection{SHR}
|
|
\createoptabletwoparam{0B}{shr}{8}{ UF and ZF. }
|
|
{
|
|
Shifts the destination (operand two) right \textit{operand one} times in place. If the source is larger than before the operation the underflow flag (UF) is set. If the result of the operation is zero than the zero flag (ZF) is set.
|
|
}
|
|
\subsection{NOP}
|
|
\createoptablenoparam{0C}{nop}{ None. }
|
|
{
|
|
Performs no operation except for incrementing the program counter by one.
|
|
}
|
|
\subsection{CMP}
|
|
\createoptabletwoparam{0D}{cmp}{0, 8}{ OF, UF and ZF. }
|
|
{
|
|
Compares \textit{operand one} to \textit{operand two} by subtracting \textit{operand one} from \textit{operand two}, updating the status register with the results. If \textit{operand one} is larger than the result, and the result is not zero, the overflow flag (OF) is set. If \textit{operand one} is smaller than the result, and the result is not zero, the underflow flag (UF) is set. And if the result of the subtraction is zero the zero flag (ZF) is set.
|
|
}
|
|
\subsection{JMP}\label{sec:jmp}
|
|
\createoptableoneparam{0E}{jmp}{imm}{ None. }
|
|
{
|
|
Jumps unconditionally to the absolute memory address specified in \textit{operand one}.
|
|
}
|
|
\subsection{JZ}
|
|
\createoptableoneparam{0F}{jz}{imm}{ None. }
|
|
{
|
|
Jumps to the absolute memory address specified in \textit{operand one} if the zero flag (ZF) is zet.
|
|
}
|
|
\subsection{JG}
|
|
\createoptableoneparam{10}{jg}{imm}{ None. }
|
|
{
|
|
Jumps to the absolute memory address specified in \textit{operand one} if the overflow flag (OF) is zet.
|
|
}
|
|
\subsection{JL}
|
|
\createoptableoneparam{11}{jl}{imm}{ None. }
|
|
{
|
|
Jumps to the absolute memory address specified in \textit{operand one} if the underflow flag (UF) is zet.
|
|
}
|
|
%Maybe these in/out instructions could have a mode setting for choosing the width of the data written to the port.
|
|
\subsection{Outb}
|
|
\createoptabletwoparam{12}{outb}{C}{ None. }
|
|
{
|
|
Writes a byte of data to the port number specified in the destination (operand two).
|
|
}
|
|
\subsection{Inb}
|
|
\createoptabletwoparam{13}{inb}{8}{ None. }
|
|
{
|
|
Reads a byte of data from the port number in source (operand one) to the destination (operand two) register.
|
|
}
|
|
\subsection{HLT}
|
|
\createoptablenoparam{14}{hlt}{ None. }
|
|
{
|
|
Halts the processor preventing it from executing the next instruction until an interrupt is received.
|
|
}
|
|
\subsection{CLI}\label{sec:cli}
|
|
\createoptablenoparam{15}{cli}{ None. }
|
|
{
|
|
Clears interrupts, preventing the processor from responding to interrupts.
|
|
}
|
|
\subsection{ENI}\label{sec:eni}
|
|
\createoptablenoparam{16}{eni}{ None. }
|
|
{
|
|
Enables interrupts, allowing the processor to respond to interrupts.
|
|
}
|
|
\subsection{INT}\label{sec:int}
|
|
\createoptableoneparam{17}{int}{imm}{ None. }
|
|
{
|
|
Triggers a software interrupt of type \textit{operand one} causing the flow of execution to jump to the registered subroutine in the Interrupt Vector Table at index \textit{operand one}.
|
|
}
|
|
\subsection{LIVT}\label{sec:livt}
|
|
\createoptableoneparam{18}{livt}{imm}{ None. }
|
|
{
|
|
Registers a 1024 byte block of memory starting at \textit{operand one} as the Interrupt Vector Table.
|
|
}
|
|
\subsection{PUSHA}
|
|
\createoptablenoparam{19}{pusha}{ None. }
|
|
{
|
|
Pushes all general purpose registers to the stack in order starting from \textit{r1} to \textit{r32}.
|
|
}
|
|
\subsection{POPA}
|
|
\createoptablenoparam{20}{popa}{ None. }
|
|
{
|
|
Pops all general purpose registers from the stack, restoring them, in the reverse order of \textit{r32} to \textit{r1}.
|
|
}
|
|
\subsection{CALL}\label{sec:call}
|
|
\createoptableoneparam{21}{call}{imm}{ None. }
|
|
{
|
|
Calls a subroutine pushing the Program Counter (PC), plus one to return execution to the next opcode, to the stack.
|
|
}
|
|
\subsection{RET}
|
|
\createoptablenoparam{22}{ret}{ None. }
|
|
{
|
|
Returns from the subroutine, popping the stack to restore the return address into the Program Counter (PC).
|
|
}
|
|
\subsection{PUSH}
|
|
\createoptableoneparam{23}{push}{reg}{ None. }
|
|
{
|
|
Pushes the contents of register \textit{Operand One} onto the top of the stack.
|
|
}
|
|
\subsection{POP}
|
|
\createoptableoneparam{24}{pop}{reg}{ None. }
|
|
{
|
|
Pops 32-bits from the top of the stack into the register \textit{Operand One}.
|
|
} |