IL Instrucciones no expuestas por C#

Basado en la respuesta de Eric aquí hay algunos que he visto. Donde puedo ver una razón la he indicado, si no especulo libremente. Siéntase libre de indicar si esas especulaciones están equivocadas.

Break

Señala a la Infraestructura de Lenguaje Común (CLI) para informar al depurador que se ha disparado un punto de interrupción.

Usted haría esto llamando al Sistema.Diagnostico.Depurador.Break (), esto parece no usar esa instrucción directamente, sino que usa un Método BreakInternal() cocido en el CLR.

Cpblk y Cpobj

Copia un número especificado de bytes de una dirección de origen a una dirección de destino. Copia el tipo de valor ubicado en la dirección de un objeto (type &, * o native int) a la dirección del objeto de destino (type &, * o native int).

Supongo que se agregaron para C++/CLI (anteriormente C++ Administrado), pero eso es pura especulación de mi parte. También pueden estar presente en ciertas llamadas al sistema pero no generadas normalmente por el compilador y proporcionar cierto margen para juegos y diversión inseguros.

Endfilter

Transfiere el control de la cláusula filter de una excepción al controlador de excepciones de Common Language Infrastructure (CLI).

C# no admite el filtrado de excepciones. El compilador VB sin duda hace uso de esto sin embargo.

Initblk

Inicializa una bloque de memoria especificado en una dirección específica a un tamaño y valor inicial dados.

Voy a especular de nuevo que esto es potencialmente útil en código inseguro y C++/CLI

Jmp

Sale del método actual y salta al método especificado.

Voy a especular que este tipo de trampolín puede ser útil para aquellos que quieren evitar llamadas de cola. Tal vez el DLR hace uso de ella?

Tailcall

Realiza una instrucción de llamada de método postfixed tal que el marco de pila del método actual se elimina antes de que se ejecute la instrucción de llamada real.

Discutido en profundidad en otra parte, actualmente el compilador de c# no emite este opcode

Unaligned

Indica que una dirección que se encuentra actualmente encima de la pila de evaluación podría no estar alineada con el tamaño natural de los siguientes ldind, stind, ldfld, stfld, ldobj, stobj, initblk, o cpblk instrucción.

C# (y el CLR) hace bastantes garantías con respecto a la naturaleza alineada de gran parte de su código y datos resultantes. No es sorprendente que esto no se emita, pero puedo ver por qué se incluiría.

Unbox

Convierte la representación en caja de un tipo de valor a su forma sin caja.

El compilador de c# prefiere usar Unbox_Any instrucción exclusivamente para este fin. Me presume, basado en la adición de esto al conjunto de instrucciones en la versión 2.0 hace que los genéricos sean factibles o mucho más simples. En ese momento usarlo a lo largo del código para todo, genéricos o no, era más seguro, más simple o más rápido (o alguna combinación de todos).

Nota al pie:

Prefix1, Prefix2, Prefix3, Prefix4, Prefix5, Prefix6, Prefix7, Prefixref

Infraestructura. Esta es una reserva instrucción.

Estas no son instrucciones como tales, algunas instrucciones IL son más largas que otras. Estos de longitud variable deben comenzar con prefijos que nunca son válidos por sí mismos para que el análisis sea claro. Estos prefijos opcodes están reservados para eso, por lo que no se usan en ningún otro lugar. Sin duda, alguien que implementa un analizador basado en instrucciones switch para una secuencia IL apreciaría estos para poder atraparlos y mantener el estado.

Un ejemplo interesante es tail.call (OpCodes.Tailcall ) que haría posible la optimización de Llamadas de cola para recursión.

La directiva .override IL (no se si es el término correcto, pero ciertamente no es una instrucción ) es generada por el compilador de C#, pero solo en el caso especial de implementación de interfaz explícita.

Sería interesante poder usarlo más libremente, como en VB.NET, donde los miembros implementadores pueden ser alias o incluso tener un modificador de acceso diferente que el miembro de la interfaz.