mcs/class/System.Core/System.Linq.Expressions/ConstantExpression.cs

   1 //
   2 // ConstantExpression.cs
   3 //
   4 // Author:
   5 //   Jb Evain (jbevain@novell.com)
   6 //   Miguel de Icaza (miguel@novell.com)
   7 //
   8 // Some code is based on the Mono C# compiler:
   9 //   Marek Safar (marek.safar@seznam.cz)
  10 //   Martin Baulig (martin@ximian.com)
  11 //
  12 // (C) 2001-2008 Novell, Inc. (http://www.novell.com)
  13 //
  14 // Permission is hereby granted, free of charge, to any person obtaining
  15 // a copy of this software and associated documentation files (the
  16 // "Software"), to deal in the Software without restriction, including
  17 // without limitation the rights to use, copy, modify, merge, publish,
  18 // distribute, sublicense, and/or sell copies of the Software, and to
  19 // permit persons to whom the Software is furnished to do so, subject to
  20 // the following conditions:
  21 //
  22 // The above copyright notice and this permission notice shall be
  23 // included in all copies or substantial portions of the Software.
  24 //
  25 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  26 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  27 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  28 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  29 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  30 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  31 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  32 //
  33
  34 using System;
  35 using System.Reflection;
  36 using System.Reflection.Emit;
  37
  38 namespace System.Linq.Expressions {
  39
  40         public sealed class ConstantExpression : Expression {
  41                 object value;
  42
  43                 public object Value {
  44                         get { return value; }
  45                 }
  46
  47                 internal ConstantExpression (object value, Type type)
  48                         : base (ExpressionType.Constant, type)
  49                 {
  50                         this.value = value;
  51                 }
  52
  53                 internal override void Emit (EmitContext ec)
  54                 {
  55                         if (Type.IsNullable ()) {
  56                                 EmitNullableConstant (ec, Type, value);
  57                                 return;
  58                         }
  59
  60                         EmitConstant (ec, Type, value);
  61                 }
  62
  63                 void EmitNullableConstant (EmitContext ec, Type type, object value)
  64                 {
  65                         if (value == null) {
  66                                 var local = ec.ig.DeclareLocal (type);
  67                                 ec.EmitNullableInitialize (local);
  68                         } else {
  69                                 EmitConstant (ec, type.GetFirstGenericArgument (), value);
  70                                 ec.EmitNullableNew (type);
  71                         }
  72                 }
  73
  74                 void EmitConstant (EmitContext ec, Type type, object value)
  75                 {
  76                         var ig = ec.ig;
  77
  78                         switch (Type.GetTypeCode (type)){
  79                         case TypeCode.Byte:
  80                                 ig.Emit (OpCodes.Ldc_I4, (int) ((byte)value));
  81                                 return;
  82
  83                         case TypeCode.SByte:
  84                                 ig.Emit (OpCodes.Ldc_I4, (int) ((sbyte)value));
  85                                 return;
  86
  87                         case TypeCode.Int16:
  88                                 ig.Emit (OpCodes.Ldc_I4, (int) ((short)value));
  89                                 return;
  90
  91                         case TypeCode.UInt16:
  92                                 ig.Emit (OpCodes.Ldc_I4, (int) ((ushort)value));
  93                                 return;
  94
  95                         case TypeCode.Int32:
  96                                 ig.Emit (OpCodes.Ldc_I4, (int) value);
  97                                 return;
  98
  99                         case TypeCode.UInt32:
 100                                 ig.Emit (OpCodes.Ldc_I4, unchecked ((int) ((uint)Value)));
 101                                 return;
 102
 103                         case TypeCode.Int64:
 104                                 ig.Emit (OpCodes.Ldc_I8, (long) value);
 105                                 return;
 106
 107                         case TypeCode.UInt64:
 108                                 ig.Emit (OpCodes.Ldc_I8, unchecked ((long) ((ulong)value)));
 109                                 return;
 110
 111                         case TypeCode.Boolean:
 112                                 if ((bool) Value)
 113                                         ig.Emit (OpCodes.Ldc_I4_1);
 114                                 else
 115                                         ec.ig.Emit (OpCodes.Ldc_I4_0);
 116                                 return;
 117
 118                         case TypeCode.Char:
 119                                 ig.Emit (OpCodes.Ldc_I4, (int) ((char) value));
 120                                 return;
 121
 122                         case TypeCode.Single:
 123                                 ig.Emit (OpCodes.Ldc_R4, (float) value);
 124                                 return;
 125
 126                         case TypeCode.Double:
 127                                 ig.Emit (OpCodes.Ldc_R8, (double) value);
 128                                 return;
 129
 130                         case TypeCode.Decimal: {
 131                                 Decimal v = (decimal) value;
 132                                 int [] words = Decimal.GetBits (v);
 133                                 int power = (words [3] >> 16) & 0xff;
 134                                 Type ti = typeof (int);
 135
 136                                 if (power == 0 && v <= int.MaxValue && v >= int.MinValue) {
 137                                         ig.Emit (OpCodes.Ldc_I4, (int) v);
 138
 139                                         ig.Emit (OpCodes.Newobj, typeof (Decimal).GetConstructor (new Type [1] { ti }));
 140                                         return;
 141                                 }
 142                                 ig.Emit (OpCodes.Ldc_I4, words [0]);
 143                                 ig.Emit (OpCodes.Ldc_I4, words [1]);
 144                                 ig.Emit (OpCodes.Ldc_I4, words [2]);
 145                                 // sign
 146                                 ig.Emit (OpCodes.Ldc_I4, words [3] >> 31);
 147
 148                                 // power
 149                                 ig.Emit (OpCodes.Ldc_I4, power);
 150
 151                                 ig.Emit (OpCodes.Newobj, typeof (Decimal).GetConstructor (new Type [5] { ti, ti, ti, typeof(bool), typeof(byte) }));
 152                                 return;
 153                         }
 154
 155                         case TypeCode.DateTime: {
 156                                 var date = (DateTime) value;
 157                                 var local = ig.DeclareLocal (typeof (DateTime));
 158
 159                                 ig.Emit (OpCodes.Ldloca, local);
 160                                 ig.Emit (OpCodes.Ldc_I8, date.Ticks);
 161                                 ig.Emit (OpCodes.Ldc_I4, (int) date.Kind);
 162                                 ig.Emit (OpCodes.Call, typeof (DateTime).GetConstructor (new [] { typeof (long), typeof (DateTimeKind) }));
 163                                 ig.Emit (OpCodes.Ldloc, local);
 164
 165                                 return;
 166                         }
 167
 168                         case TypeCode.DBNull:
 169                                 ig.Emit (OpCodes.Ldsfld, typeof (DBNull).GetField ("Value", BindingFlags.Public | BindingFlags.Static));
 170                                 return;
 171
 172                         case TypeCode.String:
 173                                 EmitIfNotNull (ec, c => c.ig.Emit (OpCodes.Ldstr, (string) value));
 174                                 return;
 175
 176                         case TypeCode.Object:
 177                                 EmitIfNotNull (ec, c => c.EmitReadGlobal (value));
 178                                 return;
 179                         }
 180
 181                         throw new NotImplementedException (String.Format ("No support for constants of type {0} yet", Type));
 182                 }
 183
 184                 void EmitIfNotNull (EmitContext ec, Action<EmitContext> emit)
 185                 {
 186                         if (value == null) {
 187                                 ec.ig.Emit (OpCodes.Ldnull);
 188                                 return;
 189                         }
 190
 191                         emit (ec);
 192                 }
 193         }
 194 }