kvx: fix -fchecking error with stack-limit-register=sr

Paul Iannetta · Paul Iannetta · commit 0067bade4a4e · 2024-04-09T08:29:13.000+02:00
Summary: The code_label was floating above the `stack error' basic block. gcc/ChangeLog: * config/kvx/kvx-prologue-stack-limit.cc (kvx_prologue_stack_limit): Proprely set BB_HEAD and BB_END; add a barrier at the end of the basic block. Test Plan: CI Reviewers: bpriour, bddinechin, O11 gcc Reviewed By: bpriour, bddinechin, O11 gcc Differential Revision: https://phab.kalray.eu/D37148
diff --git a/gcc/config/kvx/kvx-prologue-stack-limit.cc b/gcc/config/kvx/kvx-prologue-stack-limit.cc
@@ -132,10 +132,13 @@ kvx_prologue_stack_limit (function *fun)
       insn
 	= emit_label_before (trap_label,
 			     get_last_bb_insn (stack_overflow_handler));
+      BB_HEAD (stack_overflow_handler) = insn;
       insn = emit_call_insn_after (gen_call (handler, const0_rtx),
 				   get_last_bb_insn (stack_overflow_handler));
       add_reg_note (insn, REG_ARGS_SIZE, const0_rtx);
       add_reg_note (insn, REG_NORETURN, NULL_RTX);
+      emit_barrier_after (insn);
+      BB_END (stack_overflow_handler) = insn;
 
       e1 = make_edge (pre_prologue, stack_overflow_handler, 0);
 
