[发明专利]用于数据相关控制流简化的方法

摘要

一种减少控制流中后续块的数量以及流控制元素的数量的软件控制流的转换。转换后的控制流具有更多的简化代码和更少的数据相关的控制流，这产生更好的运行时性能，并且同时保持功能上的等效。针对控制流图中的每个数据相关流控制元素，通过找到足够使得由流控制元素选择的出口控制流将是确定性的值缩减点来提高软件控制流。修改控制流以使得控制流(不通过流控制元素)从该找到的值缩减点导向在给定找到的值缩减点的情况下将选择的标识的出口控制流。可从一个流控制元素到下一个流控制元素重复该方法。

主权项

1.一种用于改进软件程序的控制流的方法，所述方法包括遍历所述软件程序的控制流图的动作；作为所述遍历动作的结果，检测流控制元素的动作，所述流控制元素根据运行时参数的值指定可能在运行时采取的多个出口控制流；响应于所述检测动作，尝试在所述控制流图中找到在所述流控制元素之前的值缩减点的动作，使得所述值缩减点充分缩小所述参数的值，使得将由所述流控制元素选择的所述出口控制流是确定性的；如果在所述尝试找到值缩减点的动作中找到了值缩减点，则从所述多个出口控制流中标识在给定所找到的值缩减点时将采取的出口控制流的动作；以及修改所述控制流的动作，使得所述控制流图从所述找到的值缩减点导向所标识的出口控制流，而不遍历所述流控制元素。