Add a \FloatBarrier before the RISC-V encoding summary

Having the floats from the previous section placed in the middle of the
encoding summary section is rather confusing. We may also want to tweak
the page breaking in this section to avoid splitting table and header
across multiple pages.

Author: arichardson

app-isaquick-riscv.tex

@@ -727,6 +727,10 @@ \chapter{CHERI-RISC-V ISA Quick Reference}
 \insnriscvlabel{clgc}
 \end{sidewaystable}
 
+	% Ensure that the mode-depedent tables are emitted before the encoding
+	% summary to avoid multiple lines
+	\FloatBarrier
+
 	\section{Encoding Summary}
 
 	CHERI-RISC-V general-purpose instructions use the 0x5b major opcode and use the RISC-V R-type or I-type encoding formats.

preamble.tex

@@ -60,6 +60,7 @@
 \usepackage{amssymb}
 \usepackage{makecell}
 \usepackage{hyphenat}
+\usepackage{placeins}
 
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}