[deliverable/binutils-gdb.git] / gas / cond.c

/* cond.c - conditional assembly pseudo-ops, and .include
   Copyright 1990, 1991, 1992, 1993, 1995, 1997, 1998, 2000, 2001, 2002,
   2003 Free Software Foundation, Inc.

   This file is part of GAS, the GNU Assembler.

   GAS is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2, or (at your option)
   any later version.

   GAS is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with GAS; see the file COPYING.  If not, write to the Free
   Software Foundation, 59 Temple Place - Suite 330, Boston, MA
   02111-1307, USA.  */

#include "as.h"
#include "macro.h"

#include "obstack.h"

/* This is allocated to grow and shrink as .ifdef/.endif pairs are
   scanned.  */
struct obstack cond_obstack;

struct file_line {
  char *file;
  unsigned int line;
};

/* We push one of these structures for each .if, and pop it at the
   .endif.  */

struct conditional_frame {
  /* The source file & line number of the "if".  */
  struct file_line if_file_line;
  /* The source file & line of the "else".  */
  struct file_line else_file_line;
  /* The previous conditional.  */
  struct conditional_frame *previous_cframe;
  /* Have we seen an else yet?  */
  int else_seen;
  /* Whether we are currently ignoring input.  */
  int ignoring;
  /* Whether a conditional at a higher level is ignoring input.
     Set also when a branch of an "if .. elseif .." tree has matched
     to prevent further matches.  */
  int dead_tree;
  /* Macro nesting level at which this conditional was created.  */
  int macro_nest;
};

static void initialize_cframe (struct conditional_frame *cframe);
static char *get_mri_string (int, int *);

static struct conditional_frame *current_cframe = NULL;

/* Performs the .ifdef (test_defined == 1) and
   the .ifndef (test_defined == 0) pseudo op.  */

void
s_ifdef (int test_defined)
{
  /* Points to name of symbol.  */
  char *name;
  /* Points to symbol.  */
  symbolS *symbolP;
  struct conditional_frame cframe;
  char c;

  /* Leading whitespace is part of operand.  */
  SKIP_WHITESPACE ();
  name = input_line_pointer;

  if (!is_name_beginner (*name))
    {
      as_bad (_("invalid identifier for \".ifdef\""));
      obstack_1grow (&cond_obstack, 0);
      ignore_rest_of_line ();
      return;
    }

  c = get_symbol_end ();
  symbolP = symbol_find (name);
  *input_line_pointer = c;

  initialize_cframe (&cframe);
  
  if (cframe.dead_tree)
    cframe.ignoring = 1;
  else
    {
      int is_defined;

      /* Use the same definition of 'defined' as .equiv so that a symbol
	 which has been referenced but not yet given a value/address is
	 considered to be undefined.  */
      is_defined =
	symbolP != NULL
	&& S_IS_DEFINED (symbolP)
	&& S_GET_SEGMENT (symbolP) != reg_section;

      cframe.ignoring = ! (test_defined ^ is_defined);
    }

  current_cframe = ((struct conditional_frame *)
		    obstack_copy (&cond_obstack, &cframe,
				  sizeof (cframe)));

  if (LISTING_SKIP_COND ()
      && cframe.ignoring
      && (cframe.previous_cframe == NULL
	  || ! cframe.previous_cframe->ignoring))
    listing_list (2);

  demand_empty_rest_of_line ();
}

void
s_if (int arg)
{
  expressionS operand;
  struct conditional_frame cframe;
  int t;
  char *stop = NULL;
  char stopc;

  if (flag_mri)
    stop = mri_comment_field (&stopc);

  /* Leading whitespace is part of operand.  */
  SKIP_WHITESPACE ();

  if (current_cframe != NULL && current_cframe->ignoring)
    {
      operand.X_add_number = 0;
      while (! is_end_of_line[(unsigned char) *input_line_pointer])
	++input_line_pointer;
    }
  else
    {
      expression (&operand);
      if (operand.X_op != O_constant)
	as_bad (_("non-constant expression in \".if\" statement"));
    }

  switch ((operatorT) arg)
    {
    case O_eq: t = operand.X_add_number == 0; break;
    case O_ne: t = operand.X_add_number != 0; break;
    case O_lt: t = operand.X_add_number < 0; break;
    case O_le: t = operand.X_add_number <= 0; break;
    case O_ge: t = operand.X_add_number >= 0; break;
    case O_gt: t = operand.X_add_number > 0; break;
    default:
      abort ();
      return;
    }

  /* If the above error is signaled, this will dispatch
     using an undefined result.  No big deal.  */
  initialize_cframe (&cframe);
  cframe.ignoring = cframe.dead_tree || ! t;
  current_cframe = ((struct conditional_frame *)
		    obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));

  if (LISTING_SKIP_COND ()
      && cframe.ignoring
      && (cframe.previous_cframe == NULL
	  || ! cframe.previous_cframe->ignoring))
    listing_list (2);

  if (flag_mri)
    mri_comment_end (stop, stopc);

  demand_empty_rest_of_line ();
}

