--- gcc/config/alpha/alpha.c 2018/04/24 18:10:26 1.1 +++ gcc/config/alpha/alpha.c 2018/04/24 18:16:15 1.1.1.2 @@ -48,6 +48,11 @@ int alpha_compare_fp_p; char *alpha_function_name; +/* Non-zero if inside of a function, because the Alpha asm can't + handle .files inside of functions. */ + +static int inside_function = FALSE; + /* Nonzero if the current function needs gp. */ int alpha_function_needs_gp; @@ -81,6 +86,20 @@ reg_or_0_operand (op, mode) return op == const0_rtx || register_operand (op, mode); } +/* Return 1 if OP is a constant in the range of 0-63 (for a shift) or + any register. */ + +int +reg_or_6bit_operand (op, mode) + register rtx op; + enum machine_mode mode; +{ + return ((GET_CODE (op) == CONST_INT + && (unsigned HOST_WIDE_INT) INTVAL (op) < 64) + || register_operand (op, mode)); +} + + /* Return 1 if OP is an 8-bit constant or any register. */ int @@ -1106,6 +1125,56 @@ alpha_write_verstamp (file) fprintf (file, "\n"); #endif } + +/* Write code to add constant C to register number IN_REG (possibly 31) + and put the result into OUT_REG. Write the code to FILE. */ + +static void +add_long_const (file, c, in_reg, out_reg) + HOST_WIDE_INT c; + int in_reg, out_reg; + FILE *file; +{ + HOST_WIDE_INT low = (c & 0xffff) - 2 * (c & 0x8000); + HOST_WIDE_INT tmp1 = c - low; + HOST_WIDE_INT high = ((tmp1 >> 16) & 0xffff) - 2 * ((tmp1 >> 16) & 0x8000); + HOST_WIDE_INT extra = 0; + + /* We don't have code to write out constants larger than 32 bits. */ +#if HOST_BITS_PER_LONG_INT == 64 + if ((unsigned HOST_WIDE_INT) c >> 32 != 0) + abort (); +#endif + + /* If HIGH will be interpreted as negative, we must adjust it to do two + ldha insns. Note that we will never be building a negative constant + here. */ + + if (high & 0x8000) + { + extra = 0x4000; + tmp1 -= 0x40000000; + high = ((tmp1 >> 16) & 0xffff) - 2 * ((tmp1 >> 16) & 0x8000); + } + + if (low != 0) + { + if (low >= 0 && low < 255) + fprintf (file, "\taddq $%d,%d,$%d\n", in_reg, low, out_reg); + else + fprintf (file, "\tlda $%d,%d($%d)\n", out_reg, low, in_reg); + in_reg = out_reg; + } + + if (extra) + { + fprintf (file, "\tldah $%d,%d($%d)\n", out_reg, extra, in_reg); + in_reg = out_reg; + } + + if (high) + fprintf (file, "\tldah $%d,%d($%d)\n", out_reg, high, in_reg); +} /* Write function prologue. */ @@ -1117,12 +1186,45 @@ output_prolog (file, size) HOST_WIDE_INT frame_size = ((size + current_function_outgoing_args_size + current_function_pretend_args_size + alpha_sa_size () + 15) & ~15); - int reg_offset = size + current_function_outgoing_args_size; + HOST_WIDE_INT reg_offset = size + current_function_outgoing_args_size; + HOST_WIDE_INT start_reg_offset = reg_offset; + HOST_WIDE_INT actual_start_reg_offset = start_reg_offset; rtx insn; - int start_reg_offset = reg_offset; + int reg_offset_base_reg = 30; unsigned reg_mask = 0; int i; + /* Ecoff can handle multiple .file directives, put out file and lineno. + We have to do that before the .ent directive as we cannot switch + files within procedures with native ecoff because line numbers are + linked to procedure descriptors. + Outputting the lineno helps debugging of one line functions as they + would otherwise get no line number at all. Please note that we would + like to put out last_linenum from final.c, but it is not accesible. */ + + if (write_symbols == SDB_DEBUG) + { + ASM_OUTPUT_SOURCE_FILENAME (file, + DECL_SOURCE_FILE (current_function_decl)); + if (debug_info_level != DINFO_LEVEL_TERSE) + ASM_OUTPUT_SOURCE_LINE (file, DECL_SOURCE_LINE (current_function_decl)); + } + + /* The assembly language programmer's guide states that the second argument + to the .ent directive, the lex_level, is ignored by the assembler, + so we might as well omit it. */ + + fprintf (file, "\t.ent "); + assemble_name (file, alpha_function_name); + fprintf (file, "\n"); + ASM_OUTPUT_LABEL (file, alpha_function_name); + inside_function = TRUE; + + /* Set up offsets to alpha virtual arg/local debugging pointer. */ + + alpha_auto_offset = -frame_size + current_function_pretend_args_size; + alpha_arg_offset = -frame_size + 48; + /* If we need a GP (we have a LDSYM insn or a CALL_INSN), load it first. Even if we are a static function, we still need to do this in case our address is taken and passed to something like qsort. */ @@ -1133,7 +1235,8 @@ output_prolog (file, size) || (GET_RTX_CLASS (GET_CODE (insn)) == 'i' && GET_CODE (PATTERN (insn)) != USE && GET_CODE (PATTERN (insn)) != CLOBBER - && get_attr_type (insn) == TYPE_LDSYM)) + && (get_attr_type (insn) == TYPE_LDSYM + || get_attr_type (insn) == TYPE_ISUBR))) { alpha_function_needs_gp = 1; break; @@ -1143,7 +1246,8 @@ output_prolog (file, size) fprintf (file, "\tldgp $29,0($27)\n"); /* Put a label after the GP load so we can enter the function at it. */ - fprintf (file, "%s..ng:\n", alpha_function_name); + assemble_name (file, alpha_function_name); + fprintf (file, "..ng:\n"); /* Adjust the stack by the frame size. If the frame size is > 4096 bytes, we need to be sure we probe somewhere in the first and last @@ -1181,55 +1285,26 @@ output_prolog (file, size) /* Here we generate code to set R4 to SP + 4096 and set R5 to the number of 8192 byte blocks to probe. We then probe each block in the loop and then set SP to the proper location. If the - amount remaining is > 4096, we have to do one more probe. - - This is complicated by the code we would generate if - the number of blocks > 32767. */ + amount remaining is > 4096, we have to do one more probe. */ HOST_WIDE_INT blocks = (frame_size + 4096) / 8192; HOST_WIDE_INT leftover = frame_size + 4096 - blocks * 8192; - HOST_WIDE_INT low = (blocks & 0xffff) - 2 * (blocks & 0x8000); - HOST_WIDE_INT tmp1 = blocks - low; - HOST_WIDE_INT high - = ((tmp1 >> 16) & 0xffff) - 2 * ((tmp1 >> 16) & 0x8000); - HOST_WIDE_INT extra = 0; - int in_reg = 31; - - /* If HIGH will be interpreted as negative, we must adjust it to - do two ldha insns. Note that we will never be building a negative - constant here. */ - - if (high & 0x8000) - { - extra = 0x4000; - tmp1 -= 0x40000000; - high = ((tmp1 >> 16) & 0xffff) - 2 * ((tmp1 >> 16) & 0x8000); - } - if (low != 0) - { - if (low < 255) - fprintf (file, "\tbis $31,%d,$5\n", low); - else - fprintf (file, "\tlda $5,%d($31)\n", low); - in_reg = 5; - } + add_long_const (file, blocks, 31, 5); - if (extra) - { - fprintf (file, "\tldah $5,%d($%d)\n", extra, in_reg); - in_reg = 5; - } + fprintf (file, "\tlda $4,4096($30)\n"); - if (high) - fprintf (file, "\tldah $5,%d($%d)\n", high, in_reg); + assemble_name (file, alpha_function_name); + fprintf (file, "..sc:\n"); - fprintf (file, "\tlda $4,4096($30)\n"); - fprintf (file, "%s..sc:\n", alpha_function_name); fprintf (file, "\tldq $6,-8192($4)\n"); fprintf (file, "\tsubq $5,1,$5\n"); fprintf (file, "\tlda $4,-8192($4)\n"); - fprintf (file, "\tbne $5,%s..sc\n", alpha_function_name); + + fprintf (file, "\tbne $5"); + assemble_name (file, alpha_function_name); + fprintf (file, "%s..sc\n"); + fprintf (file, "\tlda $30,-%d($4)\n", leftover); if (leftover > 4096) @@ -1241,12 +1316,22 @@ output_prolog (file, size) frame_pointer_needed ? FRAME_POINTER_REGNUM : STACK_POINTER_REGNUM, frame_size, current_function_pretend_args_size); + /* If reg_offset is "close enough" to 2**15 that one of the offsets would + overflow a store instruction, compute the base of the register save + area into $28. */ + if (reg_offset >= 32768 - alpha_sa_size () && alpha_sa_size () != 0) + { + add_long_const (file, reg_offset, 30, 28); + reg_offset_base_reg = 28; + reg_offset = start_reg_offset = 0; + } + /* Save register 26 if it is used or if any other register needs to be saved. */ if (regs_ever_live[26] || alpha_sa_size () != 0) { reg_mask |= 1 << 26; - fprintf (file, "\tstq $26,%d($30)\n", reg_offset); + fprintf (file, "\tstq $26,%d($%d)\n", reg_offset, reg_offset_base_reg); reg_offset += 8; } @@ -1255,14 +1340,15 @@ output_prolog (file, size) if (! fixed_regs[i] && ! call_used_regs[i] && regs_ever_live[i] && i != 26) { reg_mask |= 1 << i; - fprintf (file, "\tstq $%d,%d($30)\n", i, reg_offset); + fprintf (file, "\tstq $%d,%d($%d)\n", + i, reg_offset, reg_offset_base_reg); reg_offset += 8; } /* Print the register mask and do floating-point saves. */ if (reg_mask) fprintf (file, "\t.mask 0x%x,%d\n", reg_mask, - start_reg_offset - frame_size); + actual_start_reg_offset - frame_size); start_reg_offset = reg_offset; reg_mask = 0; @@ -1272,13 +1358,14 @@ output_prolog (file, size) && regs_ever_live[i + 32]) { reg_mask |= 1 << i; - fprintf (file, "\tstt $f%d,%d($30)\n", i, reg_offset); + fprintf (file, "\tstt $f%d,%d($%d)\n", + i, reg_offset, reg_offset_base_reg); reg_offset += 8; } /* Print the floating-point mask, if we've saved any fp register. */ if (reg_mask) - fprintf (file, "\t.fmask 0x%x,%d\n", reg_mask, start_reg_offset); + fprintf (file, "\t.fmask 0x%x,%d\n", reg_mask, actual_start_reg_offset); /* If we need a frame pointer, set it from the stack pointer. Note that this must always be the last instruction in the prologue. */ @@ -1300,7 +1387,9 @@ output_epilog (file, size) HOST_WIDE_INT frame_size = ((size + current_function_outgoing_args_size + current_function_pretend_args_size + alpha_sa_size () + 15) & ~15); - int reg_offset = size + current_function_outgoing_args_size; + HOST_WIDE_INT reg_offset = size + current_function_outgoing_args_size; + HOST_WIDE_INT frame_size_from_reg_save = frame_size - reg_offset; + int reg_offset_base_reg = 30; int i; /* If the last insn was a BARRIER, we don't have to write anything except @@ -1315,11 +1404,21 @@ output_epilog (file, size) if (frame_pointer_needed) fprintf (file, "\tbis $15,$15,$30\n"); + /* If the register save area is out of range, put its address into + $28. */ + if (reg_offset >= 32768 - alpha_sa_size () && alpha_sa_size () != 0) + { + add_long_const (file, reg_offset, 30, 28); + reg_offset_base_reg = 28; + reg_offset = 0; + } + /* Restore all the registers, starting with the return address register. */ if (regs_ever_live[26] || alpha_sa_size () != 0) { - fprintf (file, "\tldq $26,%d($30)\n", reg_offset); + fprintf (file, "\tldq $26,%d($%d)\n", + reg_offset, reg_offset_base_reg); reg_offset += 8; } @@ -1334,7 +1433,8 @@ output_epilog (file, size) if (i == FRAME_POINTER_REGNUM && frame_pointer_needed) fp_offset = reg_offset; else - fprintf (file, "\tldq $%d,%d($30)\n", i, reg_offset); + fprintf (file, "\tldq $%d,%d($%d)\n", + i, reg_offset, reg_offset_base_reg); reg_offset += 8; } @@ -1342,65 +1442,45 @@ output_epilog (file, size) if (! fixed_regs[i + 32] && ! call_used_regs[i + 32] && regs_ever_live[i + 32]) { - fprintf (file, "\tldt $f%d,%d($30)\n", i, reg_offset); + fprintf (file, "\tldt $f%d,%d($%d)\n", + i, reg_offset, reg_offset_base_reg); reg_offset += 8; } /* If the stack size is large, compute the size of the stack into a register because the old FP restore, stack pointer adjust, - and return are required to be consecutive instructions. */ - if (frame_size > 32767) - { - HOST_WIDE_INT low - = (frame_size & 0xffff) - 2 * (frame_size & 0x8000); - HOST_WIDE_INT tmp1 = frame_size - low; - HOST_WIDE_INT high - = ((tmp1 >> 16) & 0xffff) - 2 * ((tmp1 >> 16) & 0x8000); - HOST_WIDE_INT extra = 0; - int in_reg = 31; - - /* We haven't written code to handle frames > 4GB. */ -#if HOST_BITS_PER_LONG_INT == 64 - if ((unsigned HOST_WIDE_INT) frame_size >> 32 != 0) - abort (); -#endif - - /* If HIGH will be interpreted as negative, we must adjust it to - do two ldha insns. Note that we will never be building a negative - constant here. */ - - if (high & 0x8000) - { - extra = 0x4000; - tmp1 -= 0x40000000; - high = ((tmp1 >> 16) & 0xffff) - 2 * ((tmp1 >> 16) & 0x8000); - } - - if (low != 0) - { - fprintf (file, "\tlda $28,%d($%d)\n", low, in_reg); - in_reg = 28; - } - - if (extra) - { - fprintf (file, "\tldah $28,%d($%d)\n", extra, in_reg); - in_reg = 28; - } - - fprintf (file, "\tldah $28,%d($%d)\n", high, in_reg); - } + and return are required to be consecutive instructions. + However, if the new stack pointer can be computed by adding the + a constant to the start of the register save area, we can do + it that way. */ + if (frame_size > 32767 + && ! (reg_offset_base_reg != 30 + && frame_size_from_reg_save < 32768)) + add_long_const (file, frame_size, 31, 1); /* If we needed a frame pointer and we have to restore it, do it - now. */ - + now. This must be done in one instruction immediately + before the SP update. */ if (frame_pointer_needed && regs_ever_live[FRAME_POINTER_REGNUM]) - fprintf (file, "\tldq $15,%d($30)\n", fp_offset); + fprintf (file, "\tldq $15,%d($%d)\n", fp_offset, reg_offset_base_reg); /* Now update the stack pointer, if needed. This must be done in one, stylized, instruction. */ if (frame_size > 32768) - fprintf (file, "\taddq $28,$30,$30\n"); + { + if (reg_offset_base_reg != 30 + && frame_size_from_reg_save < 32768) + { + if (frame_size_from_reg_save < 255) + fprintf (file, "\taddq $%d,%d,$30\n", + reg_offset_base_reg, frame_size_from_reg_save); + else + fprintf (file, "\tlda %30,%d($%d)\n", + frame_size_from_reg_save, reg_offset_base_reg); + } + else + fprintf (file, "\taddq $1,$30,$30\n"); + } else if (frame_size != 0) fprintf (file, "\tlda $30,%d($30)\n", frame_size); @@ -1409,8 +1489,102 @@ output_epilog (file, size) } /* End the function. */ - fprintf (file, "\t.end %s\n", alpha_function_name); + fprintf (file, "\t.end "); + assemble_name (file, alpha_function_name); + fprintf (file, "\n"); + inside_function = FALSE; /* Show that we know this function if it is called again. */ SYMBOL_REF_FLAG (XEXP (DECL_RTL (current_function_decl), 0)) = 1; } + +/* Debugging support. */ + +#include "gstab.h" + +/* Count the number of sdb related labels are generated (to find block + start and end boundaries). */ + +int sdb_label_count = 0; + +/* Next label # for each statement. */ + +static int sym_lineno = 0; + +/* Count the number of .file directives, so that .loc is up to date. */ + +static int num_source_filenames = 0; + +/* Name of the file containing the current function. */ + +static char *current_function_file = ""; + +/* Offsets to alpha virtual arg/local debugging pointers. */ + +long alpha_arg_offset; +long alpha_auto_offset; + +/* Emit a new filename to a stream. */ + +void +alpha_output_filename (stream, name) + FILE *stream; + char *name; +{ + static int first_time = TRUE; + char ltext_label_name[100]; + + if (first_time) + { + first_time = FALSE; + ++num_source_filenames; + current_function_file = name; + fprintf (stream, "\t.file\t%d ", num_source_filenames); + output_quoted_string (stream, name); + fprintf (stream, "\n"); + if (!TARGET_GAS && write_symbols == DBX_DEBUG) + fprintf (stream, "\t#@stabs\n"); + } + + else if (!TARGET_GAS && write_symbols == DBX_DEBUG) + { + ASM_GENERATE_INTERNAL_LABEL (ltext_label_name, "Ltext", 0); + fprintf (stream, "%s ", ASM_STABS_OP); + output_quoted_string (stream, name); + fprintf (stream, ",%d,0,0,%s\n", N_SOL, <ext_label_name[1]); + } + + else if (name != current_function_file + && strcmp (name, current_function_file) != 0) + { + if (inside_function && ! TARGET_GAS) + fprintf (stream, "\t#.file\t%d ", num_source_filenames); + else + { + ++num_source_filenames; + current_function_file = name; + fprintf (stream, "\t.file\t%d ", num_source_filenames); + } + + output_quoted_string (stream, name); + fprintf (stream, "\n"); + } +} + +/* Emit a linenumber to a stream. */ + +void +alpha_output_lineno (stream, line) + FILE *stream; + int line; +{ + if (! TARGET_GAS && write_symbols == DBX_DEBUG) + { + /* mips-tfile doesn't understand .stabd directives. */ + ++sym_lineno; + fprintf (stream, "$LM%d:\n\t%s %d,0,%d,$LM%d\n", + sym_lineno, ASM_STABN_OP, N_SLINE, line, sym_lineno); + } + else + fprintf (stream, "\n\t.loc\t%d %d\n", num_source_filenames, line); +}