Annotation of gcc/config/vax/vax.h, revision 1.1.1.4

1.1       root        1: /* Definitions of target machine for GNU compiler.  Vax version.
1.1.1.4 ! root        2:    Copyright (C) 1987, 88, 91, 93, 94, 95 Free Software Foundation, Inc.
1.1       root        3: 
                      4: This file is part of GNU CC.
                      5: 
                      6: GNU CC is free software; you can redistribute it and/or modify
                      7: it under the terms of the GNU General Public License as published by
                      8: the Free Software Foundation; either version 2, or (at your option)
                      9: any later version.
                     10: 
                     11: GNU CC is distributed in the hope that it will be useful,
                     12: but WITHOUT ANY WARRANTY; without even the implied warranty of
                     13: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
                     14: GNU General Public License for more details.
                     15: 
                     16: You should have received a copy of the GNU General Public License
                     17: along with GNU CC; see the file COPYING.  If not, write to
1.1.1.4 ! root       18: the Free Software Foundation, 59 Temple Place - Suite 330,
        !            19: Boston, MA 02111-1307, USA.  */
1.1       root       20: 
                     21: 
                     22: /* Names to predefine in the preprocessor for this target machine.  */
                     23: 
1.1.1.3   root       24: #define CPP_PREDEFINES "-Dvax -D__vax__ -Dunix -Asystem(unix) -Asystem(bsd) -Acpu(vax) -Amachine(vax)"
1.1       root       25: 
                     26: /* If using g-format floating point, alter math.h.  */
                     27: 
                     28: #define        CPP_SPEC "%{mg:-DGFLOAT}"
                     29: 
                     30: /* Choose proper libraries depending on float format.
                     31:    Note that there are no profiling libraries for g-format.
                     32:    Also use -lg for the sake of dbx.  */
                     33: 
                     34: #define LIB_SPEC "%{g:-lg}\
                     35:  %{mg:%{lm:-lmg} -lcg \
                     36:   %{p:%eprofiling not supported with -mg\n}\
                     37:   %{pg:%eprofiling not supported with -mg\n}}\
                     38:  %{!mg:%{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p}}"
                     39: 
                     40: /* Print subsidiary information on the compiler version in use.  */
                     41: 
                     42: #define TARGET_VERSION fprintf (stderr, " (vax)");
                     43: 
                     44: /* Run-time compilation parameters selecting different hardware subsets.  */
                     45: 
                     46: extern int target_flags;
                     47: 
                     48: /* Macros used in the machine description to test the flags.  */
                     49: 
                     50: /* Nonzero if compiling code that Unix assembler can assemble.  */
                     51: #define TARGET_UNIX_ASM (target_flags & 1)
                     52: 
                     53: /* Nonzero if compiling with VAX-11 "C" style structure alignment */
                     54: #define        TARGET_VAXC_ALIGNMENT (target_flags & 2)
                     55: 
                     56: /* Nonzero if compiling with `G'-format floating point */
                     57: #define TARGET_G_FLOAT (target_flags & 4)
                     58: 
                     59: /* Macro to define tables used to set the flags.
                     60:    This is a list in braces of pairs in braces,
                     61:    each pair being { "NAME", VALUE }
                     62:    where VALUE is the bits to set or minus the bits to clear.
                     63:    An empty string NAME is used to identify the default VALUE.  */
                     64: 
                     65: #define TARGET_SWITCHES  \
                     66:   { {"unix", 1},  \
                     67:     {"gnu", -1},  \
                     68:     {"vaxc-alignment", 2}, \
                     69:     {"g", 4}, \
                     70:     {"g-float", 4}, \
                     71:     {"d", -4}, \
                     72:     {"d-float", -4}, \
                     73:     { "", TARGET_DEFAULT}}
                     74: 
                     75: /* Default target_flags if no switches specified.  */
                     76: 
                     77: #ifndef TARGET_DEFAULT
                     78: #define TARGET_DEFAULT 1
                     79: #endif
                     80: 
                     81: /* Target machine storage layout */
                     82: 
                     83: /* Define for software floating point emulation of VAX format
                     84:    when cross compiling from a non-VAX host. */
                     85: /* #define REAL_ARITHMETIC */
                     86: 
                     87: /* Define this if most significant bit is lowest numbered
                     88:    in instructions that operate on numbered bit-fields.
                     89:    This is not true on the vax.  */
                     90: #define BITS_BIG_ENDIAN 0
                     91: 
                     92: /* Define this if most significant byte of a word is the lowest numbered.  */
                     93: /* That is not true on the vax.  */
                     94: #define BYTES_BIG_ENDIAN 0
                     95: 
                     96: /* Define this if most significant word of a multiword number is the lowest
                     97:    numbered.  */
                     98: /* This is not true on the vax.  */
                     99: #define WORDS_BIG_ENDIAN 0
                    100: 
                    101: /* Number of bits in an addressable storage unit */
                    102: #define BITS_PER_UNIT 8
                    103: 
                    104: /* Width in bits of a "word", which is the contents of a machine register.
                    105:    Note that this is not necessarily the width of data type `int';
                    106:    if using 16-bit ints on a 68000, this would still be 32.
                    107:    But on a machine with 16-bit registers, this would be 16.  */
                    108: #define BITS_PER_WORD 32
                    109: 
                    110: /* Width of a word, in units (bytes).  */
                    111: #define UNITS_PER_WORD 4
                    112: 
                    113: /* Width in bits of a pointer.
                    114:    See also the macro `Pmode' defined below.  */
                    115: #define POINTER_SIZE 32
                    116: 
                    117: /* Allocation boundary (in *bits*) for storing arguments in argument list.  */
                    118: #define PARM_BOUNDARY 32
                    119: 
                    120: /* Allocation boundary (in *bits*) for the code of a function.  */
                    121: #define FUNCTION_BOUNDARY 16
                    122: 
                    123: /* Alignment of field after `int : 0' in a structure.  */
                    124: #define EMPTY_FIELD_BOUNDARY (TARGET_VAXC_ALIGNMENT ? 8 : 32)
                    125: 
                    126: /* Every structure's size must be a multiple of this.  */
                    127: #define STRUCTURE_SIZE_BOUNDARY 8
                    128: 
                    129: /* A bitfield declared as `int' forces `int' alignment for the struct.  */
                    130: #define PCC_BITFIELD_TYPE_MATTERS (! TARGET_VAXC_ALIGNMENT)
                    131: 
                    132: /* No data type wants to be aligned rounder than this.  */
                    133: #define BIGGEST_ALIGNMENT 32
                    134: 
                    135: /* No structure field wants to be aligned rounder than this.  */
                    136: #define BIGGEST_FIELD_ALIGNMENT (TARGET_VAXC_ALIGNMENT ? 8 : 32)
                    137: 
                    138: /* Set this nonzero if move instructions will actually fail to work
                    139:    when given unaligned data.  */
                    140: #define STRICT_ALIGNMENT 0
                    141: 
                    142: /* Let's keep the stack somewhat aligned.  */
                    143: #define STACK_BOUNDARY 32
                    144: 
                    145: /* Standard register usage.  */
                    146: 
                    147: /* Number of actual hardware registers.
                    148:    The hardware registers are assigned numbers for the compiler
                    149:    from 0 to just below FIRST_PSEUDO_REGISTER.
                    150:    All registers that the compiler knows about must be given numbers,
                    151:    even those that are not normally considered general registers.  */
                    152: #define FIRST_PSEUDO_REGISTER 16
                    153: 
                    154: /* 1 for registers that have pervasive standard uses
                    155:    and are not available for the register allocator.
                    156:    On the vax, these are the AP, FP, SP and PC.  */
                    157: #define FIXED_REGISTERS {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1}
                    158: 
                    159: /* 1 for registers not available across function calls.
                    160:    These must include the FIXED_REGISTERS and also any
                    161:    registers that can be used without being saved.
                    162:    The latter must include the registers where values are returned
                    163:    and the register where structure-value addresses are passed.
                    164:    Aside from that, you can include as many other registers as you like.  */
                    165: #define CALL_USED_REGISTERS {1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1}
                    166: 
                    167: /* Return number of consecutive hard regs needed starting at reg REGNO
                    168:    to hold something of mode MODE.
                    169:    This is ordinarily the length in words of a value of mode MODE
                    170:    but can be less for certain modes in special long registers.
                    171:    On the vax, all registers are one word long.  */
                    172: #define HARD_REGNO_NREGS(REGNO, MODE)   \
                    173:  ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
                    174: 
                    175: /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE.
                    176:    On the vax, all registers can hold all modes.  */
                    177: #define HARD_REGNO_MODE_OK(REGNO, MODE) 1
                    178: 
                    179: /* Value is 1 if it is a good idea to tie two pseudo registers
                    180:    when one has mode MODE1 and one has mode MODE2.
                    181:    If HARD_REGNO_MODE_OK could produce different values for MODE1 and MODE2,
                    182:    for any hard reg, then this must be 0 for correct output.  */
                    183: #define MODES_TIEABLE_P(MODE1, MODE2)  1
                    184: 
                    185: /* Specify the registers used for certain standard purposes.
                    186:    The values of these macros are register numbers.  */
                    187: 
                    188: /* Vax pc is overloaded on a register.  */
                    189: #define PC_REGNUM 15
                    190: 
                    191: /* Register to use for pushing function arguments.  */
                    192: #define STACK_POINTER_REGNUM 14
                    193: 
                    194: /* Base register for access to local variables of the function.  */
                    195: #define FRAME_POINTER_REGNUM 13
                    196: 
                    197: /* Value should be nonzero if functions must have frame pointers.
                    198:    Zero means the frame pointer need not be set up (and parms
                    199:    may be accessed via the stack pointer) in functions that seem suitable.
                    200:    This is computed in `reload', in reload1.c.  */
                    201: #define FRAME_POINTER_REQUIRED 1
                    202: 
                    203: /* Base register for access to arguments of the function.  */
                    204: #define ARG_POINTER_REGNUM 12
                    205: 
                    206: /* Register in which static-chain is passed to a function.  */
                    207: #define STATIC_CHAIN_REGNUM 0
                    208: 
                    209: /* Register in which address to store a structure value
                    210:    is passed to a function.  */
                    211: #define STRUCT_VALUE_REGNUM 1
                    212: 
                    213: /* Define the classes of registers for register constraints in the
                    214:    machine description.  Also define ranges of constants.
                    215: 
                    216:    One of the classes must always be named ALL_REGS and include all hard regs.
                    217:    If there is more than one class, another class must be named NO_REGS
                    218:    and contain no registers.
                    219: 
                    220:    The name GENERAL_REGS must be the name of a class (or an alias for
                    221:    another name such as ALL_REGS).  This is the class of registers
                    222:    that is allowed by "g" or "r" in a register constraint.
                    223:    Also, registers outside this class are allocated only when
                    224:    instructions express preferences for them.
                    225: 
                    226:    The classes must be numbered in nondecreasing order; that is,
                    227:    a larger-numbered class must never be contained completely
                    228:    in a smaller-numbered class.
                    229: 
                    230:    For any two classes, it is very desirable that there be another
                    231:    class that represents their union.  */
                    232:    
                    233: /* The vax has only one kind of registers, so NO_REGS and ALL_REGS
                    234:    are the only classes.  */
                    235: 
                    236: enum reg_class { NO_REGS, ALL_REGS, LIM_REG_CLASSES };
                    237: 
                    238: #define N_REG_CLASSES (int) LIM_REG_CLASSES
                    239: 
                    240: /* Since GENERAL_REGS is the same class as ALL_REGS,
                    241:    don't give it a different class number; just make it an alias.  */
                    242: 
                    243: #define GENERAL_REGS ALL_REGS
                    244: 
                    245: /* Give names of register classes as strings for dump file.   */
                    246: 
                    247: #define REG_CLASS_NAMES \
                    248:  {"NO_REGS", "ALL_REGS" }
                    249: 
                    250: /* Define which registers fit in which classes.
                    251:    This is an initializer for a vector of HARD_REG_SET
                    252:    of length N_REG_CLASSES.  */
                    253: 
                    254: #define REG_CLASS_CONTENTS {0, 0xffff}
                    255: 
                    256: /* The same information, inverted:
                    257:    Return the class number of the smallest class containing
                    258:    reg number REGNO.  This could be a conditional expression
                    259:    or could index an array.  */
                    260: 
                    261: #define REGNO_REG_CLASS(REGNO) ALL_REGS
                    262: 
                    263: /* The class value for index registers, and the one for base regs.  */
                    264: 
                    265: #define INDEX_REG_CLASS ALL_REGS
                    266: #define BASE_REG_CLASS ALL_REGS
                    267: 
                    268: /* Get reg_class from a letter such as appears in the machine description.  */
                    269: 
                    270: #define REG_CLASS_FROM_LETTER(C) NO_REGS
                    271: 
                    272: /* The letters I, J, K, L and M in a register constraint string
                    273:    can be used to stand for particular ranges of immediate operands.
                    274:    This macro defines what the ranges are.
                    275:    C is the letter, and VALUE is a constant value.
                    276:    Return 1 if VALUE is in the range specified by C.
                    277: 
                    278:    `I' is the constant zero.  */
                    279: 
                    280: #define CONST_OK_FOR_LETTER_P(VALUE, C) \
                    281:   ((C) == 'I' ? (VALUE) == 0           \
                    282:    : 0)
                    283: 
                    284: /* Similar, but for floating constants, and defining letters G and H.
                    285:    Here VALUE is the CONST_DOUBLE rtx itself. 
                    286: 
                    287:    `G' is a floating-point zero.  */
                    288: 
                    289: #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
                    290:   ((C) == 'G' ? ((VALUE) == CONST0_RTX (DFmode)                \
                    291:                 || (VALUE) == CONST0_RTX (SFmode))     \
                    292:    : 0)
                    293: 
                    294: /* Optional extra constraints for this machine.
                    295: 
                    296:    For the VAX, `Q' means that OP is a MEM that does not have a mode-dependent
                    297:    address.  */
                    298: 
                    299: #define EXTRA_CONSTRAINT(OP, C) \
                    300:   ((C) == 'Q'                                                          \
                    301:    ? GET_CODE (OP) == MEM && ! mode_dependent_address_p (XEXP (OP, 0)) \
                    302:    : 0)
                    303: 
                    304: /* Given an rtx X being reloaded into a reg required to be
                    305:    in class CLASS, return the class of reg to actually use.
                    306:    In general this is just CLASS; but on some machines
                    307:    in some cases it is preferable to use a more restrictive class.  */
                    308: 
                    309: #define PREFERRED_RELOAD_CLASS(X,CLASS)  (CLASS)
                    310: 
                    311: /* Return the maximum number of consecutive registers
                    312:    needed to represent mode MODE in a register of class CLASS.  */
                    313: /* On the vax, this is always the size of MODE in words,
                    314:    since all registers are the same size.  */
                    315: #define CLASS_MAX_NREGS(CLASS, MODE)   \
                    316:  ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
                    317: 
                    318: /* Stack layout; function entry, exit and calling.  */
                    319: 
                    320: /* Define this if pushing a word on the stack
                    321:    makes the stack pointer a smaller address.  */
                    322: #define STACK_GROWS_DOWNWARD
                    323: 
                    324: /* Define this if longjmp restores from saved registers
                    325:    rather than from what setjmp saved.  */
                    326: #define LONGJMP_RESTORE_FROM_STACK
                    327: 
                    328: /* Define this if the nominal address of the stack frame
                    329:    is at the high-address end of the local variables;
                    330:    that is, each additional local variable allocated
                    331:    goes at a more negative offset in the frame.  */
                    332: #define FRAME_GROWS_DOWNWARD
                    333: 
                    334: /* Offset within stack frame to start allocating local variables at.
                    335:    If FRAME_GROWS_DOWNWARD, this is the offset to the END of the
                    336:    first local allocated.  Otherwise, it is the offset to the BEGINNING
                    337:    of the first local allocated.  */
                    338: #define STARTING_FRAME_OFFSET 0
                    339: 
                    340: /* Given an rtx for the address of a frame,
                    341:    return an rtx for the address of the word in the frame
                    342:    that holds the dynamic chain--the previous frame's address.  */
                    343: #define DYNAMIC_CHAIN_ADDRESS(frame) \
                    344: gen_rtx (PLUS, Pmode, frame, gen_rtx (CONST_INT, VOIDmode, 12))
                    345: 
                    346: /* If we generate an insn to push BYTES bytes,
                    347:    this says how many the stack pointer really advances by.
                    348:    On the vax, -(sp) pushes only the bytes of the operands.  */
                    349: #define PUSH_ROUNDING(BYTES) (BYTES)
                    350: 
                    351: /* Offset of first parameter from the argument pointer register value.  */
                    352: #define FIRST_PARM_OFFSET(FNDECL) 4
                    353: 
                    354: /* Value is the number of bytes of arguments automatically
                    355:    popped when returning from a subroutine call.
1.1.1.4 ! root      356:    FUNDECL is the declaration node of the function (as a tree),
1.1       root      357:    FUNTYPE is the data type of the function (as a tree),
                    358:    or for a library call it is an identifier node for the subroutine name.
                    359:    SIZE is the number of bytes of arguments passed on the stack.
                    360: 
                    361:    On the Vax, the RET insn always pops all the args for any function.  */
                    362: 