/* Get a string for the MRI IFC or IFNC pseudo-ops.  */

static char *
get_mri_string (int terminator, int *len)
{
  char *ret;
  char *s;

  SKIP_WHITESPACE ();
  s = ret = input_line_pointer;
  if (*input_line_pointer == '\'')
    {
      ++s;
      ++input_line_pointer;
      while (! is_end_of_line[(unsigned char) *input_line_pointer])
	{
	  *s++ = *input_line_pointer++;
	  if (s[-1] == '\'')
	    {
	      if (*input_line_pointer != '\'')
		break;
	      ++input_line_pointer;
	    }
	}
      SKIP_WHITESPACE ();
    }
  else
    {
      while (*input_line_pointer != terminator
	     && ! is_end_of_line[(unsigned char) *input_line_pointer])
	++input_line_pointer;
      s = input_line_pointer;
      while (s > ret && (s[-1] == ' ' || s[-1] == '\t'))
	--s;
    }

  *len = s - ret;
  return ret;
}

/* The MRI IFC and IFNC pseudo-ops.  */

void
s_ifc (int arg)
{
  char *stop = NULL;
  char stopc;
  char *s1, *s2;
  int len1, len2;
  int res;
  struct conditional_frame cframe;

  if (flag_mri)
    stop = mri_comment_field (&stopc);

  s1 = get_mri_string (',', &len1);

  if (*input_line_pointer != ',')
    as_bad (_("bad format for ifc or ifnc"));
  else
    ++input_line_pointer;

  s2 = get_mri_string (';', &len2);

  res = len1 == len2 && strncmp (s1, s2, len1) == 0;

  initialize_cframe (&cframe);
  cframe.ignoring = cframe.dead_tree || ! (res ^ arg);
  current_cframe = ((struct conditional_frame *)
		    obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));

  if (LISTING_SKIP_COND ()
      && cframe.ignoring
      && (cframe.previous_cframe == NULL
	  || ! cframe.previous_cframe->ignoring))
    listing_list (2);

  if (flag_mri)
    mri_comment_end (stop, stopc);

  demand_empty_rest_of_line ();
}

void
s_elseif (int arg)
{
  if (current_cframe == NULL)
    {
      as_bad (_("\".elseif\" without matching \".if\""));
    }
  else if (current_cframe->else_seen)
    {
      as_bad (_("\".elseif\" after \".else\""));
      as_bad_where (current_cframe->else_file_line.file,
		    current_cframe->else_file_line.line,
		    _("here is the previous \"else\""));
      as_bad_where (current_cframe->if_file_line.file,
		    current_cframe->if_file_line.line,
		    _("here is the previous \"if\""));
    }
  else
    {
      as_where (&current_cframe->else_file_line.file,
		&current_cframe->else_file_line.line);

      current_cframe->dead_tree |= !current_cframe->ignoring;
      current_cframe->ignoring = current_cframe->dead_tree;
    }

  if (current_cframe == NULL || current_cframe->ignoring)
    {
      while (! is_end_of_line[(unsigned char) *input_line_pointer])
	++input_line_pointer;

      if (current_cframe == NULL)
	return;
    }
  else
    {
      expressionS operand;
      int t;

      /* Leading whitespace is part of operand.  */
      SKIP_WHITESPACE ();

      expression (&operand);
      if (operand.X_op != O_constant)
	as_bad (_("non-constant expression in \".elseif\" statement"));

      switch ((operatorT) arg)
	{
	case O_eq: t = operand.X_add_number == 0; break;
	case O_ne: t = operand.X_add_number != 0; break;
	case O_lt: t = operand.X_add_number < 0; break;
	case O_le: t = operand.X_add_number <= 0; break;
	case O_ge: t = operand.X_add_number >= 0; break;
	case O_gt: t = operand.X_add_number > 0; break;
	default:
	  abort ();
	  return;
	}

      current_cframe->ignoring = current_cframe->dead_tree || ! t;
    }

  if (LISTING_SKIP_COND ()
      && (current_cframe->previous_cframe == NULL
	  || ! current_cframe->previous_cframe->ignoring))
    {
      if (! current_cframe->ignoring)
	listing_list (1);
      else
	listing_list (2);
    }

  demand_empty_rest_of_line ();
}

