diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-06 19:37:00 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-06 19:37:00 +0200 |
commit | 00d530aed30181dece1b32d4eb0ce122ed55ff89 (patch) | |
tree | bcea3809c65f517ef2ccfdcbf444660b21a63338 | |
parent | 63b89dd75d1fe03b8e14166b5f9b0b930c083f05 (diff) | |
download | compcert-kvx-00d530aed30181dece1b32d4eb0ce122ed55ff89.tar.gz compcert-kvx-00d530aed30181dece1b32d4eb0ce122ed55ff89.zip |
one cycle less in allocframe
-rw-r--r-- | mppa_k1c/Asmexpand.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index c49cfbd5..94846793 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -459,9 +459,9 @@ let expand_instruction instr = vararg_start_ofs := Some va_ofs; save_arguments n va_ofs end else begin - expand_addptrofs stack_pointer stack_pointer (Ptrofs.repr (Z.neg sz)); - emit Psemi; - expand_storeind_ptr Asmvliw.GPR17 stack_pointer ofs; + let below = Ptrofs.repr (Z.neg sz) in + expand_addptrofs stack_pointer stack_pointer below; + expand_storeind_ptr Asmvliw.GPR17 stack_pointer (Ptrofs.add ofs below); emit Psemi; vararg_start_ofs := None end |