用于基准测试目的的C#编译器优化

Question

我需要检查一些.NET API的性能，于是我想出了这段代码。

Stopwatch sw = Stopwatch.StartNew();
for (int i = 0; i < 1000; i++) {
    int res = (int) SOME .NET FUNCTION TO RUN;
}
sw.Stop();
double time = sw.Elapsed.TotalMilliseconds;

转念一想，我担心编译器会优化所有操作，因为res在任何地方都没有使用。我修改了代码如下。

Stopwatch sw = Stopwatch.StartNew();
long sumIt = 0;
for (int i = 0; i < 1000; i++) {
    int res = (int) SOME .NET FUNCTION TO RUN;
    sumIt += res;
}
sw.Stop();
double time = sw.Elapsed.TotalMilliseconds;
value = (int) sumIt / 1000;

有趣的是，在我的第一个例子中，编译器似乎并没有优化操作。我测试了csc（Visual Studio）和mono。

我的问题来了。

• 将基准作为我的第一个例子安全吗
• C#编译器是否足够聪明，能够理解某些代码可以被优化掉？或者，有编译器参数吗

已添加

SOME FUNCTION TO RUN实际上是SOME .NET FUNCTION TO RUN，我修改了OP。根据答案，C#编译器似乎无法（或没有）优化操作，因为.NET FUNCTION TO RUN可能会产生副作用。

Answer 1

编译器（JIT）如果发现整个函数调用没有副作用，可以优化它。它可能需要能够内联函数来检测这一点。

我尝试了只作用于输入参数的小函数，并通过检查生成的程序集来查看它是否得到了优化（请确保在未选中"Suppres optimization on module load"的情况下尝试Release build）。

 ...
 for (int i = 0; i < 1000; i++) 
 {    
    int res = (int) Func(i);
 }
 ...
 static int Func(int arg1)
 {
    return arg1 * arg1;
 }

拆卸：

      for (int i = 0; i < 1000; i++) 
    00000016  xor         eax,eax 
    00000018  inc         eax 
    00000019  cmp         eax,3E8h 
    0000001e  jl          00000018 
        }