diff options
Diffstat (limited to 'gnu/gcc2/lib/emit-rtl.c')
| -rw-r--r-- | gnu/gcc2/lib/emit-rtl.c | 3137 |
1 files changed, 0 insertions, 3137 deletions
diff --git a/gnu/gcc2/lib/emit-rtl.c b/gnu/gcc2/lib/emit-rtl.c deleted file mode 100644 index b63f0c8b4791..000000000000 --- a/gnu/gcc2/lib/emit-rtl.c +++ /dev/null @@ -1,3137 +0,0 @@ -/* Emit RTL for the GNU C-Compiler expander. - Copyright (C) 1987, 1988, 1992, 1993 Free Software Foundation, Inc. - -This file is part of GNU CC. - -GNU CC is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2, or (at your option) -any later version. - -GNU CC is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GNU CC; see the file COPYING. If not, write to -the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ - - -/* Middle-to-low level generation of rtx code and insns. - - This file contains the functions `gen_rtx', `gen_reg_rtx' - and `gen_label_rtx' that are the usual ways of creating rtl - expressions for most purposes. - - It also has the functions for creating insns and linking - them in the doubly-linked chain. - - The patterns of the insns are created by machine-dependent - routines in insn-emit.c, which is generated automatically from - the machine description. These routines use `gen_rtx' to make - the individual rtx's of the pattern; what is machine dependent - is the kind of rtx's they make and what arguments they use. */ - -#include "config.h" -#include "gvarargs.h" -#include "rtl.h" -#include "flags.h" -#include "function.h" -#include "expr.h" -#include "regs.h" -#include "insn-config.h" -#include "real.h" -#include <stdio.h> - -/* This is reset to LAST_VIRTUAL_REGISTER + 1 at the start of each function. - After rtl generation, it is 1 plus the largest register number used. */ - -int reg_rtx_no = LAST_VIRTUAL_REGISTER + 1; - -/* This is *not* reset after each function. It gives each CODE_LABEL - in the entire compilation a unique label number. */ - -static int label_num = 1; - -/* Lowest label number in current function. */ - -static int first_label_num; - -/* Highest label number in current function. - Zero means use the value of label_num instead. - This is nonzero only when belatedly compiling an inline function. */ - -static int last_label_num; - -/* Value label_num had when set_new_first_and_last_label_number was called. - If label_num has not changed since then, last_label_num is valid. */ - -static int base_label_num; - -/* Nonzero means do not generate NOTEs for source line numbers. */ - -static int no_line_numbers; - -/* Commonly used rtx's, so that we only need space for one copy. - These are initialized once for the entire compilation. - All of these except perhaps the floating-point CONST_DOUBLEs - are unique; no other rtx-object will be equal to any of these. */ - -rtx pc_rtx; /* (PC) */ -rtx cc0_rtx; /* (CC0) */ -rtx cc1_rtx; /* (CC1) (not actually used nowadays) */ -rtx const0_rtx; /* (CONST_INT 0) */ -rtx const1_rtx; /* (CONST_INT 1) */ -rtx const2_rtx; /* (CONST_INT 2) */ -rtx constm1_rtx; /* (CONST_INT -1) */ -rtx const_true_rtx; /* (CONST_INT STORE_FLAG_VALUE) */ - -/* We record floating-point CONST_DOUBLEs in each floating-point mode for - the values of 0, 1, and 2. For the integer entries and VOIDmode, we - record a copy of const[012]_rtx. */ - -rtx const_tiny_rtx[3][(int) MAX_MACHINE_MODE]; - -REAL_VALUE_TYPE dconst0; -REAL_VALUE_TYPE dconst1; -REAL_VALUE_TYPE dconst2; -REAL_VALUE_TYPE dconstm1; - -/* All references to the following fixed hard registers go through - these unique rtl objects. On machines where the frame-pointer and - arg-pointer are the same register, they use the same unique object. - - After register allocation, other rtl objects which used to be pseudo-regs - may be clobbered to refer to the frame-pointer register. - But references that were originally to the frame-pointer can be - distinguished from the others because they contain frame_pointer_rtx. - - In an inline procedure, the stack and frame pointer rtxs may not be - used for anything else. */ -rtx stack_pointer_rtx; /* (REG:Pmode STACK_POINTER_REGNUM) */ -rtx frame_pointer_rtx; /* (REG:Pmode FRAME_POINTER_REGNUM) */ -rtx arg_pointer_rtx; /* (REG:Pmode ARG_POINTER_REGNUM) */ -rtx struct_value_rtx; /* (REG:Pmode STRUCT_VALUE_REGNUM) */ -rtx struct_value_incoming_rtx; /* (REG:Pmode STRUCT_VALUE_INCOMING_REGNUM) */ -rtx static_chain_rtx; /* (REG:Pmode STATIC_CHAIN_REGNUM) */ -rtx static_chain_incoming_rtx; /* (REG:Pmode STATIC_CHAIN_INCOMING_REGNUM) */ -rtx pic_offset_table_rtx; /* (REG:Pmode PIC_OFFSET_TABLE_REGNUM) */ - -rtx virtual_incoming_args_rtx; /* (REG:Pmode VIRTUAL_INCOMING_ARGS_REGNUM) */ -rtx virtual_stack_vars_rtx; /* (REG:Pmode VIRTUAL_STACK_VARS_REGNUM) */ -rtx virtual_stack_dynamic_rtx; /* (REG:Pmode VIRTUAL_STACK_DYNAMIC_REGNUM) */ -rtx virtual_outgoing_args_rtx; /* (REG:Pmode VIRTUAL_OUTGOING_ARGS_REGNUM) */ - -/* We make one copy of (const_int C) where C is in - [- MAX_SAVED_CONST_INT, MAX_SAVED_CONST_INT] - to save space during the compilation and simplify comparisons of - integers. */ - -#define MAX_SAVED_CONST_INT 64 - -static rtx const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1]; - -/* The ends of the doubly-linked chain of rtl for the current function. - Both are reset to null at the start of rtl generation for the function. - - start_sequence saves both of these on `sequence_stack' and then - starts a new, nested sequence of insns. */ - -static rtx first_insn = NULL; -static rtx last_insn = NULL; - -/* INSN_UID for next insn emitted. - Reset to 1 for each function compiled. */ - -static int cur_insn_uid = 1; - -/* Line number and source file of the last line-number NOTE emitted. - This is used to avoid generating duplicates. */ - -static int last_linenum = 0; -static char *last_filename = 0; - -/* A vector indexed by pseudo reg number. The allocated length - of this vector is regno_pointer_flag_length. Since this - vector is needed during the expansion phase when the total - number of registers in the function is not yet known, - it is copied and made bigger when necessary. */ - -char *regno_pointer_flag; -int regno_pointer_flag_length; - -/* Indexed by pseudo register number, gives the rtx for that pseudo. - Allocated in parallel with regno_pointer_flag. */ - -rtx *regno_reg_rtx; - -/* Stack of pending (incomplete) sequences saved by `start_sequence'. - Each element describes one pending sequence. - The main insn-chain is saved in the last element of the chain, - unless the chain is empty. */ - -struct sequence_stack *sequence_stack; - -/* start_sequence and gen_sequence can make a lot of rtx expressions which are - shortly thrown away. We use two mechanisms to prevent this waste: - - First, we keep a list of the expressions used to represent the sequence - stack in sequence_element_free_list. - - Second, for sizes up to 5 elements, we keep a SEQUENCE and its associated - rtvec for use by gen_sequence. One entry for each size is sufficient - because most cases are calls to gen_sequence followed by immediately - emitting the SEQUENCE. Reuse is safe since emitting a sequence is - destructive on the insn in it anyway and hence can't be redone. - - We do not bother to save this cached data over nested function calls. - Instead, we just reinitialize them. */ - -#define SEQUENCE_RESULT_SIZE 5 - -static struct sequence_stack *sequence_element_free_list; -static rtx sequence_result[SEQUENCE_RESULT_SIZE]; - -extern int rtx_equal_function_value_matters; - -/* Filename and line number of last line-number note, - whether we actually emitted it or not. */ -extern char *emit_filename; -extern int emit_lineno; - -rtx change_address (); -void init_emit (); - -/* rtx gen_rtx (code, mode, [element1, ..., elementn]) -** -** This routine generates an RTX of the size specified by -** <code>, which is an RTX code. The RTX structure is initialized -** from the arguments <element1> through <elementn>, which are -** interpreted according to the specific RTX type's format. The -** special machine mode associated with the rtx (if any) is specified -** in <mode>. -** -** gen_rtx can be invoked in a way which resembles the lisp-like -** rtx it will generate. For example, the following rtx structure: -** -** (plus:QI (mem:QI (reg:SI 1)) -** (mem:QI (plusw:SI (reg:SI 2) (reg:SI 3)))) -** -** ...would be generated by the following C code: -** -** gen_rtx (PLUS, QImode, -** gen_rtx (MEM, QImode, -** gen_rtx (REG, SImode, 1)), -** gen_rtx (MEM, QImode, -** gen_rtx (PLUS, SImode, -** gen_rtx (REG, SImode, 2), -** gen_rtx (REG, SImode, 3)))), -*/ - -/*VARARGS2*/ -rtx -gen_rtx (va_alist) - va_dcl -{ - va_list p; - enum rtx_code code; - enum machine_mode mode; - register int i; /* Array indices... */ - register char *fmt; /* Current rtx's format... */ - register rtx rt_val; /* RTX to return to caller... */ - - va_start (p); - code = va_arg (p, enum rtx_code); - mode = va_arg (p, enum machine_mode); - - if (code == CONST_INT) - { - HOST_WIDE_INT arg = va_arg (p, HOST_WIDE_INT); - - if (arg >= - MAX_SAVED_CONST_INT && arg <= MAX_SAVED_CONST_INT) - return const_int_rtx[arg + MAX_SAVED_CONST_INT]; - - if (const_true_rtx && arg == STORE_FLAG_VALUE) - return const_true_rtx; - - rt_val = rtx_alloc (code); - INTVAL (rt_val) = arg; - } - else if (code == REG) - { - int regno = va_arg (p, int); - - /* In case the MD file explicitly references the frame pointer, have - all such references point to the same frame pointer. This is used - during frame pointer elimination to distinguish the explicit - references to these registers from pseudos that happened to be - assigned to them. - - If we have eliminated the frame pointer or arg pointer, we will - be using it as a normal register, for example as a spill register. - In such cases, we might be accessing it in a mode that is not - Pmode and therefore cannot use the pre-allocated rtx. - - Also don't do this when we are making new REGs in reload, - since we don't want to get confused with the real pointers. */ - - if (frame_pointer_rtx && regno == FRAME_POINTER_REGNUM && mode == Pmode - && ! reload_in_progress) - return frame_pointer_rtx; -#if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM - if (arg_pointer_rtx && regno == ARG_POINTER_REGNUM && mode == Pmode - && ! reload_in_progress) - return arg_pointer_rtx; -#endif - if (stack_pointer_rtx && regno == STACK_POINTER_REGNUM && mode == Pmode - && ! reload_in_progress) - return stack_pointer_rtx; - else - { - rt_val = rtx_alloc (code); - rt_val->mode = mode; - REGNO (rt_val) = regno; - return rt_val; - } - } - else - { - rt_val = rtx_alloc (code); /* Allocate the storage space. */ - rt_val->mode = mode; /* Store the machine mode... */ - - fmt = GET_RTX_FORMAT (code); /* Find the right format... */ - for (i = 0; i < GET_RTX_LENGTH (code); i++) - { - switch (*fmt++) - { - case '0': /* Unused field. */ - break; - - case 'i': /* An integer? */ - XINT (rt_val, i) = va_arg (p, int); - break; - - case 'w': /* A wide integer? */ - XWINT (rt_val, i) = va_arg (p, HOST_WIDE_INT); - break; - - case 's': /* A string? */ - XSTR (rt_val, i) = va_arg (p, char *); - break; - - case 'e': /* An expression? */ - case 'u': /* An insn? Same except when printing. */ - XEXP (rt_val, i) = va_arg (p, rtx); - break; - - case 'E': /* An RTX vector? */ - XVEC (rt_val, i) = va_arg (p, rtvec); - break; - - default: - abort (); - } - } - } - va_end (p); - return rt_val; /* Return the new RTX... */ -} - -/* gen_rtvec (n, [rt1, ..., rtn]) -** -** This routine creates an rtvec and stores within it the -** pointers to rtx's which are its arguments. -*/ - -/*VARARGS1*/ -rtvec -gen_rtvec (va_alist) - va_dcl -{ - int n, i; - va_list p; - rtx *vector; - - va_start (p); - n = va_arg (p, int); - - if (n == 0) - return NULL_RTVEC; /* Don't allocate an empty rtvec... */ - - vector = (rtx *) alloca (n * sizeof (rtx)); - for (i = 0; i < n; i++) - vector[i] = va_arg (p, rtx); - va_end (p); - - return gen_rtvec_v (n, vector); -} - -rtvec -gen_rtvec_v (n, argp) - int n; - rtx *argp; -{ - register int i; - register rtvec rt_val; - - if (n == 0) - return NULL_RTVEC; /* Don't allocate an empty rtvec... */ - - rt_val = rtvec_alloc (n); /* Allocate an rtvec... */ - - for (i = 0; i < n; i++) - rt_val->elem[i].rtx = *argp++; - - return rt_val; -} - -/* Generate a REG rtx for a new pseudo register of mode MODE. - This pseudo is assigned the next sequential register number. */ - -rtx -gen_reg_rtx (mode) - enum machine_mode mode; -{ - register rtx val; - - /* Don't let anything called by or after reload create new registers - (actually, registers can't be created after flow, but this is a good - approximation). */ - - if (reload_in_progress || reload_completed) - abort (); - - /* Make sure regno_pointer_flag and regno_reg_rtx are large - enough to have an element for this pseudo reg number. */ - - if (reg_rtx_no == regno_pointer_flag_length) - { - rtx *new1; - char *new = - (char *) oballoc (regno_pointer_flag_length * 2); - bzero (new, regno_pointer_flag_length * 2); - bcopy (regno_pointer_flag, new, regno_pointer_flag_length); - regno_pointer_flag = new; - - new1 = (rtx *) oballoc (regno_pointer_flag_length * 2 * sizeof (rtx)); - bzero (new1, regno_pointer_flag_length * 2 * sizeof (rtx)); - bcopy (regno_reg_rtx, new1, regno_pointer_flag_length * sizeof (rtx)); - regno_reg_rtx = new1; - - regno_pointer_flag_length *= 2; - } - - val = gen_rtx (REG, mode, reg_rtx_no); - regno_reg_rtx[reg_rtx_no++] = val; - return val; -} - -/* Identify REG as a probable pointer register. */ - -void -mark_reg_pointer (reg) - rtx reg; -{ - REGNO_POINTER_FLAG (REGNO (reg)) = 1; -} - -/* Return 1 plus largest pseudo reg number used in the current function. */ - -int -max_reg_num () -{ - return reg_rtx_no; -} - -/* Return 1 + the largest label number used so far in the current function. */ - -int -max_label_num () -{ - if (last_label_num && label_num == base_label_num) - return last_label_num; - return label_num; -} - -/* Return first label number used in this function (if any were used). */ - -int -get_first_label_num () -{ - return first_label_num; -} - -/* Return a value representing some low-order bits of X, where the number - of low-order bits is given by MODE. Note that no conversion is done - between floating-point and fixed-point values, rather, the bit - representation is returned. - - This function handles the cases in common between gen_lowpart, below, - and two variants in cse.c and combine.c. These are the cases that can - be safely handled at all points in the compilation. - - If this is not a case we can handle, return 0. */ - -rtx -gen_lowpart_common (mode, x) - enum machine_mode mode; - register rtx x; -{ - int word = 0; - - if (GET_MODE (x) == mode) - return x; - - /* MODE must occupy no more words than the mode of X. */ - if (GET_MODE (x) != VOIDmode - && ((GET_MODE_SIZE (mode) + (UNITS_PER_WORD - 1)) / UNITS_PER_WORD - > ((GET_MODE_SIZE (GET_MODE (x)) + (UNITS_PER_WORD - 1)) - / UNITS_PER_WORD))) - return 0; - - if (WORDS_BIG_ENDIAN && GET_MODE_SIZE (GET_MODE (x)) > UNITS_PER_WORD) - word = ((GET_MODE_SIZE (GET_MODE (x)) - - MAX (GET_MODE_SIZE (mode), UNITS_PER_WORD)) - / UNITS_PER_WORD); - - if ((GET_CODE (x) == ZERO_EXTEND || GET_CODE (x) == SIGN_EXTEND) - && (GET_MODE_CLASS (mode) == MODE_INT - || GET_MODE_CLASS (mode) == MODE_PARTIAL_INT)) - { - /* If we are getting the low-order part of something that has been - sign- or zero-extended, we can either just use the object being - extended or make a narrower extension. If we want an even smaller - piece than the size of the object being extended, call ourselves - recursively. - - This case is used mostly by combine and cse. */ - - if (GET_MODE (XEXP (x, 0)) == mode) - return XEXP (x, 0); - else if (GET_MODE_SIZE (mode) < GET_MODE_SIZE (GET_MODE (XEXP (x, 0)))) - return gen_lowpart_common (mode, XEXP (x, 0)); - else if (GET_MODE_SIZE (mode) < GET_MODE_SIZE (GET_MODE (x))) - return gen_rtx (GET_CODE (x), mode, XEXP (x, 0)); - } - else if (GET_CODE (x) == SUBREG - && (GET_MODE_SIZE (mode) <= UNITS_PER_WORD - || GET_MODE_SIZE (mode) == GET_MODE_UNIT_SIZE (GET_MODE (x)))) - return (GET_MODE (SUBREG_REG (x)) == mode && SUBREG_WORD (x) == 0 - ? SUBREG_REG (x) - : gen_rtx (SUBREG, mode, SUBREG_REG (x), SUBREG_WORD (x))); - else if (GET_CODE (x) == REG) - { - /* If the register is not valid for MODE, return 0. If we don't - do this, there is no way to fix up the resulting REG later. */ - if (REGNO (x) < FIRST_PSEUDO_REGISTER - && ! HARD_REGNO_MODE_OK (REGNO (x) + word, mode)) - return 0; - else if (REGNO (x) < FIRST_PSEUDO_REGISTER - /* integrate.c can't handle parts of a return value register. */ - && (! REG_FUNCTION_VALUE_P (x) - || ! rtx_equal_function_value_matters) - /* We want to keep the stack, frame, and arg pointers - special. */ - && REGNO (x) != FRAME_POINTER_REGNUM -#if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM - && REGNO (x) != ARG_POINTER_REGNUM -#endif - && REGNO (x) != STACK_POINTER_REGNUM) - return gen_rtx (REG, mode, REGNO (x) + word); - else - return gen_rtx (SUBREG, mode, x, word); - } - - /* If X is a CONST_INT or a CONST_DOUBLE, extract the appropriate bits - from the low-order part of the constant. */ - else if ((GET_MODE_CLASS (mode) == MODE_INT - || GET_MODE_CLASS (mode) == MODE_PARTIAL_INT) - && GET_MODE (x) == VOIDmode - && (GET_CODE (x) == CONST_INT || GET_CODE (x) == CONST_DOUBLE)) - { - /* If MODE is twice the host word size, X is already the desired - representation. Otherwise, if MODE is wider than a word, we can't - do this. If MODE is exactly a word, return just one CONST_INT. - If MODE is smaller than a word, clear the bits that don't belong - in our mode, unless they and our sign bit are all one. So we get - either a reasonable negative value or a reasonable unsigned value - for this mode. */ - - if (GET_MODE_BITSIZE (mode) == 2 * HOST_BITS_PER_WIDE_INT) - return x; - else if (GET_MODE_BITSIZE (mode) > HOST_BITS_PER_WIDE_INT) - return 0; - else if (GET_MODE_BITSIZE (mode) == HOST_BITS_PER_WIDE_INT) - return (GET_CODE (x) == CONST_INT ? x - : GEN_INT (CONST_DOUBLE_LOW (x))); - else - { - /* MODE must be narrower than HOST_BITS_PER_INT. */ - int width = GET_MODE_BITSIZE (mode); - HOST_WIDE_INT val = (GET_CODE (x) == CONST_INT ? INTVAL (x) - : CONST_DOUBLE_LOW (x)); - - if (((val & ((HOST_WIDE_INT) (-1) << (width - 1))) - != ((HOST_WIDE_INT) (-1) << (width - 1)))) - val &= ((HOST_WIDE_INT) 1 << width) - 1; - - return (GET_CODE (x) == CONST_INT && INTVAL (x) == val ? x - : GEN_INT (val)); - } - } - - /* If X is an integral constant but we want it in floating-point, it - must be the case that we have a union of an integer and a floating-point - value. If the machine-parameters allow it, simulate that union here - and return the result. The two-word and single-word cases are - different. */ - - else if (((HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT - && HOST_BITS_PER_WIDE_INT == BITS_PER_WORD) - || flag_pretend_float) - && GET_MODE_CLASS (mode) == MODE_FLOAT - && GET_MODE_SIZE (mode) == UNITS_PER_WORD - && GET_CODE (x) == CONST_INT - && sizeof (float) * HOST_BITS_PER_CHAR == HOST_BITS_PER_WIDE_INT) -#ifdef REAL_ARITHMETIC - { - REAL_VALUE_TYPE r; - HOST_WIDE_INT i; - - i = INTVAL (x); - r = REAL_VALUE_FROM_TARGET_SINGLE (i); - return immed_real_const_1 (r, mode); - } -#else - { - union {HOST_WIDE_INT i; float d; } u; - - u.i = INTVAL (x); - return immed_real_const_1 (u.d, mode); - } -#endif - else if (((HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT - && HOST_BITS_PER_WIDE_INT == BITS_PER_WORD) - || flag_pretend_float) - && GET_MODE_CLASS (mode) == MODE_FLOAT - && GET_MODE_SIZE (mode) == 2 * UNITS_PER_WORD - && (GET_CODE (x) == CONST_INT || GET_CODE (x) == CONST_DOUBLE) - && GET_MODE (x) == VOIDmode - && (sizeof (double) * HOST_BITS_PER_CHAR - == 2 * HOST_BITS_PER_WIDE_INT)) -#ifdef REAL_ARITHMETIC - { - REAL_VALUE_TYPE r; - HOST_WIDE_INT i[2]; - HOST_WIDE_INT low, high; - - if (GET_CODE (x) == CONST_INT) - low = INTVAL (x), high = low >> (HOST_BITS_PER_WIDE_INT -1); - else - low = CONST_DOUBLE_LOW (x), high = CONST_DOUBLE_HIGH (x); - -/* TARGET_DOUBLE takes the addressing order of the target machine. */ -#ifdef WORDS_BIG_ENDIAN - i[0] = high, i[1] = low; -#else - i[0] = low, i[1] = high; -#endif - - r = REAL_VALUE_FROM_TARGET_DOUBLE (i); - return immed_real_const_1 (r, mode); - } -#else - { - union {HOST_WIDE_INT i[2]; double d; } u; - HOST_WIDE_INT low, high; - - if (GET_CODE (x) == CONST_INT) - low = INTVAL (x), high = low >> (HOST_BITS_PER_WIDE_INT -1); - else - low = CONST_DOUBLE_LOW (x), high = CONST_DOUBLE_HIGH (x); - -#ifdef HOST_WORDS_BIG_ENDIAN - u.i[0] = high, u.i[1] = low; -#else - u.i[0] = low, u.i[1] = high; -#endif - - return immed_real_const_1 (u.d, mode); - } -#endif - /* Similarly, if this is converting a floating-point value into a - single-word integer. Only do this is the host and target parameters are - compatible. */ - - else if (((HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT - && HOST_BITS_PER_WIDE_INT == BITS_PER_WORD) - || flag_pretend_float) - && (GET_MODE_CLASS (mode) == MODE_INT - || GET_MODE_CLASS (mode) == MODE_PARTIAL_INT) - && GET_CODE (x) == CONST_DOUBLE - && GET_MODE_CLASS (GET_MODE (x)) == MODE_FLOAT - && GET_MODE_BITSIZE (mode) == BITS_PER_WORD) - return operand_subword (x, 0, 0, GET_MODE (x)); - - /* Similarly, if this is converting a floating-point value into a - two-word integer, we can do this one word at a time and make an - integer. Only do this is the host and target parameters are - compatible. */ - - else if (((HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT - && HOST_BITS_PER_WIDE_INT == BITS_PER_WORD) - || flag_pretend_float) - && (GET_MODE_CLASS (mode) == MODE_INT - || GET_MODE_CLASS (mode) == MODE_PARTIAL_INT) - && GET_CODE (x) == CONST_DOUBLE - && GET_MODE_CLASS (GET_MODE (x)) == MODE_FLOAT - && GET_MODE_BITSIZE (mode) == 2 * BITS_PER_WORD) - { - rtx lowpart = operand_subword (x, WORDS_BIG_ENDIAN, 0, GET_MODE (x)); - rtx highpart = operand_subword (x, ! WORDS_BIG_ENDIAN, 0, GET_MODE (x)); - - if (lowpart && GET_CODE (lowpart) == CONST_INT - && highpart && GET_CODE (highpart) == CONST_INT) - return immed_double_const (INTVAL (lowpart), INTVAL (highpart), mode); - } - - /* Otherwise, we can't do this. */ - return 0; -} - -/* Return the real part (which has mode MODE) of a complex value X. - This always comes at the low address in memory. */ - -rtx -gen_realpart (mode, x) - enum machine_mode mode; - register rtx x; -{ - if (WORDS_BIG_ENDIAN) - return gen_highpart (mode, x); - else - return gen_lowpart (mode, x); -} - -/* Return the imaginary part (which has mode MODE) of a complex value X. - This always comes at the high address in memory. */ - -rtx -gen_imagpart (mode, x) - enum machine_mode mode; - register rtx x; -{ - if (WORDS_BIG_ENDIAN) - return gen_lowpart (mode, x); - else - return gen_highpart (mode, x); -} - -/* Assuming that X is an rtx (e.g., MEM, REG or SUBREG) for a value, - return an rtx (MEM, SUBREG, or CONST_INT) that refers to the - least-significant part of X. - MODE specifies how big a part of X to return; - it usually should not be larger than a word. - If X is a MEM whose address is a QUEUED, the value may be so also. */ - -rtx -gen_lowpart (mode, x) - enum machine_mode mode; - register rtx x; -{ - rtx result = gen_lowpart_common (mode, x); - - if (result) - return result; - else if (GET_CODE (x) == MEM) - { - /* The only additional case we can do is MEM. */ - register int offset = 0; - if (WORDS_BIG_ENDIAN) - offset = (MAX (GET_MODE_SIZE (GET_MODE (x)), UNITS_PER_WORD) - - MAX (GET_MODE_SIZE (mode), UNITS_PER_WORD)); - - if (BYTES_BIG_ENDIAN) - /* Adjust the address so that the address-after-the-data - is unchanged. */ - offset -= (MIN (UNITS_PER_WORD, GET_MODE_SIZE (mode)) - - MIN (UNITS_PER_WORD, GET_MODE_SIZE (GET_MODE (x)))); - - return change_address (x, mode, plus_constant (XEXP (x, 0), offset)); - } - else - abort (); -} - -/* Like `gen_lowpart', but refer to the most significant part. - This is used to access the imaginary part of a complex number. */ - -rtx -gen_highpart (mode, x) - enum machine_mode mode; - register rtx x; -{ - /* This case loses if X is a subreg. To catch bugs early, - complain if an invalid MODE is used even in other cases. */ - if (GET_MODE_SIZE (mode) > UNITS_PER_WORD - && GET_MODE_SIZE (mode) != GET_MODE_UNIT_SIZE (GET_MODE (x))) - abort (); - if (GET_CODE (x) == CONST_DOUBLE -#if !(TARGET_FLOAT_FORMAT != HOST_FLOAT_FORMAT || defined (REAL_IS_NOT_DOUBLE)) - && GET_MODE_CLASS (GET_MODE (x)) != MODE_FLOAT -#endif - ) - return gen_rtx (CONST_INT, VOIDmode, - CONST_DOUBLE_HIGH (x) & GET_MODE_MASK (mode)); - else if (GET_CODE (x) == CONST_INT) - return const0_rtx; - else if (GET_CODE (x) == MEM) - { - register int offset = 0; -#if !WORDS_BIG_ENDIAN - offset = (MAX (GET_MODE_SIZE (GET_MODE (x)), UNITS_PER_WORD) - - MAX (GET_MODE_SIZE (mode), UNITS_PER_WORD)); -#endif -#if !BYTES_BIG_ENDIAN - if (GET_MODE_SIZE (mode) < UNITS_PER_WORD) - offset -= (GET_MODE_SIZE (mode) - - MIN (UNITS_PER_WORD, - GET_MODE_SIZE (GET_MODE (x)))); -#endif - return change_address (x, mode, plus_constant (XEXP (x, 0), offset)); - } - else if (GET_CODE (x) == SUBREG) - { - /* The only time this should occur is when we are looking at a - multi-word item with a SUBREG whose mode is the same as that of the - item. It isn't clear what we would do if it wasn't. */ - if (SUBREG_WORD (x) != 0) - abort (); - return gen_highpart (mode, SUBREG_REG (x)); - } - else if (GET_CODE (x) == REG) - { - int word = 0; - -#if !WORDS_BIG_ENDIAN - if (GET_MODE_SIZE (GET_MODE (x)) > UNITS_PER_WORD) - word = ((GET_MODE_SIZE (GET_MODE (x)) - - MAX (GET_MODE_SIZE (mode), UNITS_PER_WORD)) - / UNITS_PER_WORD); -#endif - if (REGNO (x) < FIRST_PSEUDO_REGISTER - /* We want to keep the stack, frame, and arg pointers special. */ - && REGNO (x) != FRAME_POINTER_REGNUM -#if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM - && REGNO (x) != ARG_POINTER_REGNUM -#endif - && REGNO (x) != STACK_POINTER_REGNUM) - return gen_rtx (REG, mode, REGNO (x) + word); - else - return gen_rtx (SUBREG, mode, x, word); - } - else - abort (); -} - -/* Return 1 iff X, assumed to be a SUBREG, - refers to the least significant part of its containing reg. - If X is not a SUBREG, always return 1 (it is its own low part!). */ - -int -subreg_lowpart_p (x) - rtx x; -{ - if (GET_CODE (x) != SUBREG) - return 1; - - if (WORDS_BIG_ENDIAN - && GET_MODE_SIZE (GET_MODE (SUBREG_REG (x))) > UNITS_PER_WORD) - return (SUBREG_WORD (x) - == ((GET_MODE_SIZE (GET_MODE (SUBREG_REG (x))) - - MAX (GET_MODE_SIZE (GET_MODE (x)), UNITS_PER_WORD)) - / UNITS_PER_WORD)); - - return SUBREG_WORD (x) == 0; -} - -/* Return subword I of operand OP. - The word number, I, is interpreted as the word number starting at the - low-order address. Word 0 is the low-order word if not WORDS_BIG_ENDIAN, - otherwise it is the high-order word. - - If we cannot extract the required word, we return zero. Otherwise, an - rtx corresponding to the requested word will be returned. - - VALIDATE_ADDRESS is nonzero if the address should be validated. Before - reload has completed, a valid address will always be returned. After - reload, if a valid address cannot be returned, we return zero. - - If VALIDATE_ADDRESS is zero, we simply form the required address; validating - it is the responsibility of the caller. - - MODE is the mode of OP in case it is a CONST_INT. */ - -rtx -operand_subword (op, i, validate_address, mode) - rtx op; - int i; - int validate_address; - enum machine_mode mode; -{ - HOST_WIDE_INT val; - int size_ratio = HOST_BITS_PER_WIDE_INT / BITS_PER_WORD; - - if (mode == VOIDmode) - mode = GET_MODE (op); - - if (mode == VOIDmode) - abort (); - - /* If OP is narrower than a word or if we want a word outside OP, fail. */ - if (mode != BLKmode - && (GET_MODE_SIZE (mode) < UNITS_PER_WORD - || (i + 1) * UNITS_PER_WORD > GET_MODE_SIZE (mode))) - return 0; - - /* If OP is already an integer word, return it. */ - if (GET_MODE_CLASS (mode) == MODE_INT - && GET_MODE_SIZE (mode) == UNITS_PER_WORD) - return op; - - /* If OP is a REG or SUBREG, we can handle it very simply. */ - if (GET_CODE (op) == REG) - { - /* If the register is not valid for MODE, return 0. If we don't - do this, there is no way to fix up the resulting REG later. */ - if (REGNO (op) < FIRST_PSEUDO_REGISTER - && ! HARD_REGNO_MODE_OK (REGNO (op) + i, word_mode)) - return 0; - else if (REGNO (op) >= FIRST_PSEUDO_REGISTER - || (REG_FUNCTION_VALUE_P (op) - && rtx_equal_function_value_matters) - /* We want to keep the stack, frame, and arg pointers - special. */ - || REGNO (op) == FRAME_POINTER_REGNUM -#if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM - || REGNO (op) == ARG_POINTER_REGNUM -#endif - || REGNO (op) == STACK_POINTER_REGNUM) - return gen_rtx (SUBREG, word_mode, op, i); - else - return gen_rtx (REG, word_mode, REGNO (op) + i); - } - else if (GET_CODE (op) == SUBREG) - return gen_rtx (SUBREG, word_mode, SUBREG_REG (op), i + SUBREG_WORD (op)); - - /* Form a new MEM at the requested address. */ - if (GET_CODE (op) == MEM) - { - rtx addr = plus_constant (XEXP (op, 0), i * UNITS_PER_WORD); - rtx new; - - if (validate_address) - { - if (reload_completed) - { - if (! strict_memory_address_p (word_mode, addr)) - return 0; - } - else - addr = memory_address (word_mode, addr); - } - - new = gen_rtx (MEM, word_mode, addr); - - MEM_VOLATILE_P (new) = MEM_VOLATILE_P (op); - MEM_IN_STRUCT_P (new) = MEM_IN_STRUCT_P (op); - RTX_UNCHANGING_P (new) = RTX_UNCHANGING_P (op); - - return new; - } - - /* The only remaining cases are when OP is a constant. If the host and - target floating formats are the same, handling two-word floating - constants are easy. Note that REAL_VALUE_TO_TARGET_{SINGLE,DOUBLE} - are defined as returning 32 bit and 64-bit values, respectively, - and not values of BITS_PER_WORD and 2 * BITS_PER_WORD bits. */ -#ifdef REAL_ARITHMETIC - if ((HOST_BITS_PER_WIDE_INT == BITS_PER_WORD) - && GET_MODE_CLASS (mode) == MODE_FLOAT - && GET_MODE_BITSIZE (mode) == 64 - && GET_CODE (op) == CONST_DOUBLE) - { - HOST_WIDE_INT k[2]; - REAL_VALUE_TYPE rv; - - REAL_VALUE_FROM_CONST_DOUBLE (rv, op); - REAL_VALUE_TO_TARGET_DOUBLE (rv, k); - - /* We handle 32-bit and 64-bit host words here. Note that the order in - which the words are written depends on the word endianness. - - ??? This is a potential portability problem and should - be fixed at some point. */ - if (HOST_BITS_PER_WIDE_INT == 32) - return GEN_INT (k[i]); - else if (HOST_BITS_PER_WIDE_INT == 64 && i == 0) - return GEN_INT ((k[! WORDS_BIG_ENDIAN] << (HOST_BITS_PER_WIDE_INT / 2)) - | k[WORDS_BIG_ENDIAN]); - else - abort (); - } -#else /* no REAL_ARITHMETIC */ - if (((HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT - && HOST_BITS_PER_WIDE_INT == BITS_PER_WORD) - || flag_pretend_float) - && GET_MODE_CLASS (mode) == MODE_FLOAT - && GET_MODE_SIZE (mode) == 2 * UNITS_PER_WORD - && GET_CODE (op) == CONST_DOUBLE) - { - /* The constant is stored in the host's word-ordering, - but we want to access it in the target's word-ordering. Some - compilers don't like a conditional inside macro args, so we have two - copies of the return. */ -#ifdef HOST_WORDS_BIG_ENDIAN - return GEN_INT (i == WORDS_BIG_ENDIAN - ? CONST_DOUBLE_HIGH (op) : CONST_DOUBLE_LOW (op)); -#else - return GEN_INT (i != WORDS_BIG_ENDIAN - ? CONST_DOUBLE_HIGH (op) : CONST_DOUBLE_LOW (op)); -#endif - } -#endif /* no REAL_ARITHMETIC */ - - /* Single word float is a little harder, since single- and double-word - values often do not have the same high-order bits. We have already - verified that we want the only defined word of the single-word value. */ -#ifdef REAL_ARITHMETIC - if ((HOST_BITS_PER_WIDE_INT == BITS_PER_WORD) - && GET_MODE_CLASS (mode) == MODE_FLOAT - && GET_MODE_BITSIZE (mode) == 32 - && GET_CODE (op) == CONST_DOUBLE) - { - HOST_WIDE_INT l; - REAL_VALUE_TYPE rv; - - REAL_VALUE_FROM_CONST_DOUBLE (rv, op); - REAL_VALUE_TO_TARGET_SINGLE (rv, l); - return GEN_INT (l); - } -#else - if (((HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT - && HOST_BITS_PER_WIDE_INT == BITS_PER_WORD) - || flag_pretend_float) - && GET_MODE_CLASS (mode) == MODE_FLOAT - && GET_MODE_SIZE (mode) == UNITS_PER_WORD - && GET_CODE (op) == CONST_DOUBLE) - { - double d; - union {float f; HOST_WIDE_INT i; } u; - - REAL_VALUE_FROM_CONST_DOUBLE (d, op); - - u.f = d; - return GEN_INT (u.i); - } -#endif /* no REAL_ARITHMETIC */ - - /* The only remaining cases that we can handle are integers. - Convert to proper endianness now since these cases need it. - At this point, i == 0 means the low-order word. - - We do not want to handle the case when BITS_PER_WORD <= HOST_BITS_PER_INT - in general. However, if OP is (const_int 0), we can just return - it for any word. */ - - if (op == const0_rtx) - return op; - - if (GET_MODE_CLASS (mode) != MODE_INT - || (GET_CODE (op) != CONST_INT && GET_CODE (op) != CONST_DOUBLE) - || BITS_PER_WORD > HOST_BITS_PER_INT) - return 0; - - if (WORDS_BIG_ENDIAN) - i = GET_MODE_SIZE (mode) / UNITS_PER_WORD - 1 - i; - - /* Find out which word on the host machine this value is in and get - it from the constant. */ - val = (i / size_ratio == 0 - ? (GET_CODE (op) == CONST_INT ? INTVAL (op) : CONST_DOUBLE_LOW (op)) - : (GET_CODE (op) == CONST_INT - ? (INTVAL (op) < 0 ? ~0 : 0) : CONST_DOUBLE_HIGH (op))); - - /* If BITS_PER_WORD is smaller than an int, get the appropriate bits. */ - if (BITS_PER_WORD < HOST_BITS_PER_WIDE_INT) - val = ((val >> ((i % size_ratio) * BITS_PER_WORD)) - & (((HOST_WIDE_INT) 1 - << (BITS_PER_WORD % HOST_BITS_PER_WIDE_INT)) - 1)); - - return GEN_INT (val); -} - -/* Similar to `operand_subword', but never return 0. If we can't extract - the required subword, put OP into a register and try again. If that fails, - abort. We always validate the address in this case. It is not valid - to call this function after reload; it is mostly meant for RTL - generation. - - MODE is the mode of OP, in case it is CONST_INT. */ - -rtx -operand_subword_force (op, i, mode) - rtx op; - int i; - enum machine_mode mode; -{ - rtx result = operand_subword (op, i, 1, mode); - - if (result) - return result; - - if (mode != BLKmode && mode != VOIDmode) - op = force_reg (mode, op); - - result = operand_subword (op, i, 1, mode); - if (result == 0) - abort (); - - return result; -} - -/* Given a compare instruction, swap the operands. - A test instruction is changed into a compare of 0 against the operand. */ - -void -reverse_comparison (insn) - rtx insn; -{ - rtx body = PATTERN (insn); - rtx comp; - - if (GET_CODE (body) == SET) - comp = SET_SRC (body); - else - comp = SET_SRC (XVECEXP (body, 0, 0)); - - if (GET_CODE (comp) == COMPARE) - { - rtx op0 = XEXP (comp, 0); - rtx op1 = XEXP (comp, 1); - XEXP (comp, 0) = op1; - XEXP (comp, 1) = op0; - } - else - { - rtx new = gen_rtx (COMPARE, VOIDmode, - CONST0_RTX (GET_MODE (comp)), comp); - if (GET_CODE (body) == SET) - SET_SRC (body) = new; - else - SET_SRC (XVECEXP (body, 0, 0)) = new; - } -} - -/* Return a memory reference like MEMREF, but with its mode changed - to MODE and its address changed to ADDR. - (VOIDmode means don't change the mode. - NULL for ADDR means don't change the address.) */ - -rtx -change_address (memref, mode, addr) - rtx memref; - enum machine_mode mode; - rtx addr; -{ - rtx new; - - if (GET_CODE (memref) != MEM) - abort (); - if (mode == VOIDmode) - mode = GET_MODE (memref); - if (addr == 0) - addr = XEXP (memref, 0); - - /* If reload is in progress or has completed, ADDR must be valid. - Otherwise, we can call memory_address to make it valid. */ - if (reload_completed || reload_in_progress) - { - if (! memory_address_p (mode, addr)) - abort (); - } - else - addr = memory_address (mode, addr); - - new = gen_rtx (MEM, mode, addr); - MEM_VOLATILE_P (new) = MEM_VOLATILE_P (memref); - RTX_UNCHANGING_P (new) = RTX_UNCHANGING_P (memref); - MEM_IN_STRUCT_P (new) = MEM_IN_STRUCT_P (memref); - return new; -} - -/* Return a newly created CODE_LABEL rtx with a unique label number. */ - -rtx -gen_label_rtx () -{ - register rtx label = gen_rtx (CODE_LABEL, VOIDmode, 0, 0, 0, - label_num++, NULL_PTR); - LABEL_NUSES (label) = 0; - return label; -} - -/* For procedure integration. */ - -/* Return a newly created INLINE_HEADER rtx. Should allocate this - from a permanent obstack when the opportunity arises. */ - -rtx -gen_inline_header_rtx (first_insn, first_parm_insn, first_labelno, - last_labelno, max_parm_regnum, max_regnum, args_size, - pops_args, stack_slots, function_flags, - outgoing_args_size, original_arg_vector, - original_decl_initial) - rtx first_insn, first_parm_insn; - int first_labelno, last_labelno, max_parm_regnum, max_regnum, args_size; - int pops_args; - rtx stack_slots; - int function_flags; - int outgoing_args_size; - rtvec original_arg_vector; - rtx original_decl_initial; -{ - rtx header = gen_rtx (INLINE_HEADER, VOIDmode, - cur_insn_uid++, NULL_RTX, - first_insn, first_parm_insn, - first_labelno, last_labelno, - max_parm_regnum, max_regnum, args_size, pops_args, - stack_slots, function_flags, outgoing_args_size, - original_arg_vector, original_decl_initial); - return header; -} - -/* Install new pointers to the first and last insns in the chain. - Used for an inline-procedure after copying the insn chain. */ - -void -set_new_first_and_last_insn (first, last) - rtx first, last; -{ - first_insn = first; - last_insn = last; -} - -/* Set the range of label numbers found in the current function. - This is used when belatedly compiling an inline function. */ - -void -set_new_first_and_last_label_num (first, last) - int first, last; -{ - base_label_num = label_num; - first_label_num = first; - last_label_num = last; -} - -/* Save all variables describing the current status into the structure *P. - This is used before starting a nested function. */ - -void -save_emit_status (p) - struct function *p; -{ - p->reg_rtx_no = reg_rtx_no; - p->first_label_num = first_label_num; - p->first_insn = first_insn; - p->last_insn = last_insn; - p->sequence_stack = sequence_stack; - p->cur_insn_uid = cur_insn_uid; - p->last_linenum = last_linenum; - p->last_filename = last_filename; - p->regno_pointer_flag = regno_pointer_flag; - p->regno_pointer_flag_length = regno_pointer_flag_length; - p->regno_reg_rtx = regno_reg_rtx; -} - -/* Restore all variables describing the current status from the structure *P. - This is used after a nested function. */ - -void -restore_emit_status (p) - struct function *p; -{ - int i; - - reg_rtx_no = p->reg_rtx_no; - first_label_num = p->first_label_num; - first_insn = p->first_insn; - last_insn = p->last_insn; - sequence_stack = p->sequence_stack; - cur_insn_uid = p->cur_insn_uid; - last_linenum = p->last_linenum; - last_filename = p->last_filename; - regno_pointer_flag = p->regno_pointer_flag; - regno_pointer_flag_length = p->regno_pointer_flag_length; - regno_reg_rtx = p->regno_reg_rtx; - - /* Clear our cache of rtx expressions for start_sequence and gen_sequence. */ - sequence_element_free_list = 0; - for (i = 0; i < SEQUENCE_RESULT_SIZE; i++) - sequence_result[i] = 0; -} - -/* Go through all the RTL insn bodies and copy any invalid shared structure. - It does not work to do this twice, because the mark bits set here - are not cleared afterwards. */ - -void -unshare_all_rtl (insn) - register rtx insn; -{ - for (; insn; insn = NEXT_INSN (insn)) - if (GET_CODE (insn) == INSN || GET_CODE (insn) == JUMP_INSN - || GET_CODE (insn) == CALL_INSN) - { - PATTERN (insn) = copy_rtx_if_shared (PATTERN (insn)); - REG_NOTES (insn) = copy_rtx_if_shared (REG_NOTES (insn)); - LOG_LINKS (insn) = copy_rtx_if_shared (LOG_LINKS (insn)); - } - - /* Make sure the addresses of stack slots found outside the insn chain - (such as, in DECL_RTL of a variable) are not shared - with the insn chain. - - This special care is necessary when the stack slot MEM does not - actually appear in the insn chain. If it does appear, its address - is unshared from all else at that point. */ - - copy_rtx_if_shared (stack_slot_list); -} - -/* Mark ORIG as in use, and return a copy of it if it was already in use. - Recursively does the same for subexpressions. */ - -rtx -copy_rtx_if_shared (orig) - rtx orig; -{ - register rtx x = orig; - register int i; - register enum rtx_code code; - register char *format_ptr; - int copied = 0; - - if (x == 0) - return 0; - - code = GET_CODE (x); - - /* These types may be freely shared. */ - - switch (code) - { - case REG: - case QUEUED: - case CONST_INT: - case CONST_DOUBLE: - case SYMBOL_REF: - case CODE_LABEL: - case PC: - case CC0: - case SCRATCH: - /* SCRATCH must be shared because they represent distinct values. */ - return x; - - case CONST: - /* CONST can be shared if it contains a SYMBOL_REF. If it contains - a LABEL_REF, it isn't sharable. */ - if (GET_CODE (XEXP (x, 0)) == PLUS - && GET_CODE (XEXP (XEXP (x, 0), 0)) == SYMBOL_REF - && GET_CODE (XEXP (XEXP (x, 0), 1)) == CONST_INT) - return x; - break; - - case INSN: - case JUMP_INSN: - case CALL_INSN: - case NOTE: - case LABEL_REF: - case BARRIER: - /* The chain of insns is not being copied. */ - return x; - - case MEM: - /* A MEM is allowed to be shared if its address is constant - or is a constant plus one of the special registers. */ - if (CONSTANT_ADDRESS_P (XEXP (x, 0)) - || XEXP (x, 0) == virtual_stack_vars_rtx - || XEXP (x, 0) == virtual_incoming_args_rtx) - return x; - - if (GET_CODE (XEXP (x, 0)) == PLUS - && (XEXP (XEXP (x, 0), 0) == virtual_stack_vars_rtx - || XEXP (XEXP (x, 0), 0) == virtual_incoming_args_rtx) - && CONSTANT_ADDRESS_P (XEXP (XEXP (x, 0), 1))) - { - /* This MEM can appear in more than one place, - but its address better not be shared with anything else. */ - if (! x->used) - XEXP (x, 0) = copy_rtx_if_shared (XEXP (x, 0)); - x->used = 1; - return x; - } - } - - /* This rtx may not be shared. If it has already been seen, - replace it with a copy of itself. */ - - if (x->used) - { - register rtx copy; - - copy = rtx_alloc (code); - bcopy (x, copy, (sizeof (*copy) - sizeof (copy->fld) - + sizeof (copy->fld[0]) * GET_RTX_LENGTH (code))); - x = copy; - copied = 1; - } - x->used = 1; - - /* Now scan the subexpressions recursively. - We can store any replaced subexpressions directly into X - since we know X is not shared! Any vectors in X - must be copied if X was copied. */ - - format_ptr = GET_RTX_FORMAT (code); - - for (i = 0; i < GET_RTX_LENGTH (code); i++) - { - switch (*format_ptr++) - { - case 'e': - XEXP (x, i) = copy_rtx_if_shared (XEXP (x, i)); - break; - - case 'E': - if (XVEC (x, i) != NULL) - { - register int j; - - if (copied) - XVEC (x, i) = gen_rtvec_v (XVECLEN (x, i), &XVECEXP (x, i, 0)); - for (j = 0; j < XVECLEN (x, i); j++) - XVECEXP (x, i, j) - = copy_rtx_if_shared (XVECEXP (x, i, j)); - } - break; - } - } - return x; -} - -/* Clear all the USED bits in X to allow copy_rtx_if_shared to be used - to look for shared sub-parts. */ - -void -reset_used_flags (x) - rtx x; -{ - register int i, j; - register enum rtx_code code; - register char *format_ptr; - int copied = 0; - - if (x == 0) - return; - - code = GET_CODE (x); - - /* These types may be freely shared so we needn't do any reseting - for them. */ - - switch (code) - { - case REG: - case QUEUED: - case CONST_INT: - case CONST_DOUBLE: - case SYMBOL_REF: - case CODE_LABEL: - case PC: - case CC0: - return; - - case INSN: - case JUMP_INSN: - case CALL_INSN: - case NOTE: - case LABEL_REF: - case BARRIER: - /* The chain of insns is not being copied. */ - return; - } - - x->used = 0; - - format_ptr = GET_RTX_FORMAT (code); - for (i = 0; i < GET_RTX_LENGTH (code); i++) - { - switch (*format_ptr++) - { - case 'e': - reset_used_flags (XEXP (x, i)); - break; - - case 'E': - for (j = 0; j < XVECLEN (x, i); j++) - reset_used_flags (XVECEXP (x, i, j)); - break; - } - } -} - -/* Copy X if necessary so that it won't be altered by changes in OTHER. - Return X or the rtx for the pseudo reg the value of X was copied into. - OTHER must be valid as a SET_DEST. */ - -rtx -make_safe_from (x, other) - rtx x, other; -{ - while (1) - switch (GET_CODE (other)) - { - case SUBREG: - other = SUBREG_REG (other); - break; - case STRICT_LOW_PART: - case SIGN_EXTEND: - case ZERO_EXTEND: - other = XEXP (other, 0); - break; - default: - goto done; - } - done: - if ((GET_CODE (other) == MEM - && ! CONSTANT_P (x) - && GET_CODE (x) != REG - && GET_CODE (x) != SUBREG) - || (GET_CODE (other) == REG - && (REGNO (other) < FIRST_PSEUDO_REGISTER - || reg_mentioned_p (other, x)))) - { - rtx temp = gen_reg_rtx (GET_MODE (x)); - emit_move_insn (temp, x); - return temp; - } - return x; -} - -/* Emission of insns (adding them to the doubly-linked list). */ - -/* Return the first insn of the current sequence or current function. */ - -rtx -get_insns () -{ - return first_insn; -} - -/* Return the last insn emitted in current sequence or current function. */ - -rtx -get_last_insn () -{ - return last_insn; -} - -/* Specify a new insn as the last in the chain. */ - -void -set_last_insn (insn) - rtx insn; -{ - if (NEXT_INSN (insn) != 0) - abort (); - last_insn = insn; -} - -/* Return the last insn emitted, even if it is in a sequence now pushed. */ - -rtx -get_last_insn_anywhere () -{ - struct sequence_stack *stack; - if (last_insn) - return last_insn; - for (stack = sequence_stack; stack; stack = stack->next) - if (stack->last != 0) - return stack->last; - return 0; -} - -/* Return a number larger than any instruction's uid in this function. */ - -int -get_max_uid () -{ - return cur_insn_uid; -} - -/* Return the next insn. If it is a SEQUENCE, return the first insn - of the sequence. */ - -rtx -next_insn (insn) - rtx insn; -{ - if (insn) - { - insn = NEXT_INSN (insn); - if (insn && GET_CODE (insn) == INSN - && GET_CODE (PATTERN (insn)) == SEQUENCE) - insn = XVECEXP (PATTERN (insn), 0, 0); - } - - return insn; -} - -/* Return the previous insn. If it is a SEQUENCE, return the last insn - of the sequence. */ - -rtx -previous_insn (insn) - rtx insn; -{ - if (insn) - { - insn = PREV_INSN (insn); - if (insn && GET_CODE (insn) == INSN - && GET_CODE (PATTERN (insn)) == SEQUENCE) - insn = XVECEXP (PATTERN (insn), 0, XVECLEN (PATTERN (insn), 0) - 1); - } - - return insn; -} - -/* Return the next insn after INSN that is not a NOTE. This routine does not - look inside SEQUENCEs. */ - -rtx -next_nonnote_insn (insn) - rtx insn; -{ - while (insn) - { - insn = NEXT_INSN (insn); - if (insn == 0 || GET_CODE (insn) != NOTE) - break; - } - - return insn; -} - -/* Return the previous insn before INSN that is not a NOTE. This routine does - not look inside SEQUENCEs. */ - -rtx -prev_nonnote_insn (insn) - rtx insn; -{ - while (insn) - { - insn = PREV_INSN (insn); - if (insn == 0 || GET_CODE (insn) != NOTE) - break; - } - - return insn; -} - -/* Return the next INSN, CALL_INSN or JUMP_INSN after INSN; - or 0, if there is none. This routine does not look inside - SEQUENCEs. */ - -rtx -next_real_insn (insn) - rtx insn; -{ - while (insn) - { - insn = NEXT_INSN (insn); - if (insn == 0 || GET_CODE (insn) == INSN - || GET_CODE (insn) == CALL_INSN || GET_CODE (insn) == JUMP_INSN) - break; - } - - return insn; -} - -/* Return the last INSN, CALL_INSN or JUMP_INSN before INSN; - or 0, if there is none. This routine does not look inside - SEQUENCEs. */ - -rtx -prev_real_insn (insn) - rtx insn; -{ - while (insn) - { - insn = PREV_INSN (insn); - if (insn == 0 || GET_CODE (insn) == INSN || GET_CODE (insn) == CALL_INSN - || GET_CODE (insn) == JUMP_INSN) - break; - } - - return insn; -} - -/* Find the next insn after INSN that really does something. This routine - does not look inside SEQUENCEs. Until reload has completed, this is the - same as next_real_insn. */ - -rtx -next_active_insn (insn) - rtx insn; -{ - while (insn) - { - insn = NEXT_INSN (insn); - if (insn == 0 - || GET_CODE (insn) == CALL_INSN || GET_CODE (insn) == JUMP_INSN - || (GET_CODE (insn) == INSN - && (! reload_completed - || (GET_CODE (PATTERN (insn)) != USE - && GET_CODE (PATTERN (insn)) != CLOBBER)))) - break; - } - - return insn; -} - -/* Find the last insn before INSN that really does something. This routine - does not look inside SEQUENCEs. Until reload has completed, this is the - same as prev_real_insn. */ - -rtx -prev_active_insn (insn) - rtx insn; -{ - while (insn) - { - insn = PREV_INSN (insn); - if (insn == 0 - || GET_CODE (insn) == CALL_INSN || GET_CODE (insn) == JUMP_INSN - || (GET_CODE (insn) == INSN - && (! reload_completed - || (GET_CODE (PATTERN (insn)) != USE - && GET_CODE (PATTERN (insn)) != CLOBBER)))) - break; - } - - return insn; -} - -/* Return the next CODE_LABEL after the insn INSN, or 0 if there is none. */ - -rtx -next_label (insn) - rtx insn; -{ - while (insn) - { - insn = NEXT_INSN (insn); - if (insn == 0 || GET_CODE (insn) == CODE_LABEL) - break; - } - - return insn; -} - -/* Return the last CODE_LABEL before the insn INSN, or 0 if there is none. */ - -rtx -prev_label (insn) - rtx insn; -{ - while (insn) - { - insn = PREV_INSN (insn); - if (insn == 0 || GET_CODE (insn) == CODE_LABEL) - break; - } - - return insn; -} - -#ifdef HAVE_cc0 -/* INSN uses CC0 and is being moved into a delay slot. Set up REG_CC_SETTER - and REG_CC_USER notes so we can find it. */ - -void -link_cc0_insns (insn) - rtx insn; -{ - rtx user = next_nonnote_insn (insn); - - if (GET_CODE (user) == INSN && GET_CODE (PATTERN (user)) == SEQUENCE) - user = XVECEXP (PATTERN (user), 0, 0); - - REG_NOTES (user) = gen_rtx (INSN_LIST, REG_CC_SETTER, insn, - REG_NOTES (user)); - REG_NOTES (insn) = gen_rtx (INSN_LIST, REG_CC_USER, user, REG_NOTES (insn)); -} - -/* Return the next insn that uses CC0 after INSN, which is assumed to - set it. This is the inverse of prev_cc0_setter (i.e., prev_cc0_setter - applied to the result of this function should yield INSN). - - Normally, this is simply the next insn. However, if a REG_CC_USER note - is present, it contains the insn that uses CC0. - - Return 0 if we can't find the insn. */ - -rtx -next_cc0_user (insn) - rtx insn; -{ - rtx note = find_reg_note (insn, REG_CC_USER, NULL_RTX); - - if (note) - return XEXP (note, 0); - - insn = next_nonnote_insn (insn); - if (insn && GET_CODE (insn) == INSN && GET_CODE (PATTERN (insn)) == SEQUENCE) - insn = XVECEXP (PATTERN (insn), 0, 0); - - if (insn && GET_RTX_CLASS (GET_CODE (insn)) == 'i' - && reg_mentioned_p (cc0_rtx, PATTERN (insn))) - return insn; - - return 0; -} - -/* Find the insn that set CC0 for INSN. Unless INSN has a REG_CC_SETTER - note, it is the previous insn. */ - -rtx -prev_cc0_setter (insn) - rtx insn; -{ - rtx note = find_reg_note (insn, REG_CC_SETTER, NULL_RTX); - rtx link; - - if (note) - return XEXP (note, 0); - - insn = prev_nonnote_insn (insn); - if (! sets_cc0_p (PATTERN (insn))) - abort (); - - return insn; -} -#endif - -/* Try splitting insns that can be split for better scheduling. - PAT is the pattern which might split. - TRIAL is the insn providing PAT. - BACKWARDS is non-zero if we are scanning insns from last to first. - - If this routine succeeds in splitting, it returns the first or last - replacement insn depending on the value of BACKWARDS. Otherwise, it - returns TRIAL. If the insn to be returned can be split, it will be. */ - -rtx -try_split (pat, trial, backwards) - rtx pat, trial; - int backwards; -{ - rtx before = PREV_INSN (trial); - rtx after = NEXT_INSN (trial); - rtx seq = split_insns (pat, trial); - int has_barrier = 0; - rtx tem; - - /* If we are splitting a JUMP_INSN, it might be followed by a BARRIER. - We may need to handle this specially. */ - if (after && GET_CODE (after) == BARRIER) - { - has_barrier = 1; - after = NEXT_INSN (after); - } - - if (seq) - { - /* SEQ can either be a SEQUENCE or the pattern of a single insn. - The latter case will normally arise only when being done so that - it, in turn, will be split (SFmode on the 29k is an example). */ - if (GET_CODE (seq) == SEQUENCE) - { - /* If we are splitting a JUMP_INSN, look for the JUMP_INSN in - SEQ and copy our JUMP_LABEL to it. If JUMP_LABEL is non-zero, - increment the usage count so we don't delete the label. */ - int i; - - if (GET_CODE (trial) == JUMP_INSN) - for (i = XVECLEN (seq, 0) - 1; i >= 0; i--) - if (GET_CODE (XVECEXP (seq, 0, i)) == JUMP_INSN) - { - JUMP_LABEL (XVECEXP (seq, 0, i)) = JUMP_LABEL (trial); - - if (JUMP_LABEL (trial)) - LABEL_NUSES (JUMP_LABEL (trial))++; - } - - tem = emit_insn_after (seq, before); - - delete_insn (trial); - if (has_barrier) - emit_barrier_after (tem); - } - /* Avoid infinite loop if the result matches the original pattern. */ - else if (rtx_equal_p (seq, pat)) - return trial; - else - { - PATTERN (trial) = seq; - INSN_CODE (trial) = -1; - } - - /* Set TEM to the insn we should return. */ - tem = backwards ? prev_active_insn (after) : next_active_insn (before); - return try_split (PATTERN (tem), tem, backwards); - } - - return trial; -} - -/* Make and return an INSN rtx, initializing all its slots. - Store PATTERN in the pattern slots. */ - -rtx -make_insn_raw (pattern) - rtx pattern; -{ - register rtx insn; - - insn = rtx_alloc (INSN); - INSN_UID (insn) = cur_insn_uid++; - - PATTERN (insn) = pattern; - INSN_CODE (insn) = -1; - LOG_LINKS (insn) = NULL; - REG_NOTES (insn) = NULL; - - return insn; -} - -/* Like `make_insn' but make a JUMP_INSN instead of an insn. */ - -static rtx -make_jump_insn_raw (pattern) - rtx pattern; -{ - register rtx insn; - - insn = rtx_alloc (JUMP_INSN); - INSN_UID (insn) = cur_insn_uid++; - - PATTERN (insn) = pattern; - INSN_CODE (insn) = -1; - LOG_LINKS (insn) = NULL; - REG_NOTES (insn) = NULL; - JUMP_LABEL (insn) = NULL; - - return insn; -} - -/* Add INSN to the end of the doubly-linked list. - INSN may be an INSN, JUMP_INSN, CALL_INSN, CODE_LABEL, BARRIER or NOTE. */ - -void -add_insn (insn) - register rtx insn; -{ - PREV_INSN (insn) = last_insn; - NEXT_INSN (insn) = 0; - - if (NULL != last_insn) - NEXT_INSN (last_insn) = insn; - - if (NULL == first_insn) - first_insn = insn; - - last_insn = insn; -} - -/* Add INSN into the doubly-linked list after insn AFTER. This should be the - only function called to insert an insn once delay slots have been filled - since only it knows how to update a SEQUENCE. */ - -void -add_insn_after (insn, after) - rtx insn, after; -{ - rtx next = NEXT_INSN (after); - - NEXT_INSN (insn) = next; - PREV_INSN (insn) = after; - - if (next) - { - PREV_INSN (next) = insn; - if (GET_CODE (next) == INSN && GET_CODE (PATTERN (next)) == SEQUENCE) - PREV_INSN (XVECEXP (PATTERN (next), 0, 0)) = insn; - } - else if (last_insn == after) - last_insn = insn; - else - { - struct sequence_stack *stack = sequence_stack; - /* Scan all pending sequences too. */ - for (; stack; stack = stack->next) - if (after == stack->last) - stack->last = insn; - } - - NEXT_INSN (after) = insn; - if (GET_CODE (after) == INSN && GET_CODE (PATTERN (after)) == SEQUENCE) - { - rtx sequence = PATTERN (after); - NEXT_INSN (XVECEXP (sequence, 0, XVECLEN (sequence, 0) - 1)) = insn; - } -} - -/* Delete all insns made since FROM. - FROM becomes the new last instruction. */ - -void -delete_insns_since (from) - rtx from; -{ - if (from == 0) - first_insn = 0; - else - NEXT_INSN (from) = 0; - last_insn = from; -} - -/* Move a consecutive bunch of insns to a different place in the chain. - The insns to be moved are those between FROM and TO. - They are moved to a new position after the insn AFTER. - AFTER must not be FROM or TO or any insn in between. - - This function does not know about SEQUENCEs and hence should not be - called after delay-slot filling has been done. */ - -void -reorder_insns (from, to, after) - rtx from, to, after; -{ - /* Splice this bunch out of where it is now. */ - if (PREV_INSN (from)) - NEXT_INSN (PREV_INSN (from)) = NEXT_INSN (to); - if (NEXT_INSN (to)) - PREV_INSN (NEXT_INSN (to)) = PREV_INSN (from); - if (last_insn == to) - last_insn = PREV_INSN (from); - if (first_insn == from) - first_insn = NEXT_INSN (to); - - /* Make the new neighbors point to it and it to them. */ - if (NEXT_INSN (after)) - PREV_INSN (NEXT_INSN (after)) = to; - - NEXT_INSN (to) = NEXT_INSN (after); - PREV_INSN (from) = after; - NEXT_INSN (after) = from; - if (after == last_insn) - last_insn = to; -} - -/* Return the line note insn preceding INSN. */ - -static rtx -find_line_note (insn) - rtx insn; -{ - if (no_line_numbers) - return 0; - - for (; insn; insn = PREV_INSN (insn)) - if (GET_CODE (insn) == NOTE - && NOTE_LINE_NUMBER (insn) >= 0) - break; - - return insn; -} - -/* Like reorder_insns, but inserts line notes to preserve the line numbers - of the moved insns when debugging. This may insert a note between AFTER - and FROM, and another one after TO. */ - -void -reorder_insns_with_line_notes (from, to, after) - rtx from, to, after; -{ - rtx from_line = find_line_note (from); - rtx after_line = find_line_note (after); - - reorder_insns (from, to, after); - - if (from_line == after_line) - return; - - if (from_line) - emit_line_note_after (NOTE_SOURCE_FILE (from_line), - NOTE_LINE_NUMBER (from_line), - after); - if (after_line) - emit_line_note_after (NOTE_SOURCE_FILE (after_line), - NOTE_LINE_NUMBER (after_line), - to); -} - -/* Emit an insn of given code and pattern - at a specified place within the doubly-linked list. */ - -/* Make an instruction with body PATTERN - and output it before the instruction BEFORE. */ - -rtx -emit_insn_before (pattern, before) - register rtx pattern, before; -{ - register rtx insn = before; - - if (GET_CODE (pattern) == SEQUENCE) - { - register int i; - - for (i = 0; i < XVECLEN (pattern, 0); i++) - { - insn = XVECEXP (pattern, 0, i); - add_insn_after (insn, PREV_INSN (before)); - } - if (XVECLEN (pattern, 0) < SEQUENCE_RESULT_SIZE) - sequence_result[XVECLEN (pattern, 0)] = pattern; - } - else - { - insn = make_insn_raw (pattern); - add_insn_after (insn, PREV_INSN (before)); - } - - return insn; -} - -/* Make an instruction with body PATTERN and code JUMP_INSN - and output it before the instruction BEFORE. */ - -rtx -emit_jump_insn_before (pattern, before) - register rtx pattern, before; -{ - register rtx insn; - - if (GET_CODE (pattern) == SEQUENCE) - insn = emit_insn_before (pattern, before); - else - { - insn = make_jump_insn_raw (pattern); - add_insn_after (insn, PREV_INSN (before)); - } - - return insn; -} - -/* Make an instruction with body PATTERN and code CALL_INSN - and output it before the instruction BEFORE. */ - -rtx -emit_call_insn_before (pattern, before) - register rtx pattern, before; -{ - rtx insn = emit_insn_before (pattern, before); - PUT_CODE (insn, CALL_INSN); - return insn; -} - -/* Make an insn of code BARRIER - and output it before the insn AFTER. */ - -rtx -emit_barrier_before (before) - register rtx before; -{ - register rtx insn = rtx_alloc (BARRIER); - - INSN_UID (insn) = cur_insn_uid++; - - add_insn_after (insn, PREV_INSN (before)); - return insn; -} - -/* Emit a note of subtype SUBTYPE before the insn BEFORE. */ - -rtx -emit_note_before (subtype, before) - int subtype; - rtx before; -{ - register rtx note = rtx_alloc (NOTE); - INSN_UID (note) = cur_insn_uid++; - NOTE_SOURCE_FILE (note) = 0; - NOTE_LINE_NUMBER (note) = subtype; - - add_insn_after (note, PREV_INSN (before)); - return note; -} - -/* Make an insn of code INSN with body PATTERN - and output it after the insn AFTER. */ - -rtx -emit_insn_after (pattern, after) - register rtx pattern, after; -{ - register rtx insn = after; - - if (GET_CODE (pattern) == SEQUENCE) - { - register int i; - - for (i = 0; i < XVECLEN (pattern, 0); i++) - { - insn = XVECEXP (pattern, 0, i); - add_insn_after (insn, after); - after = insn; - } - if (XVECLEN (pattern, 0) < SEQUENCE_RESULT_SIZE) - sequence_result[XVECLEN (pattern, 0)] = pattern; - } - else - { - insn = make_insn_raw (pattern); - add_insn_after (insn, after); - } - - return insn; -} - -/* Similar to emit_insn_after, except that line notes are to be inserted so - as to act as if this insn were at FROM. */ - -void -emit_insn_after_with_line_notes (pattern, after, from) - rtx pattern, after, from; -{ - rtx from_line = find_line_note (from); - rtx after_line = find_line_note (after); - rtx insn = emit_insn_after (pattern, after); - - if (from_line) - emit_line_note_after (NOTE_SOURCE_FILE (from_line), - NOTE_LINE_NUMBER (from_line), - after); - - if (after_line) - emit_line_note_after (NOTE_SOURCE_FILE (after_line), - NOTE_LINE_NUMBER (after_line), - insn); -} - -/* Make an insn of code JUMP_INSN with body PATTERN - and output it after the insn AFTER. */ - -rtx -emit_jump_insn_after (pattern, after) - register rtx pattern, after; -{ - register rtx insn; - - if (GET_CODE (pattern) == SEQUENCE) - insn = emit_insn_after (pattern, after); - else - { - insn = make_jump_insn_raw (pattern); - add_insn_after (insn, after); - } - - return insn; -} - -/* Make an insn of code BARRIER - and output it after the insn AFTER. */ - -rtx -emit_barrier_after (after) - register rtx after; -{ - register rtx insn = rtx_alloc (BARRIER); - - INSN_UID (insn) = cur_insn_uid++; - - add_insn_after (insn, after); - return insn; -} - -/* Emit the label LABEL after the insn AFTER. */ - -rtx -emit_label_after (label, after) - rtx label, after; -{ - /* This can be called twice for the same label - as a result of the confusion that follows a syntax error! - So make it harmless. */ - if (INSN_UID (label) == 0) - { - INSN_UID (label) = cur_insn_uid++; - add_insn_after (label, after); - } - - return label; -} - -/* Emit a note of subtype SUBTYPE after the insn AFTER. */ - -rtx -emit_note_after (subtype, after) - int subtype; - rtx after; -{ - register rtx note = rtx_alloc (NOTE); - INSN_UID (note) = cur_insn_uid++; - NOTE_SOURCE_FILE (note) = 0; - NOTE_LINE_NUMBER (note) = subtype; - add_insn_after (note, after); - return note; -} - -/* Emit a line note for FILE and LINE after the insn AFTER. */ - -rtx -emit_line_note_after (file, line, after) - char *file; - int line; - rtx after; -{ - register rtx note; - - if (no_line_numbers && line > 0) - { - cur_insn_uid++; - return 0; - } - - note = rtx_alloc (NOTE); - INSN_UID (note) = cur_insn_uid++; - NOTE_SOURCE_FILE (note) = file; - NOTE_LINE_NUMBER (note) = line; - add_insn_after (note, after); - return note; -} - -/* Make an insn of code INSN with pattern PATTERN - and add it to the end of the doubly-linked list. - If PATTERN is a SEQUENCE, take the elements of it - and emit an insn for each element. - - Returns the last insn emitted. */ - -rtx -emit_insn (pattern) - rtx pattern; -{ - rtx insn = last_insn; - - if (GET_CODE (pattern) == SEQUENCE) - { - register int i; - - for (i = 0; i < XVECLEN (pattern, 0); i++) - { - insn = XVECEXP (pattern, 0, i); - add_insn (insn); - } - if (XVECLEN (pattern, 0) < SEQUENCE_RESULT_SIZE) - sequence_result[XVECLEN (pattern, 0)] = pattern; - } - else - { - insn = make_insn_raw (pattern); - add_insn (insn); - } - - return insn; -} - -/* Emit the insns in a chain starting with INSN. - Return the last insn emitted. */ - -rtx -emit_insns (insn) - rtx insn; -{ - rtx last = 0; - - while (insn) - { - rtx next = NEXT_INSN (insn); - add_insn (insn); - last = insn; - insn = next; - } - - return last; -} - -/* Emit the insns in a chain starting with INSN and place them in front of - the insn BEFORE. Return the last insn emitted. */ - -rtx -emit_insns_before (insn, before) - rtx insn; - rtx before; -{ - rtx last = 0; - - while (insn) - { - rtx next = NEXT_INSN (insn); - add_insn_after (insn, PREV_INSN (before)); - last = insn; - insn = next; - } - - return last; -} - -/* Emit the insns in a chain starting with FIRST and place them in back of - the insn AFTER. Return the last insn emitted. */ - -rtx -emit_insns_after (first, after) - register rtx first; - register rtx after; -{ - register rtx last; - register rtx after_after; - - if (!after) - abort (); - - if (!first) - return first; - - for (last = first; NEXT_INSN (last); last = NEXT_INSN (last)) - continue; - - after_after = NEXT_INSN (after); - - NEXT_INSN (after) = first; - PREV_INSN (first) = after; - NEXT_INSN (last) = after_after; - if (after_after) - PREV_INSN (after_after) = last; - - if (after == last_insn) - last_insn = last; - return last; -} - -/* Make an insn of code JUMP_INSN with pattern PATTERN - and add it to the end of the doubly-linked list. */ - -rtx -emit_jump_insn (pattern) - rtx pattern; -{ - if (GET_CODE (pattern) == SEQUENCE) - return emit_insn (pattern); - else - { - register rtx insn = make_jump_insn_raw (pattern); - add_insn (insn); - return insn; - } -} - -/* Make an insn of code CALL_INSN with pattern PATTERN - and add it to the end of the doubly-linked list. */ - -rtx -emit_call_insn (pattern) - rtx pattern; -{ - if (GET_CODE (pattern) == SEQUENCE) - return emit_insn (pattern); - else - { - register rtx insn = make_insn_raw (pattern); - add_insn (insn); - PUT_CODE (insn, CALL_INSN); - return insn; - } -} - -/* Add the label LABEL to the end of the doubly-linked list. */ - -rtx -emit_label (label) - rtx label; -{ - /* This can be called twice for the same label - as a result of the confusion that follows a syntax error! - So make it harmless. */ - if (INSN_UID (label) == 0) - { - INSN_UID (label) = cur_insn_uid++; - add_insn (label); - } - return label; -} - -/* Make an insn of code BARRIER - and add it to the end of the doubly-linked list. */ - -rtx -emit_barrier () -{ - register rtx barrier = rtx_alloc (BARRIER); - INSN_UID (barrier) = cur_insn_uid++; - add_insn (barrier); - return barrier; -} - -/* Make an insn of code NOTE - with data-fields specified by FILE and LINE - and add it to the end of the doubly-linked list, - but only if line-numbers are desired for debugging info. */ - -rtx -emit_line_note (file, line) - char *file; - int line; -{ - emit_filename = file; - emit_lineno = line; - -#if 0 - if (no_line_numbers) - return 0; -#endif - - return emit_note (file, line); -} - -/* Make an insn of code NOTE - with data-fields specified by FILE and LINE - and add it to the end of the doubly-linked list. - If it is a line-number NOTE, omit it if it matches the previous one. */ - -rtx -emit_note (file, line) - char *file; - int line; -{ - register rtx note; - - if (line > 0) - { - if (file && last_filename && !strcmp (file, last_filename) - && line == last_linenum) - return 0; - last_filename = file; - last_linenum = line; - } - - if (no_line_numbers && line > 0) - { - cur_insn_uid++; - return 0; - } - - note = rtx_alloc (NOTE); - INSN_UID (note) = cur_insn_uid++; - NOTE_SOURCE_FILE (note) = file; - NOTE_LINE_NUMBER (note) = line; - add_insn (note); - return note; -} - -/* Emit a NOTE, and don't omit it even if LINE it the previous note. */ - -rtx -emit_line_note_force (file, line) - char *file; - int line; -{ - last_linenum = -1; - return emit_line_note (file, line); -} - -/* Cause next statement to emit a line note even if the line number - has not changed. This is used at the beginning of a function. */ - -void -force_next_line_note () -{ - last_linenum = -1; -} - -/* Return an indication of which type of insn should have X as a body. - The value is CODE_LABEL, INSN, CALL_INSN or JUMP_INSN. */ - -enum rtx_code -classify_insn (x) - rtx x; -{ - if (GET_CODE (x) == CODE_LABEL) - return CODE_LABEL; - if (GET_CODE (x) == CALL) - return CALL_INSN; - if (GET_CODE (x) == RETURN) - return JUMP_INSN; - if (GET_CODE (x) == SET) - { - if (SET_DEST (x) == pc_rtx) - return JUMP_INSN; - else if (GET_CODE (SET_SRC (x)) == CALL) - return CALL_INSN; - else - return INSN; - } - if (GET_CODE (x) == PARALLEL) - { - register int j; - for (j = XVECLEN (x, 0) - 1; j >= 0; j--) - if (GET_CODE (XVECEXP (x, 0, j)) == CALL) - return CALL_INSN; - else if (GET_CODE (XVECEXP (x, 0, j)) == SET - && SET_DEST (XVECEXP (x, 0, j)) == pc_rtx) - return JUMP_INSN; - else if (GET_CODE (XVECEXP (x, 0, j)) == SET - && GET_CODE (SET_SRC (XVECEXP (x, 0, j))) == CALL) - return CALL_INSN; - } - return INSN; -} - -/* Emit the rtl pattern X as an appropriate kind of insn. - If X is a label, it is simply added into the insn chain. */ - -rtx -emit (x) - rtx x; -{ - enum rtx_code code = classify_insn (x); - - if (code == CODE_LABEL) - return emit_label (x); - else if (code == INSN) - return emit_insn (x); - else if (code == JUMP_INSN) - { - register rtx insn = emit_jump_insn (x); - if (simplejump_p (insn) || GET_CODE (x) == RETURN) - return emit_barrier (); - return insn; - } - else if (code == CALL_INSN) - return emit_call_insn (x); - else - abort (); -} - -/* Begin emitting insns to a sequence which can be packaged in an RTL_EXPR. */ - -void -start_sequence () -{ - struct sequence_stack *tem; - - if (sequence_element_free_list) - { - /* Reuse a previously-saved struct sequence_stack. */ - tem = sequence_element_free_list; - sequence_element_free_list = tem->next; - } - else - tem = (struct sequence_stack *) permalloc (sizeof (struct sequence_stack)); - - tem->next = sequence_stack; - tem->first = first_insn; - tem->last = last_insn; - - sequence_stack = tem; - - first_insn = 0; - last_insn = 0; -} - -/* Set up the insn chain starting with FIRST - as the current sequence, saving the previously current one. */ - -void -push_to_sequence (first) - rtx first; -{ - rtx last; - - start_sequence (); - - for (last = first; last && NEXT_INSN (last); last = NEXT_INSN (last)); - - first_insn = first; - last_insn = last; -} - -/* Set up the outer-level insn chain - as the current sequence, saving the previously current one. */ - -void -push_topmost_sequence () -{ - struct sequence_stack *stack, *top; - - start_sequence (); - - for (stack = sequence_stack; stack; stack = stack->next) - top = stack; - - first_insn = top->first; - last_insn = top->last; -} - -/* After emitting to the outer-level insn chain, update the outer-level - insn chain, and restore the previous saved state. */ - -void -pop_topmost_sequence () -{ - struct sequence_stack *stack, *top; - - for (stack = sequence_stack; stack; stack = stack->next) - top = stack; - - top->first = first_insn; - top->last = last_insn; - - end_sequence (); -} - -/* After emitting to a sequence, restore previous saved state. - - To get the contents of the sequence just made, - you must call `gen_sequence' *before* calling here. */ - -void -end_sequence () -{ - struct sequence_stack *tem = sequence_stack; - - first_insn = tem->first; - last_insn = tem->last; - sequence_stack = tem->next; - - tem->next = sequence_element_free_list; - sequence_element_free_list = tem; -} - -/* Return 1 if currently emitting into a sequence. */ - -int -in_sequence_p () -{ - return sequence_stack != 0; -} - -/* Generate a SEQUENCE rtx containing the insns already emitted - to the current sequence. - - This is how the gen_... function from a DEFINE_EXPAND - constructs the SEQUENCE that it returns. */ - -rtx -gen_sequence () -{ - rtx result; - rtx tem; - rtvec newvec; - int i; - int len; - - /* Count the insns in the chain. */ - len = 0; - for (tem = first_insn; tem; tem = NEXT_INSN (tem)) - len++; - - /* If only one insn, return its pattern rather than a SEQUENCE. - (Now that we cache SEQUENCE expressions, it isn't worth special-casing - the case of an empty list.) */ - if (len == 1 - && (GET_CODE (first_insn) == INSN - || GET_CODE (first_insn) == JUMP_INSN - || GET_CODE (first_insn) == CALL_INSN)) - return PATTERN (first_insn); - - /* Put them in a vector. See if we already have a SEQUENCE of the - appropriate length around. */ - if (len < SEQUENCE_RESULT_SIZE && (result = sequence_result[len]) != 0) - sequence_result[len] = 0; - else - { - /* Ensure that this rtl goes in saveable_obstack, since we may be - caching it. */ - push_obstacks_nochange (); - rtl_in_saveable_obstack (); - result = gen_rtx (SEQUENCE, VOIDmode, rtvec_alloc (len)); - pop_obstacks (); - } - - for (i = 0, tem = first_insn; tem; tem = NEXT_INSN (tem), i++) - XVECEXP (result, 0, i) = tem; - - return result; -} - -/* Set up regno_reg_rtx, reg_rtx_no and regno_pointer_flag - according to the chain of insns starting with FIRST. - - Also set cur_insn_uid to exceed the largest uid in that chain. - - This is used when an inline function's rtl is saved - and passed to rest_of_compilation later. */ - -static void restore_reg_data_1 (); - -void -restore_reg_data (first) - rtx first; -{ - register rtx insn; - int i; - register int max_uid = 0; - - for (insn = first; insn; insn = NEXT_INSN (insn)) - { - if (INSN_UID (insn) >= max_uid) - max_uid = INSN_UID (insn); - - switch (GET_CODE (insn)) - { - case NOTE: - case CODE_LABEL: - case BARRIER: - break; - - case JUMP_INSN: - case CALL_INSN: - case INSN: - restore_reg_data_1 (PATTERN (insn)); - break; - } - } - - /* Don't duplicate the uids already in use. */ - cur_insn_uid = max_uid + 1; - - /* If any regs are missing, make them up. - - ??? word_mode is not necessarily the right mode. Most likely these REGs - are never used. At some point this should be checked. */ - - for (i = FIRST_PSEUDO_REGISTER; i < reg_rtx_no; i++) - if (regno_reg_rtx[i] == 0) - regno_reg_rtx[i] = gen_rtx (REG, word_mode, i); -} - -static void -restore_reg_data_1 (orig) - rtx orig; -{ - register rtx x = orig; - register int i; - register enum rtx_code code; - register char *format_ptr; - - code = GET_CODE (x); - - switch (code) - { - case QUEUED: - case CONST_INT: - case CONST_DOUBLE: - case SYMBOL_REF: - case CODE_LABEL: - case PC: - case CC0: - case LABEL_REF: - return; - - case REG: - if (REGNO (x) >= FIRST_PSEUDO_REGISTER) - { - /* Make sure regno_pointer_flag and regno_reg_rtx are large - enough to have an element for this pseudo reg number. */ - if (REGNO (x) >= reg_rtx_no) - { - reg_rtx_no = REGNO (x); - - if (reg_rtx_no >= regno_pointer_flag_length) - { - int newlen = MAX (regno_pointer_flag_length * 2, - reg_rtx_no + 30); - rtx *new1; - char *new = (char *) oballoc (newlen); - bzero (new, newlen); - bcopy (regno_pointer_flag, new, regno_pointer_flag_length); - - new1 = (rtx *) oballoc (newlen * sizeof (rtx)); - bzero (new1, newlen * sizeof (rtx)); - bcopy (regno_reg_rtx, new1, regno_pointer_flag_length * sizeof (rtx)); - - regno_pointer_flag = new; - regno_reg_rtx = new1; - regno_pointer_flag_length = newlen; - } - reg_rtx_no ++; - } - regno_reg_rtx[REGNO (x)] = x; - } - return; - - case MEM: - if (GET_CODE (XEXP (x, 0)) == REG) - mark_reg_pointer (XEXP (x, 0)); - restore_reg_data_1 (XEXP (x, 0)); - return; - } - - /* Now scan the subexpressions recursively. */ - - format_ptr = GET_RTX_FORMAT (code); - - for (i = 0; i < GET_RTX_LENGTH (code); i++) - { - switch (*format_ptr++) - { - case 'e': - restore_reg_data_1 (XEXP (x, i)); - break; - - case 'E': - if (XVEC (x, i) != NULL) - { - register int j; - - for (j = 0; j < XVECLEN (x, i); j++) - restore_reg_data_1 (XVECEXP (x, i, j)); - } - break; - } - } -} - -/* Initialize data structures and variables in this file - before generating rtl for each function. */ - -void -init_emit () -{ - int i; - - first_insn = NULL; - last_insn = NULL; - cur_insn_uid = 1; - reg_rtx_no = LAST_VIRTUAL_REGISTER + 1; - last_linenum = 0; - last_filename = 0; - first_label_num = label_num; - last_label_num = 0; - sequence_stack = NULL; - - /* Clear the start_sequence/gen_sequence cache. */ - sequence_element_free_list = 0; - for (i = 0; i < SEQUENCE_RESULT_SIZE; i++) - sequence_result[i] = 0; - - /* Init the tables that describe all the pseudo regs. */ - - regno_pointer_flag_length = LAST_VIRTUAL_REGISTER + 101; - - regno_pointer_flag - = (char *) oballoc (regno_pointer_flag_length); - bzero (regno_pointer_flag, regno_pointer_flag_length); - - regno_reg_rtx - = (rtx *) oballoc (regno_pointer_flag_length * sizeof (rtx)); - bzero (regno_reg_rtx, regno_pointer_flag_length * sizeof (rtx)); - - /* Put copies of all the virtual register rtx into regno_reg_rtx. */ - regno_reg_rtx[VIRTUAL_INCOMING_ARGS_REGNUM] = virtual_incoming_args_rtx; - regno_reg_rtx[VIRTUAL_STACK_VARS_REGNUM] = virtual_stack_vars_rtx; - regno_reg_rtx[VIRTUAL_STACK_DYNAMIC_REGNUM] = virtual_stack_dynamic_rtx; - regno_reg_rtx[VIRTUAL_OUTGOING_ARGS_REGNUM] = virtual_outgoing_args_rtx; - - /* Indicate that the virtual registers and stack locations are - all pointers. */ - REGNO_POINTER_FLAG (STACK_POINTER_REGNUM) = 1; - REGNO_POINTER_FLAG (FRAME_POINTER_REGNUM) = 1; - REGNO_POINTER_FLAG (ARG_POINTER_REGNUM) = 1; - - REGNO_POINTER_FLAG (VIRTUAL_INCOMING_ARGS_REGNUM) = 1; - REGNO_POINTER_FLAG (VIRTUAL_STACK_VARS_REGNUM) = 1; - REGNO_POINTER_FLAG (VIRTUAL_STACK_DYNAMIC_REGNUM) = 1; - REGNO_POINTER_FLAG (VIRTUAL_OUTGOING_ARGS_REGNUM) = 1; - -#ifdef INIT_EXPANDERS - INIT_EXPANDERS; -#endif -} - -/* Create some permanent unique rtl objects shared between all functions. - LINE_NUMBERS is nonzero if line numbers are to be generated. */ - -void -init_emit_once (line_numbers) - int line_numbers; -{ - int i; - enum machine_mode mode; - - no_line_numbers = ! line_numbers; - - sequence_stack = NULL; - - /* Create the unique rtx's for certain rtx codes and operand values. */ - - pc_rtx = gen_rtx (PC, VOIDmode); - cc0_rtx = gen_rtx (CC0, VOIDmode); - - /* Don't use gen_rtx here since gen_rtx in this case - tries to use these variables. */ - for (i = - MAX_SAVED_CONST_INT; i <= MAX_SAVED_CONST_INT; i++) - { - const_int_rtx[i + MAX_SAVED_CONST_INT] = rtx_alloc (CONST_INT); - PUT_MODE (const_int_rtx[i + MAX_SAVED_CONST_INT], VOIDmode); - INTVAL (const_int_rtx[i + MAX_SAVED_CONST_INT]) = i; - } - - /* These four calls obtain some of the rtx expressions made above. */ - const0_rtx = GEN_INT (0); - const1_rtx = GEN_INT (1); - const2_rtx = GEN_INT (2); - constm1_rtx = GEN_INT (-1); - - /* This will usually be one of the above constants, but may be a new rtx. */ - const_true_rtx = GEN_INT (STORE_FLAG_VALUE); - - dconst0 = REAL_VALUE_ATOF ("0", DFmode); - dconst1 = REAL_VALUE_ATOF ("1", DFmode); - dconst2 = REAL_VALUE_ATOF ("2", DFmode); - dconstm1 = REAL_VALUE_ATOF ("-1", DFmode); - - for (i = 0; i <= 2; i++) - { - for (mode = GET_CLASS_NARROWEST_MODE (MODE_FLOAT); mode != VOIDmode; - mode = GET_MODE_WIDER_MODE (mode)) - { - rtx tem = rtx_alloc (CONST_DOUBLE); - union real_extract u; - - bzero (&u, sizeof u); /* Zero any holes in a structure. */ - u.d = i == 0 ? dconst0 : i == 1 ? dconst1 : dconst2; - - bcopy (&u, &CONST_DOUBLE_LOW (tem), sizeof u); - CONST_DOUBLE_MEM (tem) = cc0_rtx; - PUT_MODE (tem, mode); - - const_tiny_rtx[i][(int) mode] = tem; - } - - const_tiny_rtx[i][(int) VOIDmode] = GEN_INT (i); - - for (mode = GET_CLASS_NARROWEST_MODE (MODE_INT); mode != VOIDmode; - mode = GET_MODE_WIDER_MODE (mode)) - const_tiny_rtx[i][(int) mode] = GEN_INT (i); - - for (mode = GET_CLASS_NARROWEST_MODE (MODE_PARTIAL_INT); - mode != VOIDmode; - mode = GET_MODE_WIDER_MODE (mode)) - const_tiny_rtx[i][(int) mode] = GEN_INT (i); - } - - for (mode = GET_CLASS_NARROWEST_MODE (MODE_CC); mode != VOIDmode; - mode = GET_MODE_WIDER_MODE (mode)) - const_tiny_rtx[0][(int) mode] = const0_rtx; - - stack_pointer_rtx = gen_rtx (REG, Pmode, STACK_POINTER_REGNUM); - frame_pointer_rtx = gen_rtx (REG, Pmode, FRAME_POINTER_REGNUM); - - if (FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM) - arg_pointer_rtx = frame_pointer_rtx; - else if (STACK_POINTER_REGNUM == ARG_POINTER_REGNUM) - arg_pointer_rtx = stack_pointer_rtx; - else - arg_pointer_rtx = gen_rtx (REG, Pmode, ARG_POINTER_REGNUM); - - /* Create the virtual registers. Do so here since the following objects - might reference them. */ - - virtual_incoming_args_rtx = gen_rtx (REG, Pmode, - VIRTUAL_INCOMING_ARGS_REGNUM); - virtual_stack_vars_rtx = gen_rtx (REG, Pmode, - VIRTUAL_STACK_VARS_REGNUM); - virtual_stack_dynamic_rtx = gen_rtx (REG, Pmode, - VIRTUAL_STACK_DYNAMIC_REGNUM); - virtual_outgoing_args_rtx = gen_rtx (REG, Pmode, - VIRTUAL_OUTGOING_ARGS_REGNUM); - -#ifdef STRUCT_VALUE - struct_value_rtx = STRUCT_VALUE; -#else - struct_value_rtx = gen_rtx (REG, Pmode, STRUCT_VALUE_REGNUM); -#endif - -#ifdef STRUCT_VALUE_INCOMING - struct_value_incoming_rtx = STRUCT_VALUE_INCOMING; -#else -#ifdef STRUCT_VALUE_INCOMING_REGNUM - struct_value_incoming_rtx - = gen_rtx (REG, Pmode, STRUCT_VALUE_INCOMING_REGNUM); -#else - struct_value_incoming_rtx = struct_value_rtx; -#endif -#endif - -#ifdef STATIC_CHAIN_REGNUM - static_chain_rtx = gen_rtx (REG, Pmode, STATIC_CHAIN_REGNUM); - -#ifdef STATIC_CHAIN_INCOMING_REGNUM - if (STATIC_CHAIN_INCOMING_REGNUM != STATIC_CHAIN_REGNUM) - static_chain_incoming_rtx = gen_rtx (REG, Pmode, STATIC_CHAIN_INCOMING_REGNUM); - else -#endif - static_chain_incoming_rtx = static_chain_rtx; -#endif - -#ifdef STATIC_CHAIN - static_chain_rtx = STATIC_CHAIN; - -#ifdef STATIC_CHAIN_INCOMING - static_chain_incoming_rtx = STATIC_CHAIN_INCOMING; -#else - static_chain_incoming_rtx = static_chain_rtx; -#endif -#endif - -#ifdef PIC_OFFSET_TABLE_REGNUM - pic_offset_table_rtx = gen_rtx (REG, Pmode, PIC_OFFSET_TABLE_REGNUM); -#endif -} |