|
 |
4dd737 |
2014-11-04 Jiong Wang <jiong.wang@arm.com>
|
|
|
4dd737 |
Wilco Dijkstra <wilco.dijkstra@arm.com>
|
|
|
4dd737 |
|
|
|
4dd737 |
PR target/63293
|
|
|
4dd737 |
* config/aarch64/aarch64.c (aarch64_expand_epiloue): Add barriers before
|
|
|
4dd737 |
stack adjustment.
|
|
|
4dd737 |
|
|
|
4dd737 |
--- gcc/config/aarch64/aarch64.c (revision 217090)
|
|
|
4dd737 |
+++ gcc/config/aarch64/aarch64.c (revision 217091)
|
|
|
4dd737 |
@@ -1989,6 +1989,9 @@ aarch64_expand_epilogue (bool for_sibcal
|
|
|
4dd737 |
rtx insn;
|
|
|
4dd737 |
rtx cfa_reg;
|
|
|
4dd737 |
rtx cfi_ops = NULL;
|
|
|
4dd737 |
+ /* We need to add memory barrier to prevent read from deallocated stack. */
|
|
|
4dd737 |
+ bool need_barrier_p = (get_frame_size () != 0
|
|
|
4dd737 |
+ || cfun->machine->saved_varargs_size);
|
|
|
4dd737 |
|
|
|
4dd737 |
aarch64_layout_frame ();
|
|
|
4dd737 |
original_frame_size = get_frame_size () + cfun->machine->saved_varargs_size;
|
|
|
4dd737 |
@@ -2030,6 +2033,9 @@ aarch64_expand_epilogue (bool for_sibcal
|
|
|
4dd737 |
if (frame_pointer_needed
|
|
|
4dd737 |
&& (crtl->outgoing_args_size || cfun->calls_alloca))
|
|
|
4dd737 |
{
|
|
|
4dd737 |
+ if (cfun->calls_alloca)
|
|
|
4dd737 |
+ emit_insn (gen_stack_tie (stack_pointer_rtx, stack_pointer_rtx));
|
|
|
4dd737 |
+
|
|
|
4dd737 |
insn = emit_insn (gen_add3_insn (stack_pointer_rtx,
|
|
|
4dd737 |
hard_frame_pointer_rtx,
|
|
|
4dd737 |
GEN_INT (- fp_offset)));
|
|
|
4dd737 |
@@ -2048,6 +2054,9 @@ aarch64_expand_epilogue (bool for_sibcal
|
|
|
4dd737 |
/* Restore the frame pointer and lr if the frame pointer is needed. */
|
|
|
4dd737 |
if (offset > 0)
|
|
|
4dd737 |
{
|
|
|
4dd737 |
+ if (need_barrier_p && (!frame_pointer_needed || !fp_offset))
|
|
|
4dd737 |
+ emit_insn (gen_stack_tie (stack_pointer_rtx, stack_pointer_rtx));
|
|
|
4dd737 |
+
|
|
|
4dd737 |
if (frame_pointer_needed)
|
|
|
4dd737 |
{
|
|
|
4dd737 |
rtx mem_fp, mem_lr;
|
|
|
4dd737 |
@@ -2067,6 +2076,10 @@ aarch64_expand_epilogue (bool for_sibcal
|
|
|
4dd737 |
+ UNITS_PER_WORD));
|
|
|
4dd737 |
emit_insn (gen_load_pairdi (reg_fp, mem_fp, reg_lr, mem_lr));
|
|
|
4dd737 |
|
|
|
4dd737 |
+ if (need_barrier_p)
|
|
|
4dd737 |
+ emit_insn (gen_stack_tie (stack_pointer_rtx,
|
|
|
4dd737 |
+ stack_pointer_rtx));
|
|
|
4dd737 |
+
|
|
|
4dd737 |
insn = emit_insn (gen_add2_insn (stack_pointer_rtx,
|
|
|
4dd737 |
GEN_INT (offset)));
|
|
|
4dd737 |
}
|
|
|
4dd737 |
@@ -2128,6 +2141,9 @@ aarch64_expand_epilogue (bool for_sibcal
|
|
|
4dd737 |
|
|
|
4dd737 |
if (frame_size > -1)
|
|
|
4dd737 |
{
|
|
|
4dd737 |
+ if (need_barrier_p)
|
|
|
4dd737 |
+ emit_insn (gen_stack_tie (stack_pointer_rtx, stack_pointer_rtx));
|
|
|
4dd737 |
+
|
|
|
4dd737 |
if (frame_size >= 0x1000000)
|
|
|
4dd737 |
{
|
|
|
4dd737 |
rtx op0 = gen_rtx_REG (Pmode, IP0_REGNUM);
|