1 /* cond.c - conditional assembly pseudo-ops, and .include
2 Copyright (C) 1990, 91, 92, 93, 95, 96, 97, 98, 99, 2000
3 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS 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 GAS 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 GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
27 /* This is allocated to grow and shrink as .ifdef/.endif pairs are
29 struct obstack cond_obstack;
36 /* We push one of these structures for each .if, and pop it at the
39 struct conditional_frame {
40 /* The source file & line number of the "if". */
41 struct file_line if_file_line;
42 /* The source file & line of the "else". */
43 struct file_line else_file_line;
44 /* The previous conditional. */
45 struct conditional_frame *previous_cframe;
46 /* Have we seen an else yet? */
48 /* Whether we are currently ignoring input. */
50 /* Whether a conditional at a higher level is ignoring input. */
52 /* Macro nesting level at which this conditional was created. */
56 static void initialize_cframe PARAMS ((struct conditional_frame *cframe));
57 static char *get_mri_string PARAMS ((int, int *));
59 static struct conditional_frame *current_cframe = NULL;
65 /* Points to name of symbol. */
67 /* Points to symbol. */
68 register symbolS *symbolP;
69 struct conditional_frame cframe;
71 /* Leading whitespace is part of operand. */
73 name = input_line_pointer;
75 if (!is_name_beginner (*name))
77 as_bad (_("invalid identifier for \".ifdef\""));
78 obstack_1grow (&cond_obstack, 0);
79 ignore_rest_of_line ();
85 c = get_symbol_end ();
86 symbolP = symbol_find (name);
87 *input_line_pointer = c;
89 initialize_cframe (&cframe);
90 cframe.ignoring = cframe.dead_tree || !((symbolP != 0) ^ arg);
91 current_cframe = ((struct conditional_frame *)
92 obstack_copy (&cond_obstack, &cframe,
95 if (LISTING_SKIP_COND ()
97 && (cframe.previous_cframe == NULL
98 || ! cframe.previous_cframe->ignoring))
101 demand_empty_rest_of_line ();
102 } /* if a valid identifyer name */
110 struct conditional_frame cframe;
116 stop = mri_comment_field (&stopc);
118 /* Leading whitespace is part of operand. */
121 if (current_cframe != NULL && current_cframe->ignoring)
123 operand.X_add_number = 0;
124 while (! is_end_of_line[(unsigned char) *input_line_pointer])
125 ++input_line_pointer;
129 expression (&operand);
130 if (operand.X_op != O_constant)
131 as_bad (_("non-constant expression in \".if\" statement"));
134 switch ((operatorT) arg)
136 case O_eq: t = operand.X_add_number == 0; break;
137 case O_ne: t = operand.X_add_number != 0; break;
138 case O_lt: t = operand.X_add_number < 0; break;
139 case O_le: t = operand.X_add_number <= 0; break;
140 case O_ge: t = operand.X_add_number >= 0; break;
141 case O_gt: t = operand.X_add_number > 0; break;
147 /* If the above error is signaled, this will dispatch
148 using an undefined result. No big deal. */
149 initialize_cframe (&cframe);
150 cframe.ignoring = cframe.dead_tree || ! t;
151 current_cframe = ((struct conditional_frame *)
152 obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));
154 if (LISTING_SKIP_COND ()
156 && (cframe.previous_cframe == NULL
157 || ! cframe.previous_cframe->ignoring))
161 mri_comment_end (stop, stopc);
163 demand_empty_rest_of_line ();
166 /* Get a string for the MRI IFC or IFNC pseudo-ops. */
169 get_mri_string (terminator, len)
177 s = ret = input_line_pointer;
178 if (*input_line_pointer == '\'')
181 ++input_line_pointer;
182 while (! is_end_of_line[(unsigned char) *input_line_pointer])
184 *s++ = *input_line_pointer++;
187 if (*input_line_pointer != '\'')
189 ++input_line_pointer;
196 while (*input_line_pointer != terminator
197 && ! is_end_of_line[(unsigned char) *input_line_pointer])
198 ++input_line_pointer;
199 s = input_line_pointer;
200 while (s > ret && (s[-1] == ' ' || s[-1] == '\t'))
208 /* The MRI IFC and IFNC pseudo-ops. */
219 struct conditional_frame cframe;
222 stop = mri_comment_field (&stopc);
224 s1 = get_mri_string (',', &len1);
226 if (*input_line_pointer != ',')
227 as_bad (_("bad format for ifc or ifnc"));
229 ++input_line_pointer;
231 s2 = get_mri_string (';', &len2);
233 res = len1 == len2 && strncmp (s1, s2, len1) == 0;
235 initialize_cframe (&cframe);
236 cframe.ignoring = cframe.dead_tree || ! (res ^ arg);
237 current_cframe = ((struct conditional_frame *)
238 obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));
240 if (LISTING_SKIP_COND ()
242 && (cframe.previous_cframe == NULL
243 || ! cframe.previous_cframe->ignoring))
247 mri_comment_end (stop, stopc);
249 demand_empty_rest_of_line ();
259 if (current_cframe == NULL)
261 as_bad (_("\".elseif\" without matching \".if\" - ignored"));
264 else if (current_cframe->else_seen)
266 as_bad (_("\".elseif\" after \".else\" - ignored"));
267 as_bad_where (current_cframe->else_file_line.file,
268 current_cframe->else_file_line.line,
269 _("here is the previous \"else\""));
270 as_bad_where (current_cframe->if_file_line.file,
271 current_cframe->if_file_line.line,
272 _("here is the previous \"if\""));
276 as_where (¤t_cframe->else_file_line.file,
277 ¤t_cframe->else_file_line.line);
279 if (!current_cframe->dead_tree)
281 current_cframe->ignoring = !current_cframe->ignoring;
282 if (LISTING_SKIP_COND ())
284 if (! current_cframe->ignoring)
289 } /* if not a dead tree */
290 } /* if error else do it */
292 /* Leading whitespace is part of operand. */
295 if (current_cframe != NULL && current_cframe->ignoring)
297 operand.X_add_number = 0;
298 while (! is_end_of_line[(unsigned char) *input_line_pointer])
299 ++input_line_pointer;
303 expression (&operand);
304 if (operand.X_op != O_constant)
305 as_bad (_("non-constant expression in \".elseif\" statement"));
308 switch ((operatorT) arg)
310 case O_eq: t = operand.X_add_number == 0; break;
311 case O_ne: t = operand.X_add_number != 0; break;
312 case O_lt: t = operand.X_add_number < 0; break;
313 case O_le: t = operand.X_add_number <= 0; break;
314 case O_ge: t = operand.X_add_number >= 0; break;
315 case O_gt: t = operand.X_add_number > 0; break;
321 current_cframe->ignoring = current_cframe->dead_tree || ! t;
323 if (LISTING_SKIP_COND ()
324 && current_cframe->ignoring
325 && (current_cframe->previous_cframe == NULL
326 || ! current_cframe->previous_cframe->ignoring))
329 demand_empty_rest_of_line ();
334 int arg ATTRIBUTE_UNUSED;
336 struct conditional_frame *hold;
338 if (current_cframe == NULL)
340 as_bad (_("\".endif\" without \".if\""));
344 if (LISTING_SKIP_COND ()
345 && current_cframe->ignoring
346 && (current_cframe->previous_cframe == NULL
347 || ! current_cframe->previous_cframe->ignoring))
350 hold = current_cframe;
351 current_cframe = current_cframe->previous_cframe;
352 obstack_free (&cond_obstack, hold);
353 } /* if one pop too many */
357 while (! is_end_of_line[(unsigned char) *input_line_pointer])
358 ++input_line_pointer;
361 demand_empty_rest_of_line ();
366 int arg ATTRIBUTE_UNUSED;
368 if (current_cframe == NULL)
370 as_bad (_(".else without matching .if - ignored"));
373 else if (current_cframe->else_seen)
375 as_bad (_("duplicate \"else\" - ignored"));
376 as_bad_where (current_cframe->else_file_line.file,
377 current_cframe->else_file_line.line,
378 _("here is the previous \"else\""));
379 as_bad_where (current_cframe->if_file_line.file,
380 current_cframe->if_file_line.line,
381 _("here is the previous \"if\""));
385 as_where (¤t_cframe->else_file_line.file,
386 ¤t_cframe->else_file_line.line);
388 if (!current_cframe->dead_tree)
390 current_cframe->ignoring = !current_cframe->ignoring;
391 if (LISTING_SKIP_COND ())
393 if (! current_cframe->ignoring)
398 } /* if not a dead tree */
400 current_cframe->else_seen = 1;
401 } /* if error else do it */
405 while (! is_end_of_line[(unsigned char) *input_line_pointer])
406 ++input_line_pointer;
409 demand_empty_rest_of_line ();
419 struct conditional_frame cframe;
421 s1 = demand_copy_C_string (&len1);
424 if (*input_line_pointer != ',')
426 as_bad (_(".ifeqs syntax error"));
427 ignore_rest_of_line ();
431 ++input_line_pointer;
433 s2 = demand_copy_C_string (&len2);
435 res = len1 == len2 && strncmp (s1, s2, len1) == 0;
437 initialize_cframe (&cframe);
438 cframe.ignoring = cframe.dead_tree || ! (res ^ arg);
439 current_cframe = ((struct conditional_frame *)
440 obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));
442 if (LISTING_SKIP_COND ()
444 && (cframe.previous_cframe == NULL
445 || ! cframe.previous_cframe->ignoring))
448 demand_empty_rest_of_line ();
456 s = input_line_pointer;
458 if (NO_PSEUDO_DOT || flag_m68k_mri)
466 return (current_cframe != NULL) && (current_cframe->ignoring);
469 /* We cannot ignore certain pseudo ops. */
472 && (!strncasecmp (s, "if", 2)
473 || !strncasecmp (s, "ifdef", 5)
474 || !strncasecmp (s, "ifndef", 6)))
477 && (!strncasecmp (s, "else", 4)
478 || !strncasecmp (s, "endif", 5)
479 || !strncasecmp (s, "endc", 4))))
482 return (current_cframe != NULL) && (current_cframe->ignoring);
486 initialize_cframe (cframe)
487 struct conditional_frame *cframe;
489 memset (cframe, 0, sizeof (*cframe));
490 as_where (&cframe->if_file_line.file,
491 &cframe->if_file_line.line);
492 cframe->previous_cframe = current_cframe;
493 cframe->dead_tree = current_cframe != NULL && current_cframe->ignoring;
494 cframe->macro_nest = macro_nest;
497 /* Give an error if a conditional is unterminated inside a macro or
498 the assembly as a whole. If NEST is non negative, we are being
499 called because of the end of a macro expansion. If NEST is
500 negative, we are being called at the of the input files. */
503 cond_finish_check (nest)
506 if (current_cframe != NULL && current_cframe->macro_nest >= nest)
509 as_bad (_("end of macro inside conditional"));
511 as_bad (_("end of file inside conditional"));
512 as_bad_where (current_cframe->if_file_line.file,
513 current_cframe->if_file_line.line,
514 _("here is the start of the unterminated conditional"));
515 if (current_cframe->else_seen)
516 as_bad_where (current_cframe->else_file_line.file,
517 current_cframe->else_file_line.line,
518 _("here is the \"else\" of the unterminated conditional"));
522 /* This function is called when we exit out of a macro. We assume
523 that any conditionals which began within the macro are correctly
524 nested, and just pop them off the stack. */
527 cond_exit_macro (nest)
530 while (current_cframe != NULL && current_cframe->macro_nest >= nest)
532 struct conditional_frame *hold;
534 hold = current_cframe;
535 current_cframe = current_cframe->previous_cframe;
536 obstack_free (&cond_obstack, hold);