Collaborative Research: Branch Elimination by Condition Merging

条件分支开销很大。 分支需要很大比例的执行周期，因为它们频繁出现并可能导致管道停滞。 此外，分支会导致控制流中的分叉，这会阻止其他代码改进转换的应用。 我们计划开发基于路径轮廓的技术，用于在传统的标量处理器上用单个分支来代替一组两个或多个分支的执行。 我们建议通过将两个或多个分支的条件合并为一个条件来提高性能。 以前的方法已经放弃了这样的合并条件，要么只涉及一个单一的变量，或需要特殊的硬件合并多个条件在一起。 技术将被开发，以产生一个mergedcondition涉及多个变量，可以用来绕过代码测试的原始条件在一个传统的处理器。合并条件可能是非常好的适合运行时优化系统，优化频繁执行的路径在executionof程序。

Conditional branches are expensive. Branches require a significantpercentage of the execution cycles since they occur frequently and cancause pipeline stalls. In addition, branches result in forks in thecontrol flow, which can prevent other code-improving transformationsfrom being applied. We plan to develop path profile-based techniquesfor replacing the execution of a set of two or more branches with asingle branch on a conventional scalar processor. We propose toimprove performance by merging the conditions of two or more branchesinto a single condition. Previous approaches have accomplishedsuch merging of conditions that have either only involved a singlevariable or have required special hardware to merge multipleconditions together. Techniques will be developed to produce a mergedcondition involving multiple variables that can be used to bypass thecode testing the original set of conditions on a conventional processor.Merging conditions may be very good fit for run-time optimizationsystems, which optimize frequently executed paths during the executionof a program.