void
s_endif (int arg ATTRIBUTE_UNUSED)
{
  struct conditional_frame *hold;

  if (current_cframe == NULL)
    {
      as_bad (_("\".endif\" without \".if\""));
    }
  else
    {
      if (LISTING_SKIP_COND ()
	  && current_cframe->ignoring
	  && (current_cframe->previous_cframe == NULL
	      || ! current_cframe->previous_cframe->ignoring))
	listing_list (1);

      hold = current_cframe;
      current_cframe = current_cframe->previous_cframe;
      obstack_free (&cond_obstack, hold);
    }				/* if one pop too many */

  if (flag_mri)
    {
      while (! is_end_of_line[(unsigned char) *input_line_pointer])
	++input_line_pointer;
    }

  demand_empty_rest_of_line ();
}

void
s_else (int arg ATTRIBUTE_UNUSED)
{
  if (current_cframe == NULL)
    {
      as_bad (_("\".else\" without matching \".if\""));
    }
  else if (current_cframe->else_seen)
    {
      as_bad (_("duplicate \"else\""));
      as_bad_where (current_cframe->else_file_line.file,
		    current_cframe->else_file_line.line,
		    _("here is the previous \"else\""));
      as_bad_where (current_cframe->if_file_line.file,
		    current_cframe->if_file_line.line,
		    _("here is the previous \"if\""));
    }
  else
    {
      as_where (&current_cframe->else_file_line.file,
		&current_cframe->else_file_line.line);

      current_cframe->ignoring =
	current_cframe->dead_tree | !current_cframe->ignoring;

      if (LISTING_SKIP_COND ()
	  && (current_cframe->previous_cframe == NULL
	      || ! current_cframe->previous_cframe->ignoring))
	{
	  if (! current_cframe->ignoring)
	    listing_list (1);
	  else
	    listing_list (2);
	}

      current_cframe->else_seen = 1;
    }

  if (flag_mri)
    {
      while (! is_end_of_line[(unsigned char) *input_line_pointer])
	++input_line_pointer;
    }

  demand_empty_rest_of_line ();
}

void
s_ifeqs (int arg)
{
  char *s1, *s2;
  int len1, len2;
  int res;
  struct conditional_frame cframe;

  s1 = demand_copy_C_string (&len1);

  SKIP_WHITESPACE ();
  if (*input_line_pointer != ',')
    {
      as_bad (_(".ifeqs syntax error"));
      ignore_rest_of_line ();
      return;
    }

  ++input_line_pointer;

  s2 = demand_copy_C_string (&len2);

  res = len1 == len2 && strncmp (s1, s2, len1) == 0;

  initialize_cframe (&cframe);
  cframe.ignoring = cframe.dead_tree || ! (res ^ arg);
  current_cframe = ((struct conditional_frame *)
		    obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));

  if (LISTING_SKIP_COND ()
      && cframe.ignoring
      && (cframe.previous_cframe == NULL
	  || ! cframe.previous_cframe->ignoring))
    listing_list (2);

  demand_empty_rest_of_line ();
}

int
ignore_input (void)
{
  char *s;

  s = input_line_pointer;

  if (NO_PSEUDO_DOT || flag_m68k_mri)
    {
      if (s[-1] != '.')
	--s;
    }
  else
    {
      if (s[-1] != '.')
	return (current_cframe != NULL) && (current_cframe->ignoring);
    }

  /* We cannot ignore certain pseudo ops.  */
  if (((s[0] == 'i'
	|| s[0] == 'I')
       && (!strncasecmp (s, "if", 2)
	   || !strncasecmp (s, "ifdef", 5)
	   || !strncasecmp (s, "ifndef", 6)))
      || ((s[0] == 'e'
	   || s[0] == 'E')
	  && (!strncasecmp (s, "else", 4)
	      || !strncasecmp (s, "endif", 5)
	      || !strncasecmp (s, "endc", 4))))
    return 0;

  return (current_cframe != NULL) && (current_cframe->ignoring);
}

