Skip to content

R
riscv-gcc-1
Commit 314fc5a9 by Ian Lance Taylor
Options

(output_epilog): Don't output a traceback table if 

flag_inhibit_size_directive is set.

From-SVN: r6551
parent b0634e74
Showing with 180 additions and 164 deletions
gcc/config/rs6000/rs6000.c
...@@ -1583,177 +1583,193 @@ output_epilog (file, size) ...@@ -1583,177 +1583,193 @@ output_epilog (file, size)
} }
/* Output a traceback table here. See /usr/include/sys/debug.h for info /* Output a traceback table here. See /usr/include/sys/debug.h for info
on its format. */ on its format.
{
char *fname = XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0); We don't output a traceback table if -finhibit-size-directive was
int fixed_parms, float_parms, parm_info; used. The documentation for -finhibit-size-directive reads
int i; ``don't output a @code{.size} assembler directive, or anything
else that would cause trouble if the function is split in the
/* Need label immediately before tbtab, so we can compute its offset middle, and the two halves are placed at locations far apart in
from the function start. */ memory.'' The traceback table has this property, since it
if (*fname == '*') includes the offset from the start of the function to the
++fname; traceback table itself. */
ASM_OUTPUT_INTERNAL_LABEL_PREFIX (file, "LT"); if (! flag_inhibit_size_directive)
ASM_OUTPUT_LABEL (file, fname);
/* The .tbtab pseudo-op can only be used for the first eight
expressions, since it can't handle the possibly variable length
fields that follow. However, if you omit the optional fields,
the assembler outputs zeros for all optional fields anyways, giving each
variable length field is minimum length (as defined in sys/debug.h).
Thus we can not use the .tbtab pseudo-op at all. */
/* An all-zero word flags the start of the tbtab, for debuggers that have
to find it by searching forward from the entry point or from the
current pc. */
fprintf (file, "\t.long 0\n");
/* Tbtab format type. Use format type 0. */
fprintf (file, "\t.byte 0,");
/* Language type. Unfortunately, there doesn't seem to be any official way
to get this info, so we use language_string. C is 0. C++ is 9.
No number defined for Obj-C, so use the value for C for now. */
if (! strcmp (language_string, "GNU C")
|| ! strcmp (language_string, "GNU Obj-C"))
i = 0;
else if (! strcmp (language_string, "GNU F77"))
i = 1;
else if (! strcmp (language_string, "GNU Ada"))
i = 3;
else if (! strcmp (language_string, "GNU PASCAL"))
i = 2;
else if (! strcmp (language_string, "GNU C++"))
i = 9;
else
abort ();
fprintf (file, "%d,", i);
/* 8 single bit fields: global linkage (not set for C extern linkage,
apparently a PL/I convention?), out-of-line epilogue/prologue, offset
from start of procedure stored in tbtab, internal function, function
has controlled storage, function has no toc, function uses fp,
function logs/aborts fp operations. */
/* Assume that fp operations are used if any fp reg must be saved. */
fprintf (file, "%d,", (1 << 5) | ((first_fp_reg != 64) << 1));
/* 6 bitfields: function is interrupt handler, name present in proc table,
function calls alloca, on condition directives (controls stack walks,
3 bits), saves condition reg, saves link reg. */
/* The `function calls alloca' bit seems to be set whenever reg 31 is
set up as a frame pointer, even when there is no alloca call. */
fprintf (file, "%d,",
((1 << 6) | (frame_pointer_needed << 5)
| (must_save_cr () << 1) | (regs_ever_live[65])));
/* 3 bitfields: saves backchain, spare bit, number of fpr saved
(6 bits). */
fprintf (file, "%d,",
(must_push << 7) | (64 - first_fp_reg_to_save ()));
/* 2 bitfields: spare bits (2 bits), number of gpr saved (6 bits). */
fprintf (file, "%d,", (32 - first_reg_to_save ()));
{ {
/* Compute the parameter info from the function decl argument list. */ char *fname = XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0);
tree decl; int fixed_parms, float_parms, parm_info;
int next_parm_info_bit; int i;
next_parm_info_bit = 31; /* Need label immediately before tbtab, so we can compute its offset
parm_info = 0; from the function start. */
fixed_parms = 0; if (*fname == '*')
float_parms = 0; ++fname;
ASM_OUTPUT_INTERNAL_LABEL_PREFIX (file, "LT");
for (decl = DECL_ARGUMENTS (current_function_decl); ASM_OUTPUT_LABEL (file, fname);
decl; decl = TREE_CHAIN (decl))
{ /* The .tbtab pseudo-op can only be used for the first eight
rtx parameter = DECL_INCOMING_RTL (decl); expressions, since it can't handle the possibly variable
enum machine_mode mode = GET_MODE (parameter); length fields that follow. However, if you omit the optional
fields, the assembler outputs zeros for all optional fields
if (GET_CODE (parameter) == REG) anyways, giving each variable length field is minimum length
{ (as defined in sys/debug.h). Thus we can not use the .tbtab
if (GET_MODE_CLASS (mode) == MODE_FLOAT) pseudo-op at all. */
{
int bits; /* An all-zero word flags the start of the tbtab, for debuggers
that have to find it by searching forward from the entry
float_parms++; point or from the current pc. */
fprintf (file, "\t.long 0\n");
if (mode == SFmode)
bits = 0x2; /* Tbtab format type. Use format type 0. */
else if (mode == DFmode) fprintf (file, "\t.byte 0,");
bits = 0x3;
else /* Language type. Unfortunately, there doesn't seem to be any
abort (); official way to get this info, so we use language_string. C
is 0. C++ is 9. No number defined for Obj-C, so use the
/* If only one bit will fit, don't or in this entry. */ value for C for now. */
if (next_parm_info_bit > 0) if (! strcmp (language_string, "GNU C")
parm_info |= (bits << (next_parm_info_bit - 1)); || ! strcmp (language_string, "GNU Obj-C"))
next_parm_info_bit -= 2; i = 0;
} else if (! strcmp (language_string, "GNU F77"))
else i = 1;
{ else if (! strcmp (language_string, "GNU Ada"))
fixed_parms += ((GET_MODE_SIZE (mode) + (UNITS_PER_WORD - 1)) i = 3;
/ UNITS_PER_WORD); else if (! strcmp (language_string, "GNU PASCAL"))
next_parm_info_bit -= 1; i = 2;
} else if (! strcmp (language_string, "GNU C++"))
} i = 9;
} else
} abort ();
fprintf (file, "%d,", i);
/* Number of fixed point parameters. */
/* This is actually the number of words of fixed point parameters; thus /* 8 single bit fields: global linkage (not set for C extern linkage,
an 8 byte struct counts as 2; and thus the maximum value is 8. */ apparently a PL/I convention?), out-of-line epilogue/prologue, offset
fprintf (file, "%d,", fixed_parms); from start of procedure stored in tbtab, internal function, function
has controlled storage, function has no toc, function uses fp,
/* 2 bitfields: number of floating point parameters (7 bits), parameters function logs/aborts fp operations. */
all on stack. */ /* Assume that fp operations are used if any fp reg must be saved. */
/* This is actually the number of fp registers that hold parameters; fprintf (file, "%d,", (1 << 5) | ((first_fp_reg != 64) << 1));
and thus the maximum value is 13. */
/* Set parameters on stack bit if parameters are not in their original /* 6 bitfields: function is interrupt handler, name present in
registers, regardless of whether they are on the stack? Xlc proc table, function calls alloca, on condition directives
seems to set the bit when not optimizing. */ (controls stack walks, 3 bits), saves condition reg, saves
fprintf (file, "%d\n", ((float_parms << 1) | (! optimize))); link reg. */
/* The `function calls alloca' bit seems to be set whenever reg 31 is
/* Optional fields follow. Some are variable length. */ set up as a frame pointer, even when there is no alloca call. */
fprintf (file, "%d,",
/* Parameter types, left adjusted bit fields: 0 fixed, 10 single float, ((1 << 6) | (frame_pointer_needed << 5)
11 double float. */ | (must_save_cr () << 1) | (regs_ever_live[65])));
/* There is an entry for each parameter in a register, in the order that
they occur in the parameter list. Any intervening arguments on the /* 3 bitfields: saves backchain, spare bit, number of fpr saved
stack are ignored. If the list overflows a long (max possible length (6 bits). */
34 bits) then completely leave off all elements that don't fit. */ fprintf (file, "%d,",
/* Only emit this long if there was at least one parameter. */ (must_push << 7) | (64 - first_fp_reg_to_save ()));
if (fixed_parms || float_parms)
fprintf (file, "\t.long %d\n", parm_info); /* 2 bitfields: spare bits (2 bits), number of gpr saved (6 bits). */
fprintf (file, "%d,", (32 - first_reg_to_save ()));
/* Offset from start of code to tb table. */
fprintf (file, "\t.long "); {
ASM_OUTPUT_INTERNAL_LABEL_PREFIX (file, "LT"); /* Compute the parameter info from the function decl argument
RS6000_OUTPUT_BASENAME (file, fname); list. */
fprintf (file, "-."); tree decl;
RS6000_OUTPUT_BASENAME (file, fname); int next_parm_info_bit;
fprintf (file, "\n");
next_parm_info_bit = 31;
parm_info = 0;
fixed_parms = 0;
float_parms = 0;
for (decl = DECL_ARGUMENTS (current_function_decl);
decl; decl = TREE_CHAIN (decl))
{
rtx parameter = DECL_INCOMING_RTL (decl);
enum machine_mode mode = GET_MODE (parameter);
if (GET_CODE (parameter) == REG)
{
if (GET_MODE_CLASS (mode) == MODE_FLOAT)
{
int bits;
float_parms++;
if (mode == SFmode)
bits = 0x2;
else if (mode == DFmode)
bits = 0x3;
else
abort ();
/* If only one bit will fit, don't or in this entry. */
if (next_parm_info_bit > 0)
parm_info |= (bits << (next_parm_info_bit - 1));
next_parm_info_bit -= 2;
}
else
{
fixed_parms += ((GET_MODE_SIZE (mode)
+ (UNITS_PER_WORD - 1))
/ UNITS_PER_WORD);
next_parm_info_bit -= 1;
}
}
}
}
/* Number of fixed point parameters. */
/* This is actually the number of words of fixed point parameters; thus
an 8 byte struct counts as 2; and thus the maximum value is 8. */
fprintf (file, "%d,", fixed_parms);
/* 2 bitfields: number of floating point parameters (7 bits), parameters
all on stack. */
/* This is actually the number of fp registers that hold parameters;
and thus the maximum value is 13. */
/* Set parameters on stack bit if parameters are not in their original
registers, regardless of whether they are on the stack? Xlc
seems to set the bit when not optimizing. */
fprintf (file, "%d\n", ((float_parms << 1) | (! optimize)));
/* Optional fields follow. Some are variable length. */
/* Parameter types, left adjusted bit fields: 0 fixed, 10 single float,
11 double float. */
/* There is an entry for each parameter in a register, in the order that
they occur in the parameter list. Any intervening arguments on the
stack are ignored. If the list overflows a long (max possible length
34 bits) then completely leave off all elements that don't fit. */
/* Only emit this long if there was at least one parameter. */
if (fixed_parms || float_parms)
fprintf (file, "\t.long %d\n", parm_info);
/* Offset from start of code to tb table. */
fprintf (file, "\t.long ");
ASM_OUTPUT_INTERNAL_LABEL_PREFIX (file, "LT");
RS6000_OUTPUT_BASENAME (file, fname);
fprintf (file, "-.");
RS6000_OUTPUT_BASENAME (file, fname);
fprintf (file, "\n");
/* Interrupt handler mask. */ /* Interrupt handler mask. */
/* Omit this long, since we never set the interrupt handler bit above. */ /* Omit this long, since we never set the interrupt handler bit
above. */
/* Number of CTL (controlled storage) anchors. */ /* Number of CTL (controlled storage) anchors. */
/* Omit this long, since the has_ctl bit is never set above. */ /* Omit this long, since the has_ctl bit is never set above. */
/* Displacement into stack of each CTL anchor. */ /* Displacement into stack of each CTL anchor. */
/* Omit this list of longs, because there are no CTL anchors. */ /* Omit this list of longs, because there are no CTL anchors. */
/* Length of function name. */ /* Length of function name. */
fprintf (file, "\t.short %d\n", strlen (fname)); fprintf (file, "\t.short %d\n", strlen (fname));
/* Function name. */ /* Function name. */
assemble_string (fname, strlen (fname)); assemble_string (fname, strlen (fname));
/* Register for alloca automatic storage; this is always reg 31. /* Register for alloca automatic storage; this is always reg 31.
Only emit this if the alloca bit was set above. */ Only emit this if the alloca bit was set above. */
if (frame_pointer_needed) if (frame_pointer_needed)
fprintf (file, "\t.byte 31\n"); fprintf (file, "\t.byte 31\n");
} }
} }
/* Output a TOC entry. We derive the entry name from what is /* Output a TOC entry. We derive the entry name from what is
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment