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 */ 226