gcc/gensupport.h

   1 /* Declarations for rtx-reader support for gen* routines.
   2    Copyright (C) 2000-2022 Free Software Foundation, Inc.
   3
   4 This file is part of GCC.
   5
   6 GCC is free software; you can redistribute it and/or modify it under
   7 the terms of the GNU General Public License as published by the Free
   8 Software Foundation; either version 3, or (at your option) any later
   9 version.
  10
  11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14 for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GCC; see the file COPYING3.  If not see
  18 <http://www.gnu.org/licenses/>.  */
  19
  20 #ifndef GCC_GENSUPPORT_H
  21 #define GCC_GENSUPPORT_H
  22
  23 #include "read-md.h"
  24
  25 struct obstack;
  26 extern struct obstack *rtl_obstack;
  27
  28 /* Information about an .md define_* rtx.  */
  29 class md_rtx_info {
  30 public:
  31   /* The rtx itself.  */
  32   rtx def;
  33
  34   /* The location of the first line of the rtx.  */
  35   file_location loc;
  36
  37   /* The unique number attached to the rtx.  Currently all define_insns,
  38      define_expands, define_splits, define_peepholes and define_peephole2s
  39      share the same insn_code index space.  */
  40   int index;
  41 };
  42
  43 #define OPTAB_CL(name, pat, c, b, l)            name,
  44 #define OPTAB_CX(name, pat)
  45 #define OPTAB_CD(name, pat)                     name,
  46 #define OPTAB_NL(name, pat, c, b, s, l)         name,
  47 #define OPTAB_NC(name, pat, c)                  name,
  48 #define OPTAB_NX(name, pat)
  49 #define OPTAB_VL(name, pat, c, b, s, l)         name,
  50 #define OPTAB_VC(name, pat, c)                  name,
  51 #define OPTAB_VX(name, pat)
  52 #define OPTAB_DC(name, pat, c)                  name,
  53 #define OPTAB_D(name, pat)                      name,
  54
  55 /* Enumerates all optabs.  */
  56 typedef enum optab_tag {
  57   unknown_optab,
  58 #include "optabs.def"
  59   NUM_OPTABS
  60 } optab;
  61
  62 #undef OPTAB_CL
  63 #undef OPTAB_CX
  64 #undef OPTAB_CD
  65 #undef OPTAB_NL
  66 #undef OPTAB_NC
  67 #undef OPTAB_NX
  68 #undef OPTAB_VL
  69 #undef OPTAB_VC
  70 #undef OPTAB_VX
  71 #undef OPTAB_DC
  72 #undef OPTAB_D
  73
  74 /* Describes one entry in optabs.def.  */
  75 struct optab_def
  76 {
  77   /* The name of the optab (e.g. "add_optab").  */
  78   const char *name;
  79
  80   /* The pattern that matching define_expands and define_insns have.
  81      See the comment at the head of optabs.def for details.  */
  82   const char *pattern;
  83
  84   /* The initializers (in the form of C code) for the libcall_basename,
  85      libcall_suffix and libcall_gen fields of (convert_)optab_libcall_d.  */
  86   const char *base;
  87   const char *suffix;
  88   const char *libcall;
  89
  90   /* The optab's enum value.  */
  91   unsigned int op;
  92
  93   /* The value returned by optab_to_code (OP).  */
  94   enum rtx_code fcode;
  95
  96   /* CODE if code_to_optab (CODE) should return OP, otherwise UNKNOWN.  */
  97   enum rtx_code rcode;
  98
  99   /* 1: conversion optabs with libcall data,
 100      2: conversion optabs without libcall data,
 101      3: non-conversion optabs with libcall data ("normal" and "overflow"
 102         optabs in the optabs.def comment)
 103      4: non-conversion optabs without libcall data ("direct" optabs).  */
 104   unsigned int kind;
 105 };
 106
 107 extern optab_def optabs[];
 108 extern unsigned int num_optabs;
 109
 110 /* Information about an instruction name that matches an optab pattern.  */
 111 struct optab_pattern
 112 {
 113   /* The name of the instruction.  */
 114   const char *name;
 115
 116   /* The matching optab.  */
 117   unsigned int op;
 118
 119   /* The optab modes.  M2 is only significant for conversion optabs;
 120      it is zero otherwise.  */
 121   unsigned int m1, m2;
 122
 123   /* An index that provides a lexicographical sort of (OP, M2, M1).
 124      Used by genopinit.c.  */
 125   unsigned int sort_num;
 126 };
 127
 128 extern rtx add_implicit_parallel (rtvec);
 129 extern rtx_reader *init_rtx_reader_args_cb (int, const char **,
 130                                             bool (*)(const char *));
 131 extern rtx_reader *init_rtx_reader_args (int, const char **);
 132 extern bool read_md_rtx (md_rtx_info *);
 133 extern unsigned int get_num_insn_codes ();
 134
 135 /* Set this to 0 to disable automatic elision of insn patterns which
 136    can never be used in this configuration.  See genconditions.c.
 137    Must be set before calling init_md_reader.  */
 138 extern int insn_elision;
 139
 140 /* Return the C test that says whether a definition rtx can be used,
 141    or "" if it can be used unconditionally.  */
 142 extern const char *get_c_test (rtx);
 143
 144 /* If the C test passed as the argument can be evaluated at compile
 145    time, return its truth value; else return -1.  The test must have
 146    appeared somewhere in the machine description when genconditions
 147    was run.  */
 148 extern int maybe_eval_c_test (const char *);
 149
 150 /* Add an entry to the table of conditions.  Used by genconditions and
 151    by read-rtl.c.  */
 152 extern void add_c_test (const char *, int);
 153
 154 /* This structure is used internally by gensupport.c and genconditions.c.  */
 155 struct c_test
 156 {
 157   const char *expr;
 158   int value;
 159 };
 160
 161 #ifdef __HASHTAB_H__
 162 extern hashval_t hash_c_test (const void *);
 163 extern int cmp_c_test (const void *, const void *);
 164 extern void traverse_c_tests (htab_trav, void *);
 165 #endif
 166
 167 /* Predicate handling: helper functions and data structures.  */
 168
 169 struct pred_data
 170 {
 171   struct pred_data *next;       /* for iterating over the set of all preds */
 172   const char *name;             /* predicate name */
 173   bool special;                 /* special handling of modes? */
 174
 175   /* data used primarily by genpreds.c */
 176   const char *c_block;          /* C test block */
 177   rtx exp;                      /* RTL test expression */
 178
 179   /* data used primarily by genrecog.c */
 180   enum rtx_code singleton;      /* if pred takes only one code, that code */
 181   int num_codes;                /* number of codes accepted */
 182   bool allows_non_lvalue;       /* if pred allows non-lvalue expressions */
 183   bool allows_non_const;        /* if pred allows non-const expressions */
 184   bool codes[NUM_RTX_CODE];     /* set of codes accepted */
 185 };
 186
 187 extern struct pred_data *first_predicate;
 188 extern struct pred_data *lookup_predicate (const char *);
 189 extern void add_predicate_code (struct pred_data *, enum rtx_code);
 190 extern void add_predicate (struct pred_data *);
 191
 192 #define FOR_ALL_PREDICATES(p) for (p = first_predicate; p; p = p->next)
 193
 194 struct pattern_stats
 195 {
 196   /* The largest match_operand, match_operator or match_parallel
 197      number found.  */
 198   int max_opno;
 199
 200   /* The largest match_dup, match_op_dup or match_par_dup number found.  */
 201   int max_dup_opno;
 202
 203   /* The smallest and largest match_scratch number found.  */
 204   int min_scratch_opno;
 205   int max_scratch_opno;
 206
 207   /* The number of times match_dup, match_op_dup or match_par_dup appears
 208      in the pattern.  */
 209   int num_dups;
 210
 211   /* The number of rtx arguments to the generator function.  */
 212   int num_generator_args;
 213
 214   /* The number of rtx operands in an insn.  */
 215   int num_insn_operands;
 216
 217   /* The number of operand variables that are needed.  */
 218   int num_operand_vars;
 219 };
 220
 221 extern void get_pattern_stats (struct pattern_stats *ranges, rtvec vec);
 222 extern void compute_test_codes (rtx, file_location, char *);
 223 extern file_location get_file_location (rtx);
 224 extern const char *get_emit_function (rtx);
 225 extern bool needs_barrier_p (rtx);
 226 extern bool find_optab (optab_pattern *, const char *);
 227
 228 #endif /* GCC_GENSUPPORT_H */