diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-13 14:19:58 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-13 14:19:58 +0200 |
commit | 8d335f10418364e9aed3c3021098775e05943ee4 (patch) | |
tree | c94a1e231a1ebc209bc6fd83b771fdd42d6d8e29 | |
parent | f4fe251606a2582d6b1c854935e9341885a906a0 (diff) | |
download | ocaml-MPR7642.tar.gz |
MPR#7642 continued: fixing typosMPR7642
It's VFP, not VFD.
-rw-r--r-- | Changes | 4 | ||||
-rw-r--r-- | asmcomp/arm/reload.ml | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -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)|]) |