1 /* Declarations for interface to insn recognizer and insn-output.c.
2 Copyright (C) 1987, 1996, 1997, 1998,
3 1999, 2000 Free Software Foundation, Inc.
5 This file is part of GNU CC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
22 /* Random number that should be large enough for all purposes. */
23 #define MAX_RECOG_ALTERNATIVES 30
25 /* Types of operands. */
32 struct operand_alternative
34 /* Pointer to the beginning of the constraint string for this alternative,
35 for easier access by alternative number. */
36 const char *constraint
;
38 /* The register class valid for this alternative (possibly NO_REGS). */
41 /* "Badness" of this alternative, computed from number of '?' and '!'
42 characters in the constraint string. */
45 /* -1 if no matching constraint was found, or an operand number. */
47 /* The same information, but reversed: -1 if this operand is not
48 matched by any other, or the operand number of the operand that
52 /* Nonzero if '&' was found in the constraint string. */
53 unsigned int earlyclobber
:1;
54 /* Nonzero if 'm' was found in the constraint string. */
55 unsigned int memory_ok
:1;
56 /* Nonzero if 'o' was found in the constraint string. */
57 unsigned int offmem_ok
:1;
58 /* Nonzero if 'V' was found in the constraint string. */
59 unsigned int nonoffmem_ok
:1;
60 /* Nonzero if '<' was found in the constraint string. */
61 unsigned int decmem_ok
:1;
62 /* Nonzero if '>' was found in the constraint string. */
63 unsigned int incmem_ok
:1;
64 /* Nonzero if 'X' was found in the constraint string, or if the constraint
65 string for this alternative was empty. */
66 unsigned int anything_ok
:1;
70 extern void init_recog
PARAMS ((void));
71 extern void init_recog_no_volatile
PARAMS ((void));
72 extern int recog_memoized
PARAMS ((rtx
));
73 extern int check_asm_operands
PARAMS ((rtx
));
74 extern int asm_operand_ok
PARAMS ((rtx
, const char *));
75 extern int validate_change
PARAMS ((rtx
, rtx
*, rtx
, int));
76 extern int apply_change_group
PARAMS ((void));
77 extern int num_validated_changes
PARAMS ((void));
78 extern void cancel_changes
PARAMS ((int));
79 extern int constrain_operands
PARAMS ((int));
80 extern int memory_address_p
PARAMS ((enum machine_mode
, rtx
));
81 extern int strict_memory_address_p
PARAMS ((enum machine_mode
, rtx
));
82 extern int validate_replace_rtx_subexp
PARAMS ((rtx
, rtx
, rtx
, rtx
*));
83 extern int validate_replace_rtx
PARAMS ((rtx
, rtx
, rtx
));
84 extern void validate_replace_rtx_group
PARAMS ((rtx
, rtx
, rtx
));
85 extern int validate_replace_src
PARAMS ((rtx
, rtx
, rtx
));
87 extern int next_insn_tests_no_inequality
PARAMS ((rtx
));
89 extern int reg_fits_class_p
PARAMS ((rtx
, enum reg_class
, int,
91 extern rtx
*find_single_use
PARAMS ((rtx
, rtx
, rtx
*));
93 extern int general_operand
PARAMS ((rtx
, enum machine_mode
));
94 extern int address_operand
PARAMS ((rtx
, enum machine_mode
));
95 extern int register_operand
PARAMS ((rtx
, enum machine_mode
));
96 extern int pmode_register_operand
PARAMS ((rtx
, enum machine_mode
));
97 extern int scratch_operand
PARAMS ((rtx
, enum machine_mode
));
98 extern int immediate_operand
PARAMS ((rtx
, enum machine_mode
));
99 extern int const_int_operand
PARAMS ((rtx
, enum machine_mode
));
100 extern int const_double_operand
PARAMS ((rtx
, enum machine_mode
));
101 extern int nonimmediate_operand
PARAMS ((rtx
, enum machine_mode
));
102 extern int nonmemory_operand
PARAMS ((rtx
, enum machine_mode
));
103 extern int push_operand
PARAMS ((rtx
, enum machine_mode
));
104 extern int pop_operand
PARAMS ((rtx
, enum machine_mode
));
105 extern int memory_operand
PARAMS ((rtx
, enum machine_mode
));
106 extern int indirect_operand
PARAMS ((rtx
, enum machine_mode
));
107 extern int mode_independent_operand
PARAMS ((rtx
, enum machine_mode
));
108 extern int comparison_operator
PARAMS ((rtx
, enum machine_mode
));
110 extern int offsettable_memref_p
PARAMS ((rtx
));
111 extern int offsettable_nonstrict_memref_p
PARAMS ((rtx
));
112 extern int offsettable_address_p
PARAMS ((int, enum machine_mode
, rtx
));
113 extern int mode_dependent_address_p
PARAMS ((rtx
));
115 extern int recog
PARAMS ((rtx
, rtx
, int *));
116 extern void add_clobbers
PARAMS ((rtx
, int));
117 extern void insn_extract
PARAMS ((rtx
));
118 extern void extract_insn
PARAMS ((rtx
));
119 extern void preprocess_constraints
PARAMS ((void));
120 extern rtx peep2_next_insn
PARAMS ((int));
121 extern int peep2_regno_dead_p
PARAMS ((int, int));
122 extern int peep2_reg_dead_p
PARAMS ((int, rtx
));
123 #ifdef CLEAR_HARD_REG_SET
124 extern rtx peep2_find_free_register
PARAMS ((int, int, const char *,
128 extern void peephole2_optimize
PARAMS ((FILE *));
129 extern rtx peephole2_insns
PARAMS ((rtx
, rtx
, int *));
131 /* Nonzero means volatile operands are recognized. */
132 extern int volatile_ok
;
134 /* Set by constrain_operands to the number of the alternative that
136 extern int which_alternative
;
138 /* The following vectors hold the results from insn_extract. */
142 /* It is very tempting to make the 5 operand related arrays into a
143 structure and index on that. However, to be source compatible
144 with all of the existing md file insn constraints and output
145 templates, we need `operand' as a flat array. Without that
146 member, making an array for the rest seems pointless. */
148 /* Gives value of operand N. */
149 rtx operand
[MAX_RECOG_OPERANDS
];
151 /* Gives location where operand N was found. */
152 rtx
*operand_loc
[MAX_RECOG_OPERANDS
];
154 /* Gives the constraint string for operand N. */
155 const char *constraints
[MAX_RECOG_OPERANDS
];
157 /* Gives the mode of operand N. */
158 enum machine_mode operand_mode
[MAX_RECOG_OPERANDS
];
160 /* Gives the type (in, out, inout) for operand N. */
161 enum op_type operand_type
[MAX_RECOG_OPERANDS
];
163 /* Gives location where the Nth duplicate-appearance of an operand
164 was found. This is something that matched MATCH_DUP. */
165 rtx
*dup_loc
[MAX_DUP_OPERANDS
];
167 /* Gives the operand number that was duplicated in the Nth
168 duplicate-appearance of an operand. */
169 char dup_num
[MAX_DUP_OPERANDS
];
171 /* ??? Note that these are `char' instead of `unsigned char' to (try to)
172 avoid certain lossage from K&R C, wherein `unsigned char' default
173 promotes to `unsigned int' instead of `int' as in ISO C. As of 1999,
174 the most common places to bootstrap from K&R C are SunOS and HPUX,
175 both of which have signed characters by default. The only other
176 supported natives that have both K&R C and unsigned characters are
177 ROMP and Irix 3, and neither have been seen for a while, but do
178 continue to consider unsignedness when performing arithmetic inside
181 /* The number of operands of the insn. */
184 /* The number of MATCH_DUPs in the insn. */
187 /* The number of alternatives in the constraints for the insn. */
191 extern struct recog_data recog_data
;
193 /* Contains a vector of operand_alternative structures for every operand.
194 Set up by preprocess_constraints. */
195 extern struct operand_alternative recog_op_alt
[MAX_RECOG_OPERANDS
][MAX_RECOG_ALTERNATIVES
];
197 /* A table defined in insn-output.c that give information about
198 each insn-code value. */
200 typedef int (*insn_operand_predicate_fn
) PARAMS ((rtx
, enum machine_mode
));
201 typedef const char * (*insn_output_fn
) PARAMS ((rtx
*, rtx
));
202 typedef rtx (*insn_gen_fn
) PARAMS ((rtx
, ...));
204 struct insn_operand_data
206 insn_operand_predicate_fn predicate
;
208 const char *constraint
;
210 enum machine_mode mode
;
217 /* Legal values for insn_data.output_format. Indicate what type of data
218 is stored in insn_data.output. */
219 #define INSN_OUTPUT_FORMAT_NONE 0 /* abort */
220 #define INSN_OUTPUT_FORMAT_SINGLE 1 /* const char * */
221 #define INSN_OUTPUT_FORMAT_MULTI 2 /* const char * const * */
222 #define INSN_OUTPUT_FORMAT_FUNCTION 3 /* const char * (*)(...) */
229 const struct insn_operand_data
*operand
;
237 extern const struct insn_data insn_data
[];