From 3d9268b697572708f62e46ba4831a45572275ae3 Mon Sep 17 00:00:00 2001 From: John David Anglin Date: Fri, 12 Apr 2002 02:30:52 +0000 Subject: [PATCH] pa.c (pa_output_function_prologue): Don't accumulate the total number of code bytes when using TARGET_64BIT... * pa.c (pa_output_function_prologue): Don't accumulate the total number of code bytes when using TARGET_64BIT, or gas, SOM and not the portable runtime. (output_deferred_plabels): Handle 64bit plabels. (output_cbranch): Use $PIC_pcrel$0 for pc relative relocations when generating pic code using the GAS assembler for object formats that are not SOM (ie., ELF32 and ELF64). (output_millicode_call): Check attribute type if attribute length is 28. Likewise use $PIC_pcrel$0. Only call get_attr_length and dbr_sequence_length once. (output_call): Likewise use $PIC_pcrel$0, and call get_attr_length and dbr_sequence_length once. * pa.h (TARGET_SOM): Define if not defined. * pa.md (pattern to load address of label): Likewise use $PIC_pcrel$0 with GAS and not SOM. (jump, call_internal_reg, call_value_internal_reg): Likewise. * som.h (OBJ_SOM): Rename to TARGET_SOM. Undefine before defining. From-SVN: r52196 --- gcc/ChangeLog | 20 ++++++++ gcc/config/pa/pa.c | 120 +++++++++++++++++++++++++++++--------------- gcc/config/pa/pa.h | 5 ++ gcc/config/pa/pa.md | 91 ++++++++++++++++++++++++--------- gcc/config/pa/som.h | 3 +- 5 files changed, 173 insertions(+), 66 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9e4131f1cb8..1eb5798cefe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,23 @@ +2002-04-11 John David Anglin + + * pa.c (pa_output_function_prologue): Don't accumulate the total + number of code bytes when using TARGET_64BIT, or gas, SOM and not + the portable runtime. + (output_deferred_plabels): Handle 64bit plabels. + (output_cbranch): Use $PIC_pcrel$0 for pc relative relocations when + generating pic code using the GAS assembler for object formats that + are not SOM (ie., ELF32 and ELF64). + (output_millicode_call): Check attribute type if attribute length is 28. + Likewise use $PIC_pcrel$0. Only call get_attr_length and + dbr_sequence_length once. + (output_call): Likewise use $PIC_pcrel$0, and call get_attr_length and + dbr_sequence_length once. + * pa.h (TARGET_SOM): Define if not defined. + * pa.md (pattern to load address of label): Likewise use $PIC_pcrel$0 + with GAS and not SOM. + (jump, call_internal_reg, call_value_internal_reg): Likewise. + * som.h (OBJ_SOM): Rename to TARGET_SOM. Undefine before defining. + 2002-04-11 David O'Brien * config/freebsd.h (NO_IMPLICIT_EXTERN_C, SCCS_DIRECTIVE): Give value. diff --git a/gcc/config/pa/pa.c b/gcc/config/pa/pa.c index 7890958fb91..17d81fa884c 100644 --- a/gcc/config/pa/pa.c +++ b/gcc/config/pa/pa.c @@ -3129,9 +3129,11 @@ pa_output_function_prologue (file, size) current_function_number++; } - /* If we're using GAS and not using the portable runtime model, then - we don't need to accumulate the total number of code bytes. */ - if (TARGET_GAS && ! TARGET_PORTABLE_RUNTIME) + /* If we're using GAS and SOM, and not using the portable runtime model, + then we don't need to accumulate the total number of code bytes. */ + if ((TARGET_GAS && TARGET_SOM && ! TARGET_PORTABLE_RUNTIME) + /* FIXME: we can't handle long calls for TARGET_64BIT. */ + || TARGET_64BIT) total_code_bytes = 0; else if (INSN_ADDRESSES_SET_P ()) { @@ -4740,7 +4742,7 @@ output_deferred_plabels (file) { ASM_OUTPUT_INTERNAL_LABEL (file, "L", CODE_LABEL_NUMBER (deferred_plabels[i].internal_label)); assemble_integer (gen_rtx_SYMBOL_REF (Pmode, deferred_plabels[i].name), - 4, 32, 1); + TARGET_64BIT ? 8 : 4, TARGET_64BIT ? 64 : 32, 1); } } @@ -5458,14 +5460,24 @@ output_cbranch (operands, nullify, length, negated, insn) xoperands[1] = operands[1]; xoperands[2] = operands[2]; xoperands[3] = operands[3]; - xoperands[4] = gen_label_rtx (); - - output_asm_insn ("{bl|b,l} .+8,%%r1\n\taddil L'%l0-%l4,%%r1", - xoperands); - ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L", - CODE_LABEL_NUMBER (xoperands[4])); - output_asm_insn ("ldo R'%l0-%l4(%%r1),%%r1\n\tbv %%r0(%%r1)", - xoperands); + if (TARGET_SOM || ! TARGET_GAS) + xoperands[4] = gen_label_rtx (); + + output_asm_insn ("{bl|b,l} .+8,%%r1", xoperands); + if (TARGET_SOM || ! TARGET_GAS) + { + output_asm_insn ("addil L'%l0-%l4,%%r1", xoperands); + ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L", + CODE_LABEL_NUMBER (xoperands[4])); + output_asm_insn ("ldo R'%l0-%l4(%%r1),%%r1", xoperands); + } + else + { + output_asm_insn ("addil L'%l0-$PIC_pcrel$0+4,%%r1", xoperands); + output_asm_insn ("ldo R'%l0-$PIC_pcrel$0+8(%%r1),%%r1", + xoperands); + } + output_asm_insn ("bv %%r0(%%r1)", xoperands); } /* Now restore the value of %r1 in the delay slot. We're not @@ -6003,6 +6015,8 @@ output_millicode_call (insn, call_dest) rtx insn; rtx call_dest; { + int attr_length = get_attr_length (insn); + int seq_length = dbr_sequence_length (); int distance; rtx xoperands[4]; rtx seq_insn; @@ -6011,12 +6025,15 @@ output_millicode_call (insn, call_dest) /* Handle common case -- empty delay slot or no jump in the delay slot, and we're sure that the branch will reach the beginning of the $CODE$ - subspace. */ - if ((dbr_sequence_length () == 0 - && (get_attr_length (insn) == 8 || get_attr_length (insn) == 28)) - || (dbr_sequence_length () != 0 + subspace. The within reach form of the $$sh_func_adrs call has + a length of 28 and attribute type of multi. This length is the + same as the maximum length of an out of reach PIC call to $$div. */ + if ((seq_length == 0 + && (attr_length == 8 + || (attr_length == 28 && get_attr_type (insn) == TYPE_MULTI))) + || (seq_length != 0 && GET_CODE (NEXT_INSN (insn)) != JUMP_INSN - && get_attr_length (insn) == 4)) + && attr_length == 4)) { xoperands[0] = call_dest; output_asm_insn ("{bl|b,l} %0,%3%#", xoperands); @@ -6024,12 +6041,12 @@ output_millicode_call (insn, call_dest) } /* This call may not reach the beginning of the $CODE$ subspace. */ - if (get_attr_length (insn) > 4) + if (attr_length > 8) { int delay_insn_deleted = 0; /* We need to emit an inline long-call branch. */ - if (dbr_sequence_length () != 0 + if (seq_length != 0 && GET_CODE (NEXT_INSN (insn)) != JUMP_INSN) { /* A non-jump insn in the delay slot. By definition we can @@ -6047,15 +6064,26 @@ output_millicode_call (insn, call_dest) if (flag_pic) { xoperands[0] = call_dest; - xoperands[1] = gen_label_rtx (); + if (TARGET_SOM || ! TARGET_GAS) + xoperands[1] = gen_label_rtx (); + /* Get our address + 8 into %r1. */ output_asm_insn ("{bl|b,l} .+8,%%r1", xoperands); - /* Add %r1 to the offset of our target from the next insn. */ - output_asm_insn ("addil L%%%0-%1,%%r1", xoperands); - ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L", - CODE_LABEL_NUMBER (xoperands[1])); - output_asm_insn ("ldo R%%%0-%1(%%r1),%%r1", xoperands); + if (TARGET_SOM || ! TARGET_GAS) + { + /* Add %r1 to the offset of our target from the next insn. */ + output_asm_insn ("addil L%%%0-%1,%%r1", xoperands); + ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L", + CODE_LABEL_NUMBER (xoperands[1])); + output_asm_insn ("ldo R%%%0-%1(%%r1),%%r1", xoperands); + } + else + { + output_asm_insn ("addil L%%%0-$PIC_pcrel$0+4,%%r1", xoperands); + output_asm_insn ("ldo R%%%0-$PIC_pcrel$0+8(%%r1),%%r1", + xoperands); + } /* Get the return address into %r31. */ output_asm_insn ("blr 0,%3", xoperands); @@ -6097,8 +6125,7 @@ output_millicode_call (insn, call_dest) } /* If we had a jump in the call's delay slot, output it now. */ - if (dbr_sequence_length () != 0 - && !delay_insn_deleted) + if (seq_length != 0 && !delay_insn_deleted) { xoperands[0] = XEXP (PATTERN (NEXT_INSN (insn)), 1); output_asm_insn ("b,n %0", xoperands); @@ -6160,6 +6187,8 @@ output_call (insn, call_dest, sibcall) rtx call_dest; int sibcall; { + int attr_length = get_attr_length (insn); + int seq_length = dbr_sequence_length (); int distance; rtx xoperands[4]; rtx seq_insn; @@ -6167,11 +6196,10 @@ output_call (insn, call_dest, sibcall) /* Handle common case -- empty delay slot or no jump in the delay slot, and we're sure that the branch will reach the beginning of the $CODE$ subspace. */ - if ((dbr_sequence_length () == 0 - && get_attr_length (insn) == 12) - || (dbr_sequence_length () != 0 + if ((seq_length == 0 && attr_length == 12) + || (seq_length != 0 && GET_CODE (NEXT_INSN (insn)) != JUMP_INSN - && get_attr_length (insn) == 8)) + && attr_length == 8)) { xoperands[0] = call_dest; xoperands[1] = gen_rtx_REG (word_mode, sibcall ? 0 : 2); @@ -6180,7 +6208,7 @@ output_call (insn, call_dest, sibcall) } /* This call may not reach the beginning of the $CODE$ subspace. */ - if (get_attr_length (insn) > 12) + if (attr_length > 12) { int delay_insn_deleted = 0; rtx xoperands[2]; @@ -6193,7 +6221,7 @@ output_call (insn, call_dest, sibcall) and FP registers. Also, we need move any delay slot insn out of the delay slot. And finally, we can't rely on the linker being able to fix the call to $$dyncall! -- Yuk!. */ - if (dbr_sequence_length () != 0 + if (seq_length != 0 && GET_CODE (NEXT_INSN (insn)) != JUMP_INSN) { /* A non-jump insn in the delay slot. By definition we can @@ -6293,7 +6321,8 @@ output_call (insn, call_dest, sibcall) if (flag_pic) { xoperands[0] = deferred_plabels[i].internal_label; - xoperands[1] = gen_label_rtx (); + if (TARGET_SOM || ! TARGET_GAS) + xoperands[1] = gen_label_rtx (); output_asm_insn ("addil LT%%%0,%%r19", xoperands); output_asm_insn ("ldw RT%%%0(%%r1),%%r22", xoperands); @@ -6302,11 +6331,21 @@ output_call (insn, call_dest, sibcall) /* Get our address + 8 into %r1. */ output_asm_insn ("{bl|b,l} .+8,%%r1", xoperands); - /* Add %r1 to the offset of dyncall from the next insn. */ - output_asm_insn ("addil L%%$$dyncall-%1,%%r1", xoperands); - ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L", - CODE_LABEL_NUMBER (xoperands[1])); - output_asm_insn ("ldo R%%$$dyncall-%1(%%r1),%%r1", xoperands); + if (TARGET_SOM || ! TARGET_GAS) + { + /* Add %r1 to the offset of dyncall from the next insn. */ + output_asm_insn ("addil L%%$$dyncall-%1,%%r1", xoperands); + ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L", + CODE_LABEL_NUMBER (xoperands[1])); + output_asm_insn ("ldo R%%$$dyncall-%1(%%r1),%%r1", xoperands); + } + else + { + output_asm_insn ("addil L%%$$dyncall-$PIC_pcrel$0+4,%%r1", + xoperands); + output_asm_insn ("ldo R%%$$dyncall-$PIC_pcrel$0+8(%%r1),%%r1", + xoperands); + } /* Get the return address into %r31. */ output_asm_insn ("blr %%r0,%%r31", xoperands); @@ -6355,8 +6394,7 @@ output_call (insn, call_dest, sibcall) } /* If we had a jump in the call's delay slot, output it now. */ - if (dbr_sequence_length () != 0 - && !delay_insn_deleted) + if (seq_length != 0 && !delay_insn_deleted) { xoperands[0] = XEXP (PATTERN (NEXT_INSN (insn)), 1); output_asm_insn ("b,n %0", xoperands); diff --git a/gcc/config/pa/pa.h b/gcc/config/pa/pa.h index 62582e2277f..6977752c083 100644 --- a/gcc/config/pa/pa.h +++ b/gcc/config/pa/pa.h @@ -159,6 +159,11 @@ extern int target_flags; #define TARGET_ELF32 0 #endif +/* Generate code for SOM 32bit ABI. */ +#ifndef TARGET_SOM +#define TARGET_SOM 0 +#endif + /* Macro to define tables used to set the flags. This is a list in braces of pairs in braces, each pair being { "NAME", VALUE } diff --git a/gcc/config/pa/pa.md b/gcc/config/pa/pa.md index ec83b1f0806..c80edcc2e2b 100644 --- a/gcc/config/pa/pa.md +++ b/gcc/config/pa/pa.md @@ -2281,17 +2281,19 @@ "" "* { - rtx label_rtx = gen_label_rtx (); rtx xoperands[3]; extern FILE *asm_out_file; xoperands[0] = operands[0]; xoperands[1] = operands[1]; - xoperands[2] = label_rtx; + if (TARGET_SOM || ! TARGET_GAS) + xoperands[2] = gen_label_rtx (); + output_asm_insn (\"{bl|b,l} .+8,%0\", xoperands); output_asm_insn (\"{depi|depwi} 0,31,2,%0\", xoperands); - ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, \"L\", - CODE_LABEL_NUMBER (label_rtx)); + if (TARGET_SOM || ! TARGET_GAS) + ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, \"L\", + CODE_LABEL_NUMBER (xoperands[2])); /* If we're trying to load the address of a label that happens to be close, then we can use a shorter sequence. */ @@ -2302,12 +2304,24 @@ { /* Prefixing with R% here is wrong, it extracts just 11 bits and is always non-negative. */ - output_asm_insn (\"ldo %1-%2(%0),%0\", xoperands); + if (TARGET_SOM || ! TARGET_GAS) + output_asm_insn (\"ldo %1-%2(%0),%0\", xoperands); + else + output_asm_insn (\"ldo %1-$PIC_pcrel$0+8(%0),%0\", xoperands); } else { - output_asm_insn (\"addil L%%%1-%2,%0\", xoperands); - output_asm_insn (\"ldo R%%%1-%2(%0),%0\", xoperands); + if (TARGET_SOM || ! TARGET_GAS) + { + output_asm_insn (\"addil L%%%1-%2,%0\", xoperands); + output_asm_insn (\"ldo R%%%1-%2(%0),%0\", xoperands); + } + else + { + output_asm_insn (\"addil L%%%1-$PIC_pcrel$0+8,%0\", xoperands); + output_asm_insn (\"ldo R%%%1-$PIC_pcrel$0+12(%0),%0\", + xoperands); + } } return \"\"; }" @@ -5711,14 +5725,23 @@ { rtx xoperands[2]; xoperands[0] = operands[0]; - xoperands[1] = gen_label_rtx (); + if (TARGET_SOM || ! TARGET_GAS) + { + xoperands[1] = gen_label_rtx (); - output_asm_insn (\"{bl|b,l} .+8,%%r1\\n\\taddil L'%l0-%l1,%%r1\", - xoperands); - ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, \"L\", - CODE_LABEL_NUMBER (xoperands[1])); - output_asm_insn (\"ldo R'%l0-%l1(%%r1),%%r1\\n\\tbv %%r0(%%r1)\", - xoperands); + output_asm_insn (\"{bl|b,l} .+8,%%r1\\n\\taddil L'%l0-%l1,%%r1\", + xoperands); + ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, \"L\", + CODE_LABEL_NUMBER (xoperands[1])); + output_asm_insn (\"ldo R'%l0-%l1(%%r1),%%r1\", xoperands); + } + else + { + output_asm_insn (\"{bl|b,l} .+8,%%r1\", xoperands); + output_asm_insn (\"addil L'%l0-$PIC_pcrel$0+4,%%r1\", xoperands); + output_asm_insn (\"ldo R'%l0-$PIC_pcrel$0+8(%%r1),%%r1\", xoperands); + } + output_asm_insn (\"bv %%r0(%%r1)\", xoperands); } else output_asm_insn (\"ldil L'%l0,%%r1\\n\\tbe R'%l0(%%sr4,%%r1)\", operands);; @@ -5942,12 +5965,22 @@ /* If we're generating PIC code. */ xoperands[0] = operands[0]; - xoperands[1] = gen_label_rtx (); + if (TARGET_SOM || ! TARGET_GAS) + xoperands[1] = gen_label_rtx (); output_asm_insn (\"{bl|b,l} .+8,%%r1\", xoperands); - output_asm_insn (\"addil L%%$$dyncall-%1,%%r1\", xoperands); - ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, \"L\", - CODE_LABEL_NUMBER (xoperands[1])); - output_asm_insn (\"ldo R%%$$dyncall-%1(%%r1),%%r1\", xoperands); + if (TARGET_SOM || ! TARGET_GAS) + { + output_asm_insn (\"addil L%%$$dyncall-%1,%%r1\", xoperands); + ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, \"L\", + CODE_LABEL_NUMBER (xoperands[1])); + output_asm_insn (\"ldo R%%$$dyncall-%1(%%r1),%%r1\", xoperands); + } + else + { + output_asm_insn (\"addil L%%$$dyncall-$PIC_pcrel$0+4,%%r1\", xoperands); + output_asm_insn (\"ldo R%%$$dyncall-$PIC_pcrel$0+8(%%r1),%%r1\", + xoperands); + } output_asm_insn (\"blr %%r0,%%r2\", xoperands); output_asm_insn (\"bv,n %%r0(%%r1)\\n\\tnop\", xoperands); return \"\"; @@ -6118,12 +6151,22 @@ /* If we're generating PIC code. */ xoperands[0] = operands[1]; - xoperands[1] = gen_label_rtx (); + if (TARGET_SOM || ! TARGET_GAS) + xoperands[1] = gen_label_rtx (); output_asm_insn (\"{bl|b,l} .+8,%%r1\", xoperands); - output_asm_insn (\"addil L%%$$dyncall-%1,%%r1\", xoperands); - ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, \"L\", - CODE_LABEL_NUMBER (xoperands[1])); - output_asm_insn (\"ldo R%%$$dyncall-%1(%%r1),%%r1\", xoperands); + if (TARGET_SOM || ! TARGET_GAS) + { + output_asm_insn (\"addil L%%$$dyncall-%1,%%r1\", xoperands); + ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, \"L\", + CODE_LABEL_NUMBER (xoperands[1])); + output_asm_insn (\"ldo R%%$$dyncall-%1(%%r1),%%r1\", xoperands); + } + else + { + output_asm_insn (\"addil L%%$$dyncall-$PIC_pcrel$0+4,%%r1\", xoperands); + output_asm_insn (\"ldo R%%$$dyncall-$PIC_pcrel$0+8(%%r1),%%r1\", + xoperands); + } output_asm_insn (\"blr %%r0,%%r2\", xoperands); output_asm_insn (\"bv,n %%r0(%%r1)\\n\\tnop\", xoperands); return \"\"; diff --git a/gcc/config/pa/som.h b/gcc/config/pa/som.h index 22c46538f66..f20a5a8d04e 100644 --- a/gcc/config/pa/som.h +++ b/gcc/config/pa/som.h @@ -19,7 +19,8 @@ the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ /* So we can conditionalize small amounts of code in pa.c or pa.md. */ -#define OBJ_SOM +#undef TARGET_SOM +#define TARGET_SOM 1 /* We do not use BINCL stabs in SOM. ??? If it does not hurt, we probably should to avoid useless divergence -- 2.30.2