diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 11:49:05 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 11:49:05 +0100 |
commit | ae8c21b078fda638b706d157e1b9a16e4bcc4ab7 (patch) | |
tree | 5dea219c1a222b0c940eca7420f9d6a1a0b507b8 | |
parent | 0c25f714e690681c50420a218dad518fbecdb42a (diff) | |
download | compcert-kvx-ae8c21b078fda638b706d157e1b9a16e4bcc4ab7.tar.gz compcert-kvx-ae8c21b078fda638b706d157e1b9a16e4bcc4ab7.zip |
Breaking the prologue to satisfy resource constraints
-rw-r--r-- | mppa_k1c/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index d52bd485..8ab10bc5 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -514,8 +514,8 @@ let expand_instruction instr = end else begin let below = Integers.Ptrofs.repr (Z.neg sz) in expand_addptrofs stack_pointer stack_pointer below; + emit Psemi; (* Psemi required to fit in resource constraints *) expand_storeind_ptr stack_pointer stack_pointer (Integers.Ptrofs.add ofs below); - (* DM we don't need it emit Psemi; *) vararg_start_ofs := None end | Pfreeframe (sz, ofs) -> |