From: Luke Kenneth Casson Leighton Date: Sat, 30 Jul 2022 20:02:27 +0000 (+0100) Subject: add svanalysis to spec X-Git-Tag: opf_rfc_ls005_v1~937 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5341efc63056e787c790e2f289f216dab6a7b0f2;p=libreriscv.git add svanalysis to spec --- diff --git a/openpower/Makefile b/openpower/Makefile index cc6bdfbe3..b96142624 100755 --- a/openpower/Makefile +++ b/openpower/Makefile @@ -38,6 +38,7 @@ SOURCE_TEX := tex_out/remap.tex \ tex_out/big_integer_analysis.tex \ tex_out/transcendentals.tex \ tex_out/atomics.tex \ + tex_out/sv_analysis.tex \ tex_out/vector_isas.tex \ tex_out/comparison_table.tex \ tex_out/fields.tex @@ -46,6 +47,12 @@ SOURCE_TEX := tex_out/remap.tex \ tex: $(SOURCE_TEX) mkdir -p tex_out +tex_out/sv_analysis.tex : sv/sv_analysis.mdwn + mkdir -p tex_out + pandoc -f markdown -t latex --top-level-division=section \ + --filter pandoc_img.py \ + -N -o tex_out/sv_analysis.tex sv/sv_analysis.mdwn + tex_out/comparison_table.tex : sv/comparison_table.mdwn texmunge.py mkdir -p tex_out pandoc -f markdown -t latex --top-level-division=section \ @@ -418,9 +425,8 @@ simple_v_spec.pdf : tex simple_v_spec.tex pdf : simple_v_spec.pdf upload : pdf - sftp \ - ftp@libre-soc.org:/var/www/ftp.libre-riscv.org \ - <<< $'put simple_v_spec.pdf' + echo 'put simple_v_spec.pdf' | \ + sftp ftp@libre-soc.org:/var/www/ftp.libre-riscv.org clean: rm -fr tex_out simple_v_spec.aux simple_v_spec.out simple_v_spec.toc diff --git a/openpower/simple_v_spec.tex b/openpower/simple_v_spec.tex index 2f03b8fad..102a2b54b 100644 --- a/openpower/simple_v_spec.tex +++ b/openpower/simple_v_spec.tex @@ -260,6 +260,8 @@ For questions, comments, and clarification, please contact the following: \input{tex_out/remap_appendix.tex} \chapter{Simple-V pseudocode}\hypertarget{svux2fpseudocode_simplev}{} \input{tex_out/pseudocode_simplev.tex} +\chapter{Simple-V Analysis}\hypertarget{svux2fsv_analysis}{} +\input{tex_out/sv_analysis.tex} \chapter{SVP64 Augmentation Table}\hypertarget{opcode_regs_deduped}{} \begin{landscape}