openpower/simple_v_spec.tex

   1 \documentclass[oneside]{book}
   2 \usepackage{lmodern}
   3 \usepackage{amssymb,amsmath}
   4 \usepackage{lscape}
   5 \usepackage{sectsty}
   6 \usepackage{appendix}
   7 \usepackage{graphicx}
   8 \usepackage[firstpage]{draftwatermark}
   9 \usepackage[printonlyused,withpage]{acronym}
  10 \usepackage{float}
  11 \usepackage{url}
  12 \usepackage[useregional]{datetime2}
  13 \usepackage{anyfontsize}
  14 \usepackage{ifxetex,ifluatex}
  15 \usepackage{fixltx2e} % provides \textsubscript
  16 \ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex
  17   \usepackage[T1]{fontenc}
  18   \usepackage[utf8]{inputenc}
  19 \else % if luatex or xelatex
  20   \ifxetex
  21     \usepackage{mathspec}
  22   \else
  23     \usepackage{fontspec}
  24   \fi
  25   \defaultfontfeatures{Ligatures=TeX,Scale=MatchLowercase}
  26 \fi
  27 % use upquote if available, for straight quotes in verbatim environments
  28 \IfFileExists{upquote.sty}{\usepackage{upquote}}{}
  29 % use microtype if available
  30 \IfFileExists{microtype.sty}{%
  31 \usepackage[]{microtype}
  32 \UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
  33 }{}
  34 \PassOptionsToPackage{hyphens}{url} % url is loaded by hyperref
  35 \usepackage[unicode=true]{hyperref}
  36 \hypersetup{
  37             pdfborder={0 0 0},
  38             breaklinks=true}
  39 \usepackage[margin=0.9in]{geometry}
  40 \usepackage{color}
  41 \usepackage{fancyvrb}
  42 \newcommand{\VerbBar}{|}
  43 \newcommand{\VERB}{\Verb[commandchars=\\\{\}]}
  44 \DefineVerbatimEnvironment{Highlighting}{Verbatim}{commandchars=\\\{\},xleftmargin=5mm}
  45 % Add ',fontsize=\small' for more characters per line
  46 \newenvironment{Shaded}{}{}
  47 \newcommand{\KeywordTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{#1}}}
  48 \newcommand{\DataTypeTok}[1]{\textcolor[rgb]{0.56,0.13,0.00}{#1}}
  49 \newcommand{\DecValTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}
  50 \newcommand{\BaseNTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}
  51 \newcommand{\FloatTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}
  52 \newcommand{\ConstantTok}[1]{\textcolor[rgb]{0.53,0.00,0.00}{#1}}
  53 \newcommand{\CharTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
  54 \newcommand{\SpecialCharTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
  55 \newcommand{\StringTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
  56 \newcommand{\VerbatimStringTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
  57 \newcommand{\SpecialStringTok}[1]{\textcolor[rgb]{0.73,0.40,0.53}{#1}}
  58 \newcommand{\ImportTok}[1]{#1}
  59 \newcommand{\CommentTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textit{#1}}}
  60 \newcommand{\DocumentationTok}[1]{\textcolor[rgb]{0.73,0.13,0.13}{\textit{#1}}}
  61 \newcommand{\AnnotationTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
  62 \newcommand{\CommentVarTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
  63 \newcommand{\OtherTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{#1}}
  64 \newcommand{\FunctionTok}[1]{\textcolor[rgb]{0.02,0.16,0.49}{#1}}
  65 \newcommand{\VariableTok}[1]{\textcolor[rgb]{0.10,0.09,0.49}{#1}}
  66 \newcommand{\ControlFlowTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{#1}}}
  67 \newcommand{\OperatorTok}[1]{\textcolor[rgb]{0.40,0.40,0.40}{#1}}
  68 \newcommand{\BuiltInTok}[1]{#1}
  69 \newcommand{\ExtensionTok}[1]{#1}
  70 \newcommand{\PreprocessorTok}[1]{\textcolor[rgb]{0.74,0.48,0.00}{#1}}
  71 \newcommand{\AttributeTok}[1]{\textcolor[rgb]{0.49,0.56,0.16}{#1}}
  72 \newcommand{\RegionMarkerTok}[1]{#1}
  73 \newcommand{\InformationTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
  74 \newcommand{\WarningTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
  75 \newcommand{\AlertTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}
  76 \newcommand{\ErrorTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}
  77 \newcommand{\NormalTok}[1]{#1}
  78
  79 % indent all verbatim
  80 \catcode`\@=11
  81 \let \saveverbatime \@xverbatim
  82 \def \@xverbatim {\leftskip = 1cm\relax\saveverbatime}
  83 \catcode`\@=12
  84
  85 \usepackage{longtable,booktabs}
  86 % Fix footnotes in tables (requires footnote package)
  87 \IfFileExists{footnote.sty}{\usepackage{footnote}\makesavenoteenv{long
  88 table}}{}
  89 \IfFileExists{parskip.sty}{%
  90 \usepackage{parskip}
  91 }{% else
  92 \setlength{\parindent}{0pt}
  93 \setlength{\parskip}{6pt plus 2pt minus 1pt}
  94 }
  95 \setlength{\emergencystretch}{3em}  % prevent overfull lines
  96 \providecommand{\tightlist}{%
  97   \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
  98 \setcounter{secnumdepth}{5}
  99 % Redefines (sub)paragraphs to behave more like sections
 100 \ifx\paragraph\undefined\else
 101 \let\oldparagraph\paragraph
 102 \renewcommand{\paragraph}[1]{\oldparagraph{#1}\mbox{}}
 103 \fi
 104 \ifx\subparagraph\undefined\else
 105 \let\oldsubparagraph\subparagraph
 106 \renewcommand{\subparagraph}[1]{\oldsubparagraph{#1}\mbox{}}
 107 \fi
 108
 109 % set default figure placement to htbp
 110 \makeatletter\@addtoreset{chapter}{part}\makeatother%
 111 \def\fps@figure{htbp}
 112 \makeatother
 113
 114 % graphics path for primer
 115 \graphicspath{ {svp64-primer/img/} }
 116
 117 \date{}
 118
 119 \begin{document}
 120
 121 \chapter*{Preamble}
 122 \addcontentsline{toc}{chapter}{Preamble} \markboth{INTRODUCTION}{}
 123
 124 \textbf{Last modified date: \today}
 125
 126 This document is an auto-generated version of the Draft SVP64
 127 Specification available at
 128
 129 \begin{verbatim}
 130      https://libre-soc.org/openpower/sv
 131 \end{verbatim}
 132
 133 for which the source code is available at
 134
 135 \begin{verbatim}
 136      https://git.libre-soc.org/?p=libreriscv.git;a=tree;f=openpower;hb=HEAD
 137 \end{verbatim}
 138
 139 This PDF may be created with "make pdf" from the following file:
 140
 141 \begin{verbatim}
 142     https://git.libre-soc.org/?p=libreriscv.git;a=blob;f=openpower/Makefile;hb=HEAD
 143 \end{verbatim}
 144
 145 by executing the following commands:
 146
 147 \begin{verbatim}
 148     git clone https://git.libre-soc.org/git/libreriscv.git libresoc
 149     cd libresoc/libresoc/openpower
 150     make pdf
 151 \end{verbatim}
 152
 153 Simple-V Cray-style Vectors have been developed by the Libre-SOC Team,
 154 sponsored by the NLnet Foundation and NGI POINTER under
 155 EU Grants 871528 and 957073.
 156
 157 Simple-V is in DRAFT Status and will be submitted publicly
 158 (non-confidentially) through the OPF ISA WG "External Submissions"
 159 Process. Funding from NLnet, through their Privacy and Enhanced Trust
 160 Programme, requires full transparency.
 161
 162 As this document is under continuous rapid revision please check frequently
 163 at:
 164
 165 \begin{verbatim}
 166     https://ftp.libre-soc.org/simple_v_spec.pdf
 167 \end{verbatim}
 168
 169 \subsection*{Contacts}
 170 For questions, comments, and clarification, please contact the following:
 171 \begin{itemize}
 172     \itemsep -0.3em
 173     \item Libre-SOC ISA Dev Mailing List - libre-soc-isa@lists.libre-soc.org
 174     \item Luke Kenneth Casson Leighton - Libre-SOC team lead and Red
 175     Semiconductor Ltd Director - lkcl@lkcl.net
 176     \item David Calderwood - Red Semiconductor Ltd Director -
 177     djac@calderwoodhan.com
 178     \item Toshaan Bharvani - OpenPOWER Foundation Technical Chair, VanTosh
 179     Director - toshaan@vantosh.com
 180     \item Konstantinos Margaritis -  Engineer and Founder of VectorCamp, writing optimised assembler for a number of SIMD/Vector ISAs  - konstantinos@vectorcamp.gr
 181     \item Dmitry Selyutin - Libre-SOC engineer, working on binutils SVP64 assembler - ghostmansd@gmail.com
 182     \item Jacob Lifshay - Libre-SOC engineer, CPU arch and verification - programmerjake@gmail.com
 183     \item Cesar Strauss - Libre-SOC engineer, CPU arch and verification - cestrauss@gmail.com
 184     \item Andrey Miroshnikov - Libre-SOC engineer, assisting with documentation - andrey@technepisteme.xyz
 185 \end{itemize}
 186
 187 \newpage
 188 \subsection*{Executive Summary}
 189 \hypertarget{svux2fexecutive_summary}{}
 190 \input{tex_out/executive_summary.tex}
 191
 192 \newpage
 193 \begin{landscape}
 194 \addcontentsline{toc}{chapter}{Comparison Table} \markboth{INTRODUCTION}{}
 195 \hypertarget{svux2fcomparison_table}{}
 196 {
 197 \fontsize{6}{8}\selectfont
 198 \input{tex_out/comparison_table.tex}
 199 }
 200 \end{landscape}
 201
 202 \part{Scalable Vectors Primer}
 203 \input{svp64-primer/acronyms}
 204 \chapter*{Executive Summary}
 205 \include{svp64-primer/summary}
 206 \bibliography{svp64-primer/references}
 207 \bibliographystyle{ieeetr}
 208
 209 \tableofcontents
 210
 211 \part{Scalable Vectors for the Power ISA}
 212
 213
 214 \chapter{Fields and Forms}
 215 \hypertarget{svux2ffields}{}
 216 \input{tex_out/fields.tex}
 217 \chapter{Scalable Vectors for the Power ISA}
 218 \hypertarget{svux2fscalvecpowisa}{}
 219 \hypertarget{SVux7csv}{}
 220 \input{tex_out/sv.tex}
 221 \chapter{Other Vector ISAs}\hypertarget{svux2fvector_isa_comparison}{}
 222 \input{tex_out/vector_isas.tex}
 223 \chapter{Overview}\hypertarget{svux2foverview}{}
 224 \input{tex_out/overview.tex}
 225 \chapter{Compliancy Levels}\hypertarget{svux2fcompliancy_levels}{}
 226 \input{tex_out/compliancy_levels.tex}
 227 \chapter{SVP64}\hypertarget{svux2fsvp64}{}
 228 \input{tex_out/svp64.tex}
 229 \chapter{SPRs}\hypertarget{svux2fsprs}{}
 230 \input{tex_out/sprs.tex}
 231 \chapter{Arithmetic Mode}\hypertarget{svux2fnormal}{}
 232 \input{tex_out/normal.tex}
 233 \chapter{Load/Store Mode}\hypertarget{svux2fldst}{}
 234 \input{tex_out/ldst.tex}
 235 \chapter{Condition Register Fields Mode}\hypertarget{svux2fcr_ops}{}
 236 \input{tex_out/cr_ops.tex}
 237 \chapter{Branch Mode}\hypertarget{svux2fbranches}{}
 238 \input{tex_out/branches.tex}
 239 \chapter{setvl instruction}\hypertarget{svux2fsetvl}{}
 240 \input{tex_out/setvl.tex}
 241 \chapter{svstep instruction}\hypertarget{svux2fsvstep}{}
 242 \input{tex_out/svstep.tex}
 243 \chapter{REMAP subsystem}\hypertarget{svux2fremap}{}
 244 \input{tex_out/remap.tex}
 245 \chapter{Swizzle Move}\hypertarget{svux2fmv.swizzle}{}
 246 \input{tex_out/mv_swizzle.tex}
 247 \chapter{Pack / Unpack}\hypertarget{svux2fmv.vec}{}
 248 \input{tex_out/mv_vec.tex}
 249
 250 \begin{appendices}
 251 \chapter{SVP64 Appendix}\hypertarget{svp64ux2fappendix}{}
 252 \hypertarget{svux2fsvp64ux2fappendix}{}
 253 \input{tex_out/svp64_appendix.tex}
 254 \chapter{SVP64 Quirks}\hypertarget{svux2fsvp64_quirks}{}
 255 \input{tex_out/svp64_quirks.tex}
 256 \chapter{REMAP algorithms}\hypertarget{svux2fremapux2fappendix}{}
 257 \input{tex_out/remap_appendix.tex}
 258 \chapter{Simple-V pseudocode}\hypertarget{svux2fpseudocode_simplev}{}
 259 \input{tex_out/pseudocode_simplev.tex}
 260
 261 \chapter{SVP64 Augmentation Table}\hypertarget{opcode_regs_deduped}{}
 262 \begin{landscape}
 263 {
 264 \fontsize{7}{9}\selectfont
 265 \input{tex_out/opcode_regs_deduped.tex}
 266 }
 267 \end{landscape}
 268
 269 \end{appendices}
 270
 271 \part{Scalar Instructions}
 272
 273 \chapter{SV Vector ops}\hypertarget{svux2fvector_ops}{}
 274 \input{tex_out/vector_ops.tex}
 275 \chapter{CR Weird ops}\hypertarget{svux2fcr_int_predication}{}
 276 \hypertarget{cr_int_predication}{}
 277 \input{tex_out/cr_int_predication.tex}
 278 \chapter{Bitmanip ops}\hypertarget{svux2fbitmanip}{}
 279 \input{tex_out/bitmanip.tex}
 280 \chapter{FP/Int Conversion ops}\hypertarget{svux2fint_fp_mv}{}
 281 \input{tex_out/int_fp_mv.tex}
 282 \chapter{FP Class ops}\hypertarget{svux2ffclass}{}
 283 \input{tex_out/fclass.tex}
 284 \chapter{Audio and Video Opcodes}\hypertarget{svux2fav_opcodes}{}
 285 \hypertarget{av_opcodes}{}
 286 \input{tex_out/av_opcodes.tex}
 287 \chapter{Big Integer}\hypertarget{svux2fbiginteger}{}
 288 \input{tex_out/big_integer.tex}
 289 \chapter{Transcendentals}\hypertarget{transcendentals}{}
 290 \input{tex_out/transcendentals.tex}
 291 \chapter{Acquire/Release Atomic Memory}\hypertarget{atomics}{}
 292 \input{tex_out/atomics.tex}
 293
 294 \begin{appendices}
 295 \chapter{Big Integer Analysis}\hypertarget{svux2fbigintegerux2fanalysis}{}
 296 \input{tex_out/big_integer_analysis.tex}
 297 \chapter{Bitmanip pseudocode}\hypertarget{svux2fpseudocode_bitmanip}{}
 298 \input{tex_out/pseudocode_bitmanip.tex}
 299 \chapter{Floating Point pseudocode}\hypertarget{isaux2fsvfparith}{}
 300 \input{tex_out/pseudocode_svfparith.tex}
 301 \chapter{Fixed Point pseudocode}
 302 \hypertarget{isaux2fsvfixedarith}{}
 303 \input{tex_out/pseudocode_svfixedarith.tex}
 304 \end{appendices}
 305
 306 \part{Scalar Power ISA pseudocode}
 307 \backmatter % temporary fix for too many appenfices
 308 %\setcounter{chapter}{0}
 309 %\renewcommand{\thechapter}{\Alph{chapter}}
 310
 311 \chapter*{Preamble}
 312 \addcontentsline{toc}{chapter}{Preamble} \markboth{INTRODUCTION}{}
 313
 314 This section contains updated pseudocode from the Power ISA Specification
 315 v3.0B to be executable.  Several bugfixes in Power ISA v3.0B have been
 316 found and reported as a direct result due to actually running the
 317 pseudocode as executable code in a Simulator.
 318 A Formal Correctness Proof Research Paper written by Boris
 319 Shingarov.
 320
 321 Additionally, with SVP64 performing element-width over-rides it is the
 322 \textit{Scalar} pseudocode that needs adapting to variable-length
 323 (\textbf{XLEN}).  Maintaining duplicate identical copies in every
 324 respect \textit{except} for an XLEN as part of the Simple-V Specification
 325 is completely pointless and a waste of time: the updates to include
 326 XLEN need to be part
 327 of the Scalar Power ISA Specification.  This has the added benefit
 328 that it makes life much easier for 32-bit implementors, and has an
 329 additional benefit of making it possible for the Scalar Power ISA
 330 to extend to 128-bit in future (like RV128).
 331
 332 \begin{appendices}
 333 \chapter{Binary Coded Decimal pseudocode}
 334 \hypertarget{svux2fpseudocode_bcd}{}
 335 \input{tex_out/pseudocode_bcd.tex}
 336 \chapter{Branch pseudocode}
 337 \hypertarget{openpowerux2fisaux2fbranch}{}
 338 \hypertarget{svux2fpseudocode_branch}{}
 339 \input{tex_out/pseudocode_branch.tex}
 340 \chapter{Fixed Point Compare pseudocode}
 341 \hypertarget{svux2fpseudocode_comparefixed}{}
 342 \input{tex_out/pseudocode_comparefixed.tex}
 343 \chapter{Condition Register pseudocode}
 344 \hypertarget{svux2fpseudocode_condition}{}
 345 \input{tex_out/pseudocode_condition.tex}
 346
 347 \chapter{Fixed Point Arithmetic pseudocode}
 348 \hypertarget{svux2fpseudocode_fixedarith}{}
 349 \input{tex_out/pseudocode_fixedarith.tex}
 350 \chapter{Fixed Point Load pseudocode}
 351 \hypertarget{svux2fpseudocode_fixedload}{}
 352 \input{tex_out/pseudocode_fixedload.tex}
 353 \chapter{Fixed Point Logical pseudocode}
 354 \hypertarget{svux2fpseudocode_fixedlogical}{}
 355 \input{tex_out/pseudocode_fixedlogical.tex}
 356 \chapter{Fixed Point Rotate pseudocode}
 357 \hypertarget{svux2fpseudocode_fixedshift}{}
 358 \input{tex_out/pseudocode_fixedshift.tex}
 359
 360 \chapter{Fixed Point Store pseudocode}
 361 \hypertarget{svux2fpseudocode_fixedstore}{}
 362 \input{tex_out/pseudocode_fixedstore.tex}
 363 \chapter{Fixed Point Trap pseudocode}
 364 \hypertarget{svux2fpseudocode_fixedtrap}{}
 365 \input{tex_out/pseudocode_fixedtrap.tex}
 366 \chapter{Special Purpose Register pseudocode}
 367 \hypertarget{svux2fpseudocode_sprset}{}
 368 \input{tex_out/pseudocode_sprset.tex}
 369 \chapter{String Load/Store pseudocode}
 370 \hypertarget{svux2fpseudocode_stringldst}{}
 371 \input{tex_out/pseudocode_stringldst.tex}
 372 \chapter{System Call pseudocode}
 373 \hypertarget{svux2fpseudocode_system}{}
 374 \input{tex_out/pseudocode_system.tex}
 375
 376 \chapter{Floating Point Load pseudocode}
 377 \hypertarget{svux2fpseudocode_fpload}{}
 378 \input{tex_out/pseudocode_fpload.tex}
 379 \chapter{Floating Point Store pseudocode}
 380 \hypertarget{svux2fpseudocode_fpstore}{}
 381 \input{tex_out/pseudocode_fpstore.tex}
 382 \chapter{Floating Point Move pseudocode}
 383 \hypertarget{svux2fpseudocode_fpmove}{}
 384 \input{tex_out/pseudocode_fpmove.tex}
 385 \chapter{Floating Point Arithmetic pseudocode}
 386 \hypertarget{svux2fpseudocode_fparith}{}
 387 \input{tex_out/pseudocode_fparith.tex}
 388 \chapter{Floating Point Integer Conversion pseudocode}
 389 \hypertarget{svux2fpseudocode_fpcvt}{}
 390 \input{tex_out/pseudocode_fpcvt.tex}
 391
 392 \end{appendices}
 393
 394
 395
 396
 397 \end{document}