[binutils.git] / gas / cond.c

/* cond.c - conditional assembly pseudo-ops, and .include
   Copyright 1990, 1991, 1992, 1993, 1995, 1997, 1998, 2000, 2001
   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
cdbc6895	2	Copyright 1990, 1991, 1992, 1993, 1995, 1997, 1998, 2000, 2001
252b5132 RH	3	Free Software Foundation, Inc.
	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	}