static void
initialize_cframe (struct conditional_frame *cframe)
{
  memset (cframe, 0, sizeof (*cframe));
  as_where (&cframe->if_file_line.file,
	    &cframe->if_file_line.line);
  cframe->previous_cframe = current_cframe;
  cframe->dead_tree = current_cframe != NULL && current_cframe->ignoring;
  cframe->macro_nest = macro_nest;
}

/* Give an error if a conditional is unterminated inside a macro or
   the assembly as a whole.  If NEST is non negative, we are being
   called because of the end of a macro expansion.  If NEST is
   negative, we are being called at the of the input files.  */

void
cond_finish_check (int nest)
{
  if (current_cframe != NULL && current_cframe->macro_nest >= nest)
    {
      if (nest >= 0)
	as_bad (_("end of macro inside conditional"));
      else
	as_bad (_("end of file inside conditional"));
      as_bad_where (current_cframe->if_file_line.file,
		    current_cframe->if_file_line.line,
		    _("here is the start of the unterminated conditional"));
      if (current_cframe->else_seen)
	as_bad_where (current_cframe->else_file_line.file,
		      current_cframe->else_file_line.line,
		      _("here is the \"else\" of the unterminated conditional"));
    }
}

/* This function is called when we exit out of a macro.  We assume
   that any conditionals which began within the macro are correctly
   nested, and just pop them off the stack.  */

void
cond_exit_macro (int nest)
{
  while (current_cframe != NULL && current_cframe->macro_nest >= nest)
    {
      struct conditional_frame *hold;

      hold = current_cframe;
      current_cframe = current_cframe->previous_cframe;
      obstack_free (&cond_obstack, hold);
    }
}
Commit	Line	Data
252b5132	1	/* cond.c - conditional assembly pseudo-ops, and .include
2da5c037 AM	2	Copyright 1990, 1991, 1992, 1993, 1995, 1997, 1998, 2000, 2001, 2002,
2da5c037 AM	3	2003 Free Software Foundation, Inc.
252b5132 RH	4
	5	This file is part of GAS, the GNU Assembler.
	6
	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)
	10	any later version.
	11
	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.
	16
	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
	20	02111-1307, USA. */
	21
	22	#include "as.h"
	23	#include "macro.h"
	24
	25	#include "obstack.h"
	26
76b0a8c0 KH	27	/* This is allocated to grow and shrink as .ifdef/.endif pairs are
76b0a8c0 KH	28	scanned. */
252b5132 RH	29	struct obstack cond_obstack;
252b5132 RH	30
30a2b4ef	31	struct file_line {
252b5132 RH	32	char *file;
	33	unsigned int line;
	34	};
	35
	36	/* We push one of these structures for each .if, and pop it at the
	37	.endif. */
	38
30a2b4ef	39	struct conditional_frame {
252b5132 RH	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? */
	47	int else_seen;
	48	/* Whether we are currently ignoring input. */
	49	int ignoring;
cdbc6895 AM	50	/* Whether a conditional at a higher level is ignoring input.
	51	Set also when a branch of an "if .. elseif .." tree has matched
	52	to prevent further matches. */
252b5132 RH	53	int dead_tree;
	54	/* Macro nesting level at which this conditional was created. */
	55	int macro_nest;
	56	};
	57
73ee5e4c KH	58	static void initialize_cframe (struct conditional_frame *cframe);
73ee5e4c KH	59	static char get_mri_string (int, int );
252b5132 RH	60
	61	static struct conditional_frame *current_cframe = NULL;
	62
8dfa0188 NC	63	/* Performs the .ifdef (test_defined == 1) and
	64	the .ifndef (test_defined == 0) pseudo op. */
	65
