gcc/recog.h

   1 /* Declarations for interface to insn recognizer and insn-output.c.
   2    Copyright (C) 1987, 1996, 1997, 1998,
   3    1999, 2000 Free Software Foundation, Inc.
   4
   5 This file is part of GNU CC.
   6
   7 GNU CC is free software; you can redistribute it and/or modify
   8 it under the terms of the GNU General Public License as published by
   9 the Free Software Foundation; either version 2, or (at your option)
  10 any later version.
  11
  12 GNU CC is distributed in the hope that it will be useful,
  13 but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 GNU General Public License for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GNU CC; see the file COPYING.  If not, write to
  19 the Free Software Foundation, 59 Temple Place - Suite 330,
  20 Boston, MA 02111-1307, USA.  */
  21
  22 /* Random number that should be large enough for all purposes.  */
  23 #define MAX_RECOG_ALTERNATIVES 30
  24
  25 /* Types of operands.  */
  26 enum op_type {
  27   OP_IN,
  28   OP_OUT,
  29   OP_INOUT
  30 };
  31
  32 struct operand_alternative
  33 {
  34   /* Pointer to the beginning of the constraint string for this alternative,
  35      for easier access by alternative number.  */
  36   const char *constraint;
  37
  38   /* The register class valid for this alternative (possibly NO_REGS).  */
  39   enum reg_class class;
  40
  41   /* "Badness" of this alternative, computed from number of '?' and '!'
  42      characters in the constraint string.  */
  43   unsigned int reject;
  44
  45   /* -1 if no matching constraint was found, or an operand number.  */
  46   int matches;
  47   /* The same information, but reversed: -1 if this operand is not
  48      matched by any other, or the operand number of the operand that
  49      matches this one.  */
  50   int matched;
  51
  52   /* Nonzero if '&' was found in the constraint string.  */
  53   unsigned int earlyclobber:1;
  54   /* Nonzero if 'm' was found in the constraint string.  */
  55   unsigned int memory_ok:1;
  56   /* Nonzero if 'o' was found in the constraint string.  */
  57   unsigned int offmem_ok:1;
  58   /* Nonzero if 'V' was found in the constraint string.  */
  59   unsigned int nonoffmem_ok:1;
  60   /* Nonzero if '<' was found in the constraint string.  */
  61   unsigned int decmem_ok:1;
  62   /* Nonzero if '>' was found in the constraint string.  */
  63   unsigned int incmem_ok:1;
  64   /* Nonzero if 'X' was found in the constraint string, or if the constraint
  65      string for this alternative was empty.  */
  66   unsigned int anything_ok:1;
  67 };
  68
  69
  70 extern void init_recog                  PARAMS ((void));
  71 extern void init_recog_no_volatile      PARAMS ((void));
  72 extern int recog_memoized               PARAMS ((rtx));
  73 extern int check_asm_operands           PARAMS ((rtx));
  74 extern int asm_operand_ok               PARAMS ((rtx, const char *));
  75 extern int validate_change              PARAMS ((rtx, rtx *, rtx, int));
  76 extern int apply_change_group           PARAMS ((void));
  77 extern int num_validated_changes        PARAMS ((void));
  78 extern void cancel_changes              PARAMS ((int));
  79 extern int constrain_operands           PARAMS ((int));
  80 extern int memory_address_p             PARAMS ((enum machine_mode, rtx));
  81 extern int strict_memory_address_p      PARAMS ((enum machine_mode, rtx));
  82 extern int validate_replace_rtx_subexp  PARAMS ((rtx, rtx, rtx, rtx *));
  83 extern int validate_replace_rtx         PARAMS ((rtx, rtx, rtx));
  84 extern void validate_replace_rtx_group  PARAMS ((rtx, rtx, rtx));
  85 extern int validate_replace_src         PARAMS ((rtx, rtx, rtx));
  86 #ifdef HAVE_cc0
  87 extern int next_insn_tests_no_inequality PARAMS ((rtx));
  88 #endif
  89 extern int reg_fits_class_p             PARAMS ((rtx, enum reg_class, int,
  90                                                enum machine_mode));
  91 extern rtx *find_single_use             PARAMS ((rtx, rtx, rtx *));
  92
  93 extern int general_operand              PARAMS ((rtx, enum machine_mode));
  94 extern int address_operand              PARAMS ((rtx, enum machine_mode));
  95 extern int register_operand             PARAMS ((rtx, enum machine_mode));
  96 extern int pmode_register_operand       PARAMS ((rtx, enum machine_mode));
  97 extern int scratch_operand              PARAMS ((rtx, enum machine_mode));
  98 extern int immediate_operand            PARAMS ((rtx, enum machine_mode));
  99 extern int const_int_operand            PARAMS ((rtx, enum machine_mode));
 100 extern int const_double_operand         PARAMS ((rtx, enum machine_mode));
 101 extern int nonimmediate_operand         PARAMS ((rtx, enum machine_mode));
 102 extern int nonmemory_operand            PARAMS ((rtx, enum machine_mode));
 103 extern int push_operand                 PARAMS ((rtx, enum machine_mode));
 104 extern int pop_operand                  PARAMS ((rtx, enum machine_mode));
 105 extern int memory_operand               PARAMS ((rtx, enum machine_mode));
 106 extern int indirect_operand             PARAMS ((rtx, enum machine_mode));
 107 extern int mode_independent_operand     PARAMS ((rtx, enum machine_mode));
 108 extern int comparison_operator          PARAMS ((rtx, enum machine_mode));
 109
 110 extern int offsettable_memref_p         PARAMS ((rtx));
 111 extern int offsettable_nonstrict_memref_p       PARAMS ((rtx));
 112 extern int offsettable_address_p        PARAMS ((int, enum machine_mode, rtx));
 113 extern int mode_dependent_address_p     PARAMS ((rtx));
 114
 115 extern int recog                        PARAMS ((rtx, rtx, int *));
 116 extern void add_clobbers                PARAMS ((rtx, int));
 117 extern void insn_extract                PARAMS ((rtx));
 118 extern void extract_insn                PARAMS ((rtx));
 119 extern void preprocess_constraints      PARAMS ((void));
 120 extern rtx peep2_next_insn              PARAMS ((int));
 121 extern int peep2_regno_dead_p           PARAMS ((int, int));
 122 extern int peep2_reg_dead_p             PARAMS ((int, rtx));
 123 #ifdef CLEAR_HARD_REG_SET
 124 extern rtx peep2_find_free_register     PARAMS ((int, int, const char *,
 125                                                  enum machine_mode,
 126                                                  HARD_REG_SET *));
 127 #endif
 128 extern void peephole2_optimize          PARAMS ((FILE *));
 129 extern rtx peephole2_insns              PARAMS ((rtx, rtx, int *));
 130
 131 /* Nonzero means volatile operands are recognized.  */
 132 extern int volatile_ok;
 133
 134 /* Set by constrain_operands to the number of the alternative that
 135    matched.  */
 136 extern int which_alternative;
 137
 138 /* The following vectors hold the results from insn_extract.  */
 139
 140 struct recog_data
 141 {
 142   /* It is very tempting to make the 5 operand related arrays into a
 143      structure and index on that.  However, to be source compatible
 144      with all of the existing md file insn constraints and output
 145      templates, we need `operand' as a flat array.  Without that
 146      member, making an array for the rest seems pointless.  */
 147
 148   /* Gives value of operand N.  */
 149   rtx operand[MAX_RECOG_OPERANDS];
 150
 151   /* Gives location where operand N was found.  */
 152   rtx *operand_loc[MAX_RECOG_OPERANDS];
 153
 154   /* Gives the constraint string for operand N.  */
 155   const char *constraints[MAX_RECOG_OPERANDS];
 156
 157   /* Gives the mode of operand N.  */
 158   enum machine_mode operand_mode[MAX_RECOG_OPERANDS];
 159
 160   /* Gives the type (in, out, inout) for operand N.  */
 161   enum op_type operand_type[MAX_RECOG_OPERANDS];
 162
 163   /* Gives location where the Nth duplicate-appearance of an operand
 164      was found.  This is something that matched MATCH_DUP.  */
 165   rtx *dup_loc[MAX_DUP_OPERANDS];
 166
 167   /* Gives the operand number that was duplicated in the Nth
 168      duplicate-appearance of an operand.  */
 169   char dup_num[MAX_DUP_OPERANDS];
 170
 171   /* ??? Note that these are `char' instead of `unsigned char' to (try to)
 172      avoid certain lossage from K&R C, wherein `unsigned char' default
 173      promotes to `unsigned int' instead of `int' as in ISO C.  As of 1999,
 174      the most common places to bootstrap from K&R C are SunOS and HPUX,
 175      both of which have signed characters by default.  The only other
 176      supported natives that have both K&R C and unsigned characters are
 177      ROMP and Irix 3, and neither have been seen for a while, but do
 178      continue to consider unsignedness when performing arithmetic inside
 179      a comparison.  */
 180
 181   /* The number of operands of the insn.  */
 182   char n_operands;
 183
 184   /* The number of MATCH_DUPs in the insn.  */
 185   char n_dups;
 186
 187   /* The number of alternatives in the constraints for the insn.  */
 188   char n_alternatives;
 189 };
 190
 191 extern struct recog_data recog_data;
 192
 193 /* Contains a vector of operand_alternative structures for every operand.
 194    Set up by preprocess_constraints.  */
 195 extern struct operand_alternative recog_op_alt[MAX_RECOG_OPERANDS][MAX_RECOG_ALTERNATIVES];
 196
 197 /* A table defined in insn-output.c that give information about
 198    each insn-code value.  */
 199
 200 typedef int (*insn_operand_predicate_fn) PARAMS ((rtx, enum machine_mode));
 201 typedef const char * (*insn_output_fn) PARAMS ((rtx *, rtx));
 202 typedef rtx (*insn_gen_fn) PARAMS ((rtx, ...));
 203
 204 struct insn_operand_data
 205 {
 206   insn_operand_predicate_fn predicate;
 207
 208   const char *constraint;
 209
 210   enum machine_mode mode;
 211
 212   char strict_low;
 213
 214   char eliminable;
 215 };
 216
 217 /* Legal values for insn_data.output_format.  Indicate what type of data
 218    is stored in insn_data.output.  */
 219 #define INSN_OUTPUT_FORMAT_NONE         0       /* abort */
 220 #define INSN_OUTPUT_FORMAT_SINGLE       1       /* const char * */
 221 #define INSN_OUTPUT_FORMAT_MULTI        2       /* const char * const * */
 222 #define INSN_OUTPUT_FORMAT_FUNCTION     3       /* const char * (*)(...) */
 223
 224 struct insn_data
 225 {
 226   const char *name;
 227   const PTR output;
 228   insn_gen_fn genfun;
 229   const struct insn_operand_data *operand;
 230
 231   char n_operands;
 232   char n_dups;
 233   char n_alternatives;
 234   char output_format;
 235 };
 236
 237 extern const struct insn_data insn_data[];