/*
 * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
 * See the copyright notice in the ACK home directory, in the file "Copyright".
 */
/* $Header$ */
/* SEMANTIC ANALYSIS (CHAPTER 7RM) -- MONADIC OPERATORS */

#include	"botch_free.h"
#include	<alloc.h>
#include	"nofloat.h"
#include	"nobitfield.h"
#include	"Lpars.h"
#include	"arith.h"
#include	"type.h"
#include	"label.h"
#include	"expr.h"
#include	"idf.h"
#include	"def.h"

extern char options[];
extern long full_mask[/*MAXSIZE*/];	/* cstoper.c */
char *symbol2str();

ch7mon(oper, expp)
	register struct expr **expp;
{
	/*	The monadic prefix operator oper is applied to *expp.
	*/
	register struct expr *expr;

	switch (oper)	{
	case '*':			/* RM 7.2 */
		/* no FIELD type allowed	*/
		if ((*expp)->ex_type->tp_fund == ARRAY)
			array2pointer(*expp);
		if ((*expp)->ex_type->tp_fund != POINTER)	{
			expr_error(*expp,
				"* applied to non-pointer (%s)",
				symbol2str((*expp)->ex_type->tp_fund));
		}
		else {
			expr = *expp;
			if (expr->ex_lvalue == 0)
				/* dereference in administration only */
				expr->ex_type = expr->ex_type->tp_up;
			else	/* runtime code */
				*expp = new_oper(expr->ex_type->tp_up, NILEXPR,
							'*', expr);
			(*expp)->ex_lvalue = (
				(*expp)->ex_type->tp_fund != ARRAY &&
				(*expp)->ex_type->tp_fund != FUNCTION);
		}
		break;
	case '&':
		if ((*expp)->ex_type->tp_fund == ARRAY) {
			warning("& before array: ignored");
			array2pointer(*expp);
		}
		else
		if ((*expp)->ex_type->tp_fund == FUNCTION) {
			warning("& before function: ignored");
			function2pointer(*expp);
		}
		else
#ifndef NOBITFIELD
		if ((*expp)->ex_type->tp_fund == FIELD)
			expr_error(*expp, "& applied to field variable");
		else
#endif NOBITFIELD
		if (!(*expp)->ex_lvalue)
			expr_error(*expp, "& applied to non-lvalue");
		else {
			/* assume that enums are already filtered out	*/
			if (	(*expp)->ex_class == Value
			&&	(*expp)->VL_CLASS == Name
			) {
				register struct def *def =
					(*expp)->VL_IDF->id_def;

				/*	&<var> indicates that <var>
					cannot be used as register
					anymore
				*/
				if (def->df_sc == REGISTER) {
					expr_error(*expp,
					"& on register variable not allowed");
					break;	/* break case '&' */
				}
			}
			(*expp)->ex_type = pointer_to((*expp)->ex_type);
			(*expp)->ex_lvalue = 0;
		}
		break;
	case '~':
#ifndef NOFLOAT
	{
		int fund = (*expp)->ex_type->tp_fund;

		if (fund == FLOAT || fund == DOUBLE)	{
			expr_error(
				*expp,
				"~ not allowed on %s operands",
				symbol2str(fund)
			);
			erroneous2int(expp);
			break;
		}
		/* FALLTHROUGH */
	}
#endif NOFLOAT
	case '-':
		any2arith(expp, oper);
		if (is_cp_cst(*expp))	{
			arith o1 = (*expp)->VL_VALUE;

			(*expp)->VL_VALUE = (oper == '-') ? -o1 :
			  ((*expp)->ex_type->tp_unsigned ?
				(~o1) & full_mask[(*expp)->ex_type->tp_size] :
				~o1
			  );
		}
		else
#ifndef NOFLOAT
		if (is_fp_cst(*expp))
			switch_sign_fp(*expp);
		else
#endif NOFLOAT
			*expp = new_oper((*expp)->ex_type,
					NILEXPR, oper, *expp);
		break;
	case '!':
		if ((*expp)->ex_type->tp_fund == FUNCTION)
			function2pointer(*expp);
		if ((*expp)->ex_type->tp_fund != POINTER)
			any2arith(expp, oper);
		opnd2test(expp, '!');
		if (is_cp_cst(*expp))	{
			(*expp)->VL_VALUE = !((*expp)->VL_VALUE);
			(*expp)->ex_type = int_type;	/* a cast ???(EB) */
		}
		else
			*expp = new_oper(int_type, NILEXPR, oper, *expp);
		(*expp)->ex_flags |= EX_LOGICAL;
		break;
	case PLUSPLUS:
	case MINMIN:
		ch7incr(expp, oper);
		break;
	case SIZEOF:
		if (	(*expp)->ex_class == Value
		&&	(*expp)->VL_CLASS == Name
		&&	(*expp)->VL_IDF->id_def->df_formal_array
		)
			warning("sizeof formal array %s is sizeof pointer!",
				(*expp)->VL_IDF->id_text);
		expr = intexpr(size_of_type((*expp)->ex_type, "object"), INT);
		expr->ex_flags |= EX_SIZEOF;
		free_expression(*expp);
		*expp = expr;
		break;
	}
}
