aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlexandre Joannou <gameboo@users.noreply.github.com>2018-05-30 19:19:12 +0100
committerAndrew Waterman <aswaterman@gmail.com>2018-05-30 11:19:12 -0700
commitd01dabf2c290dae77d12c8cfa288e6f9ac95cb55 (patch)
treec1579d22d6a737106fc8b121efdc0cc54f86e943 /src
parent6f2b2a81da124bccf5c072dd2e99bf54a4eea121 (diff)
downloadriscv-isa-manual-d01dabf2c290dae77d12c8cfa288e6f9ac95cb55.zip
riscv-isa-manual-d01dabf2c290dae77d12c8cfa288e6f9ac95cb55.tar.gz
riscv-isa-manual-d01dabf2c290dae77d12c8cfa288e6f9ac95cb55.tar.bz2
FDIV.S and FSUB.S disambiguation (#180)
Diffstat (limited to 'src')
-rw-r--r--src/f.tex13
1 files changed, 7 insertions, 6 deletions
diff --git a/src/f.tex b/src/f.tex
index 3002dfa..5098b2c 100644
--- a/src/f.tex
+++ b/src/f.tex
@@ -367,12 +367,13 @@ is naturally aligned.
\label{sec:single-float-compute}
Floating-point arithmetic instructions with one or two source operands use the
-R-type format with the OP-FP major opcode. FADD.S, FSUB.S,
-FMUL.S, and FDIV.S perform single-precision floating-point addition,
-subtraction, multiplication, and division, respectively, between {\em rs1} and
-{\em rs2}, writing the result to {\em rd}.
-FSQRT.S computes the square root of {\em rs1} and writes the
-result to {\em rd}.
+R-type format with the OP-FP major opcode. FADD.S and FMUL.S perform
+single-precision floating-point addition and multiplication respectively,
+between {\em rs1} and {\em rs2}. FSUB.S performs the single-precision
+floating-point subtraction of {\em rs2} from {\em rs1}. FDIV.S performs the
+single-precision floating-point division of {\em rs1} by {\em rs2}. FSQRT.S
+computes the square root of {\em rs1}. In each case, the result is written to
+{\em rd}.
The 2-bit floating-point format field {\em fmt} is encoded as shown in
Table~\ref{tab:fmt}. It is set to {\em S} (00) for all instructions in