diff options
Diffstat (limited to 'arm/Machregs.v')
| -rw-r--r-- | arm/Machregs.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/Machregs.v b/arm/Machregs.v index 791ccbb..f373b43 100644 --- a/arm/Machregs.v +++ b/arm/Machregs.v @@ -97,7 +97,7 @@ Definition destroyed_by_jumptable: list mreg := Definition destroyed_by_builtin (ef: external_function): list mreg := match ef with - | EF_memcpy sz al => if zle sz 32 then nil else R2 :: R3 :: R12 :: nil + | EF_memcpy sz al => if zle sz 32 then F7 :: nil else R2 :: R3 :: R12 :: nil | _ => nil end. |