/* Definitions of target machine for GNU compiler, Synopsys DesignWare ARC cpu. Copyright (C) 1994-2017 Free Software Foundation, Inc. This file is part of GCC. GCC 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 3, or (at your option) any later version. GCC 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 GCC; see the file COPYING3. If not see . */ #ifndef GCC_ARC_H #define GCC_ARC_H #include /* Things to do: - incscc, decscc? */ #define SYMBOL_FLAG_SHORT_CALL (SYMBOL_FLAG_MACH_DEP << 0) #define SYMBOL_FLAG_MEDIUM_CALL (SYMBOL_FLAG_MACH_DEP << 1) #define SYMBOL_FLAG_LONG_CALL (SYMBOL_FLAG_MACH_DEP << 2) #define SYMBOL_FLAG_CMEM (SYMBOL_FLAG_MACH_DEP << 3) #ifndef TARGET_CPU_DEFAULT #define TARGET_CPU_DEFAULT PROCESSOR_arc700 #endif /* Check if this symbol has a long_call attribute in its declaration */ #define SYMBOL_REF_LONG_CALL_P(X) \ ((SYMBOL_REF_FLAGS (X) & SYMBOL_FLAG_LONG_CALL) != 0) /* Check if this symbol has a medium_call attribute in its declaration */ #define SYMBOL_REF_MEDIUM_CALL_P(X) \ ((SYMBOL_REF_FLAGS (X) & SYMBOL_FLAG_MEDIUM_CALL) != 0) /* Check if this symbol has a short_call attribute in its declaration */ #define SYMBOL_REF_SHORT_CALL_P(X) \ ((SYMBOL_REF_FLAGS (X) & SYMBOL_FLAG_SHORT_CALL) != 0) /* Names to predefine in the preprocessor for this target machine. */ #define TARGET_CPU_CPP_BUILTINS() arc_cpu_cpp_builtins (pfile) /* Macros enabled by specific command line option. FIXME: to be deprecatd. */ #define CPP_SPEC "\ %{msimd:-D__Xsimd} %{mno-mpy:-D__Xno_mpy} %{mswap:-D__Xswap} \ %{mmin-max:-D__Xmin_max} %{mEA:-D__Xea} \ %{mspfp*:-D__Xspfp} %{mdpfp*:-D__Xdpfp} \ %{mmac-d16:-D__Xxmac_d16} %{mmac-24:-D__Xxmac_24} \ %{mdsp-packa:-D__Xdsp_packa} %{mcrc:-D__Xcrc} %{mdvbf:-D__Xdvbf} \ %{mtelephony:-D__Xtelephony} %{mxy:-D__Xxy} %{mmul64: -D__Xmult32} \ %{mlock:-D__Xlock} %{mswape:-D__Xswape} %{mrtsc:-D__Xrtsc} \ %(subtarget_cpp_spec)" #undef CC1_SPEC #define CC1_SPEC "\ %{EB:%{EL:%emay not use both -EB and -EL}} \ %{EB:-mbig-endian} %{EL:-mlittle-endian} \ " extern const char *arc_cpu_to_as (int argc, const char **argv); #define EXTRA_SPEC_FUNCTIONS \ { "cpu_to_as", arc_cpu_to_as }, /* This macro defines names of additional specifications to put in the specs that can be used in various specifications like CC1_SPEC. Its definition is an initializer with a subgrouping for each command option. Each subgrouping contains a string constant, that defines the specification name, and a string constant that used by the GCC driver program. Do not define this macro if it does not need to do anything. */ #define EXTRA_SPECS \ { "subtarget_cpp_spec", SUBTARGET_CPP_SPEC }, \ SUBTARGET_EXTRA_SPECS #ifndef SUBTARGET_EXTRA_SPECS #define SUBTARGET_EXTRA_SPECS #endif #ifndef SUBTARGET_CPP_SPEC #define SUBTARGET_CPP_SPEC "" #endif #undef ASM_SPEC #define ASM_SPEC "%{mbig-endian|EB:-EB} %{EL} " \ "%:cpu_to_as(%{mcpu=*:%*}) %{mspfp*} %{mdpfp*} %{mfpu=fpuda*:-mfpuda}" #define OPTION_DEFAULT_SPECS \ {"cpu", "%{!mcpu=*:%{!mARC*:%{!marc*:%{!mA7:%{!mA6:-mcpu=%(VALUE)}}}}}" } #ifndef DRIVER_ENDIAN_SELF_SPECS #define DRIVER_ENDIAN_SELF_SPECS "" #endif #define DRIVER_SELF_SPECS DRIVER_ENDIAN_SELF_SPECS \ "%{mARC600|mA6: -mcpu=arc600 %arch_info->arch_id \ == BASE_ARCH_6xx) \ && (TARGET_BARREL_SHIFTER)) #define TARGET_ARC601 ((arc_selected_cpu->arch_info->arch_id \ == BASE_ARCH_6xx) \ && (!TARGET_BARREL_SHIFTER)) #define TARGET_ARC700 (arc_selected_cpu->arch_info->arch_id \ == BASE_ARCH_700) /* An NPS400 is a specialisation of ARC700, so it is correct for NPS400 TARGET_ARC700 is true, and TARGET_NPS400 is true. */ #define TARGET_NPS400 ((arc_selected_cpu->arch_info->arch_id \ == BASE_ARCH_700) \ && (arc_selected_cpu->processor \ == PROCESSOR_nps400)) #define TARGET_EM (arc_selected_cpu->arch_info->arch_id == BASE_ARCH_em) #define TARGET_HS (arc_selected_cpu->arch_info->arch_id == BASE_ARCH_hs) #define TARGET_V2 (TARGET_EM || TARGET_HS) #ifndef UNALIGNED_ACCESS_DEFAULT #define UNALIGNED_ACCESS_DEFAULT 0 #endif #ifndef TARGET_NPS_BITOPS_DEFAULT #define TARGET_NPS_BITOPS_DEFAULT 0 #endif #ifndef TARGET_NPS_CMEM_DEFAULT #define TARGET_NPS_CMEM_DEFAULT 0 #endif /* Enable the RRQ instruction alternatives. */ #define TARGET_RRQ_CLASS TARGET_NPS_BITOPS /* Target machine storage layout. */ /* We want zero_extract to mean the same no matter what the byte endianness is. */ #define BITS_BIG_ENDIAN 0 /* Define this if most significant byte of a word is the lowest numbered. */ #define BYTES_BIG_ENDIAN (TARGET_BIG_ENDIAN) /* Define this if most significant word of a multiword number is the lowest numbered. */ #define WORDS_BIG_ENDIAN (TARGET_BIG_ENDIAN) /* Width in bits of a "word", which is the contents of a machine register. Note that this is not necessarily the width of data type `int'; if using 16-bit ints on a 68000, this would still be 32. But on a machine with 16-bit registers, this would be 16. */ #define BITS_PER_WORD 32 /* Width of a word, in units (bytes). */ #define UNITS_PER_WORD 4 /* Define this macro if it is advisable to hold scalars in registers in a wider mode than that declared by the program. In such cases, the value is constrained to be within the bounds of the declared type, but kept valid in the wider mode. The signedness of the extension may differ from that of the type. */ #define PROMOTE_MODE(MODE,UNSIGNEDP,TYPE) \ if (GET_MODE_CLASS (MODE) == MODE_INT \ && GET_MODE_SIZE (MODE) < UNITS_PER_WORD) \ { \ (MODE) = SImode; \ } /* Width in bits of a pointer. See also the macro `Pmode' defined below. */ #define POINTER_SIZE 32 /* Allocation boundary (in *bits*) for storing arguments in argument list. */ #define PARM_BOUNDARY 32 /* Boundary (in *bits*) on which stack pointer should be aligned. */ /* TOCHECK: Changed from 64 to 32 */ #define STACK_BOUNDARY 32 /* ALIGN FRAMES on word boundaries. */ #define ARC_STACK_ALIGN(LOC) \ (((LOC) + STACK_BOUNDARY / BITS_PER_UNIT - 1) & -STACK_BOUNDARY/BITS_PER_UNIT) /* Allocation boundary (in *bits*) for the code of a function. */ #define FUNCTION_BOUNDARY 32 /* Alignment of field after `int : 0' in a structure. */ #define EMPTY_FIELD_BOUNDARY 32 /* Every structure's size must be a multiple of this. */ #define STRUCTURE_SIZE_BOUNDARY 8 /* A bitfield declared as `int' forces `int' alignment for the struct. */ #define PCC_BITFIELD_TYPE_MATTERS 1 /* An expression for the alignment of a structure field FIELD if the alignment computed in the usual way (including applying of `BIGGEST_ALIGNMENT' and `BIGGEST_FIELD_ALIGNMENT' to the alignment) is COMPUTED. It overrides alignment only if the field alignment has not been set by the `__attribute__ ((aligned (N)))' construct. */ #define ADJUST_FIELD_ALIGN(FIELD, TYPE, COMPUTED) \ (TYPE_MODE (strip_array_types (TYPE)) == DFmode \ ? MIN ((COMPUTED), 32) : (COMPUTED)) /* No data type wants to be aligned rounder than this. */ /* This is bigger than currently necessary for the ARC. If 8 byte floats are ever added it's not clear whether they'll need such alignment or not. For now we assume they will. We can always relax it if necessary but the reverse isn't true. */ /* TOCHECK: Changed from 64 to 32 */ #define BIGGEST_ALIGNMENT 32 /* The best alignment to use in cases where we have a choice. */ #define FASTEST_ALIGNMENT 32 /* Make strings word-aligned so strcpy from constants will be faster. */ #define CONSTANT_ALIGNMENT(EXP, ALIGN) \ ((TREE_CODE (EXP) == STRING_CST \ && (ALIGN) < FASTEST_ALIGNMENT) \ ? FASTEST_ALIGNMENT : (ALIGN)) /* Make arrays of chars word-aligned for the same reasons. */ #define LOCAL_ALIGNMENT(TYPE, ALIGN) \ (TREE_CODE (TYPE) == ARRAY_TYPE \ && TYPE_MODE (TREE_TYPE (TYPE)) == QImode \ && (ALIGN) < FASTEST_ALIGNMENT ? FASTEST_ALIGNMENT : (ALIGN)) #define DATA_ALIGNMENT(TYPE, ALIGN) \ (TREE_CODE (TYPE) == ARRAY_TYPE \ && TYPE_MODE (TREE_TYPE (TYPE)) == QImode \ && arc_size_opt_level < 3 \ && (ALIGN) < FASTEST_ALIGNMENT ? FASTEST_ALIGNMENT : (ALIGN)) /* Set this nonzero if move instructions will actually fail to work when given unaligned data. */ /* On the ARC the lower address bits are masked to 0 as necessary. The chip won't croak when given an unaligned address, but the insn will still fail to produce the correct result. */ #define STRICT_ALIGNMENT 1 /* Layout of source language data types. */ #define SHORT_TYPE_SIZE 16 #define INT_TYPE_SIZE 32 #define LONG_TYPE_SIZE 32 #define LONG_LONG_TYPE_SIZE 64 #define FLOAT_TYPE_SIZE 32 #define DOUBLE_TYPE_SIZE 64 #define LONG_DOUBLE_TYPE_SIZE 64 /* Define this as 1 if `char' should by default be signed; else as 0. */ #define DEFAULT_SIGNED_CHAR 0 #undef SIZE_TYPE #define SIZE_TYPE "unsigned int" #undef PTRDIFF_TYPE #define PTRDIFF_TYPE "int" #undef WCHAR_TYPE #define WCHAR_TYPE "int" #undef WCHAR_TYPE_SIZE #define WCHAR_TYPE_SIZE 32 #define PROGRAM_COUNTER_REGNO 63 /* Standard register usage. */ /* Number of actual hardware registers. The hardware registers are assigned numbers for the compiler from 0 to just below FIRST_PSEUDO_REGISTER. All registers that the compiler knows about must be given numbers, even those that are not normally considered general registers. Registers 61, 62, and 63 are not really registers and we needn't treat them as such. We still need a register for the condition code and argument pointer. */ /* r63 is pc, r64-r127 = simd vregs, r128-r143 = simd dma config regs r144, r145 = lp_start, lp_end and therefore the pseudo registers start from r146. */ #define FIRST_PSEUDO_REGISTER 146 /* 1 for registers that have pervasive standard uses and are not available for the register allocator. 0-28 - general purpose registers 29 - ilink1 (interrupt link register) 30 - ilink2 (interrupt link register) 31 - blink (branch link register) 32-59 - reserved for extensions 60 - LP_COUNT 61 - condition code 62 - argument pointer 63 - program counter FWIW, this is how the 61-63 encodings are used by the hardware: 61 - reserved 62 - long immediate data indicator 63 - PCL (program counter aligned to 32 bit, read-only) The general purpose registers are further broken down into: 0-7 - arguments/results 8-12 - call used (r11 - static chain pointer) 13-25 - call saved 26 - global pointer 27 - frame pointer 28 - stack pointer 29 - ilink1 30 - ilink2 31 - return address register By default, the extension registers are not available. */ /* Present implementations only have VR0-VR23 only. */ /* ??? FIXME: r27 and r31 should not be fixed registers. */ #define FIXED_REGISTERS \ { 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 1, 1, 1, 1, 1, 1, \ \ 1, 1, 1, 1, 1, 1, 1, 1, \ 0, 0, 0, 0, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 0, 1, 1, 1, \ \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 1, 1, 1, 1, 1, 1, 1, 1, \ \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 1, 1} /* 1 for registers not available across function calls. These must include the FIXED_REGISTERS and also any registers that can be used without being saved. The latter must include the registers where values are returned and the register where structure-value addresses are passed. Aside from that, you can include as many other registers as you like. */ #define CALL_USED_REGISTERS \ { \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 1, 1, 1, 1, 1, 1, \ \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 1, 1, 1, 1, 1, 1, 1, 1, \ \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ 1, 1, 1, 1, 1, 1, 1, 1, \ \ 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, \ 1, 1} /* If defined, an initializer for a vector of integers, containing the numbers of hard registers in the order in which GCC should prefer to use them (from most preferred to least). */ #define REG_ALLOC_ORDER \ { 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, \ 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, \ 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, \ 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, \ 27, 28, 29, 30, 31, 63} /* Return number of consecutive hard regs needed starting at reg REGNO to hold something of mode MODE. This is ordinarily the length in words of a value of mode MODE but can be less for certain modes in special long registers. */ #define HARD_REGNO_NREGS(REGNO, MODE) \ ((GET_MODE_SIZE (MODE) == 16 \ && REGNO >= ARC_FIRST_SIMD_VR_REG && REGNO <= ARC_LAST_SIMD_VR_REG) ? 1 \ : (GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD) /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE. */ extern unsigned int arc_hard_regno_mode_ok[]; extern unsigned int arc_mode_class[]; #define HARD_REGNO_MODE_OK(REGNO, MODE) \ ((arc_hard_regno_mode_ok[REGNO] & arc_mode_class[MODE]) != 0) /* A C expression that is nonzero if it is desirable to choose register allocation so as to avoid move instructions between a value of mode MODE1 and a value of mode MODE2. If `HARD_REGNO_MODE_OK (R, MODE1)' and `HARD_REGNO_MODE_OK (R, MODE2)' are ever different for any R, then `MODES_TIEABLE_P (MODE1, MODE2)' must be zero. */ /* Tie QI/HI/SI modes together. */ #define MODES_TIEABLE_P(MODE1, MODE2) \ (GET_MODE_CLASS (MODE1) == MODE_INT \ && GET_MODE_CLASS (MODE2) == MODE_INT \ && GET_MODE_SIZE (MODE1) <= UNITS_PER_WORD \ && GET_MODE_SIZE (MODE2) <= UNITS_PER_WORD) /* Internal macros to classify a register number as to whether it's a general purpose register for compact insns (r0-r3,r12-r15), or stack pointer (r28). */ #define COMPACT_GP_REG_P(REGNO) \ (((signed)(REGNO) >= 0 && (REGNO) <= 3) || ((REGNO) >= 12 && (REGNO) <= 15)) #define SP_REG_P(REGNO) ((REGNO) == 28) /* Register classes and constants. */ /* Define the classes of registers for register constraints in the machine description. Also define ranges of constants. One of the classes must always be named ALL_REGS and include all hard regs. If there is more than one class, another class must be named NO_REGS and contain no registers. The name GENERAL_REGS must be the name of a class (or an alias for another name such as ALL_REGS). This is the class of registers that is allowed by "g" or "r" in a register constraint. Also, registers outside this class are allocated only when instructions express preferences for them. The classes must be numbered in nondecreasing order; that is, a larger-numbered class must never be contained completely in a smaller-numbered class. For any two classes, it is very desirable that there be another class that represents their union. It is important that any condition codes have class NO_REGS. See `register_operand'. */ enum reg_class { NO_REGS, R0_REGS, /* 'x' */ GP_REG, /* 'Rgp' */ FP_REG, /* 'f' */ SP_REGS, /* 'b' */ LPCOUNT_REG, /* 'l' */ LINK_REGS, /* 'k' */ DOUBLE_REGS, /* D0, D1 */ SIMD_VR_REGS, /* VR00-VR63 */ SIMD_DMA_CONFIG_REGS, /* DI0-DI7,DO0-DO7 */ ARCOMPACT16_REGS, /* 'q' */ AC16_BASE_REGS, /* 'e' */ SIBCALL_REGS, /* "Rsc" */ GENERAL_REGS, /* 'r' */ MPY_WRITABLE_CORE_REGS, /* 'W' */ WRITABLE_CORE_REGS, /* 'w' */ CHEAP_CORE_REGS, /* 'c' */ ALL_CORE_REGS, /* 'Rac' */ R0R3_CD_REGS, /* 'Rcd' */ R0R1_CD_REGS, /* 'Rsd' */ AC16_H_REGS, /* 'h' */ ALL_REGS, LIM_REG_CLASSES }; #define N_REG_CLASSES (int) LIM_REG_CLASSES /* Give names of register classes as strings for dump file. */ #define REG_CLASS_NAMES \ { \ "NO_REGS", \ "R0_REGS", \ "GP_REG", \ "FP_REG", \ "SP_REGS", \ "LPCOUNT_REG", \ "LINK_REGS", \ "DOUBLE_REGS", \ "SIMD_VR_REGS", \ "SIMD_DMA_CONFIG_REGS", \ "ARCOMPACT16_REGS", \ "AC16_BASE_REGS", \ "SIBCALL_REGS", \ "GENERAL_REGS", \ "MPY_WRITABLE_CORE_REGS", \ "WRITABLE_CORE_REGS", \ "CHEAP_CORE_REGS", \ "R0R3_CD_REGS", \ "R0R1_CD_REGS", \ "AC16_H_REGS", \ "ALL_CORE_REGS", \ "ALL_REGS" \ } /* Define which registers fit in which classes. This is an initializer for a vector of HARD_REG_SET of length N_REG_CLASSES. */ #define REG_CLASS_CONTENTS \ { \ {0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* No Registers */ \ {0x00000001, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'x', r0 register , r0 */ \ {0x04000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'Rgp', Global Pointer, r26 */ \ {0x08000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'f', Frame Pointer, r27 */ \ {0x10000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'b', Stack Pointer, r28 */ \ {0x00000000, 0x10000000, 0x00000000, 0x00000000, 0x00000000}, /* 'l', LPCOUNT Register, r60 */ \ {0xe0000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'k', LINK Registers, r29-r31 */ \ {0x00000000, 0x00000f00, 0x00000000, 0x00000000, 0x00000000}, /* 'D', D1, D2 Registers */ \ {0x00000000, 0x00000000, 0xffffffff, 0xffffffff, 0x00000000}, /* 'V', VR00-VR63 Registers */ \ {0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x0000ffff}, /* 'V', DI0-7,DO0-7 Registers */ \ {0x0000f00f, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'q', r0-r3, r12-r15 */ \ {0x1000f00f, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'e', r0-r3, r12-r15, sp */ \ {0x1c001fff, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* "Rsc", r0-r12 */ \ {0x9fffffff, 0xc0000000, 0x00000000, 0x00000000, 0x00000000}, /* 'r', r0-r28, blink, ap and pcl */ \ {0xffffffff, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'W', r0-r31 */ \ /* Include ap / pcl in WRITABLE_CORE_REGS for sake of symmetry. As these \ registers are fixed, it does not affect the literal meaning of the \ constraints, but it makes it a superset of GENERAL_REGS, thus \ enabling some operations that would otherwise not be possible. */ \ {0xffffffff, 0xd0000000, 0x00000000, 0x00000000, 0x00000000}, /* 'w', r0-r31, r60 */ \ {0xffffffff, 0xdfffffff, 0x00000000, 0x00000000, 0x00000000}, /* 'c', r0-r60, ap, pcl */ \ {0xffffffff, 0xdfffffff, 0x00000000, 0x00000000, 0x00000000}, /* 'Rac', r0-r60, ap, pcl */ \ {0x0000000f, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'Rcd', r0-r3 */ \ {0x00000003, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'Rsd', r0-r1 */ \ {0x9fffffff, 0x00000000, 0x00000000, 0x00000000, 0x00000000}, /* 'h', r0-28, r30 */ \ {0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x0003ffff} /* All Registers */ \ } /* Local macros to mark the first and last regs of different classes. */ #define ARC_FIRST_SIMD_VR_REG 64 #define ARC_LAST_SIMD_VR_REG 127 #define ARC_FIRST_SIMD_DMA_CONFIG_REG 128 #define ARC_FIRST_SIMD_DMA_CONFIG_IN_REG 128 #define ARC_FIRST_SIMD_DMA_CONFIG_OUT_REG 136 #define ARC_LAST_SIMD_DMA_CONFIG_REG 143 /* ARCv2 double-register accumulator. */ #define ACC_REG_FIRST 58 #define ACC_REG_LAST 59 #define ACCL_REGNO (TARGET_BIG_ENDIAN ? ACC_REG_FIRST + 1 : ACC_REG_FIRST) #define ACCH_REGNO (TARGET_BIG_ENDIAN ? ACC_REG_FIRST : ACC_REG_FIRST + 1) /* The same information, inverted: Return the class number of the smallest class containing reg number REGNO. This could be a conditional expression or could index an array. */ extern enum reg_class arc_regno_reg_class[]; #define REGNO_REG_CLASS(REGNO) (arc_regno_reg_class[REGNO]) /* The class value for valid index registers. An index register is one used in an address where its value is either multiplied by a scale factor or added to another register (as well as added to a displacement). */ #define INDEX_REG_CLASS (TARGET_MIXED_CODE ? ARCOMPACT16_REGS : GENERAL_REGS) /* The class value for valid base registers. A base register is one used in an address which is the register value plus a displacement. */ #define BASE_REG_CLASS (TARGET_MIXED_CODE ? AC16_BASE_REGS : GENERAL_REGS) /* These assume that REGNO is a hard or pseudo reg number. They give nonzero only if REGNO is a hard reg of the suitable class or a pseudo reg currently allocated to a suitable hard reg. Since they use reg_renumber, they are safe only once reg_renumber has been allocated, which happens in local-alloc.c. */ #define REGNO_OK_FOR_BASE_P(REGNO) \ ((REGNO) < 29 || ((REGNO) == ARG_POINTER_REGNUM) || ((REGNO) == 63) \ || ((unsigned) reg_renumber[REGNO] < 29) \ || ((unsigned) (REGNO) == (unsigned) arc_tp_regno)) #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P(REGNO) /* Given an rtx X being reloaded into a reg required to be in class CLASS, return the class of reg to actually use. In general this is just CLASS; but on some machines in some cases it is preferable to use a more restrictive class. */ #define PREFERRED_RELOAD_CLASS(X, CLASS) \ arc_preferred_reload_class((X), (CLASS)) extern enum reg_class arc_preferred_reload_class (rtx, enum reg_class); /* Return the maximum number of consecutive registers needed to represent mode MODE in a register of class CLASS. */ #define CLASS_MAX_NREGS(CLASS, MODE) \ (( GET_MODE_SIZE (MODE) == 16 && CLASS == SIMD_VR_REGS) ? 1: \ ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)) #define SMALL_INT(X) ((unsigned) ((X) + 0x100) < 0x200) #define SMALL_INT_RANGE(X, OFFSET, SHIFT) \ ((unsigned) (((X) >> (SHIFT)) + 0x100) \ < 0x200 - ((unsigned) (OFFSET) >> (SHIFT))) #define SIGNED_INT12(X) ((unsigned) ((X) + 0x800) < 0x1000) #define SIGNED_INT16(X) ((unsigned) ((X) + 0x8000) < 0x10000) #define LARGE_INT(X) \ (((X) < 0) \ ? (X) >= (-(HOST_WIDE_INT) 0x7fffffff - 1) \ : (unsigned HOST_WIDE_INT) (X) <= (unsigned HOST_WIDE_INT) 0xffffffff) #define UNSIGNED_INT3(X) ((unsigned) (X) < 0x8) #define UNSIGNED_INT5(X) ((unsigned) (X) < 0x20) #define UNSIGNED_INT6(X) ((unsigned) (X) < 0x40) #define UNSIGNED_INT7(X) ((unsigned) (X) < 0x80) #define UNSIGNED_INT8(X) ((unsigned) (X) < 0x100) #define UNSIGNED_INT12(X) ((unsigned) (X) < 0x800) #define UNSIGNED_INT16(X) ((unsigned) (X) < 0x10000) #define IS_ONE(X) ((X) == 1) #define IS_ZERO(X) ((X) == 0) /* Stack layout and stack pointer usage. */ /* Define this macro if pushing a word onto the stack moves the stack pointer to a smaller address. */ #define STACK_GROWS_DOWNWARD 1 /* Define this if the nominal address of the stack frame is at the high-address end of the local variables; that is, each additional local variable allocated goes at a more negative offset in the frame. */ #define FRAME_GROWS_DOWNWARD 1 /* Offset within stack frame to start allocating local variables at. If FRAME_GROWS_DOWNWARD, this is the offset to the END of the first local allocated. Otherwise, it is the offset to the BEGINNING of the first local allocated. */ #define STARTING_FRAME_OFFSET 0 /* Offset from the stack pointer register to the first location at which outgoing arguments are placed. */ #define STACK_POINTER_OFFSET (0) /* Offset of first parameter from the argument pointer register value. */ #define FIRST_PARM_OFFSET(FNDECL) (0) /* A C expression whose value is RTL representing the address in a stack frame where the pointer to the caller's frame is stored. Assume that FRAMEADDR is an RTL expression for the address of the stack frame itself. If you don't define this macro, the default is to return the value of FRAMEADDR--that is, the stack frame address is also the address of the stack word that points to the previous frame. */ /* ??? unfinished */ /*define DYNAMIC_CHAIN_ADDRESS (FRAMEADDR)*/ /* A C expression whose value is RTL representing the value of the return address for the frame COUNT steps up from the current frame. FRAMEADDR is the frame pointer of the COUNT frame, or the frame pointer of the COUNT - 1 frame if `RETURN_ADDR_IN_PREVIOUS_FRAME' is defined. */ /* The current return address is in r31. The return address of anything farther back is at [%fp,4]. */ #define RETURN_ADDR_RTX(COUNT, FRAME) \ arc_return_addr_rtx(COUNT,FRAME) /* Register to use for pushing function arguments. */ #define STACK_POINTER_REGNUM 28 /* Base register for access to local variables of the function. */ #define FRAME_POINTER_REGNUM 27 /* Base register for access to arguments of the function. This register will be eliminated into either fp or sp. */ #define ARG_POINTER_REGNUM 62 #define RETURN_ADDR_REGNUM 31 /* TODO - check usage of STATIC_CHAIN_REGNUM with a testcase */ /* Register in which static-chain is passed to a function. This must not be a register used by the prologue. */ #define STATIC_CHAIN_REGNUM 11 /* Function argument passing. */ /* If defined, the maximum amount of space required for outgoing arguments will be computed and placed into the variable `crtl->outgoing_args_size'. No space will be pushed onto the stack for each call; instead, the function prologue should increase the stack frame size by this amount. */ #define ACCUMULATE_OUTGOING_ARGS 1 /* Define a data type for recording info about an argument list during the scan of that argument list. This data type should hold all necessary information about the function itself and about the args processed so far, enough to enable macros such as FUNCTION_ARG to determine where the next arg should go. */ #define CUMULATIVE_ARGS int /* Initialize a variable CUM of type CUMULATIVE_ARGS for a call to a function whose data type is FNTYPE. For a library call, FNTYPE is 0. */ #define INIT_CUMULATIVE_ARGS(CUM,FNTYPE,LIBNAME,INDIRECT,N_NAMED_ARGS) \ ((CUM) = 0) /* The number of registers used for parameter passing. Local to this file. */ #define MAX_ARC_PARM_REGS 8 /* 1 if N is a possible register number for function argument passing. */ #define FUNCTION_ARG_REGNO_P(N) \ ((unsigned) (N) < MAX_ARC_PARM_REGS) /* The ROUND_ADVANCE* macros are local to this file. */ /* Round SIZE up to a word boundary. */ #define ROUND_ADVANCE(SIZE) \ (((SIZE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD) /* Round arg MODE/TYPE up to the next word boundary. */ #define ROUND_ADVANCE_ARG(MODE, TYPE) \ ((MODE) == BLKmode \ ? ROUND_ADVANCE (int_size_in_bytes (TYPE)) \ : ROUND_ADVANCE (GET_MODE_SIZE (MODE))) #define ARC_FUNCTION_ARG_BOUNDARY(MODE,TYPE) PARM_BOUNDARY /* Round CUM up to the necessary point for argument MODE/TYPE. */ /* N.B. Vectors have alignment exceeding BIGGEST_ALIGNMENT. ARC_FUNCTION_ARG_BOUNDARY reduces this to no more than 32 bit. */ #define ROUND_ADVANCE_CUM(CUM, MODE, TYPE) \ ((((CUM) - 1) | (ARC_FUNCTION_ARG_BOUNDARY ((MODE), (TYPE)) - 1)/BITS_PER_WORD)\ + 1) /* Return boolean indicating arg of type TYPE and mode MODE will be passed in a reg. This includes arguments that have to be passed by reference as the pointer to them is passed in a reg if one is available (and that is what we're given). When passing arguments NAMED is always 1. When receiving arguments NAMED is 1 for each argument except the last in a stdarg/varargs function. In a stdarg function we want to treat the last named arg as named. In a varargs function we want to treat the last named arg (which is `__builtin_va_alist') as unnamed. This macro is only used in this file. */ #define PASS_IN_REG_P(CUM, MODE, TYPE) \ ((CUM) < MAX_ARC_PARM_REGS) /* Function results. */ /* Define how to find the value returned by a library function assuming the value has mode MODE. */ #define LIBCALL_VALUE(MODE) gen_rtx_REG (MODE, 0) /* 1 if N is a possible register number for a function value as seen by the caller. */ /* ??? What about r1 in DI/DF values. */ #define FUNCTION_VALUE_REGNO_P(N) ((N) == 0) /* Tell GCC to use RETURN_IN_MEMORY. */ #define DEFAULT_PCC_STRUCT_RETURN 0 /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function, the stack pointer does not matter. The value is tested only in functions that have frame pointers. No definition is equivalent to always zero. */ #define EXIT_IGNORE_STACK 0 #define EPILOGUE_USES(REGNO) arc_epilogue_uses ((REGNO)) #define EH_USES(REGNO) arc_eh_uses((REGNO)) /* Definitions for register eliminations. This is an array of structures. Each structure initializes one pair of eliminable registers. The "from" register number is given first, followed by "to". Eliminations of the same "from" register are listed in order of preference. We have two registers that can be eliminated on the ARC. First, the argument pointer register can always be eliminated in favor of the stack pointer register or frame pointer register. Secondly, the frame pointer register can often be eliminated in favor of the stack pointer register. */ #define ELIMINABLE_REGS \ {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \ {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \ {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}} /* Define the offset between two registers, one to be eliminated, and the other its replacement, at the start of a routine. */ extern int arc_initial_elimination_offset(int from, int to); #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \ (OFFSET) = arc_initial_elimination_offset ((FROM), (TO)) /* Output assembler code to FILE to increment profiler label # LABELNO for profiling a function entry. */ #define FUNCTION_PROFILER(FILE, LABELNO) \ do { \ if (flag_pic) \ fprintf (FILE, "\tbl\t__mcount@plt\n"); \ else \ fprintf (FILE, "\tbl\t__mcount\n"); \ } while (0); #define NO_PROFILE_COUNTERS 1 /* Trampolines. */ /* Length in units of the trampoline for entering a nested function. */ #define TRAMPOLINE_SIZE 20 /* Alignment required for a trampoline in bits . */ /* For actual data alignment we just need 32, no more than the stack; however, to reduce cache coherency issues, we want to make sure that trampoline instructions always appear the same in any given cache line. */ #define TRAMPOLINE_ALIGNMENT 256 /* Library calls. */ /* Addressing modes, and classification of registers for them. */ /* Maximum number of registers that can appear in a valid memory address. */ /* The `ld' insn allows 2, but the `st' insn only allows 1. */ #define MAX_REGS_PER_ADDRESS 1 /* We have pre inc/dec (load/store with update). */ #define HAVE_PRE_INCREMENT 1 #define HAVE_PRE_DECREMENT 1 #define HAVE_POST_INCREMENT 1 #define HAVE_POST_DECREMENT 1 #define HAVE_PRE_MODIFY_DISP 1 #define HAVE_POST_MODIFY_DISP 1 #define HAVE_PRE_MODIFY_REG 1 #define HAVE_POST_MODIFY_REG 1 /* ??? should also do PRE_MODIFY_REG / POST_MODIFY_REG, but that requires a special predicate for the memory operand of stores, like for the SH. */ /* Recognize any constant value that is a valid address. */ #define CONSTANT_ADDRESS_P(X) \ (flag_pic?arc_legitimate_pic_addr_p (X): \ (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF \ || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST)) /* Is the argument a const_int rtx, containing an exact power of 2 */ #define IS_POWEROF2_P(X) (! ( (X) & ((X) - 1)) && (X)) #define IS_POWEROF2_OR_0_P(X) (! ( (X) & ((X) - 1))) /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx and check its validity for a certain class. We have two alternate definitions for each of them. The *_NONSTRICT definition accepts all pseudo regs; the other rejects them unless they have been allocated suitable hard regs. Most source files want to accept pseudo regs in the hope that they will get allocated to the class that the insn wants them to be in. Source files for reload pass need to be strict. After reload, it makes no difference, since pseudo regs have been eliminated by then. */ /* Nonzero if X is a hard reg that can be used as an index or if it is a pseudo reg. */ #define REG_OK_FOR_INDEX_P_NONSTRICT(X) \ ((unsigned) REGNO (X) >= FIRST_PSEUDO_REGISTER || \ (unsigned) REGNO (X) < 29 || \ (unsigned) REGNO (X) == 63 || \ (unsigned) REGNO (X) == ARG_POINTER_REGNUM) /* Nonzero if X is a hard reg that can be used as a base reg or if it is a pseudo reg. */ #define REG_OK_FOR_BASE_P_NONSTRICT(X) \ ((unsigned) REGNO (X) >= FIRST_PSEUDO_REGISTER || \ (unsigned) REGNO (X) < 29 || \ (unsigned) REGNO (X) == 63 || \ (unsigned) REGNO (X) == ARG_POINTER_REGNUM) /* Nonzero if X is a hard reg that can be used as an index. */ #define REG_OK_FOR_INDEX_P_STRICT(X) REGNO_OK_FOR_INDEX_P (REGNO (X)) /* Nonzero if X is a hard reg that can be used as a base reg. */ #define REG_OK_FOR_BASE_P_STRICT(X) REGNO_OK_FOR_BASE_P (REGNO (X)) /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression that is a valid memory address for an instruction. The MODE argument is the machine mode for the MEM expression that wants to use this address. */ /* The `ld' insn allows [reg],[reg+shimm],[reg+limm],[reg+reg],[limm] but the `st' insn only allows [reg],[reg+shimm],[limm]. The only thing we can do is only allow the most strict case `st' and hope other parts optimize out the restrictions for `ld'. */ #define RTX_OK_FOR_BASE_P(X, STRICT) \ (REG_P (X) \ && ((STRICT) ? REG_OK_FOR_BASE_P_STRICT (X) : REG_OK_FOR_BASE_P_NONSTRICT (X))) #define RTX_OK_FOR_INDEX_P(X, STRICT) \ (REG_P (X) \ && ((STRICT) ? REG_OK_FOR_INDEX_P_STRICT (X) : REG_OK_FOR_INDEX_P_NONSTRICT (X))) /* A C compound statement that attempts to replace X, which is an address that needs reloading, with a valid memory address for an operand of mode MODE. WIN is a C statement label elsewhere in the code. We try to get a normal form of the address. That will allow inheritance of the address reloads. */ #define LEGITIMIZE_RELOAD_ADDRESS(X,MODE,OPNUM,TYPE,IND_LEVELS,WIN) \ do { \ if (arc_legitimize_reload_address (&(X), (MODE), (OPNUM), (TYPE))) \ goto WIN; \ } while (0) /* Reading lp_count for anything but the lp instruction is very slow on the ARC700. */ #define DONT_REALLOC(REGNO,MODE) \ (TARGET_ARC700 && (REGNO) == 60) /* Given a comparison code (EQ, NE, etc.) and the first operand of a COMPARE, return the mode to be used for the comparison. */ /*extern machine_mode arc_select_cc_mode ();*/ #define SELECT_CC_MODE(OP, X, Y) \ arc_select_cc_mode (OP, X, Y) /* Return non-zero if SELECT_CC_MODE will never return MODE for a floating point inequality comparison. */ #define REVERSIBLE_CC_MODE(MODE) 1 /*???*/ /* Costs. */ /* Compute extra cost of moving data between one register class and another. */ #define REGISTER_MOVE_COST(MODE, CLASS, TO_CLASS) \ arc_register_move_cost ((MODE), (CLASS), (TO_CLASS)) /* Compute the cost of moving data between registers and memory. */ /* Memory is 3 times as expensive as registers. ??? Is that the right way to look at it? */ #define MEMORY_MOVE_COST(MODE,CLASS,IN) \ (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD ? 6 : 12) /* The cost of a branch insn. */ /* ??? What's the right value here? Branches are certainly more expensive than reg->reg moves. */ #define BRANCH_COST(speed_p, predictable_p) 2 /* Scc sets the destination to 1 and then conditionally zeroes it. Best case, ORed SCCs can be made into clear - condset - condset. But it could also end up as five insns. So say it costs four on average. These extra instructions - and the second comparison - will also be an extra cost if the first comparison would have been decisive. So get an average saving, with a probability of the first branch beging decisive of p0, we want: p0 * (branch_cost - 4) > (1 - p0) * 5 ??? We don't get to see that probability to evaluate, so we can only wildly guess that it might be 50%. ??? The compiler also lacks the notion of branch predictability. */ #define LOGICAL_OP_NON_SHORT_CIRCUIT \ (BRANCH_COST (optimize_function_for_speed_p (cfun), \ false) > 9) /* Nonzero if access to memory by bytes is slow and undesirable. For RISC chips, it means that access to memory by bytes is no better than access by words when possible, so grab a whole word and maybe make use of that. */ #define SLOW_BYTE_ACCESS 0 /* Define this macro if it is as good or better to call a constant function address than to call an address kept in a register. */ /* On the ARC, calling through registers is slow. */ #define NO_FUNCTION_CSE 1 /* Section selection. */ /* WARNING: These section names also appear in dwarfout.c. */ #define TEXT_SECTION_ASM_OP "\t.section\t.text" #define DATA_SECTION_ASM_OP "\t.section\t.data" #define BSS_SECTION_ASM_OP "\t.section\t.bss" #define SDATA_SECTION_ASM_OP "\t.section\t.sdata" #define SBSS_SECTION_ASM_OP "\t.section\t.sbss" /* Expression whose value is a string, including spacing, containing the assembler operation to identify the following data as initialization/termination code. If not defined, GCC will assume such a section does not exist. */ #define INIT_SECTION_ASM_OP "\t.section\t.init" #define FINI_SECTION_ASM_OP "\t.section\t.fini" /* Define this macro if jump tables (for tablejump insns) should be output in the text section, along with the assembler instructions. Otherwise, the readonly data section is used. This macro is irrelevant if there is no separate readonly data section. */ #define JUMP_TABLES_IN_TEXT_SECTION (flag_pic || CASE_VECTOR_PC_RELATIVE) /* For DWARF. Marginally different than default so output is "prettier" (and consistent with above). */ #define PUSHSECTION_FORMAT "\t%s %s\n" /* Tell crtstuff.c we're using ELF. */ #define OBJECT_FORMAT_ELF /* PIC */ /* The register number of the register used to address a table of static data addresses in memory. In some cases this register is defined by a processor's ``application binary interface'' (ABI). When this macro is defined, RTL is generated for this register once, as with the stack pointer and frame pointer registers. If this macro is not defined, it is up to the machine-dependent files to allocate such a register (if necessary). */ #define PIC_OFFSET_TABLE_REGNUM 26 /* Define this macro if the register defined by PIC_OFFSET_TABLE_REGNUM is clobbered by calls. Do not define this macro if PIC_OFFSET_TABLE_REGNUM is not defined. */ /* This register is call-saved on the ARC. */ /*#define PIC_OFFSET_TABLE_REG_CALL_CLOBBERED*/ /* A C expression that is nonzero if X is a legitimate immediate operand on the target machine when generating position independent code. You can assume that X satisfies CONSTANT_P, so you need not check this. You can also assume `flag_pic' is true, so you need not check it either. You need not define this macro if all constants (including SYMBOL_REF) can be immediate operands when generating position independent code. */ #define LEGITIMATE_PIC_OPERAND_P(X) (arc_legitimate_pic_operand_p(X)) /* PIC and small data don't mix on ARC because they use the same register. */ #define SDATA_BASE_REGNUM 26 #define ASM_PREFERRED_EH_DATA_FORMAT(CODE, GLOBAL) \ (flag_pic \ ? (GLOBAL ? DW_EH_PE_indirect : 0) | DW_EH_PE_pcrel | DW_EH_PE_sdata4 \ : DW_EH_PE_absptr) /* Control the assembler format that we output. */ /* A C string constant describing how to begin a comment in the target assembler language. The compiler assumes that the comment will end at the end of the line. */ /* Gas needs this to be "#" in order to recognize line directives. */ #define ASM_COMMENT_START "#" /* Output to assembler file text saying following lines may contain character constants, extra white space, comments, etc. */ #undef ASM_APP_ON #define ASM_APP_ON "" /* Output to assembler file text saying following lines no longer contain unusual constructs. */ #undef ASM_APP_OFF #define ASM_APP_OFF "" /* Globalizing directive for a label. */ #define GLOBAL_ASM_OP "\t.global\t" /* This is how to output an assembler line defining a `char' constant. */ #define ASM_OUTPUT_CHAR(FILE, VALUE) \ ( fprintf (FILE, "\t.byte\t"), \ output_addr_const (FILE, (VALUE)), \ fprintf (FILE, "\n")) /* This is how to output an assembler line defining a `short' constant. */ #define ASM_OUTPUT_SHORT(FILE, VALUE) \ ( fprintf (FILE, "\t.hword\t"), \ output_addr_const (FILE, (VALUE)), \ fprintf (FILE, "\n")) /* This is how to output an assembler line defining an `int' constant. We also handle symbol output here. Code addresses must be right shifted by 2 because that's how the jump instruction wants them. */ #define ASM_OUTPUT_INT(FILE, VALUE) \ do { \ fprintf (FILE, "\t.word\t"); \ if (GET_CODE (VALUE) == LABEL_REF) \ { \ fprintf (FILE, "%%st(@"); \ output_addr_const (FILE, (VALUE)); \ fprintf (FILE, ")"); \ } \ else \ output_addr_const (FILE, (VALUE)); \ fprintf (FILE, "\n"); \ } while (0) /* This is how to output an assembler line defining a `float' constant. */ #define ASM_OUTPUT_FLOAT(FILE, VALUE) \ { \ long t; \ char str[30]; \ REAL_VALUE_TO_TARGET_SINGLE ((VALUE), t); \ REAL_VALUE_TO_DECIMAL ((VALUE), "%.20e", str); \ fprintf (FILE, "\t.word\t0x%lx %s %s\n", \ t, ASM_COMMENT_START, str); \ } /* This is how to output an assembler line defining a `double' constant. */ #define ASM_OUTPUT_DOUBLE(FILE, VALUE) \ { \ long t[2]; \ char str[30]; \ REAL_VALUE_TO_TARGET_DOUBLE ((VALUE), t); \ REAL_VALUE_TO_DECIMAL ((VALUE), "%.20e", str); \ fprintf (FILE, "\t.word\t0x%lx %s %s\n\t.word\t0x%lx\n", \ t[0], ASM_COMMENT_START, str, t[1]); \ } /* This is how to output the definition of a user-level label named NAME, such as the label on a static function or variable NAME. */ #define ASM_OUTPUT_LABEL(FILE, NAME) \ do { assemble_name (FILE, NAME); fputs (":\n", FILE); } while (0) #define ASM_NAME_P(NAME) ( NAME[0]=='*') /* This is how to output a reference to a user-level label named NAME. `assemble_name' uses this. */ /* We work around a dwarfout.c deficiency by watching for labels from it and not adding the '_' prefix. There is a comment in dwarfout.c that says it should be using ASM_OUTPUT_INTERNAL_LABEL. */ #define ASM_OUTPUT_LABELREF(FILE, NAME1) \ do { \ const char *NAME; \ NAME = (*targetm.strip_name_encoding)(NAME1); \ if ((NAME)[0] == '.' && (NAME)[1] == 'L') \ fprintf (FILE, "%s", NAME); \ else \ { \ if (!ASM_NAME_P (NAME1)) \ fprintf (FILE, "%s", user_label_prefix); \ fprintf (FILE, "%s", NAME); \ } \ } while (0) /* This is how to output a reference to a symbol_ref / label_ref as (part of) an operand. To disambiguate from register names like a1 / a2 / status etc, symbols are preceded by '@'. */ #define ASM_OUTPUT_SYMBOL_REF(FILE,SYM) \ ASM_OUTPUT_LABEL_REF ((FILE), XSTR ((SYM), 0)) #define ASM_OUTPUT_LABEL_REF(FILE,STR) \ do \ { \ fputc ('@', file); \ assemble_name ((FILE), (STR)); \ } \ while (0) /* Store in OUTPUT a string (made with alloca) containing an assembler-name for a local static variable named NAME. LABELNO is an integer which is different for each call. */ #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO) \ ( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 10), \ sprintf ((OUTPUT), "%s.%d", (NAME), (LABELNO))) /* The following macro defines the format used to output the second operand of the .type assembler directive. Different svr4 assemblers expect various different forms for this operand. The one given here is just a default. You may need to override it in your machine- specific tm.h file (depending upon the particulars of your assembler). */ #undef TYPE_OPERAND_FMT #define TYPE_OPERAND_FMT "@%s" /* A C string containing the appropriate assembler directive to specify the size of a symbol, without any arguments. On systems that use ELF, the default (in `config/elfos.h') is `"\t.size\t"'; on other systems, the default is not to define this macro. */ #undef SIZE_ASM_OP #define SIZE_ASM_OP "\t.size\t" /* Assembler pseudo-op to equate one value with another. */ /* ??? This is needed because dwarfout.c provides a default definition too late for defaults.h (which contains the default definition of ASM_OTPUT_DEF that we use). */ #ifdef SET_ASM_OP #undef SET_ASM_OP #endif #define SET_ASM_OP "\t.set\t" extern char rname29[], rname30[]; extern char rname56[], rname57[], rname58[], rname59[]; /* How to refer to registers in assembler output. This sequence is indexed by compiler's hard-register-number (see above). */ #define REGISTER_NAMES \ { "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", \ "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", \ "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23", \ "r24", "r25", "gp", "fp", "sp", rname29, rname30, "blink", \ "r32", "r33", "r34", "r35", "r36", "r37", "r38", "r39", \ "d1", "d1", "d2", "d2", "r44", "r45", "r46", "r47", \ "r48", "r49", "r50", "r51", "r52", "r53", "r54", "r55", \ rname56,rname57,rname58,rname59,"lp_count", "cc", "ap", "pcl", \ "vr0", "vr1", "vr2", "vr3", "vr4", "vr5", "vr6", "vr7", \ "vr8", "vr9", "vr10", "vr11", "vr12", "vr13", "vr14", "vr15", \ "vr16", "vr17", "vr18", "vr19", "vr20", "vr21", "vr22", "vr23", \ "vr24", "vr25", "vr26", "vr27", "vr28", "vr29", "vr30", "vr31", \ "vr32", "vr33", "vr34", "vr35", "vr36", "vr37", "vr38", "vr39", \ "vr40", "vr41", "vr42", "vr43", "vr44", "vr45", "vr46", "vr47", \ "vr48", "vr49", "vr50", "vr51", "vr52", "vr53", "vr54", "vr55", \ "vr56", "vr57", "vr58", "vr59", "vr60", "vr61", "vr62", "vr63", \ "dr0", "dr1", "dr2", "dr3", "dr4", "dr5", "dr6", "dr7", \ "dr0", "dr1", "dr2", "dr3", "dr4", "dr5", "dr6", "dr7", \ "lp_start", "lp_end" \ } /* Entry to the insn conditionalizer. */ #define FINAL_PRESCAN_INSN(INSN, OPVEC, NOPERANDS) \ arc_final_prescan_insn (INSN, OPVEC, NOPERANDS) /* A C expression which evaluates to true if CODE is a valid punctuation character for use in the `PRINT_OPERAND' macro. */ extern char arc_punct_chars[]; #define PRINT_OPERAND_PUNCT_VALID_P(CHAR) \ arc_punct_chars[(unsigned char) (CHAR)] /* Print operand X (an rtx) in assembler syntax to file FILE. CODE is a letter or dot (`z' in `%z0') or 0 if no letter was specified. For `%' followed by punctuation, CODE is the punctuation and X is null. */ #define PRINT_OPERAND(FILE, X, CODE) \ arc_print_operand (FILE, X, CODE) /* A C compound statement to output to stdio stream STREAM the assembler syntax for an instruction operand that is a memory reference whose address is ADDR. ADDR is an RTL expression. On some machines, the syntax for a symbolic address depends on the section that the address refers to. On these machines, define the macro `ENCODE_SECTION_INFO' to store the information into the `symbol_ref', and then check for it here. */ #define PRINT_OPERAND_ADDRESS(FILE, ADDR) \ arc_print_operand_address (FILE, ADDR) /* This is how to output an element of a case-vector that is absolute. */ #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \ do { \ char label[30]; \ ASM_GENERATE_INTERNAL_LABEL (label, "L", VALUE); \ fprintf (FILE, "\t.word "); \ assemble_name (FILE, label); \ fprintf(FILE, "\n"); \ } while (0) /* This is how to output an element of a case-vector that is relative. */ #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) \ do { \ char label[30]; \ ASM_GENERATE_INTERNAL_LABEL (label, "L", VALUE); \ switch (GET_MODE (BODY)) \ { \ case QImode: fprintf (FILE, "\t.byte "); break; \ case HImode: fprintf (FILE, "\t.hword "); break; \ case SImode: fprintf (FILE, "\t.word "); break; \ default: gcc_unreachable (); \ } \ assemble_name (FILE, label); \ fprintf (FILE, "-"); \ ASM_GENERATE_INTERNAL_LABEL (label, "L", REL); \ assemble_name (FILE, label); \ if (TARGET_COMPACT_CASESI) \ fprintf (FILE, " + %d", 4 + arc_get_unalign ()); \ fprintf(FILE, "\n"); \ } while (0) /* ADDR_DIFF_VECs are in the text section and thus can affect the current alignment. */ #define ASM_OUTPUT_CASE_END(FILE, NUM, JUMPTABLE) \ do \ { \ if (GET_CODE (PATTERN (JUMPTABLE)) == ADDR_DIFF_VEC \ && ((GET_MODE_SIZE (GET_MODE (PATTERN (JUMPTABLE))) \ * XVECLEN (PATTERN (JUMPTABLE), 1) + 1) \ & 2)) \ arc_toggle_unalign (); \ } \ while (0) #define JUMP_ALIGN(LABEL) (arc_size_opt_level < 2 ? 2 : 0) #define LABEL_ALIGN_AFTER_BARRIER(LABEL) \ (JUMP_ALIGN(LABEL) \ ? JUMP_ALIGN(LABEL) \ : GET_CODE (PATTERN (prev_active_insn (LABEL))) == ADDR_DIFF_VEC \ ? 1 : 0) /* The desired alignment for the location counter at the beginning of a loop. */ /* On the ARC, align loops to 4 byte boundaries unless doing all-out size optimization. */ #define LOOP_ALIGN JUMP_ALIGN #define LABEL_ALIGN(LABEL) (arc_label_align (LABEL)) /* This is how to output an assembler line that says to advance the location counter to a multiple of 2**LOG bytes. */ #define ASM_OUTPUT_ALIGN(FILE,LOG) \ do { \ if ((LOG) != 0) fprintf (FILE, "\t.align %d\n", 1 << (LOG)); \ if ((LOG) > 1) \ arc_clear_unalign (); \ } while (0) /* ASM_OUTPUT_ALIGNED_DECL_LOCAL (STREAM, DECL, NAME, SIZE, ALIGNMENT) Define this macro when you need to see the variable's decl in order to chose what to output. */ #define ASM_OUTPUT_ALIGNED_DECL_LOCAL(STREAM, DECL, NAME, SIZE, ALIGNMENT) \ arc_asm_output_aligned_decl_local (STREAM, DECL, NAME, SIZE, ALIGNMENT, 0) /* To translate the return value of arc_function_type into a register number to jump through for function return. */ extern int arc_return_address_regs[4]; /* Debugging information. */ /* Generate DBX and DWARF debugging information. */ #ifdef DBX_DEBUGGING_INFO #undef DBX_DEBUGGING_INFO #endif #define DBX_DEBUGGING_INFO #ifdef DWARF2_DEBUGGING_INFO #undef DWARF2_DEBUGGING_INFO #endif #define DWARF2_DEBUGGING_INFO /* Prefer STABS (for now). */ #undef PREFERRED_DEBUGGING_TYPE #define PREFERRED_DEBUGGING_TYPE DWARF2_DEBUG /* How to renumber registers for dbx and gdb. */ #define DBX_REGISTER_NUMBER(REGNO) \ ((TARGET_MULMAC_32BY16_SET && (REGNO) >= 56 && (REGNO) <= 57) \ ? ((REGNO) ^ !TARGET_BIG_ENDIAN) \ : (TARGET_MUL64_SET && (REGNO) >= 57 && (REGNO) <= 59) \ ? ((REGNO) == 57 \ ? 58 /* MMED */ \ : ((REGNO) & 1) ^ TARGET_BIG_ENDIAN \ ? 59 /* MHI */ \ : 57 + !!TARGET_MULMAC_32BY16_SET) /* MLO */ \ : (REGNO)) #define DWARF_FRAME_REGNUM(REG) (REG) #define DWARF_FRAME_RETURN_COLUMN DWARF_FRAME_REGNUM (31) #define INCOMING_RETURN_ADDR_RTX gen_rtx_REG (Pmode, 31) /* Frame info. */ #define EH_RETURN_DATA_REGNO(N) \ ((N) < 4 ? (N) : INVALID_REGNUM) /* Turn off splitting of long stabs. */ #define DBX_CONTIN_LENGTH 0 /* Miscellaneous. */ /* Specify the machine mode that this machine uses for the index in the tablejump instruction. If we have pc relative case vectors, we start the case vector shortening with QImode. */ #define CASE_VECTOR_MODE \ ((optimize && (CASE_VECTOR_PC_RELATIVE || flag_pic)) ? QImode : Pmode) /* Define as C expression which evaluates to nonzero if the tablejump instruction expects the table to contain offsets from the address of the table. Do not define this if the table should contain absolute addresses. */ #define CASE_VECTOR_PC_RELATIVE TARGET_CASE_VECTOR_PC_RELATIVE #define CASE_VECTOR_SHORTEN_MODE(MIN_OFFSET, MAX_OFFSET, BODY) \ CASE_VECTOR_SHORTEN_MODE_1 \ (MIN_OFFSET, TARGET_COMPACT_CASESI ? MAX_OFFSET + 6 : MAX_OFFSET, BODY) #define CASE_VECTOR_SHORTEN_MODE_1(MIN_OFFSET, MAX_OFFSET, BODY) \ ((MIN_OFFSET) >= 0 && (MAX_OFFSET) <= 255 \ ? (ADDR_DIFF_VEC_FLAGS (BODY).offset_unsigned = 1, QImode) \ : (MIN_OFFSET) >= -128 && (MAX_OFFSET) <= 127 \ ? (ADDR_DIFF_VEC_FLAGS (BODY).offset_unsigned = 0, QImode) \ : (MIN_OFFSET) >= 0 && (MAX_OFFSET) <= 65535 \ ? (ADDR_DIFF_VEC_FLAGS (BODY).offset_unsigned = 1, HImode) \ : (MIN_OFFSET) >= -32768 && (MAX_OFFSET) <= 32767 \ ? (ADDR_DIFF_VEC_FLAGS (BODY).offset_unsigned = 0, HImode) \ : SImode) #define ADDR_VEC_ALIGN(VEC_INSN) \ (exact_log2 (GET_MODE_SIZE (GET_MODE (PATTERN (VEC_INSN))))) #undef ASM_OUTPUT_BEFORE_CASE_LABEL #define ASM_OUTPUT_BEFORE_CASE_LABEL(FILE, PREFIX, NUM, TABLE) \ ASM_OUTPUT_ALIGN ((FILE), ADDR_VEC_ALIGN (TABLE)); #define INSN_LENGTH_ALIGNMENT(INSN) \ ((JUMP_TABLE_DATA_P (INSN) \ && GET_CODE (PATTERN (INSN)) == ADDR_DIFF_VEC \ && GET_MODE (PATTERN (INSN)) == QImode) \ ? 0 : length_unit_log) /* Define if operations between registers always perform the operation on the full register even if a narrower mode is specified. */ #define WORD_REGISTER_OPERATIONS 1 /* Define if loading in MODE, an integral mode narrower than BITS_PER_WORD will either zero-extend or sign-extend. The value of this macro should be the code that says which one of the two operations is implicitly done, NIL if none. */ #define LOAD_EXTEND_OP(MODE) ZERO_EXTEND /* Max number of bytes we can move from memory to memory in one reasonably fast instruction. */ #define MOVE_MAX 4 /* Undo the effects of the movmem pattern presence on STORE_BY_PIECES_P . */ #define MOVE_RATIO(SPEED) ((SPEED) ? 15 : 3) /* Define this to be nonzero if shift instructions ignore all but the low-order few bits. */ #define SHIFT_COUNT_TRUNCATED 1 /* Value is 1 if truncating an integer of INPREC bits to OUTPREC bits is done just by pretending it is already truncated. */ #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1 /* We assume that the store-condition-codes instructions store 0 for false and some other value for true. This is the value stored for true. */ #define STORE_FLAG_VALUE 1 /* Specify the machine mode that pointers have. After generation of rtl, the compiler makes no further distinction between pointers and any other objects of this machine mode. */ /* ARCompact has full 32-bit pointers. */ #define Pmode SImode /* A function address in a call instruction. */ #define FUNCTION_MODE SImode /* Define the information needed to generate branch and scc insns. This is stored from the compare operation. Note that we can't use "rtx" here since it hasn't been defined! */ extern struct rtx_def *arc_compare_op0, *arc_compare_op1; /* ARC function types. */ enum arc_function_type { ARC_FUNCTION_UNKNOWN, ARC_FUNCTION_NORMAL, /* These are interrupt handlers. The name corresponds to the register name that contains the return address. */ ARC_FUNCTION_ILINK1, ARC_FUNCTION_ILINK2 }; #define ARC_INTERRUPT_P(TYPE) \ ((TYPE) == ARC_FUNCTION_ILINK1 || (TYPE) == ARC_FUNCTION_ILINK2) /* Compute the type of a function from its DECL. Needed for EPILOGUE_USES. */ struct function; extern enum arc_function_type arc_compute_function_type (struct function *); /* Called by crtstuff.c to make calls to function FUNCTION that are defined in SECTION_OP, and then to switch back to text section. */ #undef CRT_CALL_STATIC_FUNCTION #define CRT_CALL_STATIC_FUNCTION(SECTION_OP, FUNC) \ asm (SECTION_OP "\n\t" \ "add r12,pcl,@" USER_LABEL_PREFIX #FUNC "@pcl\n\t" \ "jl [r12]\n" \ TEXT_SECTION_ASM_OP); /* This macro expands to the name of the scratch register r12, used for temporary calculations according to the ABI. */ #define ARC_TEMP_SCRATCH_REG "r12" /* The C++ compiler must use one bit to indicate whether the function that will be called through a pointer-to-member-function is virtual. Normally, we assume that the low-order bit of a function pointer must always be zero. Then, by ensuring that the vtable_index is odd, we can distinguish which variant of the union is in use. But, on some platforms function pointers can be odd, and so this doesn't work. In that case, we use the low-order bit of the `delta' field, and shift the remainder of the `delta' field to the left. We needed to do this for A4 because the address was always shifted and thus could be odd. */ #define TARGET_PTRMEMFUNC_VBIT_LOCATION \ (ptrmemfunc_vbit_in_pfn) #define INSN_SETS_ARE_DELAYED(X) \ (GET_CODE (X) == INSN \ && GET_CODE (PATTERN (X)) != SEQUENCE \ && GET_CODE (PATTERN (X)) != USE \ && GET_CODE (PATTERN (X)) != CLOBBER \ && (get_attr_type (X) == TYPE_CALL || get_attr_type (X) == TYPE_SFUNC)) #define INSN_REFERENCES_ARE_DELAYED(insn) \ (INSN_SETS_ARE_DELAYED (insn)) #define CALL_ATTR(X, NAME) \ ((CALL_P (X) || NONJUMP_INSN_P (X)) \ && GET_CODE (PATTERN (X)) != USE \ && GET_CODE (PATTERN (X)) != CLOBBER \ && get_attr_is_##NAME (X) == IS_##NAME##_YES) \ #define REVERSE_CONDITION(CODE,MODE) \ (((MODE) == CC_FP_GTmode || (MODE) == CC_FP_GEmode \ || (MODE) == CC_FP_UNEQmode || (MODE) == CC_FP_ORDmode \ || (MODE) == CC_FPXmode || (MODE) == CC_FPU_UNEQmode \ || (MODE) == CC_FPUmode) \ ? reverse_condition_maybe_unordered ((CODE)) \ : reverse_condition ((CODE))) #define ADJUST_INSN_LENGTH(X, LENGTH) \ ((LENGTH) \ = (GET_CODE (PATTERN (X)) == SEQUENCE \ ? ((LENGTH) \ + arc_adjust_insn_length ( \ as_a (PATTERN (X))->insn (0), \ get_attr_length (as_a (PATTERN (X))->insn (0)), \ true) \ - get_attr_length (as_a (PATTERN (X))->insn (0)) \ + arc_adjust_insn_length ( \ as_a (PATTERN (X))->insn (1), \ get_attr_length (as_a (PATTERN (X))->insn (1)), \ true) \ - get_attr_length (as_a (PATTERN (X))->insn (1))) \ : arc_adjust_insn_length ((X), (LENGTH), false))) #define IS_ASM_LOGICAL_LINE_SEPARATOR(C,STR) ((C) == '`') #define INIT_EXPANDERS arc_init_expanders () enum { ARC_LRA_PRIORITY_NONE, ARC_LRA_PRIORITY_NONCOMPACT, ARC_LRA_PRIORITY_COMPACT }; /* The define_cond_exec construct is rather crude, as we can't have different ones with different conditions apply to different sets of instructions. We can't use an attribute test inside the condition, because that would lead to infinite recursion as the attribute test needs to recognize the insn. So, instead we have a clause for the pattern condition of all sfunc patterns which is only relevant for the predicated varaint. */ #define SFUNC_CHECK_PREDICABLE \ (GET_CODE (PATTERN (insn)) != COND_EXEC || !flag_pic || !TARGET_MEDIUM_CALLS) /* MPYW feature macro. Only valid for ARCHS and ARCEM cores. */ #define TARGET_MPYW ((arc_mpy_option > 0) && TARGET_V2) /* Full ARCv2 multiplication feature macro. */ #define TARGET_MULTI ((arc_mpy_option > 1) && TARGET_V2) /* General MPY feature macro. */ #define TARGET_MPY ((TARGET_ARC700 && (!TARGET_NOMPY_SET)) || TARGET_MULTI) /* ARC700 MPY feature macro. */ #define TARGET_ARC700_MPY (TARGET_ARC700 && (!TARGET_NOMPY_SET)) /* Any multiplication feature macro. */ #define TARGET_ANY_MPY \ (TARGET_MPY || TARGET_MUL64_SET || TARGET_MULMAC_32BY16_SET) /* PLUS_DMPY feature macro. */ #define TARGET_PLUS_DMPY ((arc_mpy_option > 6) && TARGET_HS) /* PLUS_MACD feature macro. */ #define TARGET_PLUS_MACD ((arc_mpy_option > 7) && TARGET_HS) /* PLUS_QMACW feature macro. */ #define TARGET_PLUS_QMACW ((arc_mpy_option > 8) && TARGET_HS) /* ARC600 and ARC601 feature macro. */ #define TARGET_ARC600_FAMILY (TARGET_ARC600 || TARGET_ARC601) /* ARC600, ARC601 and ARC700 feature macro. */ #define TARGET_ARCOMPACT_FAMILY \ (TARGET_ARC600 || TARGET_ARC601 || TARGET_ARC700) /* Loop count register can be read in very next instruction after has been written to by an ordinary instruction. */ #define TARGET_LP_WR_INTERLOCK (!TARGET_ARC600_FAMILY) /* FPU defines. */ /* Any FPU support. */ #define TARGET_HARD_FLOAT ((arc_fpu_build & (FPU_SP | FPU_DP)) != 0) /* Single precision floating point support. */ #define TARGET_FP_SP_BASE ((arc_fpu_build & FPU_SP) != 0) /* Double precision floating point support. */ #define TARGET_FP_DP_BASE ((arc_fpu_build & FPU_DP) != 0) /* Single precision floating point support with fused operation. */ #define TARGET_FP_SP_FUSED ((arc_fpu_build & FPU_SF) != 0) /* Double precision floating point support with fused operation. */ #define TARGET_FP_DP_FUSED ((arc_fpu_build & FPU_DF) != 0) /* Single precision floating point conversion instruction support. */ #define TARGET_FP_SP_CONV ((arc_fpu_build & FPU_SC) != 0) /* Double precision floating point conversion instruction support. */ #define TARGET_FP_DP_CONV ((arc_fpu_build & FPU_DC) != 0) /* Single precision floating point SQRT/DIV instruction support. */ #define TARGET_FP_SP_SQRT ((arc_fpu_build & FPU_SD) != 0) /* Double precision floating point SQRT/DIV instruction support. */ #define TARGET_FP_DP_SQRT ((arc_fpu_build & FPU_DD) != 0) /* Double precision floating point assist instruction support. */ #define TARGET_FP_DP_AX ((arc_fpu_build & FPX_DP) != 0) /* Custom FP instructions used by QuarkSE EM cpu. */ #define TARGET_FPX_QUARK (TARGET_EM && TARGET_SPFP \ && (arc_fpu_build == FPX_QK)) #endif /* GCC_ARC_H */