public static BinaryConvertResult ConvertBinaryOperands(Expression lop, Expression rop, Token op)
{
Symbols.Type lt = lop.GetType(), rt = rop.GetType();
BinaryConvertResult res = new BinaryConvertResult();
res.op = op;
Pair <Expression, Expression> uacon = null;
switch (op.type)
{
case Token.Type.OP_STAR:
case Token.Type.OP_DIV:
if (!lt.IsArifmetic())
{
throw new Symbols.Exception(lop, NOT_ARITHMETICAL);
}
if (!rt.IsArifmetic())
{
throw new Symbols.Exception(rop, NOT_ARITHMETICAL);
}
if (op.type == Token.Type.OP_MOD)
{
if (!lt.IsArifmetic())
{
lop = new Cast(lop, new Symbols.INT());
}
if (!rt.IsArifmetic())
{
rop = new Cast(rop, new Symbols.INT());
}
res.type = rop.GetType();
break;
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_MOD:
if (!lt.IsInteger())
{
throw new Symbols.Exception(lop, NOT_INTEGER);
}
if (!rt.IsInteger())
{
throw new Symbols.Exception(rop, NOT_INTEGER);
}
if (op.type == Token.Type.OP_MOD)
{
if (!(lt is Symbols.INT))
{
lop = new Cast(lop, new Symbols.INT());
}
if (!(rt is Symbols.INT))
{
rop = new Cast(rop, new Symbols.INT());
}
res.type = rop.GetType();
break;
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_PLUS:
case Token.Type.OP_SUB:
if (rt is Symbols.POINTER || lt is Symbols.POINTER)
{
if (rt is Symbols.POINTER && lt is Symbols.POINTER)
{
if (op.type == Token.Type.OP_PLUS)
{
throw new Symbols.Exception(lop, NOT_ARITHMETICAL);
}
res.type = rt;
break;
}
BinaryOperator binop = new BinaryOperator(new Token(Token.Type.OP_STAR));
int size = 0;
if (rt is Symbols.POINTER)
{
lop = lt is Symbols.INT ? lop : new Cast(lop, new Symbols.INT());
binop.SetLeftOperand(lop);
size = ((Symbols.POINTER)rt).GetRefType().GetSizeType();
binop.SetRightOperand(new Const(size.ToString(), new Symbols.INT()));
lop = binop;
res.type = rt;
}
else
{
rop = rt is Symbols.INT ? rop : new Cast(rop, new Symbols.INT());
binop.SetLeftOperand(rop);
size = ((Symbols.POINTER)lt).GetRefType().GetSizeType();
binop.SetRightOperand(new Const(size.ToString(), new Symbols.INT()));
rop = binop;
res.type = lt;
}
break;
}
if (lt.IsArifmetic() || rt.IsArifmetic())
{
if (!lt.IsArifmetic())
{
throw new Symbols.Exception(lop, NOT_ARITHMETICAL);
}
if (!rt.IsArifmetic())
{
throw new Symbols.Exception(rop, NOT_ARITHMETICAL);
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
}
if (lt is Symbols.Func ||
(lt is Symbols.POINTER && ((Symbols.POINTER)lt).GetRefType() is Symbols.Func))
{
throw new Symbols.Exception(lop, NOT_COMPLETE_TYPE);
}
if (rt is Symbols.Func ||
(rt is Symbols.POINTER && ((Symbols.POINTER)rt).GetRefType() is Symbols.Func))
{
throw new Symbols.Exception(rop, NOT_COMPLETE_TYPE);
}
throw new Symbols.Exception(lop, string.Format(NO_OPERATOR, op.GetStrVal()));
case Token.Type.OP_L_SHIFT:
case Token.Type.OP_R_SHIFT:
case Token.Type.OP_BIT_AND:
case Token.Type.OP_BIT_OR:
case Token.Type.OP_XOR:
if (!lt.IsInteger())
{
throw new Symbols.Exception(lop, NOT_ARITHMETICAL);
}
if (!rt.IsInteger())
{
throw new Symbols.Exception(rop, NOT_ARITHMETICAL);
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_MORE:
case Token.Type.OP_LESS:
case Token.Type.OP_LESS_OR_EQUAL:
case Token.Type.OP_MORE_OR_EQUAL:
case Token.Type.OP_EQUAL:
case Token.Type.OP_NOT_EQUAL:
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_AND:
case Token.Type.OP_OR:
if (!(lt.IsArifmetic() || lt is Symbols.POINTER))
{
throw new Symbols.Exception(lop, string.Format(NO_OPERATOR, op.GetStrVal()));
}
if (!(rt.IsArifmetic() || rt is Symbols.POINTER))
{
throw new Symbols.Exception(rop, string.Format(NO_OPERATOR, op.GetStrVal()));
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_ASSIGN:
if (!lop.IsLvalue())
{
throw new Symbols.Exception(lop, NOT_LVALUE);
}
if (!lt.Equals(rt))
{
rop = new Cast(rop, lt);
}
res.type = lop.GetType();
break;
case Token.Type.COMMA:
break;
case Token.Type.OP_MUL_ASSIGN:
case Token.Type.OP_DIV_ASSIGN:
case Token.Type.OP_MOD_ASSIGN:
case Token.Type.OP_PLUS_ASSIGN:
case Token.Type.OP_SUB_ASSIGN:
case Token.Type.OP_L_SHIFT_ASSIGN:
case Token.Type.OP_R_SHIFT_ASSIGN:
case Token.Type.OP_BIT_AND_ASSIGN:
case Token.Type.OP_BIT_OR_ASSIGN:
case Token.Type.OP_XOR_ASSIGN:
Token.Type tt = Token.Type.OP_STAR;
switch (op.type)
{
case Token.Type.OP_MUL_ASSIGN:
tt = Token.Type.OP_STAR;
break;
case Token.Type.OP_DIV_ASSIGN:
tt = Token.Type.OP_DIV;
break;
case Token.Type.OP_MOD_ASSIGN:
tt = Token.Type.OP_MOD;
break;
case Token.Type.OP_PLUS_ASSIGN:
tt = Token.Type.OP_PLUS;
break;
case Token.Type.OP_SUB_ASSIGN:
tt = Token.Type.OP_SUB;
break;
case Token.Type.OP_L_SHIFT_ASSIGN:
tt = Token.Type.OP_L_SHIFT;
break;
case Token.Type.OP_R_SHIFT_ASSIGN:
tt = Token.Type.OP_R_SHIFT;
break;
case Token.Type.OP_BIT_AND_ASSIGN:
tt = Token.Type.OP_BIT_AND;
break;
case Token.Type.OP_BIT_OR_ASSIGN:
tt = Token.Type.OP_BIT_OR;
break;
case Token.Type.OP_XOR_ASSIGN:
tt = Token.Type.OP_XOR;
break;
}
BinaryOperator bop = new BinaryOperator(new Token(tt));
bop.SetLeftOperand(lop);
bop.SetRightOperand(rop);
res.op = new Token(op.GetIndex(), op.GetLine(), Token.Type.OP_ASSIGN, "=");
BinaryOperator assign = new BinaryOperator(res.op);
assign.SetLeftOperand(lop);
assign.SetRightOperand(bop);
BinaryConvertResult r = ConvertBinaryOperands(lop, bop, res.op);
rop = r.right;
lop = r.left;
res.type = lop.GetType();
break;
default:
throw new System.NotImplementedException();
}
res.left = lop;
res.right = rop;
return(res);
}
public void SetConstant(Token constant)
{
this.SetConstant(constant.GetStrVal());
this.pos = constant.GetIndex();
this.line = constant.GetLine();
}
public static UnaryConvertResult ConvertUnaryOperand(Expression operand, Token op)
{
UnaryConvertResult res = new UnaryConvertResult();
Symbols.Type t = operand.GetType();
switch (op.type)
{
case Token.Type.OP_INC:
case Token.Type.OP_DEC:
Token.Type tt = op.type == Token.Type.OP_DEC ?
Token.Type.OP_SUB_ASSIGN : Token.Type.OP_PLUS_ASSIGN;
BinaryOperator bop = new BinaryOperator(new Token(tt));
bop.SetLeftOperand(operand);
bop.SetRightOperand(new Const("1", new Symbols.INT()));
res.type = bop.GetType();
break;
case Token.Type.OP_BIT_AND:
if (!(operand.IsLvalue() || operand.GetType() is Symbols.Func))
{
throw new Symbols.Exception(operand, NOT_LVALUE_OR_FUNC);
}
res.type = new Symbols.POINTER(operand.GetType());
break;
case Token.Type.OP_STAR:
res.lvalue = true;
if (!(t is Symbols.POINTER || t is Symbols.Func))
{
throw new Symbols.Exception(operand, NOT_POINTER);
}
if (t is Symbols.Func)
{
res.type = t;
}
else
{
res.type = ((Symbols.RefType)t).GetRefType();
}
break;
case Token.Type.OP_PLUS:
case Token.Type.OP_SUB:
if (!t.IsArifmetic())
{
throw new Symbols.Exception(operand, NOT_ARITHMETICAL);
}
res.type = t;
break;
case Token.Type.OP_TILDE:
if (!t.IsInteger())
{
throw new Symbols.Exception(operand, NOT_INTEGER);
}
res.type = t;
break;
case Token.Type.OP_NOT:
if (!(t.IsArifmetic() || t is Symbols.Func || t is Symbols.POINTER))
{
throw new Symbols.Exception(operand, string.Format(NO_OPERATOR, op.GetStrVal()));
}
res.type = new Symbols.INT();
break;
case Token.Type.KW_SIZEOF:
res.type = new Symbols.INT();
break;
case Token.Type.OP_DOT:
default:
throw new System.NotImplementedException();
}
res.operand = operand;
return(res);
}
public override string ToString()
{
return(op.GetStrVal());
}
