Vinculación de un árbol de expresiones .NET en un nuevo conjunto

Question

Estoy tratando de escribir mi propio compilador My Toy Language -> MSIL para comprender mejor cómo funcionan los compiladores. Obtuve el análisis y el léxico trabajando, construí los árboles de expresiones y, utilizando la API del árbol de expresiones System.Linq.Expressions, tengo un intérprete en funcionamiento. Ahora me gustaría emitir algunos ensambles MSIL reales.

El problema es que no puedo entender cómo construir realmente estos ensamblajes. La clase MethodBuilder solo acepta cuerpos de método MSIL en bruto, así que tengo que obtener el MSIL sin formato de mi árbol de expresiones. Llamar al Expression.Compile() devuelve un delegado que funciona, pero no puedo obtener su MSIL subyacente. Llamar al MethodInfo.GetMethodBody() arroja una InvalidOperationException ya que no está implementada en esa clase secundaria específica.

¿Cómo puedo vincular ese delegado en un nuevo ensamblaje?

Answer 1

Acabo de encontrarlo. La versión DLR de LambdaExpression expone un método CompileToMethod que hace exactamente lo que necesito.

lambdaExpression.CompileToMethod(myMethodBuilder); 

Answer 2

Para emitir IL sin procesar, necesita definir su propia AST. Necesita obtener AssemblyBuilder y luego ModuleBuilder y luego puede definir el método de nivel de módulo o obtener un nuevo TypeBuilder y ahora MethodBuilder para definir el método de nivel de clase.

Has dicho que ya tienes lexer y analizador. eso significa que puedes construir AST. Así que simplemente recorra las expresiones analizadas y emita su IL.

Incluso si obtiene código generado (por Compile) no podrá hacer algo útil con él ya que el código generado depende de la infraestructura. Por ejemplo, si necesita compilar cierres, debe crear clases o almacenar otras variables léxicas, etc. (como la transferencia de control no léxico que requiere el uso de Excepciones en .net)