76b0a8c0	66	void
73ee5e4c	67	s_ifdef (int test_defined)
252b5132	68	{
76b0a8c0	69	/* Points to name of symbol. */
8dfa0188	70	char *name;
76b0a8c0	71	/* Points to symbol. */
8dfa0188	72	symbolS *symbolP;
252b5132	73	struct conditional_frame cframe;
8dfa0188	74	char c;
252b5132	75
76b0a8c0 KH	76	/* Leading whitespace is part of operand. */
76b0a8c0 KH	77	SKIP_WHITESPACE ();
252b5132 RH	78	name = input_line_pointer;
	79
	80	if (!is_name_beginner (*name))
	81	{
	82	as_bad (_("invalid identifier for \".ifdef\""));
	83	obstack_1grow (&cond_obstack, 0);
	84	ignore_rest_of_line ();
8dfa0188	85	return;
252b5132	86	}
8dfa0188 NC	87
	88	c = get_symbol_end ();
	89	symbolP = symbol_find (name);
	90	*input_line_pointer = c;
	91
	92	initialize_cframe (&cframe);
	93
	94	if (cframe.dead_tree)
	95	cframe.ignoring = 1;
252b5132 RH	96	else
252b5132 RH	97	{
8dfa0188 NC	98	int is_defined;
	99
	100	/* Use the same definition of 'defined' as .equiv so that a symbol
	101	which has been referenced but not yet given a value/address is
	102	considered to be undefined. */
	103	is_defined =
	104	symbolP != NULL
	105	&& S_IS_DEFINED (symbolP)
	106	&& S_GET_SEGMENT (symbolP) != reg_section;
	107
	108	cframe.ignoring = ! (test_defined ^ is_defined);
	109	}
	110
	111	current_cframe = ((struct conditional_frame *)
	112	obstack_copy (&cond_obstack, &cframe,
	113	sizeof (cframe)));
	114
	115	if (LISTING_SKIP_COND ()
	116	&& cframe.ignoring
	117	&& (cframe.previous_cframe == NULL
	118	\|\| ! cframe.previous_cframe->ignoring))
	119	listing_list (2);
	120
	121	demand_empty_rest_of_line ();
76b0a8c0	122	}
252b5132	123
76b0a8c0	124	void
73ee5e4c	125	s_if (int arg)
252b5132 RH	126	{
	127	expressionS operand;
	128	struct conditional_frame cframe;
	129	int t;
	130	char *stop = NULL;
	131	char stopc;
	132
	133	if (flag_mri)
	134	stop = mri_comment_field (&stopc);
	135
76b0a8c0 KH	136	/* Leading whitespace is part of operand. */
76b0a8c0 KH	137	SKIP_WHITESPACE ();
252b5132 RH	138
	139	if (current_cframe != NULL && current_cframe->ignoring)
	140	{
	141	operand.X_add_number = 0;
	142	while (! is_end_of_line[(unsigned char) *input_line_pointer])
	143	++input_line_pointer;
	144	}
	145	else
	146	{
	147	expression (&operand);
	148	if (operand.X_op != O_constant)
	149	as_bad (_("non-constant expression in \".if\" statement"));
	150	}
	151
	152	switch ((operatorT) arg)
	153	{
	154	case O_eq: t = operand.X_add_number == 0; break;
	155	case O_ne: t = operand.X_add_number != 0; break;
	156	case O_lt: t = operand.X_add_number < 0; break;
	157	case O_le: t = operand.X_add_number <= 0; break;
	158	case O_ge: t = operand.X_add_number >= 0; break;
	159	case O_gt: t = operand.X_add_number > 0; break;
	160	default:
	161	abort ();
	162	return;
	163	}
	164
	165	/* If the above error is signaled, this will dispatch
	166	using an undefined result. No big deal. */
	167	initialize_cframe (&cframe);
	168	cframe.ignoring = cframe.dead_tree \|\| ! t;
	169	current_cframe = ((struct conditional_frame *)
	170	obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));
	171
	172	if (LISTING_SKIP_COND ()
	173	&& cframe.ignoring
	174	&& (cframe.previous_cframe == NULL
	175	\|\| ! cframe.previous_cframe->ignoring))
	176	listing_list (2);
	177
	178	if (flag_mri)
	179	mri_comment_end (stop, stopc);
	180
	181	demand_empty_rest_of_line ();
76b0a8c0	182	}
252b5132 RH	183
	184	/* Get a string for the MRI IFC or IFNC pseudo-ops. */
	185
	186	static char *
