gcc/genopinit.c

   1 /* Generate code to initialize optabs from machine description.
   2    Copyright (C) 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
   3    2001, 2002, 2003, 2004 Free Software Foundation, Inc.
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify it under
   8 the terms of the GNU General Public License as published by the Free
   9 Software Foundation; either version 2, or (at your option) any later
  10 version.
  11
  12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 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 Free
  19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
  20 02111-1307, USA.  */
  21
  22
  23 #include "bconfig.h"
  24 #include "system.h"
  25 #include "coretypes.h"
  26 #include "tm.h"
  27 #include "rtl.h"
  28 #include "errors.h"
  29 #include "gensupport.h"
  30
  31
  32 /* Many parts of GCC use arrays that are indexed by machine mode and
  33    contain the insn codes for pattern in the MD file that perform a given
  34    operation on operands of that mode.
  35
  36    These patterns are present in the MD file with names that contain
  37    the mode(s) used and the name of the operation.  This program
  38    writes a function `init_all_optabs' that initializes the optabs with
  39    all the insn codes of the relevant patterns present in the MD file.
  40
  41    This array contains a list of optabs that need to be initialized.  Within
  42    each string, the name of the pattern to be matched against is delimited
  43    with $( and $).  In the string, $a and $b are used to match a short mode
  44    name (the part of the mode name not including `mode' and converted to
  45    lower-case).  When writing out the initializer, the entire string is
  46    used.  $A and $B are replaced with the full name of the mode; $a and $b
  47    are replaced with the short form of the name, as above.
  48
  49    If $N is present in the pattern, it means the two modes must be consecutive
  50    widths in the same mode class (e.g, QImode and HImode).  $I means that
  51    only full integer modes should be considered for the next mode, and $F
  52    means that only float modes should be considered.
  53    $P means that both full and partial integer modes should be considered.
  54
  55    $V means to emit 'v' if the first mode is a MODE_FLOAT mode.
  56
  57    For some optabs, we store the operation by RTL codes.  These are only
  58    used for comparisons.  In that case, $c and $C are the lower-case and
  59    upper-case forms of the comparison, respectively.  */
  60
  61 static const char * const optabs[] =
  62 { "sext_optab->handlers[$B][$A].insn_code = CODE_FOR_$(extend$a$b2$)",
  63   "zext_optab->handlers[$B][$A].insn_code = CODE_FOR_$(zero_extend$a$b2$)",
  64   "sfix_optab->handlers[$B][$A].insn_code = CODE_FOR_$(fix$F$a$I$b2$)",
  65   "ufix_optab->handlers[$B][$A].insn_code = CODE_FOR_$(fixuns$F$a$b2$)",
  66   "sfixtrunc_optab->handlers[$B][$A].insn_code = CODE_FOR_$(fix_trunc$F$a$I$b2$)",
  67   "ufixtrunc_optab->handlers[$B][$A].insn_code = CODE_FOR_$(fixuns_trunc$F$a$I$b2$)",
  68   "sfloat_optab->handlers[$B][$A].insn_code = CODE_FOR_$(float$I$a$F$b2$)",
  69   "ufloat_optab->handlers[$B][$A].insn_code = CODE_FOR_$(floatuns$I$a$F$b2$)",
  70   "trunc_optab->handlers[$B][$A].insn_code = CODE_FOR_$(trunc$a$b2$)",
  71   "add_optab->handlers[$A].insn_code = CODE_FOR_$(add$P$a3$)",
  72   "addv_optab->handlers[$A].insn_code =\n\
  73     add_optab->handlers[$A].insn_code = CODE_FOR_$(add$F$a3$)",
  74   "addv_optab->handlers[$A].insn_code = CODE_FOR_$(addv$I$a3$)",
  75   "sub_optab->handlers[$A].insn_code = CODE_FOR_$(sub$P$a3$)",
  76   "subv_optab->handlers[$A].insn_code =\n\
  77     sub_optab->handlers[$A].insn_code = CODE_FOR_$(sub$F$a3$)",
  78   "subv_optab->handlers[$A].insn_code = CODE_FOR_$(subv$I$a3$)",
  79   "smul_optab->handlers[$A].insn_code = CODE_FOR_$(mul$P$a3$)",
  80   "smulv_optab->handlers[$A].insn_code =\n\
  81     smul_optab->handlers[$A].insn_code = CODE_FOR_$(mul$F$a3$)",
  82   "smulv_optab->handlers[$A].insn_code = CODE_FOR_$(mulv$I$a3$)",
  83   "umul_highpart_optab->handlers[$A].insn_code = CODE_FOR_$(umul$a3_highpart$)",
  84   "smul_highpart_optab->handlers[$A].insn_code = CODE_FOR_$(smul$a3_highpart$)",
  85   "smul_widen_optab->handlers[$B].insn_code = CODE_FOR_$(mul$a$b3$)$N",
  86   "umul_widen_optab->handlers[$B].insn_code = CODE_FOR_$(umul$a$b3$)$N",
  87   "sdiv_optab->handlers[$A].insn_code = CODE_FOR_$(div$a3$)",
  88   "sdivv_optab->handlers[$A].insn_code = CODE_FOR_$(div$V$I$a3$)",
  89   "udiv_optab->handlers[$A].insn_code = CODE_FOR_$(udiv$I$a3$)",
  90   "sdivmod_optab->handlers[$A].insn_code = CODE_FOR_$(divmod$a4$)",
  91   "udivmod_optab->handlers[$A].insn_code = CODE_FOR_$(udivmod$a4$)",
  92   "smod_optab->handlers[$A].insn_code = CODE_FOR_$(mod$a3$)",
  93   "umod_optab->handlers[$A].insn_code = CODE_FOR_$(umod$a3$)",
  94   "fmod_optab->handlers[$A].insn_code = CODE_FOR_$(fmod$a3$)",
  95   "drem_optab->handlers[$A].insn_code = CODE_FOR_$(drem$a3$)",
  96   "ftrunc_optab->handlers[$A].insn_code = CODE_FOR_$(ftrunc$F$a2$)",
  97   "and_optab->handlers[$A].insn_code = CODE_FOR_$(and$a3$)",
  98   "ior_optab->handlers[$A].insn_code = CODE_FOR_$(ior$a3$)",
  99   "xor_optab->handlers[$A].insn_code = CODE_FOR_$(xor$a3$)",
 100   "ashl_optab->handlers[$A].insn_code = CODE_FOR_$(ashl$a3$)",
 101   "ashr_optab->handlers[$A].insn_code = CODE_FOR_$(ashr$a3$)",
 102   "lshr_optab->handlers[$A].insn_code = CODE_FOR_$(lshr$a3$)",
 103   "rotl_optab->handlers[$A].insn_code = CODE_FOR_$(rotl$a3$)",
 104   "rotr_optab->handlers[$A].insn_code = CODE_FOR_$(rotr$a3$)",
 105   "smin_optab->handlers[$A].insn_code = CODE_FOR_$(smin$I$a3$)",
 106   "smin_optab->handlers[$A].insn_code = CODE_FOR_$(min$F$a3$)",
 107   "smax_optab->handlers[$A].insn_code = CODE_FOR_$(smax$I$a3$)",
 108   "smax_optab->handlers[$A].insn_code = CODE_FOR_$(max$F$a3$)",
 109   "umin_optab->handlers[$A].insn_code = CODE_FOR_$(umin$I$a3$)",
 110   "umax_optab->handlers[$A].insn_code = CODE_FOR_$(umax$I$a3$)",
 111   "pow_optab->handlers[$A].insn_code = CODE_FOR_$(pow$a3$)",
 112   "atan2_optab->handlers[$A].insn_code = CODE_FOR_$(atan2$a3$)",
 113   "neg_optab->handlers[$A].insn_code = CODE_FOR_$(neg$P$a2$)",
 114   "negv_optab->handlers[$A].insn_code =\n\
 115     neg_optab->handlers[$A].insn_code = CODE_FOR_$(neg$F$a2$)",
 116   "negv_optab->handlers[$A].insn_code = CODE_FOR_$(negv$I$a2$)",
 117   "abs_optab->handlers[$A].insn_code = CODE_FOR_$(abs$P$a2$)",
 118   "absv_optab->handlers[$A].insn_code =\n\
 119     abs_optab->handlers[$A].insn_code = CODE_FOR_$(abs$F$a2$)",
 120   "absv_optab->handlers[$A].insn_code = CODE_FOR_$(absv$I$a2$)",
 121   "sqrt_optab->handlers[$A].insn_code = CODE_FOR_$(sqrt$a2$)",
 122   "floor_optab->handlers[$A].insn_code = CODE_FOR_$(floor$a2$)",
 123   "ceil_optab->handlers[$A].insn_code = CODE_FOR_$(ceil$a2$)",
 124   "round_optab->handlers[$A].insn_code = CODE_FOR_$(round$a2$)",
 125   "btrunc_optab->handlers[$A].insn_code = CODE_FOR_$(btrunc$a2$)",
 126   "nearbyint_optab->handlers[$A].insn_code = CODE_FOR_$(nearbyint$a2$)",
 127   "rint_optab->handlers[$A].insn_code = CODE_FOR_$(rint$a2$)",
 128   "sincos_optab->handlers[$A].insn_code = CODE_FOR_$(sincos$a3$)",
 129   "sin_optab->handlers[$A].insn_code = CODE_FOR_$(sin$a2$)",
 130   "asin_optab->handlers[$A].insn_code = CODE_FOR_$(asin$a2$)",
 131   "cos_optab->handlers[$A].insn_code = CODE_FOR_$(cos$a2$)",
 132   "acos_optab->handlers[$A].insn_code = CODE_FOR_$(acos$a2$)",
 133   "exp_optab->handlers[$A].insn_code = CODE_FOR_$(exp$a2$)",
 134   "exp10_optab->handlers[$A].insn_code = CODE_FOR_$(exp10$a2$)",
 135   "exp2_optab->handlers[$A].insn_code = CODE_FOR_$(exp2$a2$)",
 136   "expm1_optab->handlers[$A].insn_code = CODE_FOR_$(expm1$a2$)",
 137   "logb_optab->handlers[$A].insn_code = CODE_FOR_$(logb$a2$)",
 138   "ilogb_optab->handlers[$A].insn_code = CODE_FOR_$(ilogb$a2$)",
 139   "log_optab->handlers[$A].insn_code = CODE_FOR_$(log$a2$)",
 140   "log10_optab->handlers[$A].insn_code = CODE_FOR_$(log10$a2$)",
 141   "log2_optab->handlers[$A].insn_code = CODE_FOR_$(log2$a2$)",
 142   "log1p_optab->handlers[$A].insn_code = CODE_FOR_$(log1p$a2$)",
 143   "tan_optab->handlers[$A].insn_code = CODE_FOR_$(tan$a2$)",
 144   "atan_optab->handlers[$A].insn_code = CODE_FOR_$(atan$a2$)",
 145   "strlen_optab->handlers[$A].insn_code = CODE_FOR_$(strlen$a$)",
 146   "one_cmpl_optab->handlers[$A].insn_code = CODE_FOR_$(one_cmpl$a2$)",
 147   "ffs_optab->handlers[$A].insn_code = CODE_FOR_$(ffs$a2$)",
 148   "clz_optab->handlers[$A].insn_code = CODE_FOR_$(clz$a2$)",
 149   "ctz_optab->handlers[$A].insn_code = CODE_FOR_$(ctz$a2$)",
 150   "popcount_optab->handlers[$A].insn_code = CODE_FOR_$(popcount$a2$)",
 151   "parity_optab->handlers[$A].insn_code = CODE_FOR_$(parity$a2$)",
 152   "mov_optab->handlers[$A].insn_code = CODE_FOR_$(mov$a$)",
 153   "movstrict_optab->handlers[$A].insn_code = CODE_FOR_$(movstrict$a$)",
 154   "cmp_optab->handlers[$A].insn_code = CODE_FOR_$(cmp$a$)",
 155   "tst_optab->handlers[$A].insn_code = CODE_FOR_$(tst$a$)",
 156   "addcc_optab->handlers[$A].insn_code = CODE_FOR_$(add$acc$)",
 157   "bcc_gen_fctn[$C] = gen_$(b$c$)",
 158   "setcc_gen_code[$C] = CODE_FOR_$(s$c$)",
 159   "movcc_gen_code[$A] = CODE_FOR_$(mov$acc$)",
 160   "cbranch_optab->handlers[$A].insn_code = CODE_FOR_$(cbranch$a4$)",
 161   "cmov_optab->handlers[$A].insn_code = CODE_FOR_$(cmov$a6$)",
 162   "cstore_optab->handlers[$A].insn_code = CODE_FOR_$(cstore$a4$)",
 163   "push_optab->handlers[$A].insn_code = CODE_FOR_$(push$a1$)",
 164   "reload_in_optab[$A] = CODE_FOR_$(reload_in$a$)",
 165   "reload_out_optab[$A] = CODE_FOR_$(reload_out$a$)",
 166   "movmem_optab[$A] = CODE_FOR_$(movmem$a$)",
 167   "clrmem_optab[$A] = CODE_FOR_$(clrmem$a$)",
 168   "cmpstr_optab[$A] = CODE_FOR_$(cmpstr$a$)",
 169   "cmpmem_optab[$A] = CODE_FOR_$(cmpmem$a$)",
 170   "vec_set_optab->handlers[$A].insn_code = CODE_FOR_$(vec_set$a$)",
 171   "vec_extract_optab->handlers[$A].insn_code = CODE_FOR_$(vec_extract$a$)",
 172   "vec_init_optab->handlers[$A].insn_code = CODE_FOR_$(vec_init$a$)" };
 173
 174 static void gen_insn (rtx);
 175
 176 static void
 177 gen_insn (rtx insn)
 178 {
 179   const char *name = XSTR (insn, 0);
 180   int m1 = 0, m2 = 0, op = 0;
 181   size_t pindex;
 182   int i;
 183   const char *np, *pp, *p, *q;
 184
 185   /* Don't mention instructions whose names are the null string.
 186      They are in the machine description just to be recognized.  */
 187   if (*name == 0)
 188     return;
 189
 190   /* See if NAME matches one of the patterns we have for the optabs we know
 191      about.  */
 192
 193   for (pindex = 0; pindex < ARRAY_SIZE (optabs); pindex++)
 194     {
 195       int force_float = 0, force_int = 0, force_partial_int = 0;
 196       int force_consec = 0;
 197       int matches = 1;
 198
 199       for (pp = optabs[pindex]; pp[0] != '$' || pp[1] != '('; pp++)
 200         ;
 201
 202       for (pp += 2, np = name; matches && ! (pp[0] == '$' && pp[1] == ')');
 203            pp++)
 204         {
 205           if (*pp != '$')
 206             {
 207               if (*pp != *np++)
 208                 break;
 209             }
 210           else
 211             switch (*++pp)
 212               {
 213               case 'N':
 214                 force_consec = 1;
 215                 break;
 216               case 'I':
 217                 force_int = 1;
 218                 break;
 219               case 'P':
 220                 force_partial_int = 1;
 221                 break;
 222               case 'F':
 223                 force_float = 1;
 224                 break;
 225               case 'V':
 226                 break;
 227               case 'c':
 228                 for (op = 0; op < NUM_RTX_CODE; op++)
 229                   {
 230                     for (p = GET_RTX_NAME(op), q = np; *p; p++, q++)
 231                       if (*p != *q)
 232                         break;
 233
 234                     /* We have to be concerned about matching "gt" and
 235                        missing "gtu", e.g., so verify we have reached the
 236                        end of thing we are to match.  */
 237                     if (*p == 0 && *q == 0
 238                         && (GET_RTX_CLASS (op) == RTX_COMPARE
 239                             || GET_RTX_CLASS (op) == RTX_COMM_COMPARE))
 240                       break;
 241                   }
 242
 243                 if (op == NUM_RTX_CODE)
 244                   matches = 0;
 245                 else
 246                   np += strlen (GET_RTX_NAME(op));
 247                 break;
 248               case 'a':
 249               case 'b':
 250                 /* This loop will stop at the first prefix match, so
 251                    look through the modes in reverse order, in case
 252                    there are extra CC modes and CC is a prefix of the
 253                    CC modes (as it should be).  */
 254                 for (i = (MAX_MACHINE_MODE) - 1; i >= 0; i--)
 255                   {
 256                     for (p = GET_MODE_NAME(i), q = np; *p; p++, q++)
 257                       if (TOLOWER (*p) != *q)
 258                         break;
 259
 260                     if (*p == 0
 261                         && (! force_int || mode_class[i] == MODE_INT
 262                             || mode_class[i] == MODE_VECTOR_INT)
 263                         && (! force_partial_int
 264                             || mode_class[i] == MODE_INT
 265                             || mode_class[i] == MODE_PARTIAL_INT
 266                             || mode_class[i] == MODE_VECTOR_INT)
 267                         && (! force_float || mode_class[i] == MODE_FLOAT
 268                             || mode_class[i] == MODE_COMPLEX_FLOAT
 269                             || mode_class[i] == MODE_VECTOR_FLOAT))
 270                       break;
 271                   }
 272
 273                 if (i < 0)
 274                   matches = 0;
 275                 else if (*pp == 'a')
 276                   m1 = i, np += strlen (GET_MODE_NAME(i));
 277                 else
 278                   m2 = i, np += strlen (GET_MODE_NAME(i));
 279
 280                 force_int = force_partial_int = force_float = 0;
 281                 break;
 282
 283               default:
 284                 gcc_unreachable ();
 285               }
 286         }
 287
 288       if (matches && pp[0] == '$' && pp[1] == ')'
 289           && *np == 0
 290           && (! force_consec || (int) GET_MODE_WIDER_MODE(m1) == m2))
 291         break;
 292     }
 293
 294   if (pindex == ARRAY_SIZE (optabs))
 295     return;
 296
 297   /* We found a match.  If this pattern is only conditionally present,
 298      write out the "if" and two extra blanks.  */
 299
 300   if (*XSTR (insn, 2) != 0)
 301     printf ("  if (HAVE_%s)\n  ", name);
 302
 303   printf ("  ");
 304
 305   /* Now write out the initialization, making all required substitutions.  */
 306   for (pp = optabs[pindex]; *pp; pp++)
 307     {
 308       if (*pp != '$')
 309         putchar (*pp);
 310       else
 311         switch (*++pp)
 312           {
 313           case '(':  case ')':
 314           case 'I':  case 'F':  case 'N':
 315             break;
 316           case 'V':
 317             if (GET_MODE_CLASS (m1) == MODE_FLOAT)
 318               printf ("v");
 319             break;
 320           case 'a':
 321             for (np = GET_MODE_NAME(m1); *np; np++)
 322               putchar (TOLOWER (*np));
 323             break;
 324           case 'b':
 325             for (np = GET_MODE_NAME(m2); *np; np++)
 326               putchar (TOLOWER (*np));
 327             break;
 328           case 'A':
 329             printf ("%smode", GET_MODE_NAME(m1));
 330             break;
 331           case 'B':
 332             printf ("%smode", GET_MODE_NAME(m2));
 333             break;
 334           case 'c':
 335             printf ("%s", GET_RTX_NAME(op));
 336             break;
 337           case 'C':
 338             for (np = GET_RTX_NAME(op); *np; np++)
 339               putchar (TOUPPER (*np));
 340             break;
 341           }
 342     }
 343
 344   printf (";\n");
 345 }
 346
 347 extern int main (int, char **);
 348
 349 int
 350 main (int argc, char **argv)
 351 {
 352   rtx desc;
 353
 354   progname = "genopinit";
 355
 356   if (init_md_reader_args (argc, argv) != SUCCESS_EXIT_CODE)
 357     return (FATAL_EXIT_CODE);
 358
 359   printf ("/* Generated automatically by the program `genopinit'\n\
 360 from the machine description file `md'.  */\n\n");
 361
 362   printf ("#include \"config.h\"\n");
 363   printf ("#include \"system.h\"\n");
 364   printf ("#include \"coretypes.h\"\n");
 365   printf ("#include \"tm.h\"\n");
 366   printf ("#include \"rtl.h\"\n");
 367   printf ("#include \"flags.h\"\n");
 368   printf ("#include \"insn-config.h\"\n");
 369   printf ("#include \"recog.h\"\n");
 370   printf ("#include \"expr.h\"\n");
 371   printf ("#include \"optabs.h\"\n");
 372   printf ("#include \"reload.h\"\n\n");
 373
 374   printf ("void\ninit_all_optabs (void)\n{\n");
 375
 376   puts ("\
 377 #ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\
 378   int i, j;\n\
 379 #endif\n");
 380
 381   /* Read the machine description.  */
 382
 383   while (1)
 384     {
 385       int line_no, insn_code_number = 0;
 386
 387       desc = read_md_rtx (&line_no, &insn_code_number);
 388       if (desc == NULL)
 389         break;
 390
 391       if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
 392         gen_insn (desc);
 393     }
 394
 395   puts ("\
 396 \n\
 397 #ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\
 398   /* This flag says the same insns that convert to a signed fixnum\n\
 399      also convert validly to an unsigned one.  */\n\
 400   for (i = 0; i < NUM_MACHINE_MODES; i++)\n\
 401     for (j = 0; j < NUM_MACHINE_MODES; j++)\n\
 402       ufixtrunc_optab->handlers[i][j].insn_code\n\
 403       = sfixtrunc_optab->handlers[i][j].insn_code;\n\
 404 #endif\n\
 405 }");
 406
 407   fflush (stdout);
 408   return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
 409 }
 410
 411 /* Define this so we can link with print-rtl.o to get debug_rtx function.  */
 412 const char *
 413 get_insn_name (int code ATTRIBUTE_UNUSED)
 414 {
 415   return NULL;
 416 }