aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-04-26 16:36:59 +0200
committerCyril SIX <cyril.six@kalray.eu>2018-04-26 16:36:59 +0200
commita2cc41ebb00e45792fc2d0ef3e25f77994cf826f (patch)
tree63b6e781b4f2c3b1bacedee30f134f4ad1d9e225
parentbb464ecedab2e8fa681c0d822b029c2170495472 (diff)
downloadcompcert-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.ml6
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) ->