17
Tengo el siguiente código en C#¿Entiendo este código MSIL correctamente?
// test.Program
private static void Main()
{
int x = 5;
int y = 100;
Console.WriteLine(y + ", " + x);
}
Y estoy leyendo el código IL, nunca he programado el montaje antes, así que estoy preguntando si lo que hace cada línea es la correcta.
.method private hidebysig static
void Main() cil managed
{
// Method begins at RVA 0x2058
// Code size 33 (0x21)
.maxstack 3 // maximum stack in this method is 3
.entrypoint // method is initial entry point
.locals init (// reserves memory for x and y variables
[0] int32 x, // x variable is reserved on position 0 of the stack
[1] int32 y // y variable is reserved on position 1 of the stack
)
IL_0000: ldc.i4.5 // integer of 4 bytes in size and the value of 5 is loaded onto the evaluation stack position 0
IL_0001: stloc.0 // put evaluation stack position 0 into the stack position 0, the evaluation stack is emptied
IL_0002: ldc.i4.s 100 // integer of 4 bytes in size and the value of 100 is loaded onto the evaluation stack position 0
IL_0004: stloc.1 // put evaluation stack position 0 onto the stack position 1, the evaluation stack is emptied
IL_0005: ldloc.1 // load stack position 1 into the evaluation stack position 0
IL_0006: box [mscorlib]System.Int32 // box last valuetype placed on evaluation stack, replace valuetype with reference on evaluation stack position 0, do not empty stack
IL_000b: ldstr ", " // put reference to string on evaluation stack position 1
IL_0010: ldloc.0 // load stack position 0 into the evaluation stack position 2
IL_0011: box [mscorlib]System.Int32 // box last valuetype placed on evaluation stack, replace valuetype with reference on evaluation stack position 0, do not empty stack
IL_0016: call string [mscorlib]System.String::Concat(object, object, object) // call Concat, pass values on evaluation stack, empty evaluation stack, put result of concat on evaluationstack
IL_001b: call void [mscorlib]System.Console::WriteLine(string) // pass first value in evaluation stack
IL_0020: ret // return
} // end of method Program::Main
¿Entiendo este programa correctamente?
Cuando n cantidad de posiciones son consumidas por algo (llamada por ejemplo), solo se consumen las primeras posiciones ¿verdad? ¿Y luego vuelve a poner una cantidad de valores en la pila de evaluación? Supongo que esto es cierto, porque es una 'pila' después de todo, pero solo estoy preguntando para estar seguro. – ProgrammerAtWork
Sí. Una operación hipotética que leería A, B, C, D y produciría Y, Z sacaría 4 entradas de la pila *, calcularía el resultado * y luego insertaría 2 nuevas entradas en ella. (*) no necesariamente en ese orden, pero los empujones son siempre los últimos. – quetzalcoatl