shithub: scc

ref: 7f4177cf55af62d6ed0d29db6bb545d640eba4ac
dir: /expr.c/

#include <stddef.h>

#include "tokens.h"
#include "symbol.h"
#include "syntax.h"

#include <stdio.h>		/* TODO: remove this */


void expr(void);

static void primary(void)
{
	switch (yytoken) {
	case IDENTIFIER:
		if (!yyval.sym)
			error("'%s' undeclared", yytext);
	case CONSTANT:
	case STRING_LITERAL:
		next();
		break;
	case '(':
		next();
		expr();
		expect(')');
		break;
	}
}

static void postfix(void)
{
	primary();
	for (;;) {
		switch (yytoken) {
		case '[':
			next();
			expr();
			expect(']');
			break;
		case '(':
			next();
			expr();
			expect(')');
			break;
		case '.':
		case PTR_OP:
			next();
			expect(IDENTIFIER);
			break;
		case INC_OP:
		case DEC_OP:
			next();
			break;
		default:
			return;
		}
	}
}

static void cast(void);

static void unary(void)
{
	for (;;) {
		switch (yytoken) {
		case SIZEOF:
			next();
			if (accept('(')) {
				type_name();
				expect(')');
				return;
			}
			break;
		case INC_OP:
		case DEC_OP:
			next();
			break;
		case '&': case '*': case '-': case '~': case '!': case '+':
			next();
			cast();
			return;
		default:
			postfix();
			return;
		}
	}
}

static void cast(void)
{
	while (accept('(')) {
		type_name();	/* check if it really is a type name */
		expect(')');
	}
	unary();
}

static void mul(void)
{
	do
		cast();
	while(accept('*') || accept('/') || accept('%'));
}

static void add(void)
{
	do
		mul();
	while (accept('+') || accept('-'));
}

static void shift(void)
{
	do
		add();
	while (accept(LSHIFT_OP) || accept(RSHIFT_OP));
}

static void relational(void)
{
	do
		shift();
	while (accept('<') || accept('>') || accept(GE_OP) || accept(LE_OP));
}

static void equality(void)
{
	do
		relational();
	while (accept(EQ_OP) || accept(NE_OP));
}

static void bit_and(void)
{
	do
		equality();
	while (accept('&'));
}

static void bit_exor(void)
{
	do
		bit_and();
	while (accept('^'));
}

static void bit_or(void)
{
	do
		bit_exor();
	while (accept('|'));
}

static void and(void)
{
	do
		bit_or();
	while (accept(AND_OP));
}

static void or(void)
{
	do
		and();
	while (accept(OR_OP));
}

static void conditional(void)
{
	or();
	if (accept('?')) {
		expr();
		expect(':');
		conditional();
	}
}

static void assign(void)
{
	unary();
	switch (yytoken) {
	case '=':
	case MUL_ASSIGN:
	case DIV_ASSIGN:
	case MOD_ASSIGN:
	case ADD_ASSIGN:
	case SUB_ASSIGN:
	case LSHIFT_ASSIGN:
	case RSHIFT_ASSIGN:
	case AND_ASSIGN:
	case XOR_ASSIGN:
	case OR_ASSIGN:
		next();
		assign();
		break;
	default:
		conditional();
		break;
	}
}

void expr(void)
{
	do
		assign();
	while (yytoken == ',');
}