73ee5e4c	187	get_mri_string (int terminator, int *len)
252b5132 RH	188	{
	189	char *ret;
	190	char *s;
	191
	192	SKIP_WHITESPACE ();
	193	s = ret = input_line_pointer;
	194	if (*input_line_pointer == '\'')
	195	{
	196	++s;
	197	++input_line_pointer;
	198	while (! is_end_of_line[(unsigned char) *input_line_pointer])
	199	{
	200	s++ = input_line_pointer++;
	201	if (s[-1] == '\'')
	202	{
	203	if (*input_line_pointer != '\'')
	204	break;
	205	++input_line_pointer;
	206	}
	207	}
	208	SKIP_WHITESPACE ();
	209	}
	210	else
	211	{
	212	while (*input_line_pointer != terminator
	213	&& ! is_end_of_line[(unsigned char) *input_line_pointer])
	214	++input_line_pointer;
	215	s = input_line_pointer;
	216	while (s > ret && (s[-1] == ' ' \|\| s[-1] == '\t'))
	217	--s;
	218	}
	219
	220	*len = s - ret;
	221	return ret;
	222	}
	223
	224	/* The MRI IFC and IFNC pseudo-ops. */
	225
	226	void
73ee5e4c	227	s_ifc (int arg)
252b5132 RH	228	{
	229	char *stop = NULL;
	230	char stopc;
	231	char s1, s2;
	232	int len1, len2;
	233	int res;
	234	struct conditional_frame cframe;
	235
	236	if (flag_mri)
	237	stop = mri_comment_field (&stopc);
	238
	239	s1 = get_mri_string (',', &len1);
	240
	241	if (*input_line_pointer != ',')
	242	as_bad (_("bad format for ifc or ifnc"));
	243	else
	244	++input_line_pointer;
	245
	246	s2 = get_mri_string (';', &len2);
	247
	248	res = len1 == len2 && strncmp (s1, s2, len1) == 0;
	249
	250	initialize_cframe (&cframe);
	251	cframe.ignoring = cframe.dead_tree \|\| ! (res ^ arg);
	252	current_cframe = ((struct conditional_frame *)
	253	obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));
	254
	255	if (LISTING_SKIP_COND ()
	256	&& cframe.ignoring
	257	&& (cframe.previous_cframe == NULL
	258	\|\| ! cframe.previous_cframe->ignoring))
	259	listing_list (2);
	260
	261	if (flag_mri)
	262	mri_comment_end (stop, stopc);
	263
	264	demand_empty_rest_of_line ();
	265	}
	266
76b0a8c0	267	void
73ee5e4c	268	s_elseif (int arg)
3fd9f047	269	{
3fd9f047 TW	270	if (current_cframe == NULL)
3fd9f047 TW	271	{
0e389e77	272	as_bad (_("\".elseif\" without matching \".if\""));
3fd9f047 TW	273	}
	274	else if (current_cframe->else_seen)
	275	{
0e389e77	276	as_bad (_("\".elseif\" after \".else\""));
3fd9f047 TW	277	as_bad_where (current_cframe->else_file_line.file,
	278	current_cframe->else_file_line.line,
	279	_("here is the previous \"else\""));
	280	as_bad_where (current_cframe->if_file_line.file,
	281	current_cframe->if_file_line.line,
	282	_("here is the previous \"if\""));
	283	}
	284	else
	285	{
	286	as_where (&current_cframe->else_file_line.file,
	287	&current_cframe->else_file_line.line);
	288
61b96bb4 AM	289	current_cframe->dead_tree \|= !current_cframe->ignoring;
	290	current_cframe->ignoring = current_cframe->dead_tree;
	291	}
3fd9f047	292
cdbc6895	293	if (current_cframe == NULL \|\| current_cframe->ignoring)
3fd9f047	294	{
3fd9f047 TW	295	while (! is_end_of_line[(unsigned char) *input_line_pointer])
3fd9f047 TW	296	++input_line_pointer;
61b96bb4 AM	297
	298	if (current_cframe == NULL)
	299	return;
3fd9f047	300	}
61b96bb4 AM	301	else
	302	{
	303	expressionS operand;
	304	int t;
cdbc6895	305
61b96bb4 AM	306	/* Leading whitespace is part of operand. */
61b96bb4 AM	307	SKIP_WHITESPACE ();
cdbc6895	308
61b96bb4 AM	309	expression (&operand);
	310	if (operand.X_op != O_constant)
	311	as_bad (_("non-constant expression in \".elseif\" statement"));
76b0a8c0	312
61b96bb4 AM	313	switch ((operatorT) arg)
	314	{
	315	case O_eq: t = operand.X_add_number == 0; break;
	316	case O_ne: t = operand.X_add_number != 0; break;
	317	case O_lt: t = operand.X_add_number < 0; break;
	318	case O_le: t = operand.X_add_number <= 0; break;
	319	case O_ge: t = operand.X_add_number >= 0; break;
	320	case O_gt: t = operand.X_add_number > 0; break;
	321	default:
	322	abort ();
	323	return;
	324	}
3fd9f047	325
61b96bb4 AM	326	current_cframe->ignoring = current_cframe->dead_tree \|\| ! t;
61b96bb4 AM	327	}
3fd9f047 TW	328
3fd9f047 TW	329	if (LISTING_SKIP_COND ()
3fd9f047 TW	330	&& (current_cframe->previous_cframe == NULL
3fd9f047 TW	331	\|\| ! current_cframe->previous_cframe->ignoring))
61b96bb4 AM	332	{
	333	if (! current_cframe->ignoring)
	334	listing_list (1);
	335	else
	336	listing_list (2);
	337	}
3fd9f047 TW	338
	339	demand_empty_rest_of_line ();
	340	}
	341
