C# · 12月 26, 2021

c# – .net中的IL&stack实现?

我写了一个简单的程序来检查IL的工作原理: void Main(){ int a=5; int b=6; if (a<b) Console.Write(“333”); Console.ReadLine();}

IL:

IL_0000: ldc.i4.5 IL_0001: stloc.0 IL_0002: ldc.i4.6 IL_0003: stloc.1 IL_0004: ldloc.0 IL_0005: ldloc.1 IL_0006: bge.s IL_0012IL_0008: ldstr “333”IL_000D: call System.Console.WriteIL_0012: call System.Console.ReadLine

我正在努力了解实施的效率:

>在第1行(IL代码),它将值5推送到堆栈(4字节,即int32)
>在行#2(IL代码),它从堆栈POPs到一个局部变量.

接下来的两条线也一样.

然后,它将这些局部变量加载到堆栈上,然后它评估bge.s.

问题#1

为什么他将本地变量加载到堆栈?这些值已经在堆栈中了.但他把他们放在了一个局部变量中.不是浪费吗?

我的意思是,为什么代码不能像:

IL_0000: ldc.i4.5IL_0001: ldc.i4.6 IL_0002: bge.s IL_0004IL_0003: ldstr “333”IL_0004: call System.Console.WriteIL_0005: call System.Console.ReadLine

我的代码示例只有5行代码.大约有50,000,000行代码? IL会发出大量的额外代码

问题#2

看代码地址:

> IL_0009地址在哪里?不是应该是连续的吗?

附: Im与发布模式下的Optimize标志

解决方法

Why does he loads the local variables to the stack? The values has already been in the stack. But he poped them in order to put them in a local variables. Isn’t it a waste?

浪费什么?你必须记住,IL(通常)不是按原样执行的,它由JIT编译器重新编译,JIT编译器执行大部分的优化.使用“中间语言”的一个要点就是可以在一个地方实现优化:JIT编译器和每种语言(C#,VB.NET,F#,…)不必再重新实现它们.这是由Eric Lippert在他的文章Why IL?中解释的

Where is the IL_0009 address? Isn’t it supposed to be sequential?

我们来看看ldstr指令的规范(从ECMA-335):

III.4.16 ldstr – load a literal string

Format: 72 <T> […]

The ldstr instruction pushes a new string object representing the literal stored in the Metadata as string (which is a string literal).

对上述元数据的引用和< T>意味着指令的字节72后面是元数据令牌,它指向包含字符串的表.这样的标记有多大?从同一文件的第III.1.9节:

Many CIL instructions are followed by a “Metadata token”. This is a 4-byte value,that specifies a row in a Metadata table […]

因此,在您的情况下,指令的字节72位于地址0008,令牌(0x70000001,在这种情况下,0x70字节表示用户字符串表)在地址为0009至000C.