在。Net7中性能改进常量折叠

　　前言
　　本文是PerformanceImprovementsin。NET7Folding（折叠），propagation（传播），andsubstitution（替换）部分的翻译。下面开始正文：原文地址：https：devblogs。microsoft。comdotnetperformanceimprovementsinnet7
　　常量折叠是一种优化，编译器在编译时计算只涉及常量的表达式的值，而不是在运行时生成代码来计算值。在。Net中有多个级别的常量折叠，其中一些常量折叠由C编译器执行，另一些常量折叠由JIT编译器执行。例如给定C代码：〔Benchmark〕publicintA（）3（45）；〔Benchmark〕publicintB（）A（）2；
　　C编译器将为这些方法生成IL代码，如下所示：。methodpublichidebysiginstanceint32A（）cilmanaged｛。maxstack8IL0000：ldc。i4。s23在编译时，由编译器计算值IL0002：ret｝。methodpublichidebysiginstanceint32B（）cilmanaged｛。maxstack8IL0000：ldarg。0IL0001：callinstanceint32Program：：A（）调用方法A，可以看到没有常量折叠和常量传播IL0006：ldc。i4。2IL0007：mulIL0008：ret｝
　　您可以看到，C编译器已经计算出了3（45）的值，因为方法A的IL包含了等价的return23；但是，方法B包含等价的returnA（）2；，强调C编译器执行的常量折叠只是在方法内部。下面是JIT生成的结果：Program。A（）moveax，1717是十六进制，为十进制的23retTotalbytesofcode6Program。B（）moveax，2E2E为十六进制，为十进制的46retTotalbytesofcode6
　　方法A的汇编代码是不是特别有趣，它只是返回相同的值23（十六进制0x17）。但是方法B更有趣。JIT内联了从B到A的调用，将A的内容暴露给B，这样JIT就有效地将B的主体看作是等价于return232；此时，JIT可以完成自己的常量折叠，并将B的主体转换为简单地返回46（十六进制0x2e）。常量传播与常量折叠有着错综复杂的联系，本质上就是可以将常量值（通常是通过常量折叠计算的值）替换为进一步的表达式，此时它们也可以被折叠。
　　JIT长期以来一直在执行常量折叠，但它在。NET7中得到了进一步改进。常量折叠可以改进的方法之一是公开更多要折叠的值，这意味着更多的内联。dotnetruntime55745帮助理解内联，像M（constantconstant）（注意这些常量可能是其他方法调用的结果）这样的方法调用本身就是将常量传递给M，而传递给方法调用的常量是对内联线的提示，它应该考虑更积极地内联，因为将该常量公开给被调用方的主体可能会显著减少实现被调用方所需的代码量。JIT之前可能已经内联了这样一个方法，但当涉及内联时，JIT都是关于启发式和生成足够的证据来证明内联是值得的；这有助于证明这一点。例如，该模式显示在TimeSpan上的各种FromXx方法中。例如TimeSpan。FromSeconds实现为：TicksPerSecondisaconstantpublicstaticTimeSpanFromSeconds（doublevalue）Interval（value，TicksPerSecond）；
　　并且，为了本例的目的，避免参数验证，Interval为：privatestaticTimeSpanInterval（doublevalue，doublescale）IntervalFromDoubleTicks（valuescale）；privatestaticTimeSpanIntervalFromDoubleTicks（doubleticks）tickslong。MaxValue？TimeSpan。MaxValue：newTimeSpan（（long）ticks）；
　　如果所有内容都内联，则FromSeconds本质上是：publicstaticTimeSpanFromSeconds（doublevalue）｛doubleticksvalue10000000；returntickslong。MaxValue？TimeSpan。MaxValue：newTimeSpan（（long）ticks）；｝
　　如果value是一个常量，比如5，那么这里就可以被折叠成常量（在tickslong。MaxValue分支上消除死代码）简单地：returnnewTimeSpan（50000000）；
　　为此，我将省去。Net6生成汇编代码，但在。Net7中，有这样一个基准测试：〔Benchmark〕publicTimeSpanFromSeconds（）TimeSpan。FromSeconds（5）；
　　我们现在得到的是简单明了的汇编代码：Program。FromSeconds（）moveax，2FAF0802FAF080为510001000retTotalbytesofcode6
　　另一个改进常量折叠的更改包括SingleAccretion的dotnetruntime57726，它在特定的场景中消除了常量折叠，有时在对从方法调用返回的结构进行逐字段赋值时显示。作为一个小例子，考虑这个访问Color。DarkOrange属性，它会产生newColor（KnownColor。DarkOrange）：〔Benchmark〕publicColorDarkOrange（）Color。DarkOrange；
　　在。Net6中，JIT生成如下代码：Program。DarkOrange（）moveax，1movecx，39xorr8d，r8dmov〔rdx〕，r8mov〔rdx8〕，r8mov〔rdx10〕，cxmov〔rdx12〕，axmovrax，rdxretTotalbytesofcode32
　　有趣的是，有些常量（39是KnownColor。DarkOrange常量值，1是私有StateKnownColorValid常量值）被加载到寄存器（moveax，1，然后movecx，39）中，然后被存储到返回的Color结构的相关位置（mov〔rdx12〕，ax和mov〔rdx10〕，cx）。在。NET7中，它现在生成：Program。DarkOrange（）xoreax，eaxmov〔rdx〕，raxmov〔rdx8〕，raxmovwordptr〔rdx10〕，39movwordptr〔rdx12〕，1movrax，rdxretTotalbytesofcode25
　　直接将这些常量值赋值到它们的目标位置（movwordptr〔rdx12〕，1和movwordptr〔rdx10〕，39）。其他变化贡献常量折叠包括dotnetruntime58171从SingleAccretion和dotnetruntime57605从SingleAccretion。
　　然而，一个很大的改进类别来自与传播相关的优化，即前向替换。考虑一下这个不太好的基准测试：〔Benchmark〕publicintCompute1（）ValueValueValueValueValue；〔Benchmark〕publicintCompute2（）SomethingElse（）ValueValueValueValueValue；privatestaticintValue16；〔MethodImpl（MethodImplOptions。NoInlining）〕privatestaticintSomethingElse（）42；
　　如果我们看一下在。Net6上为Compute1生成的汇编代码，它看起来就像我们所希望的那样。我们把Value相加了5次，Value被简单地内联并返回一个常量16，所以我们希望为Compute1生成的汇编代码能够有效地返回值80（十六进制0x50），这正是所发生的：Program。Compute1（）moveax，50内联后为80（16进制是0x50）retTotalbytesofcode6
　　但是Compute2生成汇编代码有点不同。代码的结构是这样的，对SomethingElse的额外调用最终会略微干扰JIT的分析，而。Net6最终会得到这样的汇编代码：Program。Compute2（）subrsp，28callProgram。SomethingElse（）addeax，1010为16进制16的值addeax，10addeax，10addeax，10addeax，10addrsp，28retTotalbytesofcode29
　　而不是单个moveax，50将值0x50放入返回寄存器，分别为5个单独的addeax，10生成最终结果0x50（80）值。这个相加的过程是不理想。
　　事实证明，JIT的许多优化操作的是作为解析IL的一部分创建的树数据结构。在某些情况下，当它们所操作的树更大，包含更多要分析的内容时，优化可以做得更好。但是，各种操作可以将这些树分解为更小的、单独的树，例如使用作为内联一部分创建的临时变量，这样做可以抑制这些操作。为了有效地将这些树组合一起，需要一些东西，那就是正向替换。你可以把正向替换想象成逆向的CSE（公共表达式消除）；与尝试查找重复表达式并通过一次计算值并将其存储到临时值中来消除它们不同，正向替换消除了临时值，并有效地将表达式树移动到它的使用站点。显然，如果这样做会否定CSE并导致重复的工作，您就不希望这样做，但是对于只定义一次并使用一次的表达式，这种向前传播是有价值的。
　　dotnetruntime61023添加了一个初始的有限版本的前向替换，然后dotnetruntime63720添加了一个更健壮的通用实现。随后，dotnetruntime70587对其进行了扩展，使其也涵盖了一些SIMD向量，然后dotnetruntime71161对其进行了进一步改进，以支持替换到更多的位置（在本例中为调用实参）。有了这些，我们的基准测试现在在。Net7中生成了以下代码：Program。Compute2（）subrsp，28callqwordptr〔7FFCB8DAF9A8〕addeax，50在。Net6生成汇编代码，需要5次add相加操作，这里直接用5次相加的值addrsp，28retTotalbytesofcode18
　　个人能力有限，如果您发现有什么不对，请私信我
　　如果您觉得对您有用的话，可以点个赞或者加个关注，欢迎大家一起进行技术交流