76b0a8c0	342	void
73ee5e4c	343	s_endif (int arg ATTRIBUTE_UNUSED)
252b5132 RH	344	{
	345	struct conditional_frame *hold;
	346
	347	if (current_cframe == NULL)
	348	{
	349	as_bad (_("\".endif\" without \".if\""));
	350	}
	351	else
	352	{
	353	if (LISTING_SKIP_COND ()
	354	&& current_cframe->ignoring
	355	&& (current_cframe->previous_cframe == NULL
	356	\|\| ! current_cframe->previous_cframe->ignoring))
	357	listing_list (1);
	358
	359	hold = current_cframe;
	360	current_cframe = current_cframe->previous_cframe;
	361	obstack_free (&cond_obstack, hold);
	362	} /* if one pop too many */
	363
	364	if (flag_mri)
	365	{
	366	while (! is_end_of_line[(unsigned char) *input_line_pointer])
	367	++input_line_pointer;
	368	}
	369
	370	demand_empty_rest_of_line ();
76b0a8c0	371	}
252b5132	372
76b0a8c0	373	void
73ee5e4c	374	s_else (int arg ATTRIBUTE_UNUSED)
252b5132 RH	375	{
	376	if (current_cframe == NULL)
	377	{
0e389e77	378	as_bad (_("\".else\" without matching \".if\""));
252b5132 RH	379	}
	380	else if (current_cframe->else_seen)
	381	{
0e389e77	382	as_bad (_("duplicate \"else\""));
252b5132 RH	383	as_bad_where (current_cframe->else_file_line.file,
	384	current_cframe->else_file_line.line,
	385	_("here is the previous \"else\""));
	386	as_bad_where (current_cframe->if_file_line.file,
	387	current_cframe->if_file_line.line,
	388	_("here is the previous \"if\""));
	389	}
	390	else
	391	{
	392	as_where (&current_cframe->else_file_line.file,
	393	&current_cframe->else_file_line.line);
	394
61b96bb4 AM	395	current_cframe->ignoring =
	396	current_cframe->dead_tree \| !current_cframe->ignoring;
	397
	398	if (LISTING_SKIP_COND ()
	399	&& (current_cframe->previous_cframe == NULL
	400	\|\| ! current_cframe->previous_cframe->ignoring))
252b5132	401	{
61b96bb4 AM	402	if (! current_cframe->ignoring)
	403	listing_list (1);
	404	else
	405	listing_list (2);
	406	}
252b5132 RH	407
252b5132 RH	408	current_cframe->else_seen = 1;
61b96bb4	409	}
252b5132 RH	410
	411	if (flag_mri)
	412	{
	413	while (! is_end_of_line[(unsigned char) *input_line_pointer])
	414	++input_line_pointer;
	415	}
	416
	417	demand_empty_rest_of_line ();
76b0a8c0	418	}
252b5132	419
76b0a8c0	420	void
73ee5e4c	421	s_ifeqs (int arg)
252b5132 RH	422	{
	423	char s1, s2;
	424	int len1, len2;
	425	int res;
	426	struct conditional_frame cframe;
	427
	428	s1 = demand_copy_C_string (&len1);
	429
	430	SKIP_WHITESPACE ();
	431	if (*input_line_pointer != ',')
	432	{
	433	as_bad (_(".ifeqs syntax error"));
	434	ignore_rest_of_line ();
	435	return;
	436	}
	437
	438	++input_line_pointer;
	439
	440	s2 = demand_copy_C_string (&len2);
	441
	442	res = len1 == len2 && strncmp (s1, s2, len1) == 0;
	443
	444	initialize_cframe (&cframe);
	445	cframe.ignoring = cframe.dead_tree \|\| ! (res ^ arg);
	446	current_cframe = ((struct conditional_frame *)
	447	obstack_copy (&cond_obstack, &cframe, sizeof (cframe)));
	448
	449	if (LISTING_SKIP_COND ()
	450	&& cframe.ignoring
	451	&& (cframe.previous_cframe == NULL
	452	\|\| ! cframe.previous_cframe->ignoring))
	453	listing_list (2);
	454
	455	demand_empty_rest_of_line ();
76b0a8c0	456	}
252b5132	457
76b0a8c0	458	int
73ee5e4c	459	ignore_input (void)
252b5132 RH	460	{
	461	char *s;
	462
	463	s = input_line_pointer;
	464
abd63a32	465	if (NO_PSEUDO_DOT \|\| flag_m68k_mri)
252b5132 RH	466	{
	467	if (s[-1] != '.')
	468	--s;
	469	}
	470	else
	471	{
	472	if (s[-1] != '.')
	473	return (current_cframe != NULL) && (current_cframe->ignoring);
	474	}
	475
	476	/* We cannot ignore certain pseudo ops. */
	477	if (((s[0] == 'i'
	478	\|\| s[0] == 'I')
	479	&& (!strncasecmp (s, "if", 2)
	480	\|\| !strncasecmp (s, "ifdef", 5)
	481	\|\| !strncasecmp (s, "ifndef", 6)))
	482	\|\| ((s[0] == 'e'
	483	\|\| s[0] == 'E')
	484	&& (!strncasecmp (s, "else", 4)
	485	\|\| !strncasecmp (s, "endif", 5)
	486	\|\| !strncasecmp (s, "endc", 4))))
	487	return 0;
	488
	489	return (current_cframe != NULL) && (current_cframe->ignoring);
76b0a8c0	490	}
252b5132	491
76b0a8c0	492	static void
73ee5e4c	493	initialize_cframe (struct conditional_frame *cframe)
252b5132 RH	494	{
	495	memset (cframe, 0, sizeof (*cframe));
	496	as_where (&cframe->if_file_line.file,
	497	&cframe->if_file_line.line);
	498	cframe->previous_cframe = current_cframe;
	499	cframe->dead_tree = current_cframe != NULL && current_cframe->ignoring;
	500	cframe->macro_nest = macro_nest;
	501	}
	502
	503	/* Give an error if a conditional is unterminated inside a macro or
	504	the assembly as a whole. If NEST is non negative, we are being
	505	called because of the end of a macro expansion. If NEST is
	506	negative, we are being called at the of the input files. */
	507
	508	void
