[发明专利]使用快速前进域和值特化来进行软件代码的编译器变换的方法和装置

摘要

本发明说明了一种方法和装置，用于使用具有简化的数据和控制流的域以及值特化来提供代码的编译器变换。在一个实施例中，所述方法包括：在代码中标识多个潜在候选者以用于值特化；基于与每个潜在候选者相关联的值特性，从所述多个潜在候选者选择一组候选者；以及使用对应的值特性，为每个所选择的候选者确定特化数据。所述方法还包括基于对应的特化数据来形成多个优化域。每个优化域都包括一个或多个所选择的候选者。

主权项

1.一种方法，包括：在软件代码中标识多个潜在候选者以用于值特化；基于与所述多个潜在候选者中的每一个潜在候选者相关联的值特性，从所述多个潜在候选者选择一组候选者；使用对应的值特性，为所述候选者组中的每一个候选者确定特化数据；以及基于对应的特化数据形成多个优化域，其中所述多个优化域中的每一个都包括一个或多个来自所述候选者组的候选者。