gcc/gensupport.h

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