1/* Declarations for interface to insn recognizer and insn-output.c. 2 Copyright (C) 1987, 1996, 1997, 1998, 1999 Free Software Foundation, Inc. 3 4This file is part of GNU CC. 5 6GNU CC is free software; you can redistribute it and/or modify 7it under the terms of the GNU General Public License as published by 8the Free Software Foundation; either version 2, or (at your option) 9any later version. 10 11GNU CC is distributed in the hope that it will be useful, 12but WITHOUT ANY WARRANTY; without even the implied warranty of 13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14GNU General Public License for more details. 15 16You should have received a copy of the GNU General Public License 17along with GNU CC; see the file COPYING. If not, write to 18the Free Software Foundation, 59 Temple Place - Suite 330, 19Boston, MA 02111-1307, USA. */ 20 21/* Random number that should be large enough for all purposes. */ 22#define MAX_RECOG_ALTERNATIVES 30 23 24/* Types of operands. */ 25enum op_type { 26 OP_IN, 27 OP_OUT, 28 OP_INOUT 29}; 30 31struct operand_alternative 32{ 33 /* Pointer to the beginning of the constraint string for this alternative, 34 for easier access by alternative number. */ 35 const char *constraint; 36 37 /* The register class valid for this alternative (possibly NO_REGS). */ 38 enum reg_class class; 39 40 /* "Badness" of this alternative, computed from number of '?' and '!' 41 characters in the constraint string. */ 42 unsigned int reject; 43 44 /* -1 if no matching constraint was found, or an operand number. */ 45 int matches; 46 /* The same information, but reversed: -1 if this operand is not 47 matched by any other, or the operand number of the operand that 48 matches this one. */ 49 int matched; 50 51 /* Nonzero if '&' was found in the constraint string. */ 52 unsigned int earlyclobber:1; 53 /* Nonzero if 'm' was found in the constraint string. */ 54 unsigned int memory_ok:1; 55 /* Nonzero if 'o' was found in the constraint string. */ 56 unsigned int offmem_ok:1; 57 /* Nonzero if 'V' was found in the constraint string. */ 58 unsigned int nonoffmem_ok:1; 59 /* Nonzero if '<' was found in the constraint string. */ 60 unsigned int decmem_ok:1; 61 /* Nonzero if '>' was found in the constraint string. */ 62 unsigned int incmem_ok:1; 63 /* Nonzero if 'X' was found in the constraint string, or if the constraint 64 string for this alternative was empty. */ 65 unsigned int anything_ok:1; 66}; 67 68 69extern void init_recog PROTO((void)); 70extern void init_recog_no_volatile PROTO((void)); 71extern int recog_memoized PROTO((rtx)); 72extern int check_asm_operands PROTO((rtx)); 73extern int asm_operand_ok PROTO((rtx, const char *)); 74extern int validate_change PROTO((rtx, rtx *, rtx, int)); 75extern int apply_change_group PROTO((void)); 76extern int num_validated_changes PROTO((void)); 77extern void cancel_changes PROTO((int)); 78extern int constrain_operands PROTO((int)); 79extern int memory_address_p PROTO((enum machine_mode, rtx)); 80extern int strict_memory_address_p PROTO((enum machine_mode, rtx)); 81extern int validate_replace_rtx PROTO((rtx, rtx, rtx)); 82extern void validate_replace_rtx_group PROTO((rtx, rtx, rtx)); 83extern int validate_replace_src PROTO((rtx, rtx, rtx)); 84#ifdef HAVE_cc0 85extern int next_insn_tests_no_inequality PROTO ((rtx)); 86#endif 87extern int reg_fits_class_p PROTO((rtx, enum reg_class, int, 88 enum machine_mode)); 89extern rtx *find_single_use PROTO((rtx, rtx, rtx *)); 90 91extern int general_operand PROTO((rtx, enum machine_mode)); 92extern int address_operand PROTO((rtx, enum machine_mode)); 93extern int register_operand PROTO((rtx, enum machine_mode)); 94extern int scratch_operand PROTO((rtx, enum machine_mode)); 95extern int immediate_operand PROTO((rtx, enum machine_mode)); 96extern int const_int_operand PROTO((rtx, enum machine_mode)); 97extern int const_double_operand PROTO((rtx, enum machine_mode)); 98extern int nonimmediate_operand PROTO((rtx, enum machine_mode)); 99extern int nonmemory_operand PROTO((rtx, enum machine_mode)); 100extern int push_operand PROTO((rtx, enum machine_mode)); 101extern int pop_operand PROTO((rtx, enum machine_mode)); 102extern int memory_operand PROTO((rtx, enum machine_mode)); 103extern int indirect_operand PROTO((rtx, enum machine_mode)); 104extern int mode_independent_operand PROTO((rtx, enum machine_mode)); 105extern int comparison_operator PROTO((rtx, enum machine_mode)); 106 107extern int offsettable_memref_p PROTO((rtx)); 108extern int offsettable_nonstrict_memref_p PROTO((rtx)); 109extern int offsettable_address_p PROTO((int, enum machine_mode, rtx)); 110extern int mode_dependent_address_p PROTO((rtx)); 111 112extern int recog PROTO((rtx, rtx, int *)); 113extern void add_clobbers PROTO((rtx, int)); 114extern void insn_extract PROTO((rtx)); 115extern void extract_insn PROTO((rtx)); 116extern void preprocess_constraints PROTO((void)); 117 118/* Nonzero means volatile operands are recognized. */ 119extern int volatile_ok; 120 121/* Set by constrain_operands to the number of the alternative that 122 matched. */ 123extern int which_alternative; 124 125/* The following vectors hold the results from insn_extract. */ 126 127/* Indexed by N, gives value of operand N. */ 128extern rtx recog_operand[]; 129 130/* Indexed by N, gives location where operand N was found. */ 131extern rtx *recog_operand_loc[]; 132 133/* Indexed by N, gives location where the Nth duplicate-appearance of 134 an operand was found. This is something that matched MATCH_DUP. */ 135extern rtx *recog_dup_loc[]; 136 137/* Indexed by N, gives the operand number that was duplicated in the 138 Nth duplicate-appearance of an operand. */ 139extern char recog_dup_num[]; 140 141/* The next variables are set up by extract_insn. */ 142 143/* The number of operands of the insn. */ 144extern int recog_n_operands; 145 146/* The number of MATCH_DUPs in the insn. */ 147extern int recog_n_dups; 148 149/* The number of alternatives in the constraints for the insn. */ 150extern int recog_n_alternatives; 151 152/* Indexed by N, gives the mode of operand N. */ 153extern enum machine_mode recog_operand_mode[]; 154 155/* Indexed by N, gives the constraint string for operand N. */ 156extern const char *recog_constraints[]; 157 158/* Indexed by N, gives the type (in, out, inout) for operand N. */ 159extern enum op_type recog_op_type[]; 160 161#ifndef REGISTER_CONSTRAINTS 162/* Indexed by N, nonzero if operand N should be an address. */ 163extern char recog_operand_address_p[]; 164#endif 165 166/* Contains a vector of operand_alternative structures for every operand. 167 Set up by preprocess_constraints. */ 168extern struct operand_alternative recog_op_alt[MAX_RECOG_OPERANDS][MAX_RECOG_ALTERNATIVES]; 169 170/* Access the output function for CODE. */ 171 172#define OUT_FCN(CODE) (*insn_outfun[(int) (CODE)]) 173 174/* Tables defined in insn-output.c that give information about 175 each insn-code value. */ 176 177/* These are vectors indexed by insn-code. Details in genoutput.c. */ 178 179extern const char *const insn_template[]; 180 181extern const char *(*const insn_outfun[]) PROTO ((rtx *, rtx)); 182 183extern const int insn_n_operands[]; 184 185extern const int insn_n_dups[]; 186 187/* Indexed by insn code number, gives # of constraint alternatives. */ 188 189extern const int insn_n_alternatives[]; 190 191/* These are two-dimensional arrays indexed first by the insn-code 192 and second by the operand number. Details in genoutput.c. */ 193 194#ifdef REGISTER_CONSTRAINTS /* Avoid undef sym in certain broken linkers. */ 195extern const char *const insn_operand_constraint[][MAX_RECOG_OPERANDS]; 196#endif 197 198#ifndef REGISTER_CONSTRAINTS /* Avoid undef sym in certain broken linkers. */ 199extern const char insn_operand_address_p[][MAX_RECOG_OPERANDS]; 200#endif 201 202extern const enum machine_mode insn_operand_mode[][MAX_RECOG_OPERANDS]; 203 204extern const char insn_operand_strict_low[][MAX_RECOG_OPERANDS]; 205 206extern int (*const insn_operand_predicate[][MAX_RECOG_OPERANDS]) PROTO ((rtx, enum machine_mode)); 207 208extern const char * insn_name[]; 209