1.1.1.4 ! root      363: #define RETURN_POPS_ARGS(FUNDECL,FUNTYPE,SIZE) (SIZE)
1.1       root      364: 
                    365: /* Define how to find the value returned by a function.
                    366:    VALTYPE is the data type of the value (as a tree).
                    367:    If the precise function being called is known, FUNC is its FUNCTION_DECL;
                    368:    otherwise, FUNC is 0.  */
                    369: 
                    370: /* On the Vax the return value is in R0 regardless.  */   
                    371: 
                    372: #define FUNCTION_VALUE(VALTYPE, FUNC)  \
                    373:   gen_rtx (REG, TYPE_MODE (VALTYPE), 0)
                    374: 
                    375: /* Define how to find the value returned by a library function
                    376:    assuming the value has mode MODE.  */
                    377: 
                    378: /* On the Vax the return value is in R0 regardless.  */   
                    379: 
                    380: #define LIBCALL_VALUE(MODE)  gen_rtx (REG, MODE, 0)
                    381: 
                    382: /* Define this if PCC uses the nonreentrant convention for returning
                    383:    structure and union values.  */
                    384: 
                    385: #define PCC_STATIC_STRUCT_RETURN
                    386: 
                    387: /* 1 if N is a possible register number for a function value.
                    388:    On the Vax, R0 is the only register thus used.  */
                    389: 
                    390: #define FUNCTION_VALUE_REGNO_P(N) ((N) == 0)
                    391: 
                    392: /* 1 if N is a possible register number for function argument passing.
                    393:    On the Vax, no registers are used in this way.  */
                    394: 
                    395: #define FUNCTION_ARG_REGNO_P(N) 0
                    396: 
                    397: /* Define a data type for recording info about an argument list
                    398:    during the scan of that argument list.  This data type should
                    399:    hold all necessary information about the function itself
                    400:    and about the args processed so far, enough to enable macros
                    401:    such as FUNCTION_ARG to determine where the next arg should go.
                    402: 
                    403:    On the vax, this is a single integer, which is a number of bytes
                    404:    of arguments scanned so far.  */
                    405: 
                    406: #define CUMULATIVE_ARGS int
                    407: 
                    408: /* Initialize a variable CUM of type CUMULATIVE_ARGS
                    409:    for a call to a function whose data type is FNTYPE.
                    410:    For a library call, FNTYPE is 0.
                    411: 
                    412:    On the vax, the offset starts at 0.  */
                    413: 
                    414: #define INIT_CUMULATIVE_ARGS(CUM,FNTYPE,LIBNAME)       \
                    415:  ((CUM) = 0)
                    416: 
                    417: /* Update the data in CUM to advance over an argument
                    418:    of mode MODE and data type TYPE.
                    419:    (TYPE is null for libcalls where that information may not be available.)  */
                    420: 
                    421: #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)   \
                    422:  ((CUM) += ((MODE) != BLKmode                  \
                    423:            ? (GET_MODE_SIZE (MODE) + 3) & ~3   \
                    424:            : (int_size_in_bytes (TYPE) + 3) & ~3))
                    425: 
                    426: /* Define where to put the arguments to a function.
                    427:    Value is zero to push the argument on the stack,
                    428:    or a hard register in which to store the argument.
                    429: 
                    430:    MODE is the argument's machine mode.
                    431:    TYPE is the data type of the argument (as a tree).
                    432:     This is null for libcalls where that information may
                    433:     not be available.
                    434:    CUM is a variable of type CUMULATIVE_ARGS which gives info about
                    435:     the preceding args and about the function being called.
                    436:    NAMED is nonzero if this argument is a named parameter
                    437:     (otherwise it is an extra parameter matching an ellipsis).  */
                    438: 
                    439: /* On the vax all args are pushed.  */   
                    440: 
                    441: #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) 0
                    442: 
                    443: /* This macro generates the assembly code for function entry.
                    444:    FILE is a stdio stream to output the code to.
                    445:    SIZE is an int: how many units of temporary storage to allocate.
                    446:    Refer to the array `regs_ever_live' to determine which registers
                    447:    to save; `regs_ever_live[I]' is nonzero if register number I
                    448:    is ever used in the function.  This macro is responsible for
                    449:    knowing which registers should not be saved even if used.  */
                    450: 
                    451: #define FUNCTION_PROLOGUE(FILE, SIZE)     \
                    452: { register int regno;                                          \
                    453:   register int mask = 0;                                       \
                    454:   extern char call_used_regs[];                                        \
                    455:   for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)      \
                    456:     if (regs_ever_live[regno] && !call_used_regs[regno])       \
                    457:        mask |= 1 << regno;                                     \
                    458:   fprintf (FILE, "\t.word 0x%x\n", mask);                      \
                    459:   MAYBE_VMS_FUNCTION_PROLOGUE(FILE)                            \
                    460:   if ((SIZE) >= 64) fprintf (FILE, "\tmovab %d(sp),sp\n", -SIZE);\
                    461:   else if (SIZE) fprintf (FILE, "\tsubl2 $%d,sp\n", (SIZE)); }
                    462: 
                    463: /* vms.h redefines this.  */
                    464: #define MAYBE_VMS_FUNCTION_PROLOGUE(FILE)
                    465: 
                    466: /* Output assembler code to FILE to increment profiler label # LABELNO
                    467:    for profiling a function entry.  */
                    468: 
                    469: #define FUNCTION_PROFILER(FILE, LABELNO)  \
                    470:    fprintf (FILE, "\tmovab LP%d,r0\n\tjsb mcount\n", (LABELNO));
                    471: 
                    472: /* Output assembler code to FILE to initialize this source file's
                    473:    basic block profiling info, if that has not already been done.  */
                    474: 
                    475: #define FUNCTION_BLOCK_PROFILER(FILE, LABELNO)  \
                    476:   fprintf (FILE, "\ttstl LPBX0\n\tjneq LPI%d\n\tpushal LPBX0\n\tcalls $1,__bb_init_func\nLPI%d:\n",  \
                    477:           LABELNO, LABELNO);
                    478: 
                    479: /* Output assembler code to FILE to increment the entry-count for
                    480:    the BLOCKNO'th basic block in this source file.  This is a real pain in the
                    481:    sphincter on a VAX, since we do not want to change any of the bits in the
                    482:    processor status word.  The way it is done here, it is pushed onto the stack
                    483:    before any flags have changed, and then the stack is fixed up to account for
                    484:    the fact that the instruction to restore the flags only reads a word.
                    485:    It may seem a bit clumsy, but at least it works.
                    486: */
                    487: 
                    488: #define BLOCK_PROFILER(FILE, BLOCKNO)  \
                    489:   fprintf (FILE, "\tmovpsl -(sp)\n\tmovw (sp),2(sp)\n\taddl2 $2,sp\n\taddl2 $1,LPBX2+%d\n\tbicpsw $255\n\tbispsw (sp)+\n", \
                    490:                4 * BLOCKNO)
                    491: 
                    492: /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
                    493:    the stack pointer does not matter.  The value is tested only in
                    494:    functions that have frame pointers.
                    495:    No definition is equivalent to always zero.  */
                    496: 
                    497: #define EXIT_IGNORE_STACK 1
                    498: 
                    499: /* This macro generates the assembly code for function exit,
                    500:    on machines that need it.  If FUNCTION_EPILOGUE is not defined
                    501:    then individual return instructions are generated for each
                    502:    return statement.  Args are same as for FUNCTION_PROLOGUE.  */
                    503: 
                    504: /* #define FUNCTION_EPILOGUE(FILE, SIZE)  */
                    505: 
                    506: /* Store in the variable DEPTH the initial difference between the
                    507:    frame pointer reg contents and the stack pointer reg contents,
                    508:    as of the start of the function body.  This depends on the layout
                    509:    of the fixed parts of the stack frame and on how registers are saved.
                    510: 
                    511:    On the Vax, FRAME_POINTER_REQUIRED is always 1, so the definition of this
                    512:    macro doesn't matter.  But it must be defined.  */
                    513: 
                    514: #define INITIAL_FRAME_POINTER_OFFSET(DEPTH) (DEPTH) = 0;
                    515: 
                    516: /* Output assembler code for a block containing the constant parts
                    517:    of a trampoline, leaving space for the variable parts.  */
                    518: 
                    519: /* On the vax, the trampoline contains an entry mask and two instructions:
                    520:      .word NN
                    521:      movl $STATIC,r0   (store the functions static chain)
                    522:      jmp  *$FUNCTION   (jump to function code at address FUNCTION)  */
                    523: 
                    524: #define TRAMPOLINE_TEMPLATE(FILE)                                      \
                    525: {                                                                      \
                    526:   ASM_OUTPUT_SHORT (FILE, const0_rtx);                                 \
                    527:   ASM_OUTPUT_SHORT (FILE, gen_rtx (CONST_INT, VOIDmode, 0x8fd0));      \
                    528:   ASM_OUTPUT_INT (FILE, const0_rtx);                                   \
                    529:   ASM_OUTPUT_BYTE  (FILE, 0x50+STATIC_CHAIN_REGNUM);                   \
                    530:   ASM_OUTPUT_SHORT (FILE, gen_rtx (CONST_INT, VOIDmode, 0x9f17));      \
                    531:   ASM_OUTPUT_INT (FILE, const0_rtx);                                   \
                    532: }
                    533: 
                    534: /* Length in units of the trampoline for entering a nested function.  */
                    535: 
                    536: #define TRAMPOLINE_SIZE 15
                    537: 
                    538: /* Emit RTL insns to initialize the variable parts of a trampoline.
                    539:    FNADDR is an RTX for the address of the function's pure code.
                    540:    CXT is an RTX for the static chain value for the function.  */
                    541: 
                    542: /* We copy the register-mask from the function's pure code
                    543:    to the start of the trampoline.  */
                    544: #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT)                      \
                    545: {                                                                      \
1.1.1.2   root      546:   emit_insn (gen_rtx (ASM_INPUT, VOIDmode,                             \
                    547:                      "movpsl -(sp)\n\tpushal 1(pc)\n\trei"));          \
1.1       root      548:   emit_move_insn (gen_rtx (MEM, HImode, TRAMP),                                \
                    549:                  gen_rtx (MEM, HImode, FNADDR));                       \
                    550:   emit_move_insn (gen_rtx (MEM, SImode, plus_constant (TRAMP, 4)), CXT);\
                    551:   emit_move_insn (gen_rtx (MEM, SImode, plus_constant (TRAMP, 11)),    \
                    552:                  plus_constant (FNADDR, 2));                           \
                    553: }
