我可以强制编译器优化特定方法吗？

Question

是否有一个属性可以告诉编译器必须始终优化方法,即使/o+未设置全局编译器开关？

我问的原因是因为我想要动态创建一个基于现有方法的IL代码的方法; 当代码被优化时,我想要做的操作相当容易,但由于编译器生成了额外的指令,因此在非优化代码中变得非常困难.

---

编辑:关于非优化的更多细节困扰我...

让我们考虑以下阶乘函数的实现:

static long FactorialRec(int n, long acc)
{
    if (n == 0)
        return acc;
    return FactorialRec(n - 1, acc * n);
}

(注意:我知道有更好的方法来计算阶乘,这只是一个例子)

在启用优化的情况下生成的IL非常简单:

IL_0000:  ldarg.0     
IL_0001:  brtrue.s    IL_0005
IL_0003:  ldarg.1     
IL_0004:  ret         
IL_0005:  ldarg.0     
IL_0006:  ldc.i4.1    
IL_0007:  sub         
IL_0008:  ldarg.1     
IL_0009:  ldarg.0     
IL_000A:  conv.i8     
IL_000B:  mul         
IL_000C:  call        UserQuery.FactorialRec
IL_0011:  ret         

但是未经优化的版本是完全不同的

IL_0000:  nop         
IL_0001:  ldarg.0     
IL_0002:  ldc.i4.0    
IL_0003:  ceq         
IL_0005:  ldc.i4.0    
IL_0006:  ceq         
IL_0008:  stloc.1     
IL_0009:  ldloc.1     
IL_000A:  brtrue.s    IL_0010
IL_000C:  ldarg.1     
IL_000D:  stloc.0     
IL_000E:  br.s        IL_001F
IL_0010:  ldarg.0     
IL_0011:  ldc.i4.1    
IL_0012:  sub         
IL_0013:  ldarg.1     
IL_0014:  ldarg.0     
IL_0015:  conv.i8     
IL_0016:  mul         
IL_0017:  call        UserQuery.FactorialRec
IL_001C:  stloc.0     
IL_001D:  br.s        IL_001F
IL_001F:  ldloc.0     
IL_0020:  ret         

它被设计成在最后只有一个出口点.要返回的值存储在局部变量中.

为什么这是一个问题？我想动态生成一个包含尾调用优化的方法.通过tail.在递归调用之前添加前缀,可以很容易地修改优化方法,因为除了调用之后没有任何内容ret.但是对于未经优化的版本,我不太确定...递归调用的结果存储在局部变量中,然后有一个无用的分支只跳转到下一条指令,加载并返回局部变量.所以我没有简单的方法来检查递归调用是否真的是最后一条指令,所以我无法确定是否可以应用尾调用优化.

Answer 1

如果您将用作动态方法模板的方法相对简单 - 并且不依赖于其他方法。然后只需将其放入其自己的程序集中并仅针对该程序集启用优化。

就最初的问题而言，由于 MSIL 是一种基于堆栈的语言。并且规范保证ret语句中的堆栈状态，您可以 100% 确定您可以毫无问题地添加尾部前缀。然而，它也不太可能真正增加任何好处，因为我还没有真正看到 JIT 使用尾部前缀来实际优化最终的 jitted 代码。