CodeGenerator.cs 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405
  1. // CodeGenerator.cs
  2. //
  3. // Author:
  4. // Lluis Sanchez Gual ([email protected])
  5. //
  6. // (C) 2004 Novell, Inc
  7. //
  8. // Copyright (C) 2004 Novell, Inc (http://www.novell.com)
  9. //
  10. // Permission is hereby granted, free of charge, to any person obtaining
  11. // a copy of this software and associated documentation files (the
  12. // "Software"), to deal in the Software without restriction, including
  13. // without limitation the rights to use, copy, modify, merge, publish,
  14. // distribute, sublicense, and/or sell copies of the Software, and to
  15. // permit persons to whom the Software is furnished to do so, subject to
  16. // the following conditions:
  17. //
  18. // The above copyright notice and this permission notice shall be
  19. // included in all copies or substantial portions of the Software.
  20. //
  21. // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  22. // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  23. // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  24. // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  25. // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  26. // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  27. // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  28. //
  29. #if !FULL_AOT_RUNTIME
  30. using System;
  31. using System.IO;
  32. using System.Collections;
  33. using System.Runtime.Serialization;
  34. using System.Reflection;
  35. using System.Reflection.Emit;
  36. using System.Globalization;
  37. namespace System.Runtime.Serialization.Formatters.Binary
  38. {
  39. internal class CodeGenerator
  40. {
  41. // Code generation
  42. static object monitor = new object ();
  43. static ModuleBuilder _module;
  44. static CodeGenerator ()
  45. {
  46. AppDomain myDomain = System.Threading.Thread.GetDomain();
  47. AssemblyName myAsmName = new AssemblyName();
  48. myAsmName.Name = "__MetadataTypes";
  49. AssemblyBuilder myAsmBuilder = myDomain.DefineInternalDynamicAssembly (myAsmName, AssemblyBuilderAccess.Run);
  50. _module = myAsmBuilder.DefineDynamicModule("__MetadataTypesModule", false);
  51. }
  52. static public Type GenerateMetadataType (Type type, StreamingContext context) {
  53. /* SRE is not thread safe */
  54. lock (monitor) {
  55. return GenerateMetadataTypeInternal (type, context);
  56. }
  57. }
  58. static public Type GenerateMetadataTypeInternal (Type type, StreamingContext context)
  59. {
  60. string name = type.Name + "__TypeMetadata";
  61. string sufix = "";
  62. int n = 0;
  63. while (_module.GetType (name + sufix) != null)
  64. sufix = (++n).ToString();
  65. name += sufix;
  66. MemberInfo[] members = FormatterServices.GetSerializableMembers (type, context);
  67. TypeBuilder typeBuilder = _module.DefineType (name, TypeAttributes.Public, typeof(ClrTypeMetadata));
  68. Type[] parameters;
  69. MethodBuilder method;
  70. ILGenerator gen;
  71. // *********************
  72. // METHOD public constructor (Type t): base (t);
  73. parameters = Type.EmptyTypes;
  74. ConstructorBuilder ctor = typeBuilder.DefineConstructor (MethodAttributes.Public, CallingConventions.Standard, parameters);
  75. ConstructorInfo baseCtor = typeof(ClrTypeMetadata).GetConstructor (new Type[] { typeof(Type) });
  76. gen = ctor.GetILGenerator();
  77. gen.Emit (OpCodes.Ldarg_0);
  78. gen.Emit (OpCodes.Ldtoken, type);
  79. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  80. gen.Emit (OpCodes.Call, baseCtor);
  81. gen.Emit (OpCodes.Ret);
  82. // *********************
  83. // METHOD public override void WriteAssemblies (ObjectWriter ow, BinaryWriter writer);
  84. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter) };
  85. method = typeBuilder.DefineMethod ("WriteAssemblies", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  86. gen = method.GetILGenerator();
  87. foreach (FieldInfo field in members)
  88. {
  89. Type memberType = field.FieldType;
  90. while (memberType.IsArray)
  91. memberType = memberType.GetElementType();
  92. if (memberType.Assembly != ObjectWriter.CorlibAssembly)
  93. {
  94. // EMIT ow.WriteAssembly (writer, memberType.Assembly);
  95. gen.Emit (OpCodes.Ldarg_1);
  96. gen.Emit (OpCodes.Ldarg_2);
  97. EmitLoadTypeAssembly (gen, memberType, field.Name);
  98. gen.EmitCall (OpCodes.Callvirt, typeof(ObjectWriter).GetMethod("WriteAssembly"), null);
  99. gen.Emit (OpCodes.Pop);
  100. }
  101. }
  102. gen.Emit(OpCodes.Ret);
  103. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteAssemblies"));
  104. // *********************
  105. // METHOD public override void WriteTypeData (ObjectWriter ow, BinaryWriter writer, bool writeTypes);
  106. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter), typeof(bool) };
  107. method = typeBuilder.DefineMethod ("WriteTypeData", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  108. gen = method.GetILGenerator();
  109. // EMIT writer.Write (members.Length);
  110. gen.Emit (OpCodes.Ldarg_2);
  111. gen.Emit (OpCodes.Ldc_I4, members.Length);
  112. EmitWrite (gen, typeof(int));
  113. // Names of fields
  114. foreach (FieldInfo field in members)
  115. {
  116. // EMIT writer.Write (name);
  117. gen.Emit (OpCodes.Ldarg_2);
  118. gen.Emit (OpCodes.Ldstr, field.Name);
  119. EmitWrite (gen, typeof(string));
  120. }
  121. Label falseLabel = gen.DefineLabel ();
  122. gen.Emit (OpCodes.Ldarg_3);
  123. gen.Emit (OpCodes.Brfalse, falseLabel);
  124. // Types of fields
  125. foreach (FieldInfo field in members)
  126. {
  127. // EMIT writer.Write ((byte) ObjectWriter.GetTypeTag (type));
  128. gen.Emit (OpCodes.Ldarg_2);
  129. gen.Emit (OpCodes.Ldc_I4_S, (byte) ObjectWriter.GetTypeTag (field.FieldType));
  130. EmitWrite (gen, typeof(byte));
  131. }
  132. // Type specs of fields
  133. foreach (FieldInfo field in members)
  134. {
  135. // EMIT ow.WriteTypeSpec (writer, field.FieldType);
  136. EmitWriteTypeSpec (gen, field.FieldType, field.Name);
  137. }
  138. gen.MarkLabel(falseLabel);
  139. gen.Emit(OpCodes.Ret);
  140. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteTypeData"));
  141. // *********************
  142. // METHOD public override void WriteObjectData (ObjectWriter ow, BinaryWriter writer, object data)
  143. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter), typeof(object) };
  144. method = typeBuilder.DefineMethod ("WriteObjectData", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  145. gen = method.GetILGenerator();
  146. LocalBuilder localBuilder = gen.DeclareLocal (type);
  147. OpCode lload = OpCodes.Ldloc;
  148. gen.Emit (OpCodes.Ldarg_3);
  149. if (type.IsValueType)
  150. {
  151. gen.Emit (OpCodes.Unbox, type);
  152. LoadFromPtr (gen, type);
  153. lload = OpCodes.Ldloca_S;
  154. }
  155. else
  156. gen.Emit (OpCodes.Castclass, type);
  157. gen.Emit (OpCodes.Stloc, localBuilder);
  158. foreach (FieldInfo field in members)
  159. {
  160. // EMIT ow.WriteValue (writer, ((FieldInfo)members[n]).FieldType, values[n]);
  161. Type ftype = field.FieldType;
  162. if (BinaryCommon.IsPrimitive (ftype))
  163. {
  164. gen.Emit (OpCodes.Ldarg_2);
  165. gen.Emit (lload, localBuilder);
  166. if (ftype == typeof(DateTime) || ftype == typeof(TimeSpan) || ftype == typeof(decimal))
  167. gen.Emit (OpCodes.Ldflda, field);
  168. else
  169. gen.Emit (OpCodes.Ldfld, field);
  170. EmitWritePrimitiveValue (gen, ftype);
  171. }
  172. else
  173. {
  174. gen.Emit (OpCodes.Ldarg_1);
  175. gen.Emit (OpCodes.Ldarg_2);
  176. gen.Emit (OpCodes.Ldtoken, ftype);
  177. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  178. gen.Emit (lload, localBuilder);
  179. gen.Emit (OpCodes.Ldfld, field);
  180. if (ftype.IsValueType)
  181. gen.Emit (OpCodes.Box, ftype);
  182. gen.EmitCall (OpCodes.Call, typeof(ObjectWriter).GetMethod("WriteValue"), null);
  183. }
  184. }
  185. gen.Emit(OpCodes.Ret);
  186. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteObjectData"));
  187. return typeBuilder.CreateType();
  188. }
  189. public static void LoadFromPtr (ILGenerator ig, Type t)
  190. {
  191. if (t == typeof(int))
  192. ig.Emit (OpCodes.Ldind_I4);
  193. else if (t == typeof(uint))
  194. ig.Emit (OpCodes.Ldind_U4);
  195. else if (t == typeof(short))
  196. ig.Emit (OpCodes.Ldind_I2);
  197. else if (t == typeof(ushort))
  198. ig.Emit (OpCodes.Ldind_U2);
  199. else if (t == typeof(char))
  200. ig.Emit (OpCodes.Ldind_U2);
  201. else if (t == typeof(byte))
  202. ig.Emit (OpCodes.Ldind_U1);
  203. else if (t == typeof(sbyte))
  204. ig.Emit (OpCodes.Ldind_I1);
  205. else if (t == typeof(ulong))
  206. ig.Emit (OpCodes.Ldind_I8);
  207. else if (t == typeof(long))
  208. ig.Emit (OpCodes.Ldind_I8);
  209. else if (t == typeof(float))
  210. ig.Emit (OpCodes.Ldind_R4);
  211. else if (t == typeof(double))
  212. ig.Emit (OpCodes.Ldind_R8);
  213. else if (t == typeof(bool))
  214. ig.Emit (OpCodes.Ldind_I1);
  215. else if (t == typeof(IntPtr))
  216. ig.Emit (OpCodes.Ldind_I);
  217. else if (t.IsEnum) {
  218. if (t == typeof(Enum))
  219. ig.Emit (OpCodes.Ldind_Ref);
  220. else
  221. LoadFromPtr (ig, EnumToUnderlying (t));
  222. } else if (t.IsValueType)
  223. ig.Emit (OpCodes.Ldobj, t);
  224. else
  225. ig.Emit (OpCodes.Ldind_Ref);
  226. }
  227. static void EmitWriteTypeSpec (ILGenerator gen, Type type, string member)
  228. {
  229. // WARNING Keep in sync with WriteTypeSpec
  230. switch (ObjectWriter.GetTypeTag (type))
  231. {
  232. case TypeTag.PrimitiveType:
  233. // EMIT writer.Write (BinaryCommon.GetTypeCode (type));
  234. gen.Emit (OpCodes.Ldarg_2);
  235. gen.Emit (OpCodes.Ldc_I4_S, (byte) BinaryCommon.GetTypeCode (type));
  236. EmitWrite (gen, typeof(byte));
  237. break;
  238. case TypeTag.RuntimeType:
  239. // EMIT writer.Write (type.FullName);
  240. gen.Emit (OpCodes.Ldarg_2);
  241. gen.Emit (OpCodes.Ldstr, type.FullName);
  242. EmitWrite (gen, typeof(string));
  243. break;
  244. case TypeTag.GenericType:
  245. // EMIT writer.Write (type.FullName);
  246. gen.Emit (OpCodes.Ldarg_2);
  247. gen.Emit (OpCodes.Ldstr, type.FullName);
  248. EmitWrite (gen, typeof(string));
  249. // EMIT writer.Write ((int)ow.GetAssemblyId (type.Assembly));
  250. gen.Emit (OpCodes.Ldarg_2);
  251. gen.Emit (OpCodes.Ldarg_1);
  252. EmitLoadTypeAssembly (gen, type, member);
  253. gen.EmitCall (OpCodes.Callvirt, typeof(ObjectWriter).GetMethod("GetAssemblyId"), null);
  254. gen.Emit (OpCodes.Conv_I4);
  255. EmitWrite (gen, typeof(int));
  256. break;
  257. case TypeTag.ArrayOfPrimitiveType:
  258. // EMIT writer.Write (BinaryCommon.GetTypeCode (type.GetElementType()));
  259. gen.Emit (OpCodes.Ldarg_2);
  260. gen.Emit (OpCodes.Ldc_I4_S, (byte) BinaryCommon.GetTypeCode (type.GetElementType()));
  261. EmitWrite (gen, typeof(byte));
  262. break;
  263. default:
  264. // Type spec not needed
  265. break;
  266. }
  267. }
  268. static void EmitLoadTypeAssembly (ILGenerator gen, Type type, string member)
  269. {
  270. gen.Emit (OpCodes.Ldtoken, type);
  271. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  272. gen.EmitCall (OpCodes.Callvirt, typeof(Type).GetProperty("Assembly").GetGetMethod(), null);
  273. }
  274. static void EmitWrite (ILGenerator gen, Type type)
  275. {
  276. gen.EmitCall (OpCodes.Callvirt, typeof(BinaryWriter).GetMethod("Write", new Type[] { type }), null);
  277. }
  278. public static void EmitWritePrimitiveValue (ILGenerator gen, Type type)
  279. {
  280. switch (Type.GetTypeCode (type))
  281. {
  282. case TypeCode.Boolean:
  283. case TypeCode.Byte:
  284. case TypeCode.Char:
  285. case TypeCode.Double:
  286. case TypeCode.Int16:
  287. case TypeCode.Int32:
  288. case TypeCode.Int64:
  289. case TypeCode.SByte:
  290. case TypeCode.Single:
  291. case TypeCode.UInt16:
  292. case TypeCode.UInt32:
  293. case TypeCode.UInt64:
  294. case TypeCode.String:
  295. EmitWrite (gen, type);
  296. break;
  297. case TypeCode.Decimal:
  298. // writer.Write (val.ToString (CultureInfo.InvariantCulture));
  299. gen.EmitCall (OpCodes.Call, typeof(CultureInfo).GetProperty("InvariantCulture").GetGetMethod(), null);
  300. gen.EmitCall (OpCodes.Call, typeof(Decimal).GetMethod("ToString", new Type[] {typeof(IFormatProvider)}), null);
  301. EmitWrite (gen, typeof(string));
  302. break;
  303. case TypeCode.DateTime:
  304. gen.EmitCall (OpCodes.Call, typeof(DateTime).GetMethod("ToBinary", BindingFlags.Public | BindingFlags.NonPublic | BindingFlags.Instance), null);
  305. EmitWrite (gen, typeof(long));
  306. break;
  307. default:
  308. if (type == typeof (TimeSpan)) {
  309. gen.EmitCall (OpCodes.Call, typeof(TimeSpan).GetProperty("Ticks").GetGetMethod(), null);
  310. EmitWrite (gen, typeof(long));
  311. }
  312. else
  313. throw new NotSupportedException ("Unsupported primitive type: " + type.FullName);
  314. break;
  315. }
  316. }
  317. //
  318. // This is needed, because enumerations from assemblies
  319. // do not report their underlyingtype, but they report
  320. // themselves
  321. //
  322. public static Type EnumToUnderlying (Type t)
  323. {
  324. TypeCode tc = Type.GetTypeCode (t);
  325. switch (tc){
  326. case TypeCode.Boolean:
  327. return typeof (bool);
  328. case TypeCode.Byte:
  329. return typeof (byte);
  330. case TypeCode.SByte:
  331. return typeof (sbyte);
  332. case TypeCode.Char:
  333. return typeof (char);
  334. case TypeCode.Int16:
  335. return typeof (short);
  336. case TypeCode.UInt16:
  337. return typeof (ushort);
  338. case TypeCode.Int32:
  339. return typeof (int);
  340. case TypeCode.UInt32:
  341. return typeof (uint);
  342. case TypeCode.Int64:
  343. return typeof (long);
  344. case TypeCode.UInt64:
  345. return typeof (ulong);
  346. }
  347. throw new Exception ("Unhandled typecode in enum " + tc + " from " + t.AssemblyQualifiedName);
  348. }
  349. }
  350. }
  351. #endif