1.1.1.4 ! root      554: 
        !           555: /* Byte offset of return address in a stack frame.  The "saved PC" field
        !           556:    is in element [4] when treating the frame as an array of longwords.  */
        !           557: 
        !           558: #define RETURN_ADDRESS_OFFSET  (4 * UNITS_PER_WORD)    /* 16 */
        !           559: 
        !           560: /* A C expression whose value is RTL representing the value of the return
        !           561:    address for the frame COUNT steps up from the current frame.
        !           562:    FRAMEADDR is already the frame pointer of the COUNT frame, so we
        !           563:    can ignore COUNT.  */
        !           564: 
        !           565: #define RETURN_ADDR_RTX(COUNT, FRAME)  \
        !           566:   gen_rtx (MEM, Pmode, plus_constant (FRAME, RETURN_ADDRESS_OFFSET))
        !           567: 
1.1       root      568: 
                    569: /* Addressing modes, and classification of registers for them.  */
                    570: 
                    571: #define HAVE_POST_INCREMENT
                    572: /* #define HAVE_POST_DECREMENT */
                    573: 
                    574: #define HAVE_PRE_DECREMENT
                    575: /* #define HAVE_PRE_INCREMENT */
                    576: 
                    577: /* Macros to check register numbers against specific register classes.  */
                    578: 
                    579: /* These assume that REGNO is a hard or pseudo reg number.
                    580:    They give nonzero only if REGNO is a hard reg of the suitable class
                    581:    or a pseudo reg currently allocated to a suitable hard reg.
                    582:    Since they use reg_renumber, they are safe only once reg_renumber
                    583:    has been allocated, which happens in local-alloc.c.  */
                    584: 
                    585: #define REGNO_OK_FOR_INDEX_P(regno)  \
                    586: ((regno) < FIRST_PSEUDO_REGISTER || reg_renumber[regno] >= 0)
                    587: #define REGNO_OK_FOR_BASE_P(regno) \
                    588: ((regno) < FIRST_PSEUDO_REGISTER || reg_renumber[regno] >= 0)
                    589: 
                    590: /* Maximum number of registers that can appear in a valid memory address.  */
                    591: 
                    592: #define MAX_REGS_PER_ADDRESS 2
                    593: 
                    594: /* 1 if X is an rtx for a constant that is a valid address.  */
                    595: 
                    596: #define CONSTANT_ADDRESS_P(X)   \
                    597:   (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF             \
                    598:    || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST               \
                    599:    || GET_CODE (X) == HIGH)
                    600: 
                    601: /* Nonzero if the constant value X is a legitimate general operand.
                    602:    It is given that X satisfies CONSTANT_P or is a CONST_DOUBLE.  */
                    603: 
                    604: #define LEGITIMATE_CONSTANT_P(X) 1
                    605: 
                    606: /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
                    607:    and check its validity for a certain class.
                    608:    We have two alternate definitions for each of them.
                    609:    The usual definition accepts all pseudo regs; the other rejects
                    610:    them unless they have been allocated suitable hard regs.
                    611:    The symbol REG_OK_STRICT causes the latter definition to be used.
                    612: 
                    613:    Most source files want to accept pseudo regs in the hope that
                    614:    they will get allocated to the class that the insn wants them to be in.
                    615:    Source files for reload pass need to be strict.
                    616:    After reload, it makes no difference, since pseudo regs have
                    617:    been eliminated by then.  */
                    618: 
                    619: #ifndef REG_OK_STRICT
                    620: 
                    621: /* Nonzero if X is a hard reg that can be used as an index
                    622:    or if it is a pseudo reg.  */
                    623: #define REG_OK_FOR_INDEX_P(X) 1
                    624: /* Nonzero if X is a hard reg that can be used as a base reg
                    625:    or if it is a pseudo reg.  */
                    626: #define REG_OK_FOR_BASE_P(X) 1
                    627: 
                    628: #else
                    629: 
                    630: /* Nonzero if X is a hard reg that can be used as an index.  */
                    631: #define REG_OK_FOR_INDEX_P(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
                    632: /* Nonzero if X is a hard reg that can be used as a base reg.  */
                    633: #define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
                    634: 
                    635: #endif
                    636: 
                    637: /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression
                    638:    that is a valid memory address for an instruction.
                    639:    The MODE argument is the machine mode for the MEM expression
                    640:    that wants to use this address.
                    641: 
                    642:    The other macros defined here are used only in GO_IF_LEGITIMATE_ADDRESS,
                    643:    except for CONSTANT_ADDRESS_P which is actually machine-independent.  */
                    644: 
                    645: #ifdef NO_EXTERNAL_INDIRECT_ADDRESS
                    646: 
                    647: /* Zero if this contains a (CONST (PLUS (SYMBOL_REF) (...))) and the
                    648:    symbol in the SYMBOL_REF is an external symbol.  */
                    649: 
                    650: #define INDIRECTABLE_CONSTANT_P(X) \
                    651:  (! (GET_CODE ((X)) == CONST                                   \
                    652:      && GET_CODE (XEXP ((X), 0)) == PLUS                       \
                    653:      && GET_CODE (XEXP (XEXP ((X), 0), 0)) == SYMBOL_REF       \
                    654:      && SYMBOL_REF_FLAG (XEXP (XEXP ((X), 0), 0))))
                    655: 
                    656: /* Re-definition of CONSTANT_ADDRESS_P, which is true only when there
                    657:    are no SYMBOL_REFs for external symbols present.  */
                    658: 
                    659: #define INDIRECTABLE_CONSTANT_ADDRESS_P(X)                             \
                    660:   (GET_CODE (X) == LABEL_REF                                           \
                    661:    || (GET_CODE (X) == SYMBOL_REF && !SYMBOL_REF_FLAG (X))             \
                    662:    || (GET_CODE (X) == CONST && INDIRECTABLE_CONSTANT_P(X))            \
                    663:    || GET_CODE (X) == CONST_INT)
                    664: 
                    665: 
                    666: /* Non-zero if X is an address which can be indirected.  External symbols
                    667:    could be in a sharable image library, so we disallow those.  */
                    668: 
                    669: #define INDIRECTABLE_ADDRESS_P(X)  \
                    670:   (INDIRECTABLE_CONSTANT_ADDRESS_P (X)                                         \
                    671:    || (GET_CODE (X) == REG && REG_OK_FOR_BASE_P (X))                   \
                    672:    || (GET_CODE (X) == PLUS                                            \
                    673:        && GET_CODE (XEXP (X, 0)) == REG                                        \
                    674:        && REG_OK_FOR_BASE_P (XEXP (X, 0))                              \
                    675:        && INDIRECTABLE_CONSTANT_ADDRESS_P (XEXP (X, 1))))
                    676: 
                    677: #else /* not NO_EXTERNAL_INDIRECT_ADDRESS */
                    678: 
                    679: #define INDIRECTABLE_CONSTANT_ADDRESS_P(X) CONSTANT_ADDRESS_P(X)
                    680: 
                    681: /* Non-zero if X is an address which can be indirected.  */
                    682: #define INDIRECTABLE_ADDRESS_P(X)  \
                    683:   (CONSTANT_ADDRESS_P (X)                                              \
                    684:    || (GET_CODE (X) == REG && REG_OK_FOR_BASE_P (X))                   \
                    685:    || (GET_CODE (X) == PLUS                                            \
                    686:        && GET_CODE (XEXP (X, 0)) == REG                                        \
                    687:        && REG_OK_FOR_BASE_P (XEXP (X, 0))                              \
                    688:        && CONSTANT_ADDRESS_P (XEXP (X, 1))))
                    689: 
                    690: #endif /* not NO_EXTERNAL_INDIRECT_ADDRESS */
                    691: 
                    692: /* Go to ADDR if X is a valid address not using indexing.
                    693:    (This much is the easy part.)  */
                    694: #define GO_IF_NONINDEXED_ADDRESS(X, ADDR)  \
                    695: { register rtx xfoob = (X);                                            \
1.1.1.2   root      696:   if (GET_CODE (xfoob) == REG)                                         \
                    697:     {                                                                  \
                    698:       extern rtx *reg_equiv_mem;                                       \
                    699:       if (! reload_in_progress                                         \
                    700:          || reg_equiv_mem[REGNO (xfoob)] == 0                          \
                    701:          || INDIRECTABLE_ADDRESS_P (reg_equiv_mem[REGNO (xfoob)]))     \
                    702:        goto ADDR;                                                      \
                    703:     }                                                                  \
1.1       root      704:   if (CONSTANT_ADDRESS_P (xfoob)) goto ADDR;                           \
                    705:   if (INDIRECTABLE_ADDRESS_P (xfoob)) goto ADDR;                       \
                    706:   xfoob = XEXP (X, 0);                                                 \
                    707:   if (GET_CODE (X) == MEM && INDIRECTABLE_ADDRESS_P (xfoob))           \
                    708:     goto ADDR;                                                         \
                    709:   if ((GET_CODE (X) == PRE_DEC || GET_CODE (X) == POST_INC)            \
                    710:       && GET_CODE (xfoob) == REG && REG_OK_FOR_BASE_P (xfoob))         \
                    711:     goto ADDR; }
                    712: 
                    713: /* 1 if PROD is either a reg times size of mode MODE
                    714:    or just a reg, if MODE is just one byte.
                    715:    This macro's expansion uses the temporary variables xfoo0 and xfoo1
                    716:    that must be declared in the surrounding context.  */
                    717: #define INDEX_TERM_P(PROD, MODE)   \
                    718: (GET_MODE_SIZE (MODE) == 1                                             \
                    719:  ? (GET_CODE (PROD) == REG && REG_OK_FOR_BASE_P (PROD))                        \
                    720:  : (GET_CODE (PROD) == MULT                                            \
                    721:     &&                                                                 \
                    722:     (xfoo0 = XEXP (PROD, 0), xfoo1 = XEXP (PROD, 1),                   \
                    723:      ((GET_CODE (xfoo0) == CONST_INT                                   \
                    724:        && INTVAL (xfoo0) == GET_MODE_SIZE (MODE)                       \
                    725:        && GET_CODE (xfoo1) == REG                                      \
                    726:        && REG_OK_FOR_INDEX_P (xfoo1))                                  \
                    727:       ||                                                               \
                    728:       (GET_CODE (xfoo1) == CONST_INT                                   \
                    729:        && INTVAL (xfoo1) == GET_MODE_SIZE (MODE)                       \
                    730:        && GET_CODE (xfoo0) == REG                                      \
                    731:        && REG_OK_FOR_INDEX_P (xfoo0))))))
                    732: 
                    733: /* Go to ADDR if X is the sum of a register
                    734:    and a valid index term for mode MODE.  */
                    735: #define GO_IF_REG_PLUS_INDEX(X, MODE, ADDR)    \
                    736: { register rtx xfooa;                                                  \
                    737:   if (GET_CODE (X) == PLUS)                                            \
                    738:     { if (GET_CODE (XEXP (X, 0)) == REG                                        \
                    739:          && REG_OK_FOR_BASE_P (XEXP (X, 0))                            \
                    740:          && (xfooa = XEXP (X, 1),                                      \
                    741:              INDEX_TERM_P (xfooa, MODE)))                              \
                    742:        goto ADDR;                                                      \
                    743:       if (GET_CODE (XEXP (X, 1)) == REG                                        \
                    744:          && REG_OK_FOR_BASE_P (XEXP (X, 1))                            \
                    745:          && (xfooa = XEXP (X, 0),                                      \
                    746:              INDEX_TERM_P (xfooa, MODE)))                              \
                    747:        goto ADDR; } }
                    748: 
                    749: #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR)  \
                    750: { register rtx xfoo, xfoo0, xfoo1;                                     \
                    751:   GO_IF_NONINDEXED_ADDRESS (X, ADDR);                                  \
                    752:   if (GET_CODE (X) == PLUS)                                            \
                    753:     { /* Handle <address>[index] represented with index-sum outermost */\
                    754:       xfoo = XEXP (X, 0);                                              \
                    755:       if (INDEX_TERM_P (xfoo, MODE))                                   \
                    756:        { GO_IF_NONINDEXED_ADDRESS (XEXP (X, 1), ADDR); }               \
                    757:       xfoo = XEXP (X, 1);                                              \
                    758:       if (INDEX_TERM_P (xfoo, MODE))                                   \
                    759:        { GO_IF_NONINDEXED_ADDRESS (XEXP (X, 0), ADDR); }               \
                    760:       /* Handle offset(reg)[index] with offset added outermost */      \
                    761:       if (INDIRECTABLE_CONSTANT_ADDRESS_P (XEXP (X, 0)))               \
                    762:        { if (GET_CODE (XEXP (X, 1)) == REG                             \
                    763:              && REG_OK_FOR_BASE_P (XEXP (X, 1)))                       \
                    764:            goto ADDR;                                                  \
                    765:          GO_IF_REG_PLUS_INDEX (XEXP (X, 1), MODE, ADDR); }             \
                    766:       if (INDIRECTABLE_CONSTANT_ADDRESS_P (XEXP (X, 1)))               \
                    767:        { if (GET_CODE (XEXP (X, 0)) == REG                             \
                    768:              && REG_OK_FOR_BASE_P (XEXP (X, 0)))                       \
                    769:            goto ADDR;                                                  \
                    770:          GO_IF_REG_PLUS_INDEX (XEXP (X, 0), MODE, ADDR); } } }
                    771: 
                    772: /* Try machine-dependent ways of modifying an illegitimate address
                    773:    to be legitimate.  If we find one, return the new, valid address.
                    774:    This macro is used in only one place: `memory_address' in explow.c.
                    775: 
                    776:    OLDX is the address as it was before break_out_memory_refs was called.
                    777:    In some cases it is useful to look at this to decide what needs to be done.
                    778: 
                    779:    MODE and WIN are passed so that this macro can use
                    780:    GO_IF_LEGITIMATE_ADDRESS.
                    781: 
                    782:    It is always safe for this macro to do nothing.  It exists to recognize
                    783:    opportunities to optimize the output.
                    784: 
                    785:    For the vax, nothing needs to be done.  */
                    786: 
                    787: #define LEGITIMIZE_ADDRESS(X,OLDX,MODE,WIN)  {}
                    788: 
                    789: /* Go to LABEL if ADDR (a legitimate address expression)
                    790:    has an effect that depends on the machine mode it is used for.
                    791:    On the VAX, the predecrement and postincrement address depend thus
                    792:    (the amount of decrement or increment being the length of the operand)
                    793:    and all indexed address depend thus (because the index scale factor
                    794:    is the length of the operand).  */
                    795: #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR,LABEL)       \
                    796:  { if (GET_CODE (ADDR) == POST_INC || GET_CODE (ADDR) == PRE_DEC)      \
                    797:      goto LABEL;                                                       \
                    798:    if (GET_CODE (ADDR) == PLUS)                                                \
                    799:      { if (CONSTANT_ADDRESS_P (XEXP (ADDR, 0))                         \
                    800:           && GET_CODE (XEXP (ADDR, 1)) == REG);                        \
                    801:        else if (CONSTANT_ADDRESS_P (XEXP (ADDR, 1))                    \
                    802:                && GET_CODE (XEXP (ADDR, 0)) == REG);                   \
                    803:        else goto LABEL; }}
                    804: 
                    805: /* Specify the machine mode that this machine uses
                    806:    for the index in the tablejump instruction.  */
                    807: #define CASE_VECTOR_MODE HImode
                    808: 
                    809: /* Define this if the case instruction expects the table
                    810:    to contain offsets from the address of the table.
                    811:    Do not define this if the table should contain absolute addresses.  */
                    812: #define CASE_VECTOR_PC_RELATIVE
                    813: 
                    814: /* Define this if the case instruction drops through after the table
                    815:    when the index is out of range.  Don't define it if the case insn
                    816:    jumps to the default label instead.  */
                    817: #define CASE_DROPS_THROUGH
                    818: 
                    819: /* Specify the tree operation to be used to convert reals to integers.  */
                    820: #define IMPLICIT_FIX_EXPR FIX_ROUND_EXPR
                    821: 
                    822: /* This is the kind of divide that is easiest to do in the general case.  */
                    823: #define EASY_DIV_EXPR TRUNC_DIV_EXPR
                    824: 
                    825: /* Define this as 1 if `char' should by default be signed; else as 0.  */
                    826: #define DEFAULT_SIGNED_CHAR 1
                    827: 
                    828: /* This flag, if defined, says the same insns that convert to a signed fixnum
                    829:    also convert validly to an unsigned one.  */
                    830: #define FIXUNS_TRUNC_LIKE_FIX_TRUNC
                    831: 
                    832: /* Max number of bytes we can move from memory to memory
                    833:    in one reasonably fast instruction.  */
                    834: #define MOVE_MAX 8
                    835: 
                    836: /* Define this if zero-extension is slow (more than one real instruction).  */
                    837: /* #define SLOW_ZERO_EXTEND */
                    838: 
                    839: /* Nonzero if access to memory by bytes is slow and undesirable.  */
                    840: #define SLOW_BYTE_ACCESS 0
                    841: 
                    842: /* Define if shifts truncate the shift count
                    843:    which implies one can omit a sign-extension or zero-extension
                    844:    of a shift count.  */
                    845: /* #define SHIFT_COUNT_TRUNCATED */
                    846: 
                    847: /* Value is 1 if truncating an integer of INPREC bits to OUTPREC bits
                    848:    is done just by pretending it is already truncated.  */
                    849: #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
                    850: 
                    851: /* Specify the machine mode that pointers have.
                    852:    After generation of rtl, the compiler makes no further distinction
                    853:    between pointers and any other objects of this machine mode.  */
                    854: #define Pmode SImode
                    855: 
                    856: /* A function address in a call instruction
                    857:    is a byte address (for indexing purposes)
                    858:    so give the MEM rtx a byte's mode.  */
                    859: #define FUNCTION_MODE QImode
                    860: 
                    861: /* This machine doesn't use IEEE floats.  */
                    862: 
                    863: #define TARGET_FLOAT_FORMAT VAX_FLOAT_FORMAT
                    864: 
                    865: /* Compute the cost of computing a constant rtl expression RTX
                    866:    whose rtx-code is CODE.  The body of this macro is a portion
                    867:    of a switch statement.  If the code is computed here,
                    868:    return it with a return statement.  Otherwise, break from the switch.  */
                    869: 
                    870: /* On a VAX, constants from 0..63 are cheap because they can use the
                    871:    1 byte literal constant format.  compare to -1 should be made cheap
                    872:    so that decrement-and-branch insns can be formed more easily (if
                    873:    the value -1 is copied to a register some decrement-and-branch patterns
                    874:    will not match).  */
                    875: 
                    876: #define CONST_COSTS(RTX,CODE,OUTER_CODE) \
                    877:   case CONST_INT:                                              \
                    878:     if (INTVAL (RTX) == 0) return 0;                           \
                    879:     if ((OUTER_CODE) == AND)                                   \
                    880:       return ((unsigned) ~INTVAL (RTX) <= 077) ? 1 : 2;                \
                    881:     if ((unsigned) INTVAL (RTX) <= 077) return 1;              \
                    882:     if ((OUTER_CODE) == COMPARE && INTVAL (RTX) == -1)         \
                    883:       return 1;                                                        \
                    884:     if ((OUTER_CODE) == PLUS && (unsigned) -INTVAL (RTX) <= 077)\
                    885:       return 1;                                                        \
                    886:   case CONST:                                                  \
                    887:   case LABEL_REF:                                              \
                    888:   case SYMBOL_REF:                                             \
                    889:     return 3;                                                  \
                    890:   case CONST_DOUBLE:                                           \
                    891:     if (GET_MODE_CLASS (GET_MODE (RTX)) == MODE_FLOAT)         \
                    892:       return vax_float_literal (RTX) ? 5 : 8;                  \
                    893:     else                                                       \
                    894:       return (((CONST_DOUBLE_HIGH (RTX) == 0                   \
                    895:                && (unsigned) CONST_DOUBLE_LOW (RTX) < 64)      \
                    896:               || ((OUTER_CODE) == PLUS                         \
                    897:                   && CONST_DOUBLE_HIGH (RTX) == -1             \
                    898:                   && (unsigned)-CONST_DOUBLE_LOW (RTX) < 64))  \
                    899:              ? 2 : 5);
                    900: 
                    901: #define RTX_COSTS(RTX,CODE,OUTER_CODE) case FIX: case FLOAT:   \
                    902:  case MULT: case DIV: case UDIV: case MOD: case UMOD:          \
