+++ /dev/null
-//
-// cfold.cs: Constant Folding
-//
-// Author:
-// Miguel de Icaza (miguel@ximian.com)
-//
-// (C) 2002, 2003 Ximian, Inc.
-//
-
-using System;
-
-namespace Mono.CSharp {
-
- public class ConstantFold {
-
- //
- // Performs the numeric promotions on the left and right expresions
- // and desposits the results on `lc' and `rc'.
- //
- // On success, the types of `lc' and `rc' on output will always match,
- // and the pair will be one of:
- //
- // (double, double)
- // (float, float)
- // (ulong, ulong)
- // (long, long)
- // (uint, uint)
- // (int, int)
- // (short, short) (Happens with enumerations with underlying short type)
- // (ushort, ushort) (Happens with enumerations with underlying short type)
- //
- static void DoConstantNumericPromotions (EmitContext ec, Binary.Operator oper,
- ref Constant left, ref Constant right,
- Location loc)
- {
- if (left is DoubleConstant || right is DoubleConstant){
- //
- // If either side is a double, convert the other to a double
- //
- if (!(left is DoubleConstant))
- left = left.ToDouble (loc);
-
- if (!(right is DoubleConstant))
- right = right.ToDouble (loc);
- return;
- } else if (left is FloatConstant || right is FloatConstant) {
- //
- // If either side is a float, convert the other to a float
- //
- if (!(left is FloatConstant))
- left = left.ToFloat (loc);
-
- if (!(right is FloatConstant))
- right = right.ToFloat (loc);
-; return;
- } else if (left is ULongConstant || right is ULongConstant){
- //
- // If either operand is of type ulong, the other operand is
- // converted to type ulong. or an error ocurrs if the other
- // operand is of type sbyte, short, int or long
- //
-#if WRONG
- Constant match, other;
-#endif
-
- if (left is ULongConstant){
-#if WRONG
- other = right;
- match = left;
-#endif
- if (!(right is ULongConstant))
- right = right.ToULong (loc);
- } else {
-#if WRONG
- other = left;
- match = right;
-#endif
- left = left.ToULong (loc);
- }
-
-#if WRONG
- if (other is SByteConstant || other is ShortConstant ||
- other is IntConstant || other is LongConstant){
- Binary.Error_OperatorAmbiguous
- (loc, oper, other.Type, match.Type);
- left = null;
- right = null;
- }
-#endif
- return;
- } else if (left is LongConstant || right is LongConstant){
- //
- // If either operand is of type long, the other operand is converted
- // to type long.
- //
- if (!(left is LongConstant))
- left = left.ToLong (loc);
- else if (!(right is LongConstant))
- right = right.ToLong (loc);
- return;
- } else if (left is UIntConstant || right is UIntConstant){
- //
- // If either operand is of type uint, and the other
- // operand is of type sbyte, short or int, the operands are
- // converted to type long.
- //
- Constant other;
- if (left is UIntConstant)
- other = right;
- else
- other = left;
-
- // Nothing to do.
- if (other is UIntConstant)
- return;
-
- IntConstant ic = other as IntConstant;
- if (ic != null){
- if (ic.Value >= 0){
- if (left == other)
- left = new UIntConstant ((uint) ic.Value);
- else
- right = new UIntConstant ((uint) ic.Value);
- return;
- }
- }
-
- if (other is SByteConstant || other is ShortConstant || ic != null){
- left = left.ToLong (loc);
- right = right.ToLong (loc);
- } else {
- left = left.ToUInt (loc);
- right = left.ToUInt (loc);
- }
-
- return;
- } else if (left is DecimalConstant || right is DecimalConstant) {
- if (!(left is DecimalConstant))
- left = left.ToDecimal (loc);
- else if (!(right is DecimalConstant))
- right = right.ToDecimal (loc);
- return;
- } else if (left is EnumConstant || right is EnumConstant){
- //
- // If either operand is an enum constant, the other one must
- // be implicitly convertable to that enum's underlying type.
- //
- EnumConstant match;
- Constant other;
- if (left is EnumConstant){
- other = right;
- match = (EnumConstant) left;
- } else {
- other = left;
- match = (EnumConstant) right;
- }
-
- bool need_check = (other is EnumConstant) ||
- ((oper != Binary.Operator.Addition) &&
- (oper != Binary.Operator.Subtraction));
-
- if (need_check &&
- !Convert.WideningConversionExists (ec, match, other.Type)) {
- Convert.Error_CannotWideningConversion (loc, match.Type, other.Type);
- left = null;
- right = null;
- return;
- }
-
- if (left is EnumConstant)
- left = ((EnumConstant) left).Child;
- if (right is EnumConstant)
- right = ((EnumConstant) right).Child;
-
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- return;
-
- } else {
- //
- // Force conversions to int32
- //
- if (!(left is IntConstant))
- left = left.ToInt (loc);
- if (!(right is IntConstant))
- right = right.ToInt (loc);
- }
- return;
- }
-
- static void Error_CompileTimeOverflow (Location loc)
- {
- Report.Error (220, loc, "The operation overflows at compile time in checked mode");
- }
-
- /// <summary>
- /// Constant expression folder for binary operations.
- ///
- /// Returns null if the expression can not be folded.
- /// </summary>
- static public Expression BinaryFold (EmitContext ec, Binary.Operator oper,
- Constant left, Constant right, Location loc)
- {
- Type lt = left.Type;
- Type rt = right.Type;
- Type result_type = null;
- bool bool_res;
-
- //
- // Enumerator folding
- //
- if (rt == lt && left is EnumConstant)
- result_type = lt;
-
- //
- // During an enum evaluation, we need to unwrap enumerations
- //
- if (ec.InEnumContext){
- if (left is EnumConstant)
- left = ((EnumConstant) left).Child;
-
- if (right is EnumConstant)
- right = ((EnumConstant) right).Child;
- }
-
- Type wrap_as;
- Constant result = null;
- switch (oper){
- case Binary.Operator.BitwiseOr:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- if (left is IntConstant){
- IntConstant v;
- int res = ((IntConstant) left).Value | ((IntConstant) right).Value;
-
- v = new IntConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is UIntConstant){
- UIntConstant v;
- uint res = ((UIntConstant)left).Value | ((UIntConstant)right).Value;
-
- v = new UIntConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is LongConstant){
- LongConstant v;
- long res = ((LongConstant)left).Value | ((LongConstant)right).Value;
-
- v = new LongConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is ULongConstant){
- ULongConstant v;
- ulong res = ((ULongConstant)left).Value |
- ((ULongConstant)right).Value;
-
- v = new ULongConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is UShortConstant){
- UShortConstant v;
- ushort res = (ushort) (((UShortConstant)left).Value |
- ((UShortConstant)right).Value);
-
- v = new UShortConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is ShortConstant){
- ShortConstant v;
- short res = (short) (((ShortConstant)left).Value |
- ((ShortConstant)right).Value);
-
- v = new ShortConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- }
- break;
-
- case Binary.Operator.BitwiseAnd:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- if (left is IntConstant){
- IntConstant v;
- int res = ((IntConstant) left).Value & ((IntConstant) right).Value;
-
- v = new IntConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is UIntConstant){
- UIntConstant v;
- uint res = ((UIntConstant)left).Value & ((UIntConstant)right).Value;
-
- v = new UIntConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is LongConstant){
- LongConstant v;
- long res = ((LongConstant)left).Value & ((LongConstant)right).Value;
-
- v = new LongConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is ULongConstant){
- ULongConstant v;
- ulong res = ((ULongConstant)left).Value &
- ((ULongConstant)right).Value;
-
- v = new ULongConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is UShortConstant){
- UShortConstant v;
- ushort res = (ushort) (((UShortConstant)left).Value &
- ((UShortConstant)right).Value);
-
- v = new UShortConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is ShortConstant){
- ShortConstant v;
- short res = (short) (((ShortConstant)left).Value &
- ((ShortConstant)right).Value);
-
- v = new ShortConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- }
- break;
-
- case Binary.Operator.ExclusiveOr:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- if (left is IntConstant){
- IntConstant v;
- int res = ((IntConstant) left).Value ^ ((IntConstant) right).Value;
-
- v = new IntConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is UIntConstant){
- UIntConstant v;
- uint res = ((UIntConstant)left).Value ^ ((UIntConstant)right).Value;
-
- v = new UIntConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is LongConstant){
- LongConstant v;
- long res = ((LongConstant)left).Value ^ ((LongConstant)right).Value;
-
- v = new LongConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is ULongConstant){
- ULongConstant v;
- ulong res = ((ULongConstant)left).Value ^
- ((ULongConstant)right).Value;
-
- v = new ULongConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is UShortConstant){
- UShortConstant v;
- ushort res = (ushort) (((UShortConstant)left).Value ^
- ((UShortConstant)right).Value);
-
- v = new UShortConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- } else if (left is ShortConstant){
- ShortConstant v;
- short res = (short)(((ShortConstant)left).Value ^
- ((ShortConstant)right).Value);
-
- v = new ShortConstant (res);
- if (result_type == null)
- return v;
- else
- return new EnumConstant (v, result_type);
- }
- break;
-
- case Binary.Operator.Addition:
- bool left_is_string = left is StringConstant;
- bool right_is_string = right is StringConstant;
-
- //
- // If both sides are strings, then concatenate, if
- // one is a string, and the other is not, then defer
- // to runtime concatenation
- //
- wrap_as = null;
- if (left_is_string || right_is_string){
- if (left_is_string && right_is_string)
- return new StringConstant (
- ((StringConstant) left).Value +
- ((StringConstant) right).Value);
-
- return null;
- }
-
- //
- // handle "E operator + (E x, U y)"
- // handle "E operator + (Y y, E x)"
- //
- // note that E operator + (E x, E y) is invalid
- //
- if (left is EnumConstant){
- if (right is EnumConstant){
- return null;
- }
- if (((EnumConstant) left).Child.Type != right.Type)
- return null;
-
- wrap_as = left.Type;
- } else if (right is EnumConstant){
- if (((EnumConstant) right).Child.Type != left.Type)
- return null;
- wrap_as = right.Type;
- }
-
- result = null;
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- try {
- if (left is DoubleConstant){
- double res;
-
- if (ec.ConstantCheckState)
- res = checked (((DoubleConstant) left).Value +
- ((DoubleConstant) right).Value);
- else
- res = unchecked (((DoubleConstant) left).Value +
- ((DoubleConstant) right).Value);
-
- result = new DoubleConstant (res);
- } else if (left is FloatConstant){
- float res;
-
- if (ec.ConstantCheckState)
- res = checked (((FloatConstant) left).Value +
- ((FloatConstant) right).Value);
- else
- res = unchecked (((FloatConstant) left).Value +
- ((FloatConstant) right).Value);
-
- result = new FloatConstant (res);
- } else if (left is ULongConstant){
- ulong res;
-
- if (ec.ConstantCheckState)
- res = checked (((ULongConstant) left).Value +
- ((ULongConstant) right).Value);
- else
- res = unchecked (((ULongConstant) left).Value +
- ((ULongConstant) right).Value);
-
- result = new ULongConstant (res);
- } else if (left is LongConstant){
- long res;
-
- if (ec.ConstantCheckState)
- res = checked (((LongConstant) left).Value +
- ((LongConstant) right).Value);
- else
- res = unchecked (((LongConstant) left).Value +
- ((LongConstant) right).Value);
-
- result = new LongConstant (res);
- } else if (left is UIntConstant){
- uint res;
-
- if (ec.ConstantCheckState)
- res = checked (((UIntConstant) left).Value +
- ((UIntConstant) right).Value);
- else
- res = unchecked (((UIntConstant) left).Value +
- ((UIntConstant) right).Value);
-
- result = new UIntConstant (res);
- } else if (left is IntConstant){
- int res;
-
- if (ec.ConstantCheckState)
- res = checked (((IntConstant) left).Value +
- ((IntConstant) right).Value);
- else
- res = unchecked (((IntConstant) left).Value +
- ((IntConstant) right).Value);
-
- result = new IntConstant (res);
- } else if (left is DecimalConstant) {
- decimal res;
-
- if (ec.ConstantCheckState)
- res = checked (((DecimalConstant) left).Value +
- ((DecimalConstant) right).Value);
- else
- res = unchecked (((DecimalConstant) left).Value +
- ((DecimalConstant) right).Value);
-
- result = new DecimalConstant (res);
- } else {
- throw new Exception ( "Unexepected addition input: " + left);
- }
- } catch (OverflowException){
- Error_CompileTimeOverflow (loc);
- }
-
- if (wrap_as != null)
- return new EnumConstant (result, wrap_as);
- else
- return result;
-
- case Binary.Operator.Subtraction:
- //
- // handle "E operator - (E x, U y)"
- // handle "E operator - (Y y, E x)"
- // handle "U operator - (E x, E y)"
- //
- wrap_as = null;
- if (left is EnumConstant){
- if (right is EnumConstant){
- if (left.Type == right.Type)
- wrap_as = TypeManager.EnumToUnderlying (left.Type);
- else
- return null;
- }
- if (((EnumConstant) left).Child.Type != right.Type)
- return null;
-
- wrap_as = left.Type;
- } else if (right is EnumConstant){
- if (((EnumConstant) right).Child.Type != left.Type)
- return null;
- wrap_as = right.Type;
- }
-
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- try {
- if (left is DoubleConstant){
- double res;
-
- if (ec.ConstantCheckState)
- res = checked (((DoubleConstant) left).Value -
- ((DoubleConstant) right).Value);
- else
- res = unchecked (((DoubleConstant) left).Value -
- ((DoubleConstant) right).Value);
-
- result = new DoubleConstant (res);
- } else if (left is FloatConstant){
- float res;
-
- if (ec.ConstantCheckState)
- res = checked (((FloatConstant) left).Value -
- ((FloatConstant) right).Value);
- else
- res = unchecked (((FloatConstant) left).Value -
- ((FloatConstant) right).Value);
-
- result = new FloatConstant (res);
- } else if (left is ULongConstant){
- ulong res;
-
- if (ec.ConstantCheckState)
- res = checked (((ULongConstant) left).Value -
- ((ULongConstant) right).Value);
- else
- res = unchecked (((ULongConstant) left).Value -
- ((ULongConstant) right).Value);
-
- result = new ULongConstant (res);
- } else if (left is LongConstant){
- long res;
-
- if (ec.ConstantCheckState)
- res = checked (((LongConstant) left).Value -
- ((LongConstant) right).Value);
- else
- res = unchecked (((LongConstant) left).Value -
- ((LongConstant) right).Value);
-
- result = new LongConstant (res);
- } else if (left is UIntConstant){
- uint res;
-
- if (ec.ConstantCheckState)
- res = checked (((UIntConstant) left).Value -
- ((UIntConstant) right).Value);
- else
- res = unchecked (((UIntConstant) left).Value -
- ((UIntConstant) right).Value);
-
- result = new UIntConstant (res);
- } else if (left is IntConstant){
- int res;
-
- if (ec.ConstantCheckState)
- res = checked (((IntConstant) left).Value -
- ((IntConstant) right).Value);
- else
- res = unchecked (((IntConstant) left).Value -
- ((IntConstant) right).Value);
-
- result = new IntConstant (res);
- } else if (left is DecimalConstant) {
- decimal res;
-
- if (ec.ConstantCheckState)
- res = checked (((DecimalConstant) left).Value -
- ((DecimalConstant) right).Value);
- else
- res = unchecked (((DecimalConstant) left).Value -
- ((DecimalConstant) right).Value);
-
- return new DecimalConstant (res);
- } else {
- throw new Exception ( "Unexepected subtraction input: " + left);
- }
- } catch (OverflowException){
- Error_CompileTimeOverflow (loc);
- }
- if (wrap_as != null)
- return new EnumConstant (result, wrap_as);
- else
- return result;
-
- case Binary.Operator.Multiply:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- try {
- if (left is DoubleConstant){
- double res;
-
- if (ec.ConstantCheckState)
- res = checked (((DoubleConstant) left).Value *
- ((DoubleConstant) right).Value);
- else
- res = unchecked (((DoubleConstant) left).Value *
- ((DoubleConstant) right).Value);
-
- return new DoubleConstant (res);
- } else if (left is FloatConstant){
- float res;
-
- if (ec.ConstantCheckState)
- res = checked (((FloatConstant) left).Value *
- ((FloatConstant) right).Value);
- else
- res = unchecked (((FloatConstant) left).Value *
- ((FloatConstant) right).Value);
-
- return new FloatConstant (res);
- } else if (left is ULongConstant){
- ulong res;
-
- if (ec.ConstantCheckState)
- res = checked (((ULongConstant) left).Value *
- ((ULongConstant) right).Value);
- else
- res = unchecked (((ULongConstant) left).Value *
- ((ULongConstant) right).Value);
-
- return new ULongConstant (res);
- } else if (left is LongConstant){
- long res;
-
- if (ec.ConstantCheckState)
- res = checked (((LongConstant) left).Value *
- ((LongConstant) right).Value);
- else
- res = unchecked (((LongConstant) left).Value *
- ((LongConstant) right).Value);
-
- return new LongConstant (res);
- } else if (left is UIntConstant){
- uint res;
-
- if (ec.ConstantCheckState)
- res = checked (((UIntConstant) left).Value *
- ((UIntConstant) right).Value);
- else
- res = unchecked (((UIntConstant) left).Value *
- ((UIntConstant) right).Value);
-
- return new UIntConstant (res);
- } else if (left is IntConstant){
- int res;
-
- if (ec.ConstantCheckState)
- res = checked (((IntConstant) left).Value *
- ((IntConstant) right).Value);
- else
- res = unchecked (((IntConstant) left).Value *
- ((IntConstant) right).Value);
-
- return new IntConstant (res);
- } else if (left is DecimalConstant) {
- decimal res;
-
- if (ec.ConstantCheckState)
- res = checked (((DecimalConstant) left).Value *
- ((DecimalConstant) right).Value);
- else
- res = unchecked (((DecimalConstant) left).Value *
- ((DecimalConstant) right).Value);
-
- return new DecimalConstant (res);
- } else {
- throw new Exception ( "Unexepected multiply input: " + left);
- }
- } catch (OverflowException){
- Error_CompileTimeOverflow (loc);
- }
- break;
-
- case Binary.Operator.Division:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- try {
- if (left is DoubleConstant){
- double res;
-
- if (ec.ConstantCheckState)
- res = checked (((DoubleConstant) left).Value /
- ((DoubleConstant) right).Value);
- else
- res = unchecked (((DoubleConstant) left).Value /
- ((DoubleConstant) right).Value);
-
- return new DoubleConstant (res);
- } else if (left is FloatConstant){
- float res;
-
- if (ec.ConstantCheckState)
- res = checked (((FloatConstant) left).Value /
- ((FloatConstant) right).Value);
- else
- res = unchecked (((FloatConstant) left).Value /
- ((FloatConstant) right).Value);
-
- return new FloatConstant (res);
- } else if (left is ULongConstant){
- ulong res;
-
- if (ec.ConstantCheckState)
- res = checked (((ULongConstant) left).Value /
- ((ULongConstant) right).Value);
- else
- res = unchecked (((ULongConstant) left).Value /
- ((ULongConstant) right).Value);
-
- return new ULongConstant (res);
- } else if (left is LongConstant){
- long res;
-
- if (ec.ConstantCheckState)
- res = checked (((LongConstant) left).Value /
- ((LongConstant) right).Value);
- else
- res = unchecked (((LongConstant) left).Value /
- ((LongConstant) right).Value);
-
- return new LongConstant (res);
- } else if (left is UIntConstant){
- uint res;
-
- if (ec.ConstantCheckState)
- res = checked (((UIntConstant) left).Value /
- ((UIntConstant) right).Value);
- else
- res = unchecked (((UIntConstant) left).Value /
- ((UIntConstant) right).Value);
-
- return new UIntConstant (res);
- } else if (left is IntConstant){
- int res;
-
- if (ec.ConstantCheckState)
- res = checked (((IntConstant) left).Value /
- ((IntConstant) right).Value);
- else
- res = unchecked (((IntConstant) left).Value /
- ((IntConstant) right).Value);
-
- return new IntConstant (res);
- } else if (left is DecimalConstant) {
- decimal res;
-
- if (ec.ConstantCheckState)
- res = checked (((DecimalConstant) left).Value /
- ((DecimalConstant) right).Value);
- else
- res = unchecked (((DecimalConstant) left).Value /
- ((DecimalConstant) right).Value);
-
- return new DecimalConstant (res);
- } else {
- throw new Exception ( "Unexepected division input: " + left);
- }
- } catch (OverflowException){
- Error_CompileTimeOverflow (loc);
-
- } catch (DivideByZeroException) {
- Report.Error (020, loc, "Division by constant zero");
- }
-
- break;
-
- case Binary.Operator.Modulus:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- try {
- if (left is DoubleConstant){
- double res;
-
- if (ec.ConstantCheckState)
- res = checked (((DoubleConstant) left).Value %
- ((DoubleConstant) right).Value);
- else
- res = unchecked (((DoubleConstant) left).Value %
- ((DoubleConstant) right).Value);
-
- return new DoubleConstant (res);
- } else if (left is FloatConstant){
- float res;
-
- if (ec.ConstantCheckState)
- res = checked (((FloatConstant) left).Value %
- ((FloatConstant) right).Value);
- else
- res = unchecked (((FloatConstant) left).Value %
- ((FloatConstant) right).Value);
-
- return new FloatConstant (res);
- } else if (left is ULongConstant){
- ulong res;
-
- if (ec.ConstantCheckState)
- res = checked (((ULongConstant) left).Value %
- ((ULongConstant) right).Value);
- else
- res = unchecked (((ULongConstant) left).Value %
- ((ULongConstant) right).Value);
-
- return new ULongConstant (res);
- } else if (left is LongConstant){
- long res;
-
- if (ec.ConstantCheckState)
- res = checked (((LongConstant) left).Value %
- ((LongConstant) right).Value);
- else
- res = unchecked (((LongConstant) left).Value %
- ((LongConstant) right).Value);
-
- return new LongConstant (res);
- } else if (left is UIntConstant){
- uint res;
-
- if (ec.ConstantCheckState)
- res = checked (((UIntConstant) left).Value %
- ((UIntConstant) right).Value);
- else
- res = unchecked (((UIntConstant) left).Value %
- ((UIntConstant) right).Value);
-
- return new UIntConstant (res);
- } else if (left is IntConstant){
- int res;
-
- if (ec.ConstantCheckState)
- res = checked (((IntConstant) left).Value %
- ((IntConstant) right).Value);
- else
- res = unchecked (((IntConstant) left).Value %
- ((IntConstant) right).Value);
-
- return new IntConstant (res);
- } else {
- throw new Exception ( "Unexepected modulus input: " + left);
- }
- } catch (DivideByZeroException){
- Report.Error (020, loc, "Division by constant zero");
- } catch (OverflowException){
- Error_CompileTimeOverflow (loc);
- }
- break;
-
- //
- // There is no overflow checking on left shift
- //
- case Binary.Operator.LeftShift:
- IntConstant ic = right.ToInt (loc);
- if (ic == null){
- Binary.Error_OperatorCannotBeApplied (loc, "<<", lt, rt);
- return null;
- }
- int lshift_val = ic.Value;
-
- IntConstant lic;
- if ((lic = left.ConvertToInt ()) != null)
- return new IntConstant (lic.Value << lshift_val);
-
- UIntConstant luic;
- if ((luic = left.ConvertToUInt ()) != null)
- return new UIntConstant (luic.Value << lshift_val);
-
- LongConstant llc;
- if ((llc = left.ConvertToLong ()) != null)
- return new LongConstant (llc.Value << lshift_val);
-
- ULongConstant lulc;
- if ((lulc = left.ConvertToULong ()) != null)
- return new ULongConstant (lulc.Value << lshift_val);
-
- Binary.Error_OperatorCannotBeApplied (loc, "<<", lt, rt);
- break;
-
- //
- // There is no overflow checking on right shift
- //
- case Binary.Operator.RightShift:
- IntConstant sic = right.ToInt (loc);
- if (sic == null){
- Binary.Error_OperatorCannotBeApplied (loc, ">>", lt, rt);
- return null;
- }
- int rshift_val = sic.Value;
-
- IntConstant ric;
- if ((ric = left.ConvertToInt ()) != null)
- return new IntConstant (ric.Value >> rshift_val);
-
- UIntConstant ruic;
- if ((ruic = left.ConvertToUInt ()) != null)
- return new UIntConstant (ruic.Value >> rshift_val);
-
- LongConstant rlc;
- if ((rlc = left.ConvertToLong ()) != null)
- return new LongConstant (rlc.Value >> rshift_val);
-
- ULongConstant rulc;
- if ((rulc = left.ConvertToULong ()) != null)
- return new ULongConstant (rulc.Value >> rshift_val);
-
- Binary.Error_OperatorCannotBeApplied (loc, ">>", lt, rt);
- break;
-
- case Binary.Operator.LogicalAndAlso:
- if (left is BoolConstant && right is BoolConstant){
- return new BoolConstant (
- ((BoolConstant) left).Value &&
- ((BoolConstant) right).Value);
- }
- break;
-
- case Binary.Operator.LogicalOrElse:
- if (left is BoolConstant && right is BoolConstant){
- return new BoolConstant (
- ((BoolConstant) left).Value ||
- ((BoolConstant) right).Value);
- }
- break;
-
- case Binary.Operator.Equality:
- if (left is BoolConstant && right is BoolConstant){
- return new BoolConstant (
- ((BoolConstant) left).Value ==
- ((BoolConstant) right).Value);
-
- }
- if (left is NullLiteral){
- if (right is NullLiteral)
- return new BoolConstant (true);
- else if (right is StringConstant)
- return new BoolConstant (
- ((StringConstant) right).Value == null);
- } else if (right is NullLiteral){
- if (left is NullLiteral)
- return new BoolConstant (true);
- else if (left is StringConstant)
- return new BoolConstant (
- ((StringConstant) left).Value == null);
- }
- if (left is StringConstant && right is StringConstant){
- return new BoolConstant (
- ((StringConstant) left).Value ==
- ((StringConstant) right).Value);
-
- }
-
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- bool_res = false;
- if (left is DoubleConstant)
- bool_res = ((DoubleConstant) left).Value ==
- ((DoubleConstant) right).Value;
- else if (left is FloatConstant)
- bool_res = ((FloatConstant) left).Value ==
- ((FloatConstant) right).Value;
- else if (left is ULongConstant)
- bool_res = ((ULongConstant) left).Value ==
- ((ULongConstant) right).Value;
- else if (left is LongConstant)
- bool_res = ((LongConstant) left).Value ==
- ((LongConstant) right).Value;
- else if (left is UIntConstant)
- bool_res = ((UIntConstant) left).Value ==
- ((UIntConstant) right).Value;
- else if (left is IntConstant)
- bool_res = ((IntConstant) left).Value ==
- ((IntConstant) right).Value;
- else
- return null;
-
- return new BoolConstant (bool_res);
-
- case Binary.Operator.Inequality:
- if (left is BoolConstant && right is BoolConstant){
- return new BoolConstant (
- ((BoolConstant) left).Value !=
- ((BoolConstant) right).Value);
- }
- if (left is NullLiteral){
- if (right is NullLiteral)
- return new BoolConstant (false);
- else if (right is StringConstant)
- return new BoolConstant (
- ((StringConstant) right).Value != null);
- } else if (right is NullLiteral){
- if (left is NullLiteral)
- return new BoolConstant (false);
- else if (left is StringConstant)
- return new BoolConstant (
- ((StringConstant) left).Value != null);
- }
- if (left is StringConstant && right is StringConstant){
- return new BoolConstant (
- ((StringConstant) left).Value !=
- ((StringConstant) right).Value);
-
- }
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- bool_res = false;
- if (left is DoubleConstant)
- bool_res = ((DoubleConstant) left).Value !=
- ((DoubleConstant) right).Value;
- else if (left is FloatConstant)
- bool_res = ((FloatConstant) left).Value !=
- ((FloatConstant) right).Value;
- else if (left is ULongConstant)
- bool_res = ((ULongConstant) left).Value !=
- ((ULongConstant) right).Value;
- else if (left is LongConstant)
- bool_res = ((LongConstant) left).Value !=
- ((LongConstant) right).Value;
- else if (left is UIntConstant)
- bool_res = ((UIntConstant) left).Value !=
- ((UIntConstant) right).Value;
- else if (left is IntConstant)
- bool_res = ((IntConstant) left).Value !=
- ((IntConstant) right).Value;
- else
- return null;
-
- return new BoolConstant (bool_res);
-
- case Binary.Operator.LessThan:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- bool_res = false;
- if (left is DoubleConstant)
- bool_res = ((DoubleConstant) left).Value <
- ((DoubleConstant) right).Value;
- else if (left is FloatConstant)
- bool_res = ((FloatConstant) left).Value <
- ((FloatConstant) right).Value;
- else if (left is ULongConstant)
- bool_res = ((ULongConstant) left).Value <
- ((ULongConstant) right).Value;
- else if (left is LongConstant)
- bool_res = ((LongConstant) left).Value <
- ((LongConstant) right).Value;
- else if (left is UIntConstant)
- bool_res = ((UIntConstant) left).Value <
- ((UIntConstant) right).Value;
- else if (left is IntConstant)
- bool_res = ((IntConstant) left).Value <
- ((IntConstant) right).Value;
- else
- return null;
-
- return new BoolConstant (bool_res);
-
- case Binary.Operator.GreaterThan:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- bool_res = false;
- if (left is DoubleConstant)
- bool_res = ((DoubleConstant) left).Value >
- ((DoubleConstant) right).Value;
- else if (left is FloatConstant)
- bool_res = ((FloatConstant) left).Value >
- ((FloatConstant) right).Value;
- else if (left is ULongConstant)
- bool_res = ((ULongConstant) left).Value >
- ((ULongConstant) right).Value;
- else if (left is LongConstant)
- bool_res = ((LongConstant) left).Value >
- ((LongConstant) right).Value;
- else if (left is UIntConstant)
- bool_res = ((UIntConstant) left).Value >
- ((UIntConstant) right).Value;
- else if (left is IntConstant)
- bool_res = ((IntConstant) left).Value >
- ((IntConstant) right).Value;
- else
- return null;
-
- return new BoolConstant (bool_res);
-
- case Binary.Operator.GreaterThanOrEqual:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- bool_res = false;
- if (left is DoubleConstant)
- bool_res = ((DoubleConstant) left).Value >=
- ((DoubleConstant) right).Value;
- else if (left is FloatConstant)
- bool_res = ((FloatConstant) left).Value >=
- ((FloatConstant) right).Value;
- else if (left is ULongConstant)
- bool_res = ((ULongConstant) left).Value >=
- ((ULongConstant) right).Value;
- else if (left is LongConstant)
- bool_res = ((LongConstant) left).Value >=
- ((LongConstant) right).Value;
- else if (left is UIntConstant)
- bool_res = ((UIntConstant) left).Value >=
- ((UIntConstant) right).Value;
- else if (left is IntConstant)
- bool_res = ((IntConstant) left).Value >=
- ((IntConstant) right).Value;
- else
- return null;
-
- return new BoolConstant (bool_res);
-
- case Binary.Operator.LessThanOrEqual:
- DoConstantNumericPromotions (ec, oper, ref left, ref right, loc);
- if (left == null || right == null)
- return null;
-
- bool_res = false;
- if (left is DoubleConstant)
- bool_res = ((DoubleConstant) left).Value <=
- ((DoubleConstant) right).Value;
- else if (left is FloatConstant)
- bool_res = ((FloatConstant) left).Value <=
- ((FloatConstant) right).Value;
- else if (left is ULongConstant)
- bool_res = ((ULongConstant) left).Value <=
- ((ULongConstant) right).Value;
- else if (left is LongConstant)
- bool_res = ((LongConstant) left).Value <=
- ((LongConstant) right).Value;
- else if (left is UIntConstant)
- bool_res = ((UIntConstant) left).Value <=
- ((UIntConstant) right).Value;
- else if (left is IntConstant)
- bool_res = ((IntConstant) left).Value <=
- ((IntConstant) right).Value;
- else
- return null;
-
- return new BoolConstant (bool_res);
- }
-
- return null;
- }
- }
-}
projects / mono.git / blobdiff