c# - CIL 中的条件语句——如何获取下一个要存储的空闲位置？

Question

我正在将代码从 C# 转换为 IL(CIL/MSIL 等)。我被条件限制住了，因为我希望能够存储到下一个可用的免费 位置。示例:

var x = 0;
if(x > 20)
 x = 1;

Console.WriteLine(x);

如果我将其转换为我认为正确的 IL，我会得到:

IL_0001:  ldc.i4.0    
IL_0002:  stloc.0     
IL_0003:  ldloc.0     
IL_0004:  ldc.i4.s    14 
IL_0006:  cgt         
IL_0008:  ldc.i4.0    
IL_0009:  ceq         
IL_000B:  stloc.1     
IL_000C:  ldloc.1     
IL_000D:  brtrue.s    IL_0011
IL_000F:  ldc.i4.1    
IL_0010:  stloc.0     
IL_0011:  ldloc.0     
IL_0012:  call        System.Console.WriteLine

我相信这是正确的 IL，但我的例子是非常静态的。如果你在IL代码中看到，它会将ceq的结果存储到loc.1中

这就是我的问题——编译器看到 loc.0 已经被占用(变量“x”)并使用下一个空闲位置，即 1。我的目标是在给定方法可以动态执行此操作在条件之前有 N 个变量。

所以，最后，这是我的问题:我如何从 C# 发出一个操作码来表示“STLoc.nextAvailable”及其等效负载？

Answer 1

STLoc 和 ldloc 只能使用常量索引。然而，这并不是一件坏事——这意味着如果你发出了其他代码，你已经有了下一个可用索引，或者如果你以某种方式在其他地方获得了代码，你所要做的就是对所有本地索引取最大值并添加一个(或者从方法头中读取本地人的数量，如果有的话)。

或者您可以跳过本地并直接使用 cgt 的结果(使用 brfalse)，或者使用 ble 指令。那么这个问题根本就不会出现。