gcc/config/arm/arm-c.c

   1 /* Copyright (C) 2007-2017 Free Software Foundation, Inc.
   2
   3    This file is part of GCC.
   4
   5    GCC is free software; you can redistribute it and/or modify it under
   6    the terms of the GNU General Public License as published by the Free
   7    Software Foundation; either version 3, or (at your option) any later
   8    version.
   9
  10    GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  11    WARRANTY; without even the implied warranty of MERCHANTABILITY or
  12    FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  13    for more details.
  14
  15    You should have received a copy of the GNU General Public License
  16    along with GCC; see the file COPYING3.  If not see
  17    <http://www.gnu.org/licenses/>.  */
  18
  19 #include "config.h"
  20 #include "system.h"
  21 #include "coretypes.h"
  22 #include "target.h"
  23 #include "c-family/c-common.h"
  24 #include "memmodel.h"
  25 #include "tm_p.h"
  26 #include "c-family/c-pragma.h"
  27 #include "stringpool.h"
  28
  29 /* Output C specific EABI object attributes.  These can not be done in
  30    arm.c because they require information from the C frontend.  */
  31
  32 static void
  33 arm_output_c_attributes (void)
  34 {
  35   int wchar_size = (int)(TYPE_PRECISION (wchar_type_node) / BITS_PER_UNIT);
  36   arm_emit_eabi_attribute ("Tag_ABI_PCS_wchar_t", 18, wchar_size);
  37 }
  38
  39
  40 /* Setup so that common code calls arm_output_c_attributes.  */
  41
  42 void
  43 arm_lang_object_attributes_init (void)
  44 {
  45   arm_lang_output_object_attributes_hook = arm_output_c_attributes;
  46 }
  47
  48 #define builtin_define(TXT) cpp_define (pfile, TXT)
  49 #define builtin_assert(TXT) cpp_assert (pfile, TXT)
  50
  51 /* Define or undefine macros based on the current target.  If the user does
  52    #pragma GCC target, we need to adjust the macros dynamically.  */
  53
  54 static void
  55 def_or_undef_macro(struct cpp_reader* pfile, const char *name, bool def_p)
  56 {
  57   if (def_p)
  58     cpp_define (pfile, name);
  59   else
  60     cpp_undef (pfile, name);
  61 }
  62
  63 static void
  64 arm_cpu_builtins (struct cpp_reader* pfile)
  65 {
  66   def_or_undef_macro (pfile, "__ARM_FEATURE_DSP", TARGET_DSP_MULTIPLY);
  67   def_or_undef_macro (pfile, "__ARM_FEATURE_QBIT", TARGET_ARM_QBIT);
  68   def_or_undef_macro (pfile, "__ARM_FEATURE_SAT", TARGET_ARM_SAT);
  69   def_or_undef_macro (pfile, "__ARM_FEATURE_CRYPTO", TARGET_CRYPTO);
  70
  71   def_or_undef_macro (pfile, "__ARM_FEATURE_UNALIGNED", unaligned_access);
  72
  73   def_or_undef_macro (pfile, "__ARM_FEATURE_QRDMX", TARGET_NEON_RDMA);
  74
  75   if (TARGET_CRC32)
  76     builtin_define ("__ARM_FEATURE_CRC32");
  77
  78   def_or_undef_macro (pfile, "__ARM_32BIT_STATE", TARGET_32BIT);
  79
  80   if (arm_arch8 && !arm_arch_notm)
  81     {
  82       if (arm_arch_cmse && use_cmse)
  83         builtin_define_with_int_value ("__ARM_FEATURE_CMSE", 3);
  84       else
  85         builtin_define ("__ARM_FEATURE_CMSE");
  86     }
  87
  88   if (TARGET_ARM_FEATURE_LDREX)
  89     builtin_define_with_int_value ("__ARM_FEATURE_LDREX",
  90                                    TARGET_ARM_FEATURE_LDREX);
  91   else
  92     cpp_undef (pfile, "__ARM_FEATURE_LDREX");
  93
  94   def_or_undef_macro (pfile, "__ARM_FEATURE_CLZ",
  95                       ((TARGET_ARM_ARCH >= 5 && !TARGET_THUMB)
  96                        || TARGET_ARM_ARCH_ISA_THUMB >=2));
  97
  98   def_or_undef_macro (pfile, "__ARM_FEATURE_NUMERIC_MAXMIN",
  99                       TARGET_ARM_ARCH >= 8 && TARGET_NEON && TARGET_VFP5);
 100
 101   def_or_undef_macro (pfile, "__ARM_FEATURE_SIMD32", TARGET_INT_SIMD);
 102
 103   builtin_define_with_int_value ("__ARM_SIZEOF_MINIMAL_ENUM",
 104                                  flag_short_enums ? 1 : 4);
 105   builtin_define_type_sizeof ("__ARM_SIZEOF_WCHAR_T", wchar_type_node);
 106   if (TARGET_ARM_ARCH_PROFILE)
 107     builtin_define_with_int_value ("__ARM_ARCH_PROFILE",
 108                                    TARGET_ARM_ARCH_PROFILE);
 109
 110   /* Define __arm__ even when in thumb mode, for
 111      consistency with armcc.  */
 112   builtin_define ("__arm__");
 113   if (TARGET_ARM_ARCH)
 114     builtin_define_with_int_value ("__ARM_ARCH", TARGET_ARM_ARCH);
 115   if (arm_arch_notm)
 116     builtin_define ("__ARM_ARCH_ISA_ARM");
 117   builtin_define ("__APCS_32__");
 118
 119   def_or_undef_macro (pfile, "__thumb__", TARGET_THUMB);
 120   def_or_undef_macro (pfile, "__thumb2__", TARGET_THUMB2);
 121   if (TARGET_BIG_END)
 122     def_or_undef_macro (pfile, "__THUMBEB__", TARGET_THUMB);
 123   else
 124     def_or_undef_macro (pfile, "__THUMBEL__", TARGET_THUMB);
 125
 126   if (TARGET_ARM_ARCH_ISA_THUMB)
 127     builtin_define_with_int_value ("__ARM_ARCH_ISA_THUMB",
 128                                    TARGET_ARM_ARCH_ISA_THUMB);
 129
 130   if (TARGET_BIG_END)
 131     {
 132       builtin_define ("__ARMEB__");
 133       builtin_define ("__ARM_BIG_ENDIAN");
 134     }
 135   else
 136     {
 137       builtin_define ("__ARMEL__");
 138     }
 139
 140   if (TARGET_SOFT_FLOAT)
 141     builtin_define ("__SOFTFP__");
 142
 143   builtin_define ("__VFP_FP__");
 144
 145   if (TARGET_ARM_FP)
 146     builtin_define_with_int_value ("__ARM_FP", TARGET_ARM_FP);
 147   else
 148     cpp_undef (pfile, "__ARM_FP");
 149
 150   def_or_undef_macro (pfile, "__ARM_FP16_FORMAT_IEEE",
 151                       arm_fp16_format == ARM_FP16_FORMAT_IEEE);
 152   def_or_undef_macro (pfile, "__ARM_FP16_FORMAT_ALTERNATIVE",
 153                       arm_fp16_format == ARM_FP16_FORMAT_ALTERNATIVE);
 154   def_or_undef_macro (pfile, "__ARM_FP16_ARGS",
 155                       arm_fp16_format != ARM_FP16_FORMAT_NONE);
 156
 157   def_or_undef_macro (pfile, "__ARM_FEATURE_FP16_SCALAR_ARITHMETIC",
 158                       TARGET_VFP_FP16INST);
 159   def_or_undef_macro (pfile, "__ARM_FEATURE_FP16_VECTOR_ARITHMETIC",
 160                       TARGET_NEON_FP16INST);
 161
 162   def_or_undef_macro (pfile, "__ARM_FEATURE_FMA", TARGET_FMA);
 163   def_or_undef_macro (pfile, "__ARM_NEON__", TARGET_NEON);
 164   def_or_undef_macro (pfile, "__ARM_NEON", TARGET_NEON);
 165
 166   if (TARGET_NEON_FP)
 167     builtin_define_with_int_value ("__ARM_NEON_FP", TARGET_NEON_FP);
 168   else
 169     cpp_undef (pfile, "__ARM_NEON_FP");
 170
 171   /* Add a define for interworking. Needed when building libgcc.a.  */
 172   if (arm_cpp_interwork)
 173     builtin_define ("__THUMB_INTERWORK__");
 174
 175   builtin_define (arm_arch_name);
 176   if (arm_arch_xscale)
 177     builtin_define ("__XSCALE__");
 178   if (arm_arch_iwmmxt)
 179     {
 180       builtin_define ("__IWMMXT__");
 181       builtin_define ("__ARM_WMMX");
 182     }
 183   if (arm_arch_iwmmxt2)
 184     builtin_define ("__IWMMXT2__");
 185   /* ARMv6KZ was originally identified as the misspelled __ARM_ARCH_6ZK__.  To
 186      preserve the existing behavior, the misspelled feature macro must still be
 187      defined.  */
 188   if (arm_arch6kz)
 189     builtin_define ("__ARM_ARCH_6ZK__");
 190   if (TARGET_AAPCS_BASED)
 191     {
 192       if (arm_pcs_default == ARM_PCS_AAPCS_VFP)
 193         builtin_define ("__ARM_PCS_VFP");
 194       else if (arm_pcs_default == ARM_PCS_AAPCS)
 195         builtin_define ("__ARM_PCS");
 196       builtin_define ("__ARM_EABI__");
 197     }
 198
 199   def_or_undef_macro (pfile, "__ARM_ARCH_EXT_IDIV__", TARGET_IDIV);
 200   def_or_undef_macro (pfile, "__ARM_FEATURE_IDIV", TARGET_IDIV);
 201
 202   def_or_undef_macro (pfile, "__ARM_ASM_SYNTAX_UNIFIED__", inline_asm_unified);
 203
 204   if (TARGET_32BIT && arm_arch4 && !(arm_arch8 && arm_arch_notm))
 205     {
 206       int coproc_level = 0x1;
 207
 208       if (arm_arch5)
 209         coproc_level |= 0x2;
 210       if (arm_arch5e)
 211         coproc_level |= 0x4;
 212       if (arm_arch6)
 213         coproc_level |= 0x8;
 214
 215       builtin_define_with_int_value ("__ARM_FEATURE_COPROC", coproc_level);
 216     }
 217   else
 218       cpp_undef (pfile, "__ARM_FEATURE_COPROC");
 219 }
 220
 221 void
 222 arm_cpu_cpp_builtins (struct cpp_reader * pfile)
 223 {
 224   builtin_assert ("cpu=arm");
 225   builtin_assert ("machine=arm");
 226
 227   arm_cpu_builtins (pfile);
 228 }
 229
 230 /* Hook to validate the current #pragma GCC target and set the arch custom
 231    mode state.  If ARGS is NULL, then POP_TARGET is used to reset
 232    the options.  */
 233
 234 static bool
 235 arm_pragma_target_parse (tree args, tree pop_target)
 236 {
 237   tree prev_tree = target_option_current_node;
 238   tree cur_tree;
 239   struct cl_target_option *prev_opt;
 240   struct cl_target_option *cur_opt;
 241
 242   if (! args)
 243     {
 244       cur_tree = ((pop_target) ? pop_target : target_option_default_node);
 245       cl_target_option_restore (&global_options,
 246                                 TREE_TARGET_OPTION (cur_tree));
 247     }
 248   else
 249     {
 250       cur_tree = arm_valid_target_attribute_tree (args, &global_options,
 251                                                   &global_options_set);
 252       if (cur_tree == NULL_TREE)
 253         {
 254           cl_target_option_restore (&global_options,
 255                                     TREE_TARGET_OPTION (prev_tree));
 256           return false;
 257         }
 258
 259       /* handle_pragma_pop_options and handle_pragma_reset_options will set
 260        target_option_current_node, but not handle_pragma_target.  */
 261       target_option_current_node = cur_tree;
 262       arm_configure_build_target (&arm_active_target,
 263                                   TREE_TARGET_OPTION (cur_tree),
 264                                   &global_options_set, false);
 265     }
 266
 267   /* Update macros if target_node changes. The global state will be restored
 268      by arm_set_current_function.  */
 269   prev_opt = TREE_TARGET_OPTION (prev_tree);
 270   cur_opt  = TREE_TARGET_OPTION (cur_tree);
 271
 272   gcc_assert (prev_opt);
 273   gcc_assert (cur_opt);
 274
 275   if (cur_opt != prev_opt)
 276     {
 277       /* For the definitions, ensure all newly defined macros are considered
 278          as used for -Wunused-macros.  There is no point warning about the
 279          compiler predefined macros.  */
 280       cpp_options *cpp_opts = cpp_get_options (parse_in);
 281       unsigned char saved_warn_unused_macros = cpp_opts->warn_unused_macros;
 282
 283       cpp_opts->warn_unused_macros = 0;
 284
 285       /* Update macros.  */
 286       gcc_assert (cur_opt->x_target_flags == target_flags);
 287
 288       /* Don't warn for macros that have context sensitive values depending on
 289          other attributes.
 290          See warn_of_redefinition, reset after cpp_create_definition.  */
 291       tree acond_macro = get_identifier ("__ARM_NEON_FP");
 292       C_CPP_HASHNODE (acond_macro)->flags |= NODE_CONDITIONAL ;
 293
 294       acond_macro = get_identifier ("__ARM_FP");
 295       C_CPP_HASHNODE (acond_macro)->flags |= NODE_CONDITIONAL;
 296
 297       acond_macro = get_identifier ("__ARM_FEATURE_LDREX");
 298       C_CPP_HASHNODE (acond_macro)->flags |= NODE_CONDITIONAL;
 299
 300       arm_cpu_builtins (parse_in);
 301
 302       cpp_opts->warn_unused_macros = saved_warn_unused_macros;
 303
 304       /* Make sure that target_reinit is called for next function, since
 305          TREE_TARGET_OPTION might change with the #pragma even if there is
 306          no target attribute attached to the function.  */
 307       arm_reset_previous_fndecl ();
 308
 309       /* If going to the default mode, we restore the initial states.
 310          if cur_tree is a new target, states will be saved/restored on a per
 311          function basis in arm_set_current_function.  */
 312       if (cur_tree == target_option_default_node)
 313         save_restore_target_globals (cur_tree);
 314     }
 315
 316   return true;
 317 }
 318
 319 /* Register target pragmas.  We need to add the hook for parsing #pragma GCC
 320    option here rather than in arm.c since it will pull in various preprocessor
 321    functions, and those are not present in languages like fortran without a
 322    preprocessor.  */
 323
 324 void
 325 arm_register_target_pragmas (void)
 326 {
 327   /* Update pragma hook to allow parsing #pragma GCC target.  */
 328   targetm.target_option.pragma_parse = arm_pragma_target_parse;
 329
 330 #ifdef REGISTER_SUBTARGET_PRAGMAS
 331   REGISTER_SUBTARGET_PRAGMAS ();
 332 #endif
 333 }