1.1.1.3   root      903:  case ASHIFT: case LSHIFTRT: case ASHIFTRT:                    \
1.1       root      904:  case ROTATE: case ROTATERT: case PLUS: case MINUS: case IOR:  \
                    905:  case XOR: case AND: case NEG: case NOT: case ZERO_EXTRACT:    \
                    906:  case SIGN_EXTRACT: case MEM: return vax_rtx_cost(RTX)
                    907: 
                    908: #define        ADDRESS_COST(RTX) (1 + (GET_CODE (RTX) == REG ? 0 : vax_address_cost(RTX)))
                    909: 
                    910: /* Specify the cost of a branch insn; roughly the number of extra insns that
                    911:    should be added to avoid a branch.
                    912: 
                    913:    Branches are extremely cheap on the VAX while the shift insns often
                    914:    used to replace branches can be expensive.  */
                    915: 
                    916: #define BRANCH_COST 0
                    917: 
                    918: /*
                    919:  * We can use the BSD C library routines for the libgcc calls that are
                    920:  * still generated, since that's what they boil down to anyways.
                    921:  */
                    922: 
                    923: #define UDIVSI3_LIBCALL "*udiv"
                    924: #define UMODSI3_LIBCALL "*urem"
                    925: 
                    926: /* Check a `double' value for validity for a particular machine mode.  */
                    927: 
                    928: /* note that it is very hard to accidentally create a number that fits in a
                    929:    double but not in a float, since their ranges are almost the same */
                    930: 
