Latest additions

[libresoc-isa-manual.git] / powerpc-add / src / power-spec.tex

diff --git a/powerpc-add/src/power-spec.tex b/powerpc-add/src/power-spec.tex
index 44377e6923c0b26458e5267019c0b666641bfbb1..7340edabc03b29772cb7fb3531f49cc5babb059d 100644 (file)
--- a/powerpc-add/src/power-spec.tex
+++ b/powerpc-add/src/power-spec.tex
@@ -11,13 +11,6 @@
 
 \input{preamble}
 
-\newcommand{\specrev}{\mbox{20200813-{\em draft}}}
-\newcommand{\specmonthyear}{\mbox{August 2020}}
-
-\usepackage[english]{babel}
-\usepackage{datetime}
-\longdate      % makes \today generate like: Wednesday 18th August, 2020
-
 \begin{document}
 
 \title{\vspace{-0.7in}\Large {\bf Additions to The PowerPC Instruction Set Manual} \\
@@ -41,12 +34,13 @@ Luke Kenneth Casson Leighton, Jacob R Lifshay, Alain D D Williams
 This document is released under a Creative Commons Attribution 4.0
 International License.
 
-Please cite as: ``The PowerPC Instruction Set Additions, Document Version \specrev'', Editors
+Please cite as: ``The PowerPC Instruction Set Additions, Document Version \specrev'', Editor
 Alain Williams, Libre-SOC, \specmonthyear.
 
 
-\markboth{Volume I: PowerPC ISAMUX \specrev}
-{Volume I: PowerPC ISAMUX \specrev}
+\markboth{PowerPC ISAMUX \specrev: Volume I}
+{PowerPC ISAMUX \specrev: Volume I}
+
 \thispagestyle{empty}
 
 \frontmatter
@@ -59,8 +53,19 @@ Alain Williams, Libre-SOC, \specmonthyear.
 
 \mainmatter
 
+% These will need to be sorted - put into an order than helps understanding
 \input{intro}
+\input{conventions}
+
+
 \input{isamux}
+\input{atomics}
+\input{varenc}
+\input{isa_op_protocol}
+% https://bugs.libre-soc.org/show_bug.cgi?id=238
+\input{fp16}
+\input{SVPrefix}
+
 % \input{rv32}
 % \input{zifencei}
 % \input{rv32e}
@@ -95,4 +100,6 @@ Alain Williams, Libre-SOC, \specmonthyear.
 \bibliographystyle{plain}
 \bibliography{power-spec}
 
+\input{printglossaries}
+
 \end{document}