diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-11-07 13:12:41 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-11-07 13:12:41 +0100 |
| commit | 2ac731d8c35d8dc367f72b95aad97061b2229f59 (patch) | |
| tree | dea9184f587349d923d3e054dac0aed438e3ddf1 | |
| parent | 64393c4bb570c4c9570ddc4c457618db6fb71108 (diff) | |
| download | compcert-2ac731d8c35d8dc367f72b95aad97061b2229f59.tar.gz compcert-2ac731d8c35d8dc367f72b95aad97061b2229f59.zip | |
Fix typo in asmexpand. Bug 24953
| -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 8c473a7f..49a0d237 100644 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -348,7 +348,7 @@ let expand_builtin_vstore_1 chunk addr src = expand_store_int64 hi lo temp (Cint _0) (Cint _4)) (fun r1 r2 -> emit (Padd(temp, r1, r2)); - expand_load_int64 hi lo temp (Cint _0) (Cint _4)) + expand_store_int64 hi lo temp (Cint _0) (Cint _4)) addr temp | _, _ -> assert false |