1.1.1.3   root      931: #define CHECK_FLOAT_VALUE(MODE, D, OVERFLOW) \
                    932:   ((OVERFLOW) = check_float_value (MODE, &D, OVERFLOW))
1.1       root      933: 
                    934: /* For future reference:
                    935:    D Float: 9 bit, sign magnitude, excess 128 binary exponent
                    936:             normalized 56 bit fraction, redundant bit not represented
                    937:             approximately 16 decimal digits of precision
                    938: 
                    939:    The values to use if we trust decimal to binary conversions:
                    940: #define MAX_D_FLOAT 1.7014118346046923e+38
                    941: #define MIN_D_FLOAT .29387358770557188e-38
                    942: 
                    943:    G float: 12 bit, sign magnitude, excess 1024 binary exponent
                    944:             normalized 53 bit fraction, redundant bit not represented
                    945:             approximately 15 decimal digits precision
                    946: 
                    947:    The values to use if we trust decimal to binary conversions:
                    948: #define MAX_G_FLOAT .898846567431157e+308
                    949: #define MIN_G_FLOAT .556268464626800e-308
                    950: */
                    951: 
                    952: /* Tell final.c how to eliminate redundant test instructions.  */
                    953: 
                    954: /* Here we define machine-dependent flags and fields in cc_status
                    955:    (see `conditions.h').  No extra ones are needed for the vax.  */
                    956: 
                    957: /* Store in cc_status the expressions
                    958:    that the condition codes will describe
                    959:    after execution of an instruction whose pattern is EXP.
                    960:    Do not alter them if the instruction would not alter the cc's.  */
                    961: 
                    962: #define NOTICE_UPDATE_CC(EXP, INSN) \
                    963: { if (GET_CODE (EXP) == SET)                                   \
                    964:     { if (GET_CODE (SET_SRC (EXP)) == CALL)                    \
                    965:        CC_STATUS_INIT;                                         \
                    966:       else if (GET_CODE (SET_DEST (EXP)) != PC)                        \
                    967:        { cc_status.flags = 0;                                  \
                    968:          cc_status.value1 = SET_DEST (EXP);                    \
                    969:          cc_status.value2 = SET_SRC (EXP); } }                 \
                    970:   else if (GET_CODE (EXP) == PARALLEL                          \
                    971:           && GET_CODE (XVECEXP (EXP, 0, 0)) == SET)            \
                    972:     {                                                          \
                    973:       if (GET_CODE (SET_SRC (XVECEXP (EXP, 0, 0))) == CALL)    \
1.1.1.4 ! root      974:        CC_STATUS_INIT;                                         \
1.1       root      975:       else if (GET_CODE (SET_DEST (XVECEXP (EXP, 0, 0))) != PC) \
                    976:        { cc_status.flags = 0;                                  \
                    977:          cc_status.value1 = SET_DEST (XVECEXP (EXP, 0, 0));    \
1.1.1.4 ! root      978:          cc_status.value2 = SET_SRC (XVECEXP (EXP, 0, 0)); }   \
        !           979:       else                                                     \
        !           980:        /* PARALLELs whose first element sets the PC are aob,   \
        !           981:           sob insns.  They do change the cc's.  */             \
        !           982:        CC_STATUS_INIT; }                                       \
1.1       root      983:   else CC_STATUS_INIT;                                         \
                    984:   if (cc_status.value1 && GET_CODE (cc_status.value1) == REG   \
                    985:       && cc_status.value2                                      \
                    986:       && reg_overlap_mentioned_p (cc_status.value1, cc_status.value2)) \
                    987:     cc_status.value2 = 0;                                      \
                    988:   if (cc_status.value1 && GET_CODE (cc_status.value1) == MEM   \
                    989:       && cc_status.value2                                      \
                    990:       && GET_CODE (cc_status.value2) == MEM)                   \
                    991:     cc_status.value2 = 0; }
                    992: /* Actual condition, one line up, should be that value2's address
                    993:    depends on value1, but that is too much of a pain.  */
                    994: 
                    995: #define OUTPUT_JUMP(NORMAL, FLOAT, NO_OV)  \
                    996: { if (cc_status.flags & CC_NO_OVERFLOW)                                \
                    997:     return NO_OV;                                              \
                    998:   return NORMAL; }
                    999: 
                   1000: /* Control the assembler format that we output.  */
                   1001: 
                   1002: /* Output at beginning of assembler file.  */
                   1003: 
                   1004: #define ASM_FILE_START(FILE) fprintf (FILE, "#NO_APP\n");
                   1005: 
                   1006: /* Output to assembler file text saying following lines
                   1007:    may contain character constants, extra white space, comments, etc.  */
                   1008: 
                   1009: #define ASM_APP_ON "#APP\n"
                   1010: 
                   1011: /* Output to assembler file text saying following lines
                   1012:    no longer contain unusual constructs.  */
                   1013: 
                   1014: #define ASM_APP_OFF "#NO_APP\n"
                   1015: 
                   1016: /* Output before read-only data.  */
                   1017: 
                   1018: #define TEXT_SECTION_ASM_OP ".text"
                   1019: 
                   1020: /* Output before writable data.  */
                   1021: 
                   1022: #define DATA_SECTION_ASM_OP ".data"
                   1023: 
                   1024: /* How to refer to registers in assembler output.
                   1025:    This sequence is indexed by compiler's hard-register-number (see above).  */
                   1026: 
                   1027: #define REGISTER_NAMES \
                   1028: {"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", \
                   1029:  "r9", "r10", "r11", "ap", "fp", "sp", "pc"}
                   1030: 
                   1031: /* This is BSD, so it wants DBX format.  */
                   1032: 
                   1033: #define DBX_DEBUGGING_INFO
                   1034: 
                   1035: /* How to renumber registers for dbx and gdb.
                   1036:    Vax needs no change in the numeration.  */
                   1037: 
                   1038: #define DBX_REGISTER_NUMBER(REGNO) (REGNO)
                   1039: 
                   1040: /* Do not break .stabs pseudos into continuations.  */
                   1041: 
                   1042: #define DBX_CONTIN_LENGTH 0
                   1043: 
                   1044: /* This is the char to use for continuation (in case we need to turn
                   1045:    continuation back on).  */
                   1046: 
                   1047: #define DBX_CONTIN_CHAR '?'
                   1048: 
                   1049: /* Don't use the `xsfoo;' construct in DBX output; this system
                   1050:    doesn't support it.  */
                   1051: 
                   1052: #define DBX_NO_XREFS
                   1053: 
                   1054: /* Output the .stabs for a C `static' variable in the data section.  */
                   1055: #define DBX_STATIC_STAB_DATA_SECTION
                   1056: 
                   1057: /* Vax specific: which type character is used for type double?  */
                   1058: 
                   1059: #define ASM_DOUBLE_CHAR (TARGET_G_FLOAT ? 'g' : 'd')
                   1060: 
                   1061: /* This is how to output the definition of a user-level label named NAME,
                   1062:    such as the label on a static function or variable NAME.  */
                   1063: 
                   1064: #define ASM_OUTPUT_LABEL(FILE,NAME)    \
                   1065:   do { assemble_name (FILE, NAME); fputs (":\n", FILE); } while (0)
                   1066: 
                   1067: /* This is how to output a command to make the user-level label named NAME
                   1068:    defined for reference from other files.  */
                   1069: 
                   1070: #define ASM_GLOBALIZE_LABEL(FILE,NAME) \
                   1071:   do { fputs (".globl ", FILE); assemble_name (FILE, NAME); fputs ("\n", FILE);} while (0)
                   1072: 
                   1073: /* This is how to output a reference to a user-level label named NAME.  */
                   1074: 
                   1075: #define ASM_OUTPUT_LABELREF(FILE,NAME) \
                   1076:   fprintf (FILE, "_%s", NAME)
                   1077: 
                   1078: /* This is how to output an internal numbered label where
                   1079:    PREFIX is the class of label and NUM is the number within the class.  */
                   1080: 
                   1081: #define ASM_OUTPUT_INTERNAL_LABEL(FILE,PREFIX,NUM)     \
                   1082:   fprintf (FILE, "%s%d:\n", PREFIX, NUM)
                   1083: 
                   1084: /* This is how to store into the string LABEL
                   1085:    the symbol_ref name of an internal numbered label where
                   1086:    PREFIX is the class of label and NUM is the number within the class.
                   1087:    This is suitable for output with `assemble_name'.  */
                   1088: 
                   1089: #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM)  \
                   1090:   sprintf (LABEL, "*%s%d", PREFIX, NUM)
                   1091: 
                   1092: /* This is how to output an assembler line defining a `double' constant.
                   1093:    It is .dfloat or .gfloat, depending.  */
                   1094: 
                   1095: #define ASM_OUTPUT_DOUBLE(FILE,VALUE)  \
                   1096: do { char dstr[30];                                                    \
                   1097:      REAL_VALUE_TO_DECIMAL (VALUE, "%.20e", dstr);                     \
                   1098:      fprintf (FILE, "\t.%cfloat 0%c%s\n", ASM_DOUBLE_CHAR,             \
                   1099:                                          ASM_DOUBLE_CHAR, dstr);       \
                   1100:    } while (0);
                   1101: 
                   1102: /* This is how to output an assembler line defining a `float' constant.  */
                   1103: 
                   1104: #define ASM_OUTPUT_FLOAT(FILE,VALUE)  \
                   1105:   do { char dstr[30];                                          \
                   1106:        REAL_VALUE_TO_DECIMAL (VALUE, "%.20e", dstr);           \
                   1107:        fprintf (FILE, "\t.float 0f%s\n", dstr); } while (0);
                   1108: 
                   1109: /* This is how to output an assembler line defining an `int' constant.  */
                   1110: 
                   1111: #define ASM_OUTPUT_INT(FILE,VALUE)  \
                   1112: ( fprintf (FILE, "\t.long "),                  \
                   1113:   output_addr_const (FILE, (VALUE)),           \
                   1114:   fprintf (FILE, "\n"))
                   1115: 
                   1116: /* Likewise for `char' and `short' constants.  */
                   1117: 
                   1118: #define ASM_OUTPUT_SHORT(FILE,VALUE)  \
                   1119: ( fprintf (FILE, "\t.word "),                  \
                   1120:   output_addr_const (FILE, (VALUE)),           \
                   1121:   fprintf (FILE, "\n"))
                   1122: 
                   1123: #define ASM_OUTPUT_CHAR(FILE,VALUE)  \
                   1124: ( fprintf (FILE, "\t.byte "),                  \
                   1125:   output_addr_const (FILE, (VALUE)),           \
                   1126:   fprintf (FILE, "\n"))
                   1127: 
                   1128: /* This is how to output an assembler line for a numeric constant byte.  */
                   1129: 
                   1130: #define ASM_OUTPUT_BYTE(FILE,VALUE)  \
                   1131:   fprintf (FILE, "\t.byte 0x%x\n", (VALUE))
                   1132: 
                   1133: /* This is how to output an insn to push a register on the stack.
                   1134:    It need not be very fast code.  */
                   1135: 
                   1136: #define ASM_OUTPUT_REG_PUSH(FILE,REGNO)  \
                   1137:   fprintf (FILE, "\tpushl %s\n", reg_names[REGNO])
                   1138: 
                   1139: /* This is how to output an insn to pop a register from the stack.
                   1140:    It need not be very fast code.  */
                   1141: 
                   1142: #define ASM_OUTPUT_REG_POP(FILE,REGNO)  \
                   1143:   fprintf (FILE, "\tmovl (sp)+,%s\n", reg_names[REGNO])
                   1144: 
                   1145: /* This is how to output an element of a case-vector that is absolute.
                   1146:    (The Vax does not use such vectors,
                   1147:    but we must define this macro anyway.)  */
                   1148: 
                   1149: #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE)  \
                   1150:   fprintf (FILE, "\t.long L%d\n", VALUE)
                   1151: 
                   1152: /* This is how to output an element of a case-vector that is relative.  */
                   1153: 
                   1154: #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, VALUE, REL)  \
                   1155:   fprintf (FILE, "\t.word L%d-L%d\n", VALUE, REL)
                   1156: 
                   1157: /* This is how to output an assembler line
                   1158:    that says to advance the location counter
                   1159:    to a multiple of 2**LOG bytes.  */
                   1160: 
                   1161: #define ASM_OUTPUT_ALIGN(FILE,LOG)  \
                   1162:   fprintf (FILE, "\t.align %d\n", (LOG))
                   1163: 
                   1164: /* This is how to output an assembler line
                   1165:    that says to advance the location counter by SIZE bytes.  */
                   1166: 
                   1167: #define ASM_OUTPUT_SKIP(FILE,SIZE)  \
                   1168:   fprintf (FILE, "\t.space %u\n", (SIZE))
                   1169: 
                   1170: /* This says how to output an assembler line
                   1171:    to define a global common symbol.  */
                   1172: 
                   1173: #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED)  \
                   1174: ( fputs (".comm ", (FILE)),                    \
                   1175:   assemble_name ((FILE), (NAME)),              \
                   1176:   fprintf ((FILE), ",%u\n", (ROUNDED)))
                   1177: 
                   1178: /* This says how to output an assembler line
                   1179:    to define a local common symbol.  */
                   1180: 
                   1181: #define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE, ROUNDED)  \
                   1182: ( fputs (".lcomm ", (FILE)),                   \
                   1183:   assemble_name ((FILE), (NAME)),              \
                   1184:   fprintf ((FILE), ",%u\n", (ROUNDED)))
                   1185: 
                   1186: /* Store in OUTPUT a string (made with alloca) containing
                   1187:    an assembler-name for a local static variable named NAME.
                   1188:    LABELNO is an integer which is different for each call.  */
                   1189: 
                   1190: #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO) \
                   1191: ( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 10),   \
                   1192:   sprintf ((OUTPUT), "%s.%d", (NAME), (LABELNO)))
                   1193: 
