summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-10-13 14:19:58 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2017-10-13 14:19:58 +0200
commit8d335f10418364e9aed3c3021098775e05943ee4 (patch)
treec94a1e231a1ebc209bc6fd83b771fdd42d6d8e29
parentf4fe251606a2582d6b1c854935e9341885a906a0 (diff)
downloadocaml-MPR7642.tar.gz
MPR#7642 continued: fixing typosMPR7642
It's VFP, not VFD.
-rw-r--r--Changes4
-rw-r--r--asmcomp/arm/reload.ml2
2 files changed, 3 insertions, 3 deletions
diff --git a/Changes b/Changes
index 9e5f59e4fc..85f5a282e4 100644
--- a/Changes
+++ b/Changes
@@ -338,9 +338,9 @@ Release branch for 4.06:
- MPR#7642, GPR#1411: ARM port: wrong register allocation for integer
multiply on ARMv4 and ARMv5; possible wrong register allocation for
- floating-point multiply and add on VFD and for floating-point
+ floating-point multiply and add on VFP and for floating-point
negation and absolute value on soft FP emulation.
- (Xavier Leroy, report by Stéphane Glondu and Mantis user "infinity0",
+ (Xavier Leroy, report by Stéphane Glondu and Ximin Luo,
review and additional sightings by Mark Shinwell)
### Tools:
diff --git a/asmcomp/arm/reload.ml b/asmcomp/arm/reload.ml
index ddbfbb38b9..f7b61498e5 100644
--- a/asmcomp/arm/reload.ml
+++ b/asmcomp/arm/reload.ml
@@ -37,7 +37,7 @@ method! reload_operation op arg res =
if Array.length res' >= 2 then res'.(1) <- arg'.(0);
argres'
| Ispecific(Imuladdf | Inegmuladdf | Imulsubf | Inegmulsubf) ->
- (* VFD float multiply-add instructions are "two-address" in the
+ (* VFP float multiply-add instructions are "two-address" in the
sense that they must have [arg.(0) = res.(0)].
Preserve this invariant. *)
(arg', [|arg'.(0)|])