diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 16:36:59 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 16:36:59 +0200 |
commit | a2cc41ebb00e45792fc2d0ef3e25f77994cf826f (patch) | |
tree | 63b6e781b4f2c3b1bacedee30f134f4ad1d9e225 | |
parent | bb464ecedab2e8fa681c0d822b029c2170495472 (diff) | |
download | compcert-kvx-a2cc41ebb00e45792fc2d0ef3e25f77994cf826f.tar.gz compcert-kvx-a2cc41ebb00e45792fc2d0ef3e25f77994cf826f.zip |
MPPA - FIX GPR10 is now the Frame Pointer in Asmexpand.ml (instead of GPR32)
-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 51d63da5..301e1624 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -495,20 +495,20 @@ let expand_instruction instr = match instr with | Pallocframe (sz, ofs) -> let sg = get_current_function_sig() in - emit (Pmv (GPR32, GPR12)); + emit (Pmv (GPR10, GPR12)); if sg.sig_cc.cc_vararg then begin let n = arguments_size sg in let extra_sz = if n >= 8 then 0 else align 16 ((8 - n) * wordsize) in let full_sz = Z.add sz (Z.of_uint extra_sz) in expand_addptrofs GPR12 GPR12 (Ptrofs.repr (Z.neg full_sz)); - expand_storeind_ptr GPR32 GPR12 ofs; + expand_storeind_ptr GPR10 GPR12 ofs; let va_ofs = Z.add full_sz (Z.of_sint ((n - 8) * wordsize)) in vararg_start_ofs := Some va_ofs; save_arguments n va_ofs end else begin expand_addptrofs GPR12 GPR12 (Ptrofs.repr (Z.neg sz)); - expand_storeind_ptr GPR32 GPR12 ofs; + expand_storeind_ptr GPR10 GPR12 ofs; vararg_start_ofs := None end | Pfreeframe (sz, ofs) -> |