gcc/gensupport.h

   1 /* Declarations for rtx-reader support for gen* routines.
   2    Copyright (C) 2000-2015 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 extern rtx add_implicit_parallel (rtvec);
  43 extern bool init_rtx_reader_args_cb (int, char **, bool (*)(const char *));
  44 extern bool init_rtx_reader_args (int, char **);
  45 extern bool read_md_rtx (md_rtx_info *);
  46 extern unsigned int get_num_insn_codes ();
  47
  48 /* Set this to 0 to disable automatic elision of insn patterns which
  49    can never be used in this configuration.  See genconditions.c.
  50    Must be set before calling init_md_reader.  */
  51 extern int insn_elision;
  52
  53 /* Return the C test that says whether a definition rtx can be used,
  54    or "" if it can be used unconditionally.  */
  55 extern const char *get_c_test (rtx);
  56
  57 /* If the C test passed as the argument can be evaluated at compile
  58    time, return its truth value; else return -1.  The test must have
  59    appeared somewhere in the machine description when genconditions
  60    was run.  */
  61 extern int maybe_eval_c_test (const char *);
  62
  63 /* Add an entry to the table of conditions.  Used by genconditions and
  64    by read-rtl.c.  */
  65 extern void add_c_test (const char *, int);
  66
  67 /* This structure is used internally by gensupport.c and genconditions.c.  */
  68 struct c_test
  69 {
  70   const char *expr;
  71   int value;
  72 };
  73
  74 #ifdef __HASHTAB_H__
  75 extern hashval_t hash_c_test (const void *);
  76 extern int cmp_c_test (const void *, const void *);
  77 extern void traverse_c_tests (htab_trav, void *);
  78 #endif
  79
  80 /* Predicate handling: helper functions and data structures.  */
  81
  82 struct pred_data
  83 {
  84   struct pred_data *next;       /* for iterating over the set of all preds */
  85   const char *name;             /* predicate name */
  86   bool special;                 /* special handling of modes? */
  87
  88   /* data used primarily by genpreds.c */
  89   const char *c_block;          /* C test block */
  90   rtx exp;                      /* RTL test expression */
  91
  92   /* data used primarily by genrecog.c */
  93   enum rtx_code singleton;      /* if pred takes only one code, that code */
  94   int num_codes;                /* number of codes accepted */
  95   bool allows_non_lvalue;       /* if pred allows non-lvalue expressions */
  96   bool allows_non_const;        /* if pred allows non-const expressions */
  97   bool codes[NUM_RTX_CODE];     /* set of codes accepted */
  98 };
  99
 100 extern struct pred_data *first_predicate;
 101 extern struct pred_data *lookup_predicate (const char *);
 102 extern void add_predicate_code (struct pred_data *, enum rtx_code);
 103 extern void add_predicate (struct pred_data *);
 104
 105 #define FOR_ALL_PREDICATES(p) for (p = first_predicate; p; p = p->next)
 106
 107 struct pattern_stats
 108 {
 109   /* The largest match_operand, match_operator or match_parallel
 110      number found.  */
 111   int max_opno;
 112
 113   /* The largest match_dup, match_op_dup or match_par_dup number found.  */
 114   int max_dup_opno;
 115
 116   /* The largest match_scratch number found.  */
 117   int max_scratch_opno;
 118
 119   /* The number of times match_dup, match_op_dup or match_par_dup appears
 120      in the pattern.  */
 121   int num_dups;
 122
 123   /* The number of rtx arguments to the generator function.  */
 124   int num_generator_args;
 125
 126   /* The number of rtx operands in an insn.  */
 127   int num_insn_operands;
 128
 129   /* The number of operand variables that are needed.  */
 130   int num_operand_vars;
 131 };
 132
 133 extern void get_pattern_stats (struct pattern_stats *ranges, rtvec vec);
 134 extern void compute_test_codes (rtx, file_location, char *);
 135 extern file_location get_file_location (rtx);
 136 extern const char *get_emit_function (rtx);
 137 extern bool needs_barrier_p (rtx);
 138
 139 #endif /* GCC_GENSUPPORT_H */