Added fpload, fpstore, fpmove, fparith, fpcvt
authorAndrey Miroshnikov <andrey@technepisteme.xyz>
Mon, 4 Jul 2022 14:41:29 +0000 (15:41 +0100)
committerAndrey Miroshnikov <andrey@technepisteme.xyz>
Mon, 4 Jul 2022 14:41:29 +0000 (15:41 +0100)
openpower/Makefile
openpower/simple_v_spec.tex

index b9695362a620ae3d1bc685be5230670157d95db7..fd77e3311437f7b59e14cad8a6a57c3ef0f9e01f 100755 (executable)
@@ -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
index a5b255295798328767f4ac3b565232dce0a8f0f9..b84a855b95b85c82ecef54da204ed25254778b8f 100644 (file)
@@ -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}