diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-10-01 19:31:00 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-10-01 19:31:00 +0200 |
commit | f5a861160810595e42fe44084acad489deb08bf6 (patch) | |
tree | 6e89a2dee1f6b09d3845bb9c42206e4b789d4f6c /powerpc | |
parent | bf496d4fd41eb1ba5e56504c3affd328c29966a5 (diff) | |
parent | 11aaba64355ac8d912aee9b426476bf09c46bef1 (diff) | |
download | compcert-kvx-f5a861160810595e42fe44084acad489deb08bf6.tar.gz compcert-kvx-f5a861160810595e42fe44084acad489deb08bf6.zip |
Merge remote-tracking branch 'origin/master' into kvx-work
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 = |