diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-10-01 09:07:17 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-10-01 09:07:17 +0200 |
commit | 11aaba64355ac8d912aee9b426476bf09c46bef1 (patch) | |
tree | 439cada2df3b574b24c1695ea52da1f830656460 /powerpc | |
parent | 6ede270e6f386a099bc898307168e75ebd819c7e (diff) | |
download | compcert-11aaba64355ac8d912aee9b426476bf09c46bef1.tar.gz compcert-11aaba64355ac8d912aee9b426476bf09c46bef1.zip |
Typo in expand_builtin_memcpy_small
Follow-up to c34d25e01
Diffstat (limited to 'powerpc')
-rw-r--r-- | powerpc/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml index 45b3f708..6574365c 100644 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -119,7 +119,7 @@ let memcpy_small_arg sz arg tmp = let expand_builtin_memcpy_small sz al src dst = let tsrc = if dst <> BA (IR GPR11) then GPR11 else GPR12 in - let tdst = if dst <> BA (IR GPR12) then GPR12 else GPR11 in + let tdst = if src <> BA (IR GPR12) then GPR12 else GPR11 in let (rsrc, osrc) = memcpy_small_arg sz src tsrc in let (rdst, odst) = memcpy_small_arg sz dst tdst in let rec copy osrc odst sz = |