73ee5e4c	509	cond_finish_check (int nest)
252b5132 RH	510	{
	511	if (current_cframe != NULL && current_cframe->macro_nest >= nest)
	512	{
	513	if (nest >= 0)
	514	as_bad (_("end of macro inside conditional"));
	515	else
	516	as_bad (_("end of file inside conditional"));
	517	as_bad_where (current_cframe->if_file_line.file,
	518	current_cframe->if_file_line.line,
	519	_("here is the start of the unterminated conditional"));
	520	if (current_cframe->else_seen)
	521	as_bad_where (current_cframe->else_file_line.file,
	522	current_cframe->else_file_line.line,
	523	_("here is the \"else\" of the unterminated conditional"));
	524	}
	525	}
	526
	527	/* This function is called when we exit out of a macro. We assume
	528	that any conditionals which began within the macro are correctly
	529	nested, and just pop them off the stack. */
	530
	531	void
73ee5e4c	532	cond_exit_macro (int nest)
252b5132 RH	533	{
	534	while (current_cframe != NULL && current_cframe->macro_nest >= nest)
	535	{
	536	struct conditional_frame *hold;
	537
	538	hold = current_cframe;
	539	current_cframe = current_cframe->previous_cframe;
	540	obstack_free (&cond_obstack, hold);
	541	}
	542	}