1.1.1.3   root     1194: /* When debugging, we want to output an extra dummy label so that gas
                   1195:    can distinguish between D_float and G_float prior to processing the
                   1196:    .stabs directive identifying type double.  */
                   1197: 
                   1198: #define ASM_IDENTIFY_LANGUAGE(FILE)    \
                   1199:   do {                                                         \
                   1200:     output_lang_identify (FILE);                               \
                   1201:     if (write_symbols == DBX_DEBUG)                            \
                   1202:       fprintf (FILE, "___vax_%c_doubles:\n", ASM_DOUBLE_CHAR); \
                   1203:   } while (0)
                   1204: 
1.1       root     1205: /* Define the parentheses used to group arithmetic operations
                   1206:    in assembler code.  */
                   1207: 
                   1208: #define ASM_OPEN_PAREN "("
                   1209: #define ASM_CLOSE_PAREN ")"
                   1210: 
                   1211: /* Define results of standard character escape sequences.  */
                   1212: #define TARGET_BELL 007
                   1213: #define TARGET_BS 010
                   1214: #define TARGET_TAB 011
                   1215: #define TARGET_NEWLINE 012
                   1216: #define TARGET_VT 013
                   1217: #define TARGET_FF 014
                   1218: #define TARGET_CR 015
                   1219: 
                   1220: /* Print an instruction operand X on file FILE.
                   1221:    CODE is the code from the %-spec that requested printing this operand;
                   1222:    if `%z3' was used to print operand 3, then CODE is 'z'.
                   1223: 
                   1224: VAX operand formatting codes:
                   1225: 
                   1226:  letter           print
                   1227:    C   reverse branch condition
                   1228:    D   64-bit immediate operand
                   1229:    B   the low 8 bits of the complement of a constant operand
                   1230:    H   the low 16 bits of the complement of a constant operand
                   1231:    M   a mask for the N highest bits of a word
                   1232:    N   the complement of a constant integer operand
                   1233:    P   constant operand plus 1
                   1234:    R   32 - constant operand
                   1235:    b   the low 8 bits of a negated constant operand
                   1236:    h   the low 16 bits of a negated constant operand
                   1237:    #   'd' or 'g' depending on whether dfloat or gfloat is used  */
                   1238: 
                   1239: /* The purpose of D is to get around a quirk or bug in vax assembler
                   1240:    whereby -1 in a 64-bit immediate operand means 0x00000000ffffffff,
                   1241:    which is not a 64-bit minus one.  */
                   1242: 
                   1243: #define PRINT_OPERAND_PUNCT_VALID_P(CODE)                              \
                   1244:   ((CODE) == '#')
                   1245: 
                   1246: #define PRINT_OPERAND(FILE, X, CODE)  \
                   1247: { extern char *rev_cond_name ();                                       \
                   1248:   if (CODE == '#') fputc (ASM_DOUBLE_CHAR, FILE);                      \
                   1249:   else if (CODE == 'C')                                                        \
                   1250:     fputs (rev_cond_name (X), FILE);                                   \
                   1251:   else if (CODE == 'D' && GET_CODE (X) == CONST_INT && INTVAL (X) < 0) \
                   1252:     fprintf (FILE, "$0xffffffff%08x", INTVAL (X));                     \
                   1253:   else if (CODE == 'P' && GET_CODE (X) == CONST_INT)                   \
                   1254:     fprintf (FILE, "$%d", INTVAL (X) + 1);                             \
                   1255:   else if (CODE == 'N' && GET_CODE (X) == CONST_INT)                   \
                   1256:     fprintf (FILE, "$%d", ~ INTVAL (X));                               \
                   1257:   /* rotl instruction cannot deal with negative arguments.  */         \
                   1258:   else if (CODE == 'R' && GET_CODE (X) == CONST_INT)                   \
                   1259:     fprintf (FILE, "$%d", 32 - INTVAL (X));                            \
                   1260:   else if (CODE == 'H' && GET_CODE (X) == CONST_INT)                   \
                   1261:     fprintf (FILE, "$%d", 0xffff & ~ INTVAL (X));                      \
                   1262:   else if (CODE == 'h' && GET_CODE (X) == CONST_INT)                   \
                   1263:     fprintf (FILE, "$%d", (short) - INTVAL (x));                       \
                   1264:   else if (CODE == 'B' && GET_CODE (X) == CONST_INT)                   \
                   1265:     fprintf (FILE, "$%d", 0xff & ~ INTVAL (X));                                \
                   1266:   else if (CODE == 'b' && GET_CODE (X) == CONST_INT)                   \
                   1267:     fprintf (FILE, "$%d", 0xff & - INTVAL (X));                                \
                   1268:   else if (CODE == 'M' && GET_CODE (X) == CONST_INT)                   \
                   1269:     fprintf (FILE, "$%d", ~((1 << INTVAL (x)) - 1));                   \
                   1270:   else if (GET_CODE (X) == REG)                                                \
                   1271:     fprintf (FILE, "%s", reg_names[REGNO (X)]);                                \
                   1272:   else if (GET_CODE (X) == MEM)                                                \
                   1273:     output_address (XEXP (X, 0));                                      \
                   1274:   else if (GET_CODE (X) == CONST_DOUBLE && GET_MODE (X) == SFmode)     \
                   1275:     { REAL_VALUE_TYPE r; char dstr[30];                                        \
                   1276:       REAL_VALUE_FROM_CONST_DOUBLE (r, X);                             \
                   1277:       REAL_VALUE_TO_DECIMAL (r, "%.20e", dstr);                                \
                   1278:       fprintf (FILE, "$0f%s", dstr); }                                 \
                   1279:   else if (GET_CODE (X) == CONST_DOUBLE && GET_MODE (X) == DFmode)     \
                   1280:     { REAL_VALUE_TYPE r; char dstr[30];                                        \
                   1281:       REAL_VALUE_FROM_CONST_DOUBLE (r, X);                             \
                   1282:       REAL_VALUE_TO_DECIMAL (r, "%.20e", dstr);                                \
                   1283:       fprintf (FILE, "$0%c%s", ASM_DOUBLE_CHAR, dstr); }               \
                   1284:   else { putc ('$', FILE); output_addr_const (FILE, X); }}
                   1285: 
                   1286: /* Print a memory operand whose address is X, on file FILE.
                   1287:    This uses a function in output-vax.c.  */
                   1288: 
                   1289: #define PRINT_OPERAND_ADDRESS(FILE, ADDR)  \
                   1290:  print_operand_address (FILE, ADDR)

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.