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, 2005, 2006 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, 51 Franklin Street, Fifth Floor, Boston, MA
  20 02110-1301, 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   "usmul_widen_optab->handlers[$B].insn_code = CODE_FOR_$(usmul$a$b3$)$N",
  88   "sdiv_optab->handlers[$A].insn_code = CODE_FOR_$(div$a3$)",
  89   "sdivv_optab->handlers[$A].insn_code = CODE_FOR_$(div$V$I$a3$)",
  90   "udiv_optab->handlers[$A].insn_code = CODE_FOR_$(udiv$I$a3$)",
  91   "sdivmod_optab->handlers[$A].insn_code = CODE_FOR_$(divmod$a4$)",
  92   "udivmod_optab->handlers[$A].insn_code = CODE_FOR_$(udivmod$a4$)",
  93   "smod_optab->handlers[$A].insn_code = CODE_FOR_$(mod$a3$)",
  94   "umod_optab->handlers[$A].insn_code = CODE_FOR_$(umod$a3$)",
  95   "fmod_optab->handlers[$A].insn_code = CODE_FOR_$(fmod$a3$)",
  96   "remainder_optab->handlers[$A].insn_code = CODE_FOR_$(remainder$a3$)",
  97   "ftrunc_optab->handlers[$A].insn_code = CODE_FOR_$(ftrunc$F$a2$)",
  98   "and_optab->handlers[$A].insn_code = CODE_FOR_$(and$a3$)",
  99   "ior_optab->handlers[$A].insn_code = CODE_FOR_$(ior$a3$)",
 100   "xor_optab->handlers[$A].insn_code = CODE_FOR_$(xor$a3$)",
 101   "ashl_optab->handlers[$A].insn_code = CODE_FOR_$(ashl$a3$)",
 102   "ashr_optab->handlers[$A].insn_code = CODE_FOR_$(ashr$a3$)",
 103   "lshr_optab->handlers[$A].insn_code = CODE_FOR_$(lshr$a3$)",
 104   "rotl_optab->handlers[$A].insn_code = CODE_FOR_$(rotl$a3$)",
 105   "rotr_optab->handlers[$A].insn_code = CODE_FOR_$(rotr$a3$)",
 106   "smin_optab->handlers[$A].insn_code = CODE_FOR_$(smin$a3$)",
 107   "smax_optab->handlers[$A].insn_code = CODE_FOR_$(smax$a3$)",
 108   "umin_optab->handlers[$A].insn_code = CODE_FOR_$(umin$I$a3$)",
 109   "umax_optab->handlers[$A].insn_code = CODE_FOR_$(umax$I$a3$)",
 110   "pow_optab->handlers[$A].insn_code = CODE_FOR_$(pow$a3$)",
 111   "atan2_optab->handlers[$A].insn_code = CODE_FOR_$(atan2$a3$)",
 112   "neg_optab->handlers[$A].insn_code = CODE_FOR_$(neg$P$a2$)",
 113   "negv_optab->handlers[$A].insn_code =\n\
 114     neg_optab->handlers[$A].insn_code = CODE_FOR_$(neg$F$a2$)",
 115   "negv_optab->handlers[$A].insn_code = CODE_FOR_$(negv$I$a2$)",
 116   "abs_optab->handlers[$A].insn_code = CODE_FOR_$(abs$P$a2$)",
 117   "absv_optab->handlers[$A].insn_code =\n\
 118     abs_optab->handlers[$A].insn_code = CODE_FOR_$(abs$F$a2$)",
 119   "absv_optab->handlers[$A].insn_code = CODE_FOR_$(absv$I$a2$)",
 120   "copysign_optab->handlers[$A].insn_code = CODE_FOR_$(copysign$F$a3$)",
 121   "isinf_optab->handlers[$A].insn_code = CODE_FOR_$(isinf$a2$)",
 122   "sqrt_optab->handlers[$A].insn_code = CODE_FOR_$(sqrt$a2$)",
 123   "floor_optab->handlers[$A].insn_code = CODE_FOR_$(floor$a2$)",
 124   "lfloor_optab->handlers[$B][$A].insn_code = CODE_FOR_$(lfloor$F$a$I$b2$)",
 125   "ceil_optab->handlers[$A].insn_code = CODE_FOR_$(ceil$a2$)",
 126   "lceil_optab->handlers[$B][$A].insn_code = CODE_FOR_$(lceil$F$a$I$b2$)",
 127   "round_optab->handlers[$A].insn_code = CODE_FOR_$(round$a2$)",
 128   "btrunc_optab->handlers[$A].insn_code = CODE_FOR_$(btrunc$a2$)",
 129   "nearbyint_optab->handlers[$A].insn_code = CODE_FOR_$(nearbyint$a2$)",
 130   "rint_optab->handlers[$A].insn_code = CODE_FOR_$(rint$a2$)",
 131   "lrint_optab->handlers[$B][$A].insn_code = CODE_FOR_$(lrint$F$a$I$b2$)",
 132   "lround_optab->handlers[$B][$A].insn_code = CODE_FOR_$(lround$F$a$I$b2$)",
 133   "sincos_optab->handlers[$A].insn_code = CODE_FOR_$(sincos$a3$)",
 134   "sin_optab->handlers[$A].insn_code = CODE_FOR_$(sin$a2$)",
 135   "asin_optab->handlers[$A].insn_code = CODE_FOR_$(asin$a2$)",
 136   "cos_optab->handlers[$A].insn_code = CODE_FOR_$(cos$a2$)",
 137   "acos_optab->handlers[$A].insn_code = CODE_FOR_$(acos$a2$)",
 138   "exp_optab->handlers[$A].insn_code = CODE_FOR_$(exp$a2$)",
 139   "exp10_optab->handlers[$A].insn_code = CODE_FOR_$(exp10$a2$)",
 140   "exp2_optab->handlers[$A].insn_code = CODE_FOR_$(exp2$a2$)",
 141   "expm1_optab->handlers[$A].insn_code = CODE_FOR_$(expm1$a2$)",
 142   "ldexp_optab->handlers[$A].insn_code = CODE_FOR_$(ldexp$a3$)",
 143   "scalb_optab->handlers[$A].insn_code = CODE_FOR_$(scalb$a3$)",
 144   "logb_optab->handlers[$A].insn_code = CODE_FOR_$(logb$a2$)",
 145   "ilogb_optab->handlers[$A].insn_code = CODE_FOR_$(ilogb$a2$)",
 146   "log_optab->handlers[$A].insn_code = CODE_FOR_$(log$a2$)",
 147   "log10_optab->handlers[$A].insn_code = CODE_FOR_$(log10$a2$)",
 148   "log2_optab->handlers[$A].insn_code = CODE_FOR_$(log2$a2$)",
 149   "log1p_optab->handlers[$A].insn_code = CODE_FOR_$(log1p$a2$)",
 150   "tan_optab->handlers[$A].insn_code = CODE_FOR_$(tan$a2$)",
 151   "atan_optab->handlers[$A].insn_code = CODE_FOR_$(atan$a2$)",
 152   "strlen_optab->handlers[$A].insn_code = CODE_FOR_$(strlen$a$)",
 153   "one_cmpl_optab->handlers[$A].insn_code = CODE_FOR_$(one_cmpl$a2$)",
 154   "bswap_optab->handlers[$A].insn_code = CODE_FOR_$(bswap$a2$)",
 155   "ffs_optab->handlers[$A].insn_code = CODE_FOR_$(ffs$a2$)",
 156   "clz_optab->handlers[$A].insn_code = CODE_FOR_$(clz$a2$)",
 157   "ctz_optab->handlers[$A].insn_code = CODE_FOR_$(ctz$a2$)",
 158   "popcount_optab->handlers[$A].insn_code = CODE_FOR_$(popcount$a2$)",
 159   "parity_optab->handlers[$A].insn_code = CODE_FOR_$(parity$a2$)",
 160   "mov_optab->handlers[$A].insn_code = CODE_FOR_$(mov$a$)",
 161   "movstrict_optab->handlers[$A].insn_code = CODE_FOR_$(movstrict$a$)",
 162   "movmisalign_optab->handlers[$A].insn_code = CODE_FOR_$(movmisalign$a$)",
 163   "cmp_optab->handlers[$A].insn_code = CODE_FOR_$(cmp$a$)",
 164   "tst_optab->handlers[$A].insn_code = CODE_FOR_$(tst$a$)",
 165   "addcc_optab->handlers[$A].insn_code = CODE_FOR_$(add$acc$)",
 166   "bcc_gen_fctn[$C] = gen_$(b$c$)",
 167   "setcc_gen_code[$C] = CODE_FOR_$(s$c$)",
 168   "movcc_gen_code[$A] = CODE_FOR_$(mov$acc$)",
 169   "cbranch_optab->handlers[$A].insn_code = CODE_FOR_$(cbranch$a4$)",
 170   "cmov_optab->handlers[$A].insn_code = CODE_FOR_$(cmov$a6$)",
 171   "cstore_optab->handlers[$A].insn_code = CODE_FOR_$(cstore$a4$)",
 172   "push_optab->handlers[$A].insn_code = CODE_FOR_$(push$a1$)",
 173   "reload_in_optab[$A] = CODE_FOR_$(reload_in$a$)",
 174   "reload_out_optab[$A] = CODE_FOR_$(reload_out$a$)",
 175   "movmem_optab[$A] = CODE_FOR_$(movmem$a$)",
 176   "cmpstr_optab[$A] = CODE_FOR_$(cmpstr$a$)",
 177   "cmpstrn_optab[$A] = CODE_FOR_$(cmpstrn$a$)",
 178   "cmpmem_optab[$A] = CODE_FOR_$(cmpmem$a$)",
 179   "setmem_optab[$A] = CODE_FOR_$(setmem$a$)",
 180   "sync_add_optab[$A] = CODE_FOR_$(sync_add$I$a$)",
 181   "sync_sub_optab[$A] = CODE_FOR_$(sync_sub$I$a$)",
 182   "sync_ior_optab[$A] = CODE_FOR_$(sync_ior$I$a$)",
 183   "sync_and_optab[$A] = CODE_FOR_$(sync_and$I$a$)",
 184   "sync_xor_optab[$A] = CODE_FOR_$(sync_xor$I$a$)",
 185   "sync_nand_optab[$A] = CODE_FOR_$(sync_nand$I$a$)",
 186   "sync_old_add_optab[$A] = CODE_FOR_$(sync_old_add$I$a$)",
 187   "sync_old_sub_optab[$A] = CODE_FOR_$(sync_old_sub$I$a$)",
 188   "sync_old_ior_optab[$A] = CODE_FOR_$(sync_old_ior$I$a$)",
 189   "sync_old_and_optab[$A] = CODE_FOR_$(sync_old_and$I$a$)",
 190   "sync_old_xor_optab[$A] = CODE_FOR_$(sync_old_xor$I$a$)",
 191   "sync_old_nand_optab[$A] = CODE_FOR_$(sync_old_nand$I$a$)",
 192   "sync_new_add_optab[$A] = CODE_FOR_$(sync_new_add$I$a$)",
 193   "sync_new_sub_optab[$A] = CODE_FOR_$(sync_new_sub$I$a$)",
 194   "sync_new_ior_optab[$A] = CODE_FOR_$(sync_new_ior$I$a$)",
 195   "sync_new_and_optab[$A] = CODE_FOR_$(sync_new_and$I$a$)",
 196   "sync_new_xor_optab[$A] = CODE_FOR_$(sync_new_xor$I$a$)",
 197   "sync_new_nand_optab[$A] = CODE_FOR_$(sync_new_nand$I$a$)",
 198   "sync_compare_and_swap[$A] = CODE_FOR_$(sync_compare_and_swap$I$a$)",
 199   "sync_compare_and_swap_cc[$A] = CODE_FOR_$(sync_compare_and_swap_cc$I$a$)",
 200   "sync_lock_test_and_set[$A] = CODE_FOR_$(sync_lock_test_and_set$I$a$)",
 201   "sync_lock_release[$A] = CODE_FOR_$(sync_lock_release$I$a$)",
 202   "vec_set_optab->handlers[$A].insn_code = CODE_FOR_$(vec_set$a$)",
 203   "vec_extract_optab->handlers[$A].insn_code = CODE_FOR_$(vec_extract$a$)",
 204   "vec_extract_even_optab->handlers[$A].insn_code = CODE_FOR_$(vec_extract_even$a$)",
 205   "vec_extract_odd_optab->handlers[$A].insn_code = CODE_FOR_$(vec_extract_odd$a$)",
 206   "vec_interleave_high_optab->handlers[$A].insn_code = CODE_FOR_$(vec_interleave_high$a$)",
 207   "vec_interleave_low_optab->handlers[$A].insn_code = CODE_FOR_$(vec_interleave_low$a$)",
 208   "vec_init_optab->handlers[$A].insn_code = CODE_FOR_$(vec_init$a$)",
 209   "vec_shl_optab->handlers[$A].insn_code = CODE_FOR_$(vec_shl_$a$)",
 210   "vec_shr_optab->handlers[$A].insn_code = CODE_FOR_$(vec_shr_$a$)",
 211   "vec_realign_load_optab->handlers[$A].insn_code = CODE_FOR_$(vec_realign_load_$a$)",
 212   "vcond_gen_code[$A] = CODE_FOR_$(vcond$a$)",
 213   "vcondu_gen_code[$A] = CODE_FOR_$(vcondu$a$)",
 214   "ssum_widen_optab->handlers[$A].insn_code = CODE_FOR_$(widen_ssum$I$a3$)",
 215   "usum_widen_optab->handlers[$A].insn_code = CODE_FOR_$(widen_usum$I$a3$)",
 216   "udot_prod_optab->handlers[$A].insn_code = CODE_FOR_$(udot_prod$I$a$)",
 217   "sdot_prod_optab->handlers[$A].insn_code = CODE_FOR_$(sdot_prod$I$a$)",
 218   "reduc_smax_optab->handlers[$A].insn_code = CODE_FOR_$(reduc_smax_$a$)",
 219   "reduc_umax_optab->handlers[$A].insn_code = CODE_FOR_$(reduc_umax_$a$)",
 220   "reduc_smin_optab->handlers[$A].insn_code = CODE_FOR_$(reduc_smin_$a$)",
 221   "reduc_umin_optab->handlers[$A].insn_code = CODE_FOR_$(reduc_umin_$a$)",
 222   "reduc_splus_optab->handlers[$A].insn_code = CODE_FOR_$(reduc_splus_$a$)" ,
 223   "reduc_uplus_optab->handlers[$A].insn_code = CODE_FOR_$(reduc_uplus_$a$)",
 224   "vec_widen_umult_hi_optab->handlers[$A].insn_code = CODE_FOR_$(vec_widen_umult_hi_$a$)",
 225   "vec_widen_umult_lo_optab->handlers[$A].insn_code = CODE_FOR_$(vec_widen_umult_lo_$a$)",
 226   "vec_widen_smult_hi_optab->handlers[$A].insn_code = CODE_FOR_$(vec_widen_smult_hi_$a$)",
 227   "vec_widen_smult_lo_optab->handlers[$A].insn_code = CODE_FOR_$(vec_widen_smult_lo_$a$)",
 228   "vec_unpacks_hi_optab->handlers[$A].insn_code = CODE_FOR_$(vec_unpacks_hi_$a$)",
 229   "vec_unpacks_lo_optab->handlers[$A].insn_code = CODE_FOR_$(vec_unpacks_lo_$a$)",
 230   "vec_unpacku_hi_optab->handlers[$A].insn_code = CODE_FOR_$(vec_unpacku_hi_$a$)",
 231   "vec_unpacku_lo_optab->handlers[$A].insn_code = CODE_FOR_$(vec_unpacku_lo_$a$)",
 232   "vec_pack_mod_optab->handlers[$A].insn_code = CODE_FOR_$(vec_pack_mod_$a$)",
 233   "vec_pack_ssat_optab->handlers[$A].insn_code = CODE_FOR_$(vec_pack_ssat_$a$)",  "vec_pack_usat_optab->handlers[$A].insn_code = CODE_FOR_$(vec_pack_usat_$a$)"
 234 };
 235
 236 static void gen_insn (rtx);
 237
 238 static void
 239 gen_insn (rtx insn)
 240 {
 241   const char *name = XSTR (insn, 0);
 242   int m1 = 0, m2 = 0, op = 0;
 243   size_t pindex;
 244   int i;
 245   const char *np, *pp, *p, *q;
 246
 247   /* Don't mention instructions whose names are the null string.
 248      They are in the machine description just to be recognized.  */
 249   if (*name == 0)
 250     return;
 251
 252   /* See if NAME matches one of the patterns we have for the optabs we know
 253      about.  */
 254
 255   for (pindex = 0; pindex < ARRAY_SIZE (optabs); pindex++)
 256     {
 257       int force_float = 0, force_int = 0, force_partial_int = 0;
 258       int force_consec = 0;
 259       int matches = 1;
 260
 261       for (pp = optabs[pindex]; pp[0] != '$' || pp[1] != '('; pp++)
 262         ;
 263
 264       for (pp += 2, np = name; matches && ! (pp[0] == '$' && pp[1] == ')');
 265            pp++)
 266         {
 267           if (*pp != '$')
 268             {
 269               if (*pp != *np++)
 270                 break;
 271             }
 272           else
 273             switch (*++pp)
 274               {
 275               case 'N':
 276                 force_consec = 1;
 277                 break;
 278               case 'I':
 279                 force_int = 1;
 280                 break;
 281               case 'P':
 282                 force_partial_int = 1;
 283                 break;
 284               case 'F':
 285                 force_float = 1;
 286                 break;
 287               case 'V':
 288                 break;
 289               case 'c':
 290                 for (op = 0; op < NUM_RTX_CODE; op++)
 291                   {
 292                     for (p = GET_RTX_NAME(op), q = np; *p; p++, q++)
 293                       if (*p != *q)
 294                         break;
 295
 296                     /* We have to be concerned about matching "gt" and
 297                        missing "gtu", e.g., so verify we have reached the
 298                        end of thing we are to match.  */
 299                     if (*p == 0 && *q == 0
 300                         && (GET_RTX_CLASS (op) == RTX_COMPARE
 301                             || GET_RTX_CLASS (op) == RTX_COMM_COMPARE))
 302                       break;
 303                   }
 304
 305                 if (op == NUM_RTX_CODE)
 306                   matches = 0;
 307                 else
 308                   np += strlen (GET_RTX_NAME(op));
 309                 break;
 310               case 'a':
 311               case 'b':
 312                 /* This loop will stop at the first prefix match, so
 313                    look through the modes in reverse order, in case
 314                    there are extra CC modes and CC is a prefix of the
 315                    CC modes (as it should be).  */
 316                 for (i = (MAX_MACHINE_MODE) - 1; i >= 0; i--)
 317                   {
 318                     for (p = GET_MODE_NAME(i), q = np; *p; p++, q++)
 319                       if (TOLOWER (*p) != *q)
 320                         break;
 321
 322                     if (*p == 0
 323                         && (! force_int || mode_class[i] == MODE_INT
 324                             || mode_class[i] == MODE_VECTOR_INT)
 325                         && (! force_partial_int
 326                             || mode_class[i] == MODE_INT
 327                             || mode_class[i] == MODE_PARTIAL_INT
 328                             || mode_class[i] == MODE_VECTOR_INT)
 329                         && (! force_float
 330                             || mode_class[i] == MODE_FLOAT
 331                             || mode_class[i] == MODE_DECIMAL_FLOAT
 332                             || mode_class[i] == MODE_COMPLEX_FLOAT
 333                             || mode_class[i] == MODE_VECTOR_FLOAT))
 334                       break;
 335                   }
 336
 337                 if (i < 0)
 338                   matches = 0;
 339                 else if (*pp == 'a')
 340                   m1 = i, np += strlen (GET_MODE_NAME(i));
 341                 else
 342                   m2 = i, np += strlen (GET_MODE_NAME(i));
 343
 344                 force_int = force_partial_int = force_float = 0;
 345                 break;
 346
 347               default:
 348                 gcc_unreachable ();
 349               }
 350         }
 351
 352       if (matches && pp[0] == '$' && pp[1] == ')'
 353           && *np == 0
 354           && (! force_consec || (int) GET_MODE_WIDER_MODE(m1) == m2))
 355         break;
 356     }
 357
 358   if (pindex == ARRAY_SIZE (optabs))
 359     return;
 360
 361   /* We found a match.  If this pattern is only conditionally present,
 362      write out the "if" and two extra blanks.  */
 363
 364   if (*XSTR (insn, 2) != 0)
 365     printf ("  if (HAVE_%s)\n  ", name);
 366
 367   printf ("  ");
 368
 369   /* Now write out the initialization, making all required substitutions.  */
 370   for (pp = optabs[pindex]; *pp; pp++)
 371     {
 372       if (*pp != '$')
 373         putchar (*pp);
 374       else
 375         switch (*++pp)
 376           {
 377           case '(':  case ')':
 378           case 'I':  case 'F':  case 'N':
 379             break;
 380           case 'V':
 381             if (SCALAR_FLOAT_MODE_P (m1))
 382               printf ("v");
 383             break;
 384           case 'a':
 385             for (np = GET_MODE_NAME(m1); *np; np++)
 386               putchar (TOLOWER (*np));
 387             break;
 388           case 'b':
 389             for (np = GET_MODE_NAME(m2); *np; np++)
 390               putchar (TOLOWER (*np));
 391             break;
 392           case 'A':
 393             printf ("%smode", GET_MODE_NAME(m1));
 394             break;
 395           case 'B':
 396             printf ("%smode", GET_MODE_NAME(m2));
 397             break;
 398           case 'c':
 399             printf ("%s", GET_RTX_NAME(op));
 400             break;
 401           case 'C':
 402             for (np = GET_RTX_NAME(op); *np; np++)
 403               putchar (TOUPPER (*np));
 404             break;
 405           }
 406     }
 407
 408   printf (";\n");
 409 }
 410
 411 extern int main (int, char **);
 412
 413 int
 414 main (int argc, char **argv)
 415 {
 416   rtx desc;
 417
 418   progname = "genopinit";
 419
 420   if (init_md_reader_args (argc, argv) != SUCCESS_EXIT_CODE)
 421     return (FATAL_EXIT_CODE);
 422
 423   printf ("/* Generated automatically by the program `genopinit'\n\
 424 from the machine description file `md'.  */\n\n");
 425
 426   printf ("#include \"config.h\"\n");
 427   printf ("#include \"system.h\"\n");
 428   printf ("#include \"coretypes.h\"\n");
 429   printf ("#include \"tm.h\"\n");
 430   printf ("#include \"rtl.h\"\n");
 431   printf ("#include \"flags.h\"\n");
 432   printf ("#include \"insn-config.h\"\n");
 433   printf ("#include \"recog.h\"\n");
 434   printf ("#include \"expr.h\"\n");
 435   printf ("#include \"optabs.h\"\n");
 436   printf ("#include \"reload.h\"\n\n");
 437
 438   printf ("void\ninit_all_optabs (void)\n{\n");
 439
 440   puts ("\
 441 #ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\
 442   int i, j;\n\
 443 #endif\n");
 444
 445   /* Read the machine description.  */
 446
 447   while (1)
 448     {
 449       int line_no, insn_code_number = 0;
 450
 451       desc = read_md_rtx (&line_no, &insn_code_number);
 452       if (desc == NULL)
 453         break;
 454
 455       if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
 456         gen_insn (desc);
 457     }
 458
 459   puts ("\
 460 \n\
 461 #ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\
 462   /* This flag says the same insns that convert to a signed fixnum\n\
 463      also convert validly to an unsigned one.  */\n\
 464   for (i = 0; i < NUM_MACHINE_MODES; i++)\n\
 465     for (j = 0; j < NUM_MACHINE_MODES; j++)\n\
 466       ufixtrunc_optab->handlers[i][j].insn_code\n\
 467       = sfixtrunc_optab->handlers[i][j].insn_code;\n\
 468 #endif\n\
 469 }");
 470
 471   fflush (stdout);
 472   return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
 473 }