diff options
Diffstat (limited to 'asmcomp/arm/proc.ml')
| -rw-r--r-- | asmcomp/arm/proc.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/asmcomp/arm/proc.ml b/asmcomp/arm/proc.ml index dbb13173a..a16c35a22 100644 --- a/asmcomp/arm/proc.ml +++ b/asmcomp/arm/proc.ml @@ -201,6 +201,8 @@ let destroyed_at_oper = function destroyed_at_alloc | Iop(Iconst_symbol _) when !pic_code -> [| phys_reg 3; phys_reg 8 |] (* r3 and r12 destroyed *) + | Iop(Iintop Imulh) when !arch < ARMv6 -> + [| phys_reg 8 |] (* r12 destroyed *) | Iop(Iintoffloat | Ifloatofint | Iload(Single, _) | Istore(Single, _)) -> [| phys_reg 107 |] (* d7 (s14-s15) destroyed *) | _ -> [||] |