.NET JIT 是否会内联一个调用另一个小函数的小函数？

Question

我想知道 - .NET JITter 是否会递归内联从其他小函数调用的小函数？

举个例子：

public static float Square(float value)
{
    return value * value;
}

public static float Cube(float value)
{
    return Square(value) * value;
}

如果我从某个地方调用 Cube ，它会一直内联，还是最终会调用 Square 的函数？

如果是这样，它会递归多深来进行内联？ （假设我疯狂地以同样的方式实现了 Quartic 或 Quintic 函数。）

Answer 1

不幸的是你选了一个不好的例子。 x86 JIT 编译器不内联返回浮点型的方法。不是 100% 确定原因，我认为它确实可以避免在 FPU 中将浮点数转换为 80 位浮点值时出现一致的问题。内部精度为 80 位，但当 80 位值刷新回内存时被截断回 32 位值时，这些额外的位将被切掉。将值保留在 FPU 中的时间过长可以防止发生这种截断并更改计算结果。

如果将 float 替换为 double 并编译此代码：

static void Main(string[] args) {
    Console.WriteLine(Cube(2.0));
}

那么启用 JIT 优化器时会生成此机器代码：

00000000  push        ebp                             ; setup stack frame
00000001  mov         ebp,esp 
00000003  call        6DA2BEF0                        ; Console.get_Out() 
00000008  fld         qword ptr ds:[010914B0h]        ; ST0 = 8.0
0000000e  sub         esp,8                           ; setup argument for WriteLine
00000011  fstp        qword ptr [esp] 
00000014  mov         ecx,eax                         ; call Console.Out.WriteLine
00000016  mov         eax,dword ptr [ecx] 
00000018  call        dword ptr [eax+000000D0h] 
0000001e  pop         ebp                             ; done
0000001f  ret

它不仅内联函数，还能够在编译时计算表达式。并通过调用Console.WriteLine(8.0)直接传递结果。相当不错吧？

使用双精度，而不是浮动。