是否有一个属性可以用来告诉编译器必须始终优化方法,即使未设置全局 /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
之外什么都没有。但是对于未优化的版本,我不太确定......递归调用的结果存储在局部变量中,然后有一个无用的分支只是跳转到下一条指令,加载并返回局部变量。所以我没有简单的方法来检查递归调用是否真的是最后一条指令,所以我不能确定是否可以应用尾调用优化。
最佳答案
如果您将用作动态方法模板的方法相对简单 - 并且不依赖于其他方法。然后将它放入它自己的程序集中,并仅为该程序集打开优化。
至于最初的问题,因为 MSIL 是一种基于堆栈的语言。规范保证 ret
语句中的堆栈状态,您可以 100% 确定可以毫无问题地添加尾部前缀。但是,它也不太可能真正增加任何好处,因为我还没有真正看到 JIT 使用尾前缀来实际优化最终 jitted 代码。
关于c# - 我可以强制编译器优化特定方法吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9682535/