From: Andrey Miroshnikov <andrey@technepisteme.xyz>
Date: Mon, 4 Jul 2022 14:41:29 +0000 (+0100)
Subject: Added fpload, fpstore, fpmove, fparith, fpcvt
X-Git-Tag: opf_rfc_ls005_v1~1338
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fb37b4c37b1e1b31fe7cbe0baafc93e6236f8ce4;p=libreriscv.git

Added fpload, fpstore, fpmove, fparith, fpcvt
---

diff --git a/openpower/Makefile b/openpower/Makefile
index b9695362a..fd77e3311 100755
--- a/openpower/Makefile
+++ b/openpower/Makefile
@@ -28,6 +28,9 @@ SOURCE_TEX := tex_out/remap.tex tex_out/bitmanip.tex tex_out/vector_ops.tex \
               tex_out/pseudocode_sprset.tex \
               tex_out/pseudocode_stringldst.tex \
               tex_out/pseudocode_system.tex \
+              tex_out/pseudocode_fpload.tex tex_out/pseudocode_fpstore.tex \
+              tex_out/pseudocode_fpmove.tex tex_out/pseudocode_fparith.tex \
+              tex_out/pseudocode_fpcvt.tex \
                 tex_out/pseudocode_svfixedarith.tex \
                 tex_out/big_integer_analysis.tex \
                 tex_out/vector_isas.tex \
@@ -329,6 +332,41 @@ tex_out/pseudocode_system.tex : $(ISA_DIR)/system.mdwn
 			-N -o tex_out/pseudocode_system.tex \
 			$(ISA_DIR)/system.mdwn
 
+tex_out/pseudocode_fpload.tex : $(ISA_DIR)/fpload.mdwn
+	mkdir -p tex_out
+	pandoc -f markdown -t latex --top-level-division=section \
+	        --filter pandoc_img.py \
+			-N -o tex_out/pseudocode_fpload.tex \
+			$(ISA_DIR)/fpload.mdwn
+
+tex_out/pseudocode_fpstore.tex : $(ISA_DIR)/fpstore.mdwn
+	mkdir -p tex_out
+	pandoc -f markdown -t latex --top-level-division=section \
+	        --filter pandoc_img.py \
+			-N -o tex_out/pseudocode_fpstore.tex \
+			$(ISA_DIR)/fpstore.mdwn
+
+tex_out/pseudocode_fpmove.tex : $(ISA_DIR)/fpmove.mdwn
+	mkdir -p tex_out
+	pandoc -f markdown -t latex --top-level-division=section \
+	        --filter pandoc_img.py \
+			-N -o tex_out/pseudocode_fpmove.tex \
+			$(ISA_DIR)/fpmove.mdwn
+
+tex_out/pseudocode_fparith.tex : $(ISA_DIR)/fparith.mdwn
+	mkdir -p tex_out
+	pandoc -f markdown -t latex --top-level-division=section \
+	        --filter pandoc_img.py \
+			-N -o tex_out/pseudocode_fparith.tex \
+			$(ISA_DIR)/fparith.mdwn
+
+tex_out/pseudocode_fpcvt.tex : $(ISA_DIR)/fpcvt.mdwn
+	mkdir -p tex_out
+	pandoc -f markdown -t latex --top-level-division=section \
+	        --filter pandoc_img.py \
+			-N -o tex_out/pseudocode_fpcvt.tex \
+			$(ISA_DIR)/fpcvt.mdwn
+
 
 
 simple_v_spec.pdf : tex simple_v_spec.tex
diff --git a/openpower/simple_v_spec.tex b/openpower/simple_v_spec.tex
index a5b255295..b84a855b9 100644
--- a/openpower/simple_v_spec.tex
+++ b/openpower/simple_v_spec.tex
@@ -294,15 +294,29 @@ to extend to 128-bit in future (like RV128).
 \chapter{Special Purpose Register pseudocode}
 \hypertarget{svux2fpseudocode_sprset}{}
 \input{tex_out/pseudocode_sprset.tex}
-
 \chapter{String Load/Store pseudocode}
 \hypertarget{svux2fpseudocode_stringldst}{}
 \input{tex_out/pseudocode_stringldst.tex}
-
 \chapter{System Call pseudocode}
 \hypertarget{svux2fpseudocode_system}{}
 \input{tex_out/pseudocode_system.tex}
 
+\chapter{Floating Point Load pseudocode}
+\hypertarget{svux2fpseudocode_fpload}{}
+\input{tex_out/pseudocode_fpload.tex}
+\chapter{Floating Point Store pseudocode}
+\hypertarget{svux2fpseudocode_fpstore}{}
+\input{tex_out/pseudocode_fpstore.tex}
+\chapter{Floating Point Move pseudocode}
+\hypertarget{svux2fpseudocode_fpmove}{}
+\input{tex_out/pseudocode_fpmove.tex}
+\chapter{Floating Point Arithmetic pseudocode}
+\hypertarget{svux2fpseudocode_fparith}{}
+\input{tex_out/pseudocode_fparith.tex}
+\chapter{Floating Point Integer Conversion pseudocode}
+\hypertarget{svux2fpseudocode_fpcvt}{}
+\input{tex_out/pseudocode_fpcvt.tex}
+
 \end{appendices}