contrib/gcc/config/rs6000/darwin.h

   1 /* Target definitions for PowerPC running Darwin (Mac OS X).
   2    Copyright (C) 1997, 2000, 2001, 2003, 2004 Free Software Foundation, Inc.
   3    Contributed by Apple Computer Inc.
   4
   5    This file is part of GCC.
   6
   7    GCC is free software; you can redistribute it and/or modify it
   8    under the terms of the GNU General Public License as published
   9    by the Free Software Foundation; either version 2, or (at your
  10    option) any later version.
  11
  12    GCC is distributed in the hope that it will be useful, but WITHOUT
  13    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
  15    License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with GCC; see the file COPYING.  If not, write to the
  19    Free Software Foundation, 59 Temple Place - Suite 330, Boston,
  20    MA 02111-1307, USA.  */
  21
  22 #undef  TARGET_VERSION
  23 #define TARGET_VERSION fprintf (stderr, " (Darwin/PowerPC)");
  24
  25 /* The "Darwin ABI" is mostly like AIX, but with some key differences.  */
  26
  27 #define DEFAULT_ABI ABI_DARWIN
  28
  29 /* The object file format is Mach-O.  */
  30
  31 #define TARGET_OBJECT_FORMAT OBJECT_MACHO
  32
  33 /* We're not ever going to do TOCs.  */
  34
  35 #define TARGET_TOC 0
  36 #define TARGET_NO_TOC 1
  37
  38 /* Darwin switches.  */
  39 /* Use dynamic-no-pic codegen (no picbase reg; not suitable for shlibs.)  */
  40 #define MASK_MACHO_DYNAMIC_NO_PIC 0x00800000
  41
  42 #define TARGET_DYNAMIC_NO_PIC   (target_flags & MASK_MACHO_DYNAMIC_NO_PIC)
  43
  44 /* Handle #pragma weak and #pragma pack.  */
  45 #define HANDLE_SYSV_PRAGMA 1
  46
  47
  48 #define TARGET_OS_CPP_BUILTINS()                \
  49   do                                            \
  50     {                                           \
  51       builtin_define ("__ppc__");               \
  52       builtin_define ("__POWERPC__");           \
  53       builtin_define ("__NATURAL_ALIGNMENT__"); \
  54       builtin_define ("__MACH__");              \
  55       builtin_define ("__APPLE__");             \
  56     }                                           \
  57   while (0)
  58
  59
  60 /*  */
  61 #undef  SUBTARGET_SWITCHES
  62 #define SUBTARGET_SWITCHES                                              \
  63   {"dynamic-no-pic",    MASK_MACHO_DYNAMIC_NO_PIC,                      \
  64       N_("Generate code suitable for executables (NOT shared libs)")},  \
  65   {"no-dynamic-no-pic", -MASK_MACHO_DYNAMIC_NO_PIC, ""},
  66
  67
  68 /* The Darwin ABI always includes AltiVec, can't be (validly) turned
  69    off.  */
  70
  71 #define SUBTARGET_OVERRIDE_OPTIONS                                      \
  72 do {                                                                    \
  73   rs6000_altivec_abi = 1;                                               \
  74   rs6000_altivec_vrsave = 1;                                            \
  75   if (DEFAULT_ABI == ABI_DARWIN)                                        \
  76   {                                                                     \
  77     if (MACHO_DYNAMIC_NO_PIC_P)                                         \
  78       {                                                                 \
  79         if (flag_pic)                                                   \
  80             warning ("-mdynamic-no-pic overrides -fpic or -fPIC");      \
  81         flag_pic = 0;                                                   \
  82       }                                                                 \
  83     else if (flag_pic == 1)                                             \
  84       {                                                                 \
  85         /* Darwin doesn't support -fpic.  */                            \
  86         warning ("-fpic is not supported; -fPIC assumed");              \
  87         flag_pic = 2;                                                   \
  88       }                                                                 \
  89   }                                                                     \
  90 }while(0)
  91
  92 /* We want -fPIC by default, unless we're using -static to compile for
  93    the kernel or some such.  */
  94
  95
  96 #define CC1_SPEC "\
  97 %{gused: -feliminate-unused-debug-symbols %<gused }\
  98 %{static: %{Zdynamic: %e conflicting code gen style switches are used}}\
  99 %{!static:%{!mdynamic-no-pic:-fPIC}}"
 100
 101 /* It's virtually impossible to predict all the possible combinations
 102    of -mcpu and -maltivec and whatnot, so just supply
 103    -force_cpusubtype_ALL if any are seen.  Radar 3492132 against the
 104    assembler is asking for a .machine directive so we could get this
 105    really right.  */
 106 #define ASM_SPEC "-arch ppc \
 107   %{Zforce_cpusubtype_ALL:-force_cpusubtype_ALL} \
 108   %{!Zforce_cpusubtype_ALL:%{maltivec|mcpu=*|mpowerpc64:-force_cpusubtype_ALL}}"
 109
 110 #undef SUBTARGET_EXTRA_SPECS
 111 #define SUBTARGET_EXTRA_SPECS                   \
 112   { "darwin_arch", "ppc" },
 113
 114 /* The "-faltivec" option should have been called "-maltivec" all along.  */
 115 #define SUBTARGET_OPTION_TRANSLATE_TABLE                               \
 116   { "-faltivec", "-maltivec -include altivec.h" },     \
 117   { "-fno-altivec", "-mno-altivec" },  \
 118   { "-Waltivec-long-deprecated",       "-mwarn-altivec-long" }, \
 119   { "-Wno-altivec-long-deprecated", "-mno-warn-altivec-long" }
 120
 121 /* Make both r2 and r3 available for allocation.  */
 122 #define FIXED_R2 0
 123 #define FIXED_R13 0
 124
 125 /* Base register for access to local variables of the function.  */
 126
 127 #undef  FRAME_POINTER_REGNUM
 128 #define FRAME_POINTER_REGNUM 30
 129
 130 #undef  RS6000_PIC_OFFSET_TABLE_REGNUM
 131 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31
 132
 133 /* Pad the outgoing args area to 16 bytes instead of the usual 8.  */
 134
 135 #undef STARTING_FRAME_OFFSET
 136 #define STARTING_FRAME_OFFSET                                           \
 137   (RS6000_ALIGN (current_function_outgoing_args_size, 16)               \
 138    + RS6000_VARARGS_AREA                                                \
 139    + RS6000_SAVE_AREA)
 140
 141 #undef STACK_DYNAMIC_OFFSET
 142 #define STACK_DYNAMIC_OFFSET(FUNDECL)                                   \
 143   (RS6000_ALIGN (current_function_outgoing_args_size, 16)               \
 144    + (STACK_POINTER_OFFSET))
 145
 146 /* These are used by -fbranch-probabilities */
 147 #define HOT_TEXT_SECTION_NAME "__TEXT,__text,regular,pure_instructions"
 148 #define UNLIKELY_EXECUTED_TEXT_SECTION_NAME \
 149                               "__TEXT,__text2,regular,pure_instructions"
 150
 151 /* Define cutoff for using external functions to save floating point.
 152    Currently on Darwin, always use inline stores.  */
 153
 154 #undef  FP_SAVE_INLINE
 155 #define FP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 64)
 156
 157 /* The assembler wants the alternate register names, but without
 158    leading percent sign.  */
 159 #undef REGISTER_NAMES
 160 #define REGISTER_NAMES                                                  \
 161 {                                                                       \
 162      "r0",  "r1",  "r2",  "r3",  "r4",  "r5",  "r6",  "r7",             \
 163      "r8",  "r9", "r10", "r11", "r12", "r13", "r14", "r15",             \
 164     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",             \
 165     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",             \
 166      "f0",  "f1",  "f2",  "f3",  "f4",  "f5",  "f6",  "f7",             \
 167      "f8",  "f9", "f10", "f11", "f12", "f13", "f14", "f15",             \
 168     "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23",             \
 169     "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31",             \
 170      "mq",  "lr", "ctr",  "ap",                                         \
 171     "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",             \
 172     "xer",                                                              \
 173      "v0",  "v1",  "v2",  "v3",  "v4",  "v5",  "v6",  "v7",             \
 174      "v8",  "v9", "v10", "v11", "v12", "v13", "v14", "v15",             \
 175     "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23",             \
 176     "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31",             \
 177     "vrsave", "vscr",                                                   \
 178     "spe_acc", "spefscr"                                                \
 179 }
 180
 181 /* This outputs NAME to FILE.  */
 182
 183 #undef  RS6000_OUTPUT_BASENAME
 184 #define RS6000_OUTPUT_BASENAME(FILE, NAME)      \
 185     assemble_name (FILE, NAME)
 186
 187 /* Globalizing directive for a label.  */
 188 #undef GLOBAL_ASM_OP
 189 #define GLOBAL_ASM_OP "\t.globl "
 190 #undef TARGET_ASM_GLOBALIZE_LABEL
 191
 192 /* This is how to output an internal label prefix.  rs6000.c uses this
 193    when generating traceback tables.  */
 194 /* Not really used for Darwin?  */
 195
 196 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
 197 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
 198   fprintf (FILE, "%s", PREFIX)
 199
 200 /* This says how to output an assembler line to define a global common
 201    symbol.  */
 202 /* ? */
 203 #undef  ASM_OUTPUT_ALIGNED_COMMON
 204 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED)    \
 205   do { fputs (".comm ", (FILE));                        \
 206        RS6000_OUTPUT_BASENAME ((FILE), (NAME));         \
 207        fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n",\
 208                 (SIZE)); } while (0)
 209
 210 /* Override the standard rs6000 definition.  */
 211
 212 #undef ASM_COMMENT_START
 213 #define ASM_COMMENT_START ";"
 214
 215 /* FP save and restore routines.  */
 216 #define SAVE_FP_PREFIX "._savef"
 217 #define SAVE_FP_SUFFIX ""
 218 #define RESTORE_FP_PREFIX "._restf"
 219 #define RESTORE_FP_SUFFIX ""
 220
 221 /* This is how to output an assembler line that says to advance
 222    the location counter to a multiple of 2**LOG bytes using the
 223    "nop" instruction as padding.  */
 224
 225 #define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG)                   \
 226   do                                                          \
 227     {                                                         \
 228       if ((LOG) < 3)                                          \
 229         {                                                     \
 230           ASM_OUTPUT_ALIGN (FILE,LOG);                        \
 231         }                                                     \
 232       else /* nop == ori r0,r0,0 */                           \
 233         fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG));  \
 234     } while (0)
 235
 236 /* Generate insns to call the profiler.  */
 237
 238 #define PROFILE_HOOK(LABEL)   output_profile_hook (LABEL)
 239
 240 /* Function name to call to do profiling.  */
 241
 242 #define RS6000_MCOUNT "*mcount"
 243
 244 /* Default processor: a G4.  */
 245
 246 #undef PROCESSOR_DEFAULT
 247 #define PROCESSOR_DEFAULT  PROCESSOR_PPC7400
 248
 249 /* Default target flag settings.  Despite the fact that STMW/LMW
 250    serializes, it's still a big code size win to use them.  Use FSEL by
 251    default as well.  */
 252
 253 #undef  TARGET_DEFAULT
 254 #define TARGET_DEFAULT (MASK_POWERPC | MASK_MULTIPLE | MASK_NEW_MNEMONICS \
 255                       | MASK_PPC_GFXOPT)
 256
 257 /* Since Darwin doesn't do TOCs, stub this out.  */
 258
 259 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)  0
 260
 261 /* Unlike most other PowerPC targets, chars are signed, for
 262    consistency with other Darwin architectures.  */
 263
 264 #undef DEFAULT_SIGNED_CHAR
 265 #define DEFAULT_SIGNED_CHAR (1)
 266
 267 /* Given an rtx X being reloaded into a reg required to be
 268    in class CLASS, return the class of reg to actually use.
 269    In general this is just CLASS; but on some machines
 270    in some cases it is preferable to use a more restrictive class.
 271
 272    On the RS/6000, we have to return NO_REGS when we want to reload a
 273    floating-point CONST_DOUBLE to force it to be copied to memory.
 274
 275    Don't allow R0 when loading the address of, or otherwise furtling with,
 276    a SYMBOL_REF.  */
 277
 278 #undef PREFERRED_RELOAD_CLASS
 279 #define PREFERRED_RELOAD_CLASS(X,CLASS)                         \
 280   ((GET_CODE (X) == CONST_DOUBLE                                \
 281     && GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT)             \
 282    ? NO_REGS                                                    \
 283    : ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == HIGH)      \
 284       && reg_class_subset_p (BASE_REGS, (CLASS)))               \
 285    ? BASE_REGS                                                  \
 286    : (GET_MODE_CLASS (GET_MODE (X)) == MODE_INT                 \
 287       && (CLASS) == NON_SPECIAL_REGS)                           \
 288    ? GENERAL_REGS                                               \
 289    : (CLASS))
 290
 291 /* Fix for emit_group_load (): force large constants to be pushed via regs.  */
 292 #define ALWAYS_PUSH_CONSTS_USING_REGS_P         1
 293
 294 /* This now supports a natural alignment mode */
 295 /* Darwin word-aligns FP doubles but doubleword-aligns 64-bit ints.  */
 296 #define ADJUST_FIELD_ALIGN(FIELD, COMPUTED) \
 297   (TARGET_ALIGN_NATURAL ? (COMPUTED) : \
 298   (TYPE_MODE (TREE_CODE (TREE_TYPE (FIELD)) == ARRAY_TYPE \
 299               ? get_inner_array_type (FIELD) \
 300               : TREE_TYPE (FIELD)) == DFmode \
 301    ? MIN ((COMPUTED), 32) : (COMPUTED)))
 302
 303 /* Darwin increases natural record alignment to doubleword if the first
 304    field is an FP double while the FP fields remain word aligned.  */
 305 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED)                   \
 306   ((TREE_CODE (STRUCT) == RECORD_TYPE                                   \
 307     || TREE_CODE (STRUCT) == UNION_TYPE                                 \
 308     || TREE_CODE (STRUCT) == QUAL_UNION_TYPE)                           \
 309    && TARGET_ALIGN_NATURAL == 0                                         \
 310    ? rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED)      \
 311    : (TARGET_ALTIVEC && TREE_CODE (STRUCT) == VECTOR_TYPE)              \
 312    ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128)                            \
 313    : MAX ((COMPUTED), (SPECIFIED)))
 314
 315 /* XXX: Darwin supports neither .quad, or .llong, but it also doesn't
 316    support 64 bit PowerPC either, so this just keeps things happy.  */
 317 #define DOUBLE_INT_ASM_OP "\t.quad\t"
 318
 319 /* Get HOST_WIDE_INT and CONST_INT to be 32 bits, for compile time
 320    space/speed.  */
 321 #undef MAX_LONG_TYPE_SIZE
 322 #define MAX_LONG_TYPE_SIZE 32
 323
 324 /* For binary compatibility with 2.95; Darwin C APIs use bool from
 325    stdbool.h, which was an int-sized enum in 2.95.  */
 326 #define BOOL_TYPE_SIZE INT_TYPE_SIZE
 327
 328 #undef REGISTER_TARGET_PRAGMAS
 329 #define REGISTER_TARGET_PRAGMAS DARWIN_REGISTER_TARGET_PRAGMAS
 330