% $Id: float_srm-isa.tex,v 1.1 2023/11/03 03:35:53 leavens Exp $
% Macros for the ISA follow
\newcommand{\WS}{32}
\newcommand{\WSP}{31}
\newcommand{\WSinBytes}{4}
\newcommand{\LOGofRegs}{5}
\newcommand{\WSminusOP}{26}
\newcommand{\INITIALSTACKBOTTOM}{4096}
\newcommand{\NAMEDREG}[1]{\textsf{\$#1}}
\newcommand{\BP}{\FP}
\newcommand{\GP}{\NAMEDREG{gp}}
\newcommand{\FP}{\NAMEDREG{fp}}
\newcommand{\SP}{\NAMEDREG{sp}}
\newcommand{\RA}{\NAMEDREG{ra}}
\newcommand{\RS}{\NAMEDREG{rs}}
\newcommand{\RT}{\NAMEDREG{rt}}
\newcommand{\RD}{\NAMEDREG{rd}}
\newcommand{\VZERO}{\NAMEDREG{v0}}
\newcommand{\AZERO}{\NAMEDREG{a0}}
\newcommand{\AONE}{\NAMEDREG{a1}}
\newcommand{\ATWO}{\NAMEDREG{a2}}
\newcommand{\GPR}[1]{\textrm{GPR[}#1\textrm{]}}
\newcommand{\IMMED}{\textit{i}}
\newcommand{\OFFSET}{\textit{o}}
\newcommand{\PC}{\textit{PC}}
\newcommand{\HI}{\textit{HI}}
\newcommand{\LO}{\textit{LO}}
\newcommand{\IR}{\textit{IR}}
\newcommand{\SIGNEXTENDNAME}{\textrm{sgnExt}}
\newcommand{\SIGNEXTEND}[1]{\SIGNEXTENDNAME(#1)}
\newcommand{\ZEROEXTENDNAME}{\textrm{zeroExt}}
\newcommand{\ZEROEXTEND}[1]{\ZEROEXTENDNAME(#1)}
\newcommand{\FORMOFFSETNAME}{\textrm{formOffset}}
\newcommand{\FORMOFFSET}[1]{\FORMOFFSETNAME(#1)}
\newcommand{\FORMADDRESSNAME}{\textrm{formAddress}}
\newcommand{\FORMADDRESS}[2]{\FORMADDRESSNAME(#1,#2)}
\newcommand{\MEMORYNAME}{\textrm{memory}}
\newcommand{\MEMORY}[1]{\ensuremath{\MEMORYNAME[#1]}}
\newcommand{\MOD}{\ensuremath{\:\hbox{\%}\:}}
\newcommand{\AND}{\ensuremath{\wedge}}
\newcommand{\OR}{\ensuremath{\vee}}
\newcommand{\XOR}{\ensuremath{\:\textrm{xor}\:}}
\newcommand{\LSHIFT}{\ensuremath{\:\texttt{<<}\:}}
\newcommand{\RSHIFT}{\ensuremath{\:\texttt{>>}\:}}
\newcommand{\GETS}{\ensuremath{\leftarrow}}
