diff options
| -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)|]) |