tex_out/pseudocode_fixedarith.tex \
tex_out/pseudocode_fixedload.tex \
tex_out/pseudocode_fixedlogical.tex \
+ tex_out/pseudocode_fixedstore.tex \
+ tex_out/pseudocode_fixedtrap.tex \
+ tex_out/pseudocode_sprset.tex \
+ tex_out/pseudocode_stringldst.tex \
+ tex_out/pseudocode_system.tex \
tex_out/pseudocode_svfixedarith.tex \
tex_out/big_integer_analysis.tex \
tex_out/vector_isas.tex \
-N -o tex_out/pseudocode_fixedload.tex \
$(ISA_DIR)/fixedload.mdwn
+tex_out/pseudocode_fixedstore.tex : $(ISA_DIR)/fixedstore.mdwn
+ mkdir -p tex_out
+ pandoc -f markdown -t latex --top-level-division=section \
+ --filter pandoc_img.py \
+ -N -o tex_out/pseudocode_fixedstore.tex \
+ $(ISA_DIR)/fixedstore.mdwn
+
+tex_out/pseudocode_fixedtrap.tex : $(ISA_DIR)/fixedtrap.mdwn
+ mkdir -p tex_out
+ pandoc -f markdown -t latex --top-level-division=section \
+ --filter pandoc_img.py \
+ -N -o tex_out/pseudocode_fixedtrap.tex \
+ $(ISA_DIR)/fixedtrap.mdwn
+
+tex_out/pseudocode_sprset.tex : $(ISA_DIR)/sprset.mdwn
+ mkdir -p tex_out
+ pandoc -f markdown -t latex --top-level-division=section \
+ --filter pandoc_img.py \
+ -N -o tex_out/pseudocode_sprset.tex \
+ $(ISA_DIR)/sprset.mdwn
+
+tex_out/pseudocode_stringldst.tex : $(ISA_DIR)/stringldst.mdwn
+ mkdir -p tex_out
+ pandoc -f markdown -t latex --top-level-division=section \
+ --filter pandoc_img.py \
+ -N -o tex_out/pseudocode_stringldst.tex \
+ $(ISA_DIR)/stringldst.mdwn
+
+tex_out/pseudocode_system.tex : $(ISA_DIR)/system.mdwn
+ mkdir -p tex_out
+ pandoc -f markdown -t latex --top-level-division=section \
+ --filter pandoc_img.py \
+ -N -o tex_out/pseudocode_system.tex \
+ $(ISA_DIR)/system.mdwn
+
simple_v_spec.pdf : tex simple_v_spec.tex
\chapter{Fixed Point Logical pseudocode}
\hypertarget{svux2fpseudocode_fixedlogical}{}
\input{tex_out/pseudocode_fixedlogical.tex}
-
\chapter{Fixed Point Rotate pseudocode}
\hypertarget{svux2fpseudocode_fixedshift}{}
\input{tex_out/pseudocode_fixedshift.tex}
+
+\chapter{Fixed Point Store pseudocode}
+\hypertarget{svux2fpseudocode_fixedstore}{}
+\input{tex_out/pseudocode_fixedstore.tex}
+\chapter{Fixed Point Trap pseudocode}
+\hypertarget{svux2fpseudocode_fixedtrap}{}
+\input{tex_out/pseudocode_fixedtrap.tex}
+\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}
+
\end{appendices}