ChangeLog 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487
  1. 2008-04-09 Jb Evain <[email protected]>
  2. * Expression.cs: check for illegal booleab unary expressions.
  3. 2008-04-09 Jb Evain <[email protected]>
  4. * UnaryExpression.cs: implement compilation of negate.
  5. 2008-04-09 Jb Evain <[email protected]>
  6. * UnaryExpression.cs, Expression.cs: implement IsLifted and IsLifted
  7. to null for simple unary operators. Implement Not compilation.
  8. 2008-04-08 Jb Evain <[email protected]>
  9. * ElementInit.cs: emit pop if the add method doesn't return void.
  10. 2008-03-20 Jb Evain <[email protected]>
  11. * Expression.cs: use the new and more complete IsAssignableTo
  12. instead of IsAssignableFrom.
  13. 2008-03-19 Jb Evain <[email protected]>
  14. * LambdaExpression.cs: use the new standardified IsAssignableTo,
  15. fixes ExpressionTest_NewArrayBounds.TestArrayAssignability.
  16. 2008-03-19 Jb Evain <[email protected]>
  17. * Extensions.cs (Type.IsAssignableTo): deal with arrays.
  18. 2008-03-13 Jb Evain <[email protected]>
  19. * NewArrayExpression.cs (EmitNewArrayBounds): implement.
  20. 2008-03-12 Jb Evain <[email protected]>
  21. * NewArrayExpression.cs (Emit): naive implementation of emit support
  22. for array initialization.
  23. 2008-03-11 Jb Evain <[email protected]>
  24. * BinaryExpression.cs: very naive implementation of emitting
  25. array accesses.
  26. 2008-03-11 Jb Evain <[email protected]>
  27. * *.cs: Move the different Emit* helpers to EmitContext,
  28. so that they get used more naturally by the non Expression
  29. types.
  30. 2008-03-10 Jb Evain <[email protected]>
  31. * TypeBinaryExpression.cs, Expression.cs: refactor an EmitIsInst.
  32. * UnaryExpression.cs: implement TypeAs using the EmitIsInst.
  33. 2008-03-10 Jb Evain <[email protected]>
  34. * TypeBinaryExpression.cs (Emit): implement.
  35. 2008-03-08 Jb Evain <[email protected]>
  36. * MemberListBinding.cs (Emit): implement.
  37. * MemberBinding.cs (EmitLoadMember): add helper.
  38. 2008-03-08 Jb Evain <[email protected]>
  39. * MemberAssignment.cs (Emit): implement.
  40. 2008-03-08 Jb Evain <[email protected]>
  41. * ElementInit.cs (Emit): implement.
  42. 2008-03-06 Jb Evain <[email protected]>
  43. * EmitContext.cs: the DebugContext delegate the CreateDelegate
  44. to a DynamicContext to avoid visibility issues in debug mode.
  45. 2008-03-06 Jb Evain <[email protected]>
  46. * EmitContext.cs: Lambda methods bypass JIT visibility checks.
  47. 2008-03-06 Jb Evain <[email protected]>
  48. * MethodCallExpression.cs, Expression.cs: refactor method calling
  49. into a more sophisticated EmitCall in Expression.
  50. * InvocationExpression.cs (Emit): implement using the previous EmitCall.
  51. 2008-03-06 Jb Evain <[email protected]>
  52. * Expression.cs: add a EmitCall helper.
  53. * MemberExpression.cs: implement property access.
  54. 2008-03-06 Jb Evain <[email protected]>
  55. * MethodCallExpression.cs, Expression.cs: refactor a EmitLoad in Expression.
  56. * MemberExpression.cs: use EmitLoad to load the instance field if needed.
  57. 2008-03-06 Jb Evain <[email protected]>
  58. * BinaryExpression.cs, Expression.cs: move EmitStored from
  59. BinaryExpression to Expression.
  60. * MethodCallExpression.cs: allow method calls on structs.
  61. 2008-03-05 Jb Evain <[email protected]>
  62. * Expression.cs: Fix the Call method which takes an array
  63. of type arguments.
  64. 2008-03-05 Jb Evain <[email protected]>
  65. * Expression.cs: fix for a good chunk of lifted/liftToNull tests.
  66. 2008-02-26 Jb Evain <[email protected]>
  67. * Expression.cs (Call): Guess the parameters type from the argument
  68. types if needed.
  69. 2008-02-25 Jb Evain <[email protected]>
  70. * NewExpression.cs (Emit): deal with value types construction.
  71. 2008-02-25 Jb Evain <[email protected]>
  72. * Expression.cs, NewExpression.cs: deal with the fact that value types
  73. don't have a parameterless constructor.
  74. 2008-02-24 Jb Evain <[email protected]>
  75. * LambdaExpression.cs, EmitContext.cs: make compilation
  76. of delegate returning void work.
  77. 2008-02-24 Jb Evain <[email protected]>
  78. * MethodCallExpression.cs: emit call or callvirt depending
  79. on the virtuality of the method.
  80. 2008-02-24 Jb Evain <[email protected]>
  81. * LambdaExpression.cs: properly format error message.
  82. 2008-02-21 Jb Evain <[email protected]>
  83. * BinaryExpression.cs (EmitCoalesce): fix setup_null.
  84. 2008-02-21 Jb Evain <[email protected]>
  85. * BinaryExpression.cs (Emit): fix the both_are_null case.
  86. 2008-02-20 Jb Evain <[email protected]>
  87. * Expression.cs, ExpressionPrinter.cs: implement MemberBind.
  88. 2008-02-20 Jb Evain <[email protected]>
  89. * Expression.cs, ExpressionPrinter.cs: implement ListInit.
  90. 2008-02-19 Jb Evain <[email protected]>
  91. * Expression.cs, ExpressionPrinter.cs: implement MemberInit.
  92. 2008-02-19 Jb Evain <[email protected]>
  93. * Expression.cs, ExpressionPrinter.cs: implement last New
  94. overload for anonymous types.
  95. 2008-02-08 Jb Evain <[email protected]>
  96. * Expression.cs, InvocationExpression.cs, ExpressionPrinter.cs
  97. add support for Invoke.
  98. 2008-02-04 Jb Evain <[email protected]>
  99. * ExpressionPrinter.cs: fix printing of MemberListBinding.
  100. 2008-02-04 Jb Evain <[email protected]>
  101. * Expression.cs, NewExpression.cs: make New(Type) test pass.
  102. 2008-02-04 Jb Evain <[email protected]>
  103. * ExpressionPrinter.cs: fix and clean printing of ElementInit.
  104. 2008-02-02 Jb Evain <[email protected]>
  105. * Expression.cs: fix ListBind(MemberInfo,IEnumerable<ElementInit>).
  106. 2008-02-02 Jb Evain <[email protected]>
  107. * Expression.cs: fix ListBind(MethodInfo,IEnumerable<ElementInit>).
  108. 2008-02-01 Olivier Dufour <[email protected]>
  109. * Expression.cs, ExpressionPrinter.cs:Add ListBind
  110. 2008-02-01 Olivier Dufour <[email protected]>
  111. * Expression.cs, ExpressionPrinter.cs:Add Elementinit
  112. 2008-01-31 Jb Evain <[email protected]>
  113. * UnaryExpression.cs: emit array length.
  114. 2008-01-31 Jb Evain <[email protected]>
  115. * MemberExpression.cs: Simple support for emitting fields.
  116. 2008-01-30 Jb Evain <[email protected]>
  117. * MethodCallExpression.cs: very naive implementation of Emit.
  118. 2008-01-30 Jb Evain <[email protected]>
  119. * NewExpression.cs: add Emit support for reference types.
  120. 2008-01-30 Jb Evain <[email protected]>
  121. * LambdaExpression.cs, EmitContext.cs: small refactoring.
  122. Extract the different EmitContexts to their own file.
  123. 2008-01-29 Jb Evain <[email protected]>
  124. * MethodCallExpression.cs, Expression.cs: complete Calls.
  125. 2008-01-29 Jb Evain <[email protected]>
  126. * Expression.cs, NewExpression.cs, ExpressionPrinter.cs:
  127. implement the first flavors of New.
  128. 2008-01-27 Jb Evain <[email protected]>
  129. * ConditionalExpression.cs: implement Emit.
  130. 2008-01-27 Jb Evain <[email protected]>
  131. * Expression.cs: implement the last Lambda method.
  132. 2008-01-27 Jb Evain <[email protected]>
  133. * LambdaExpression.cs: fix the Type of the LambdaExpressions.
  134. 2008-01-27 Olivier Dufour <[email protected]>
  135. * Expression.cs, InvocationExpession.cs,
  136. ListInitExpression.cs, MemberInitExpression.cs
  137. NewExpression.cs : Add all missing
  138. constructor in Expressions and remove the base one
  139. 2008-01-25 Jb Evain <[email protected]>
  140. * Expression.cs, ExpressionPrinter.cs: implement Bind.
  141. 2008-01-25 Jb Evain <[email protected]>
  142. * MemberMemberBinding.cs, MemberListBinding.cs,
  143. MemberAssignment.cs, MemberBinding.cs:
  144. add constructors.
  145. 2008-01-25 Jb Evain <[email protected]>
  146. * Expression.cs: implement PropertyOrField.
  147. 2008-01-24 Jb Evain <[email protected]>
  148. * Expression.cs, MemberExpression.cs, ExpressionPrinter.cs:
  149. implement Field and Property.
  150. 2008-01-22 Miguel de Icaza <[email protected]>
  151. * BinaryExpression.cs: Unleash the power of cut and paste.
  152. Bring a bunch of operatros from mcs/expression.cs
  153. * Expression.cs: There is no op_LogicalAnd or op_LogicalOr, I just
  154. used those from mcs, that was wrong. use the proper ones, clean
  155. up the result.
  156. * BinaryExpression.cs: Add method invocations for binary methods.
  157. 2008-01-22 Jb Evain <[email protected]>
  158. * Expression.cs, ExpressionPrinter.cs: implement NewArrayList.
  159. 2008-01-22 Jb Evain <[email protected]>
  160. * Expression.cs, ExpressionPrinter.cs, NewArrayExpression.cs:
  161. implement Expression.NewArrayBounds.
  162. 2008-01-22 Jb Evain <[email protected]>
  163. * ExpressionPrinter.cs: fix Lambda and Equal.
  164. 2008-01-22 Miguel de Icaza <[email protected]>
  165. * BinaryExpression.cs (EmitCoalesce): Add support for emitting
  166. code for Coalesce.
  167. TODO: this does not use the "Conversion" Lambda, which am not sure
  168. who generates this or what it is used for.
  169. (EmitLogical): Fix a couple of bugs in AndAlso, OrElse.
  170. * Expression.cs: Add support for Coalesce.
  171. (BinaryCoreCheck): Move more checking here, instead of the helper
  172. routines, will remove them next.
  173. * LambdaExpression.cs (Compile): Create the delegate last, so we
  174. manage to save the assembly while debugging in case of error
  175. 2008-01-21 Miguel de Icaza <[email protected]>
  176. * Expression.cs (BinaryCoreCheck): Add checking for a few
  177. operators here (to avoid doing a second pass, handles AndAlso and
  178. OrElse).
  179. (AndAlso, OrElse): Add some code.
  180. * BinaryExpression.cs: Instead of using GetValueOrDefault use
  181. get_Value, as we already probed for the lack of value.
  182. Split out support for And/Or to a separate routine as the code is
  183. not very easy to share with the arithmetics code.
  184. 2008-01-21 Marek Safar <[email protected]>
  185. * BinaryExpression.cs: Fixed initobj initialization.
  186. 2008-01-21 Jb Evain <[email protected]>
  187. * Expression.cs, UnaryExpression.cs, BinaryExpression.cs:
  188. Move the IsUnsigned helper from BinaryExpression to Expression,
  189. so it can be used in UnaryExpression.
  190. 2008-01-21 Miguel de Icaza <[email protected]>
  191. * Start code generation for nullables, currently this generates
  192. incorrect code for things like:
  193. Expression<Func<int?, int?, int?>> e2 = (a, b) => a + b;
  194. e2.Compile ().Invoke (null, 3))
  195. This should return null, but returns something else.
  196. * Introduce LINQ_DBG env variable, which generates a linq file in
  197. /tmp; It currently does not work as well as it should, as the
  198. Func<> parameters do not mwatch the generated method.
  199. Investigate.
  200. 2008-01-20 Miguel de Icaza <[email protected]>
  201. Introduce support for Nullable arguments, no code is generated for
  202. these yet, its only tests + node creation behavior at this point.
  203. * Expression.cs (BinaryCoreCheck): Do not allow "int?" and "int"
  204. as operators, they must both be nullable.
  205. NullableTypes in the arguments are transformed into the underlying
  206. values when doing the method validation.
  207. 2008-01-18 Miguel de Icaza <[email protected]>
  208. * ParameterExpression.cs: Add emit support.
  209. 2008-01-18 Jb Evain <[email protected]>
  210. * Expression[Printer|Visitor].cs: implement UnaryPlus, Not, Negate.
  211. 2008-01-18 Miguel de Icaza <[email protected]>
  212. * BinaryExpression.cs: Add support for emitting code for some
  213. operators (ported from the Mono C# compiler).
  214. Add tests.
  215. 2008-01-17 Miguel de Icaza <[email protected]>
  216. Beginning of code generation framework for Linq.Expressions.
  217. Some code was borrowed by from the C# compiler
  218. * Expression_T.cs: Fill in the blanks.
  219. * LambdaExpression.cs: Validation of parameters mostly, a tiny bit
  220. of codegen.
  221. * ConstantExpression.cs: Mostly done, need to write tests for
  222. non-fundamental types and other ValueType initializations.
  223. 2008-01-17 Jb Evain <[email protected]>
  224. * Expression.cs: implement MakeMemberAccess.
  225. 2008-01-17 Jb Evain <[email protected]>
  226. * Expression.cs, ExpressionPrinter.cs, BinaryExpression.cs:
  227. implement ArrayIndex.
  228. 2008-01-17 Jb Evain <[email protected]>
  229. * Expression.cs: Use TypeCode for IsInt and IsNumber.
  230. 2008-01-16 Miguel de Icaza <[email protected]>
  231. * Expression.cs: Add support for user-defined operators.
  232. Put back various binary operator tests.
  233. 2008-01-16 Jb Evain <[email protected]>
  234. * Expression.cs, ExpressionPrinter.cs: fix call for static methods.
  235. 2008-01-15 Miguel de Icaza <[email protected]>
  236. * Expression.cs: Do validation on the method parameters and use
  237. the return type if provided.
  238. 2008-01-15 Jb Evain <[email protected]>
  239. * MethodCallExpression.cs, Expression.cs
  240. ExpressionPrinter.cs: Implement Call (Expression, ...)
  241. 2008-01-15 Jb Evain <[email protected]>
  242. * Expression.cs, ConditionalExpressionExpression.cs
  243. ExpressionPrinter.cs : implement Expression.Condition.
  244. 2008-01-15 Jb Evain <[email protected]>
  245. * Expression.cs,
  246. ParameterExpression.cs,
  247. ExpressionPrinter.cs: implement Expression.Parameter
  248. 2008-01-15 Jb Evain <[email protected]>
  249. * ExpressionPrinter.cs (VisitBinaryExpression): simple
  250. implementation (probably misses a few cases).
  251. 2008-01-14 Miguel de Icaza <[email protected]>
  252. * Expression.cs: Bring back the (most) of binary operators. Added
  253. type checking as well and reorganized the source file by topic
  254. instead of alphabetical sorting.
  255. 2008-01-14 Jb Evain <[email protected]>
  256. * ExpressionPrinter.cs: print ArrayLength.
  257. 2008-01-14 Jb Evain <[email protected]>
  258. * Expression.cs: TypeAs can't take value types.
  259. * ExpressionPrinter.cs: implement TypeAs.
  260. 2008-01-14 Jb Evain <[email protected]>
  261. * Expression.cs: implement TypeIs.
  262. * ExpressionPrinter.cs: implement VisitTypeBinaryExpression.
  263. * TypeBinaryExpression.cs: add proper ctor.
  264. 2008-01-14 Jb Evain <[email protected]>
  265. * Expression.cs, ExpressionPrinter.cs: fix for Quote's type.
  266. 2008-01-14 Jb Evain <[email protected]>
  267. * BinaryExpression.cs,
  268. * Expression.cs: revert part of Miguel's last patch.
  269. MakeBinary is expected to call the appropriate factory
  270. methods. Whose methods that are responsible for creating
  271. the good BinaryExpression, wether they use a custom method
  272. or not.
  273. 2008-01-14 Jb Evain <[email protected]>
  274. * Expression.cs: MakeUnary is expected to call the appropriate
  275. factory methods.
  276. 2008-01-14 Miguel de Icaza <[email protected]>
  277. * Expression.cs (Constant, MakeBinary and consumers of it): Some
  278. more fill-up changes.
  279. MakeBinary will need much more work to support user-provided
  280. types.
  281. 2008-01-13 Jb Evain <[email protected]>
  282. * *.cs: fresh implementation.