Revert "Add RA to the list of callee_saved registers."

This reverts commit 7a14e76.
jasmin-lang · Nov 5, 2024 · fd5e550 · fd5e550
1 parent 3a2c8bc
commit fd5e550
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proofs/compiler/riscv_decl.v b/proofs/compiler/riscv_decl.v
@@ -197,7 +197,7 @@ Instance riscv_decl : arch_decl register register_ext xregister rflag condt :=
      To be on the safe side, GP and TP (thread pointer) are marked as callee-saved. *)
   Definition riscv_linux_call_conv : calling_convention :=
   {| callee_saved :=
-   map ARReg [:: SP; RA; GP; TP; X8; X9; X18; X19; X20; X21; X22; X23; X24; X25; X26; X27 ]
+      map ARReg [:: SP; GP; TP; X8; X9; X18; X19; X20; X21; X22; X23; X24; X25; X26; X27 ]
    ; callee_saved_not_bool := erefl true
    ; call_reg_args  := [:: X10; X11; X12; X13; X14; X15; X16; X17 ]
    ; call_xreg_args := [::]