clarify fdmadds wording in twin_butterfly.mdwn
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 29 Apr 2023 17:31:50 +0000 (18:31 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 29 Apr 2023 17:31:50 +0000 (18:31 +0100)
openpower/sv/twin_butterfly.mdwn

index a125cea0011706b498d6aa38cc54fe918b57b69d..aa8048353047ad55ceea44e924a9fc3e923bda54 100644 (file)
@@ -171,13 +171,14 @@ operand in register FRB and the result stored in FRS.
 Using the exact same operand input register values from FRT and FRB
 that were used to create FRS, the Floating-Point operand in register
 FRB is subtracted from the floating-point operand in register FRT and
-the result then multiplied by FRA to create an intermediate result that
-is stored in FRT.
+the result then rounded before being multiplied by FRA to create an
+intermediate result that is stored in FRT.
 
 The add into FRS is treated exactly as `fadds`.  The creation of the
-result FRT is **not** the same as that of `fmsubs`.
-The creation of FRS and FRT are treated as parallel independent operations
-which occur at the same time.
+result FRT is **not** the same as that of `fmsubs`, but is instead as if
+`fsubs` were performed first followed by `fmuls`.  The creation of FRS
+and FRT are treated as parallel independent operations which occur at
+the same time.
 
 Note that if Rc=1 an Illegal Instruction is raised.  Rc=1 is `RESERVED`
 
@@ -290,13 +291,14 @@ operand in register FRB and the result stored in FRS.
 Using the exact same operand input register values from FRT and FRB
 that were used to create FRS, the Floating-Point operand in register
 FRB is subtracted from the floating-point operand in register FRT and
-the result then multiplied by FRA to create an intermediate result that
-is stored in FRT.
+the result then rounded before being multiplied by FRA to create an
+intermediate result that is stored in FRT.
 
 The add into FRS is treated exactly as `fadd`.  The creation of the
-result FRT is **not** the same as that of `fmsub`.
-The creation of FRS and FRT are treated as parallel independent operations
-which occur at the same time.
+result FRT is **not** the same as that of `fmsub`, but is instead as if
+`fsub` were performed first followed by `fmuls.  The creation of FRS
+and FRT are treated as parallel independent operations which occur at
+the same time.
 
 Note that if Rc=1 an Illegal Instruction is raised.  Rc=1 is `RESERVED`