[发明专利]编译可编程剔除单元

权利要求书

1.一种方法，包括：

在运行时之前确定可编程剔除单元的代码是否具有能确定的界限；以及

若是则对于每个变量在编译时在所述代码中跟踪所述界限。

2.如权利要求1所述的方法，其特征在于，包括使用关于区间指令的信息来生成标量指令。

3.如权利要求2所述的方法，其特征在于，使用数据包括使用被跟踪的区间界限。

4.如权利要求1所述的方法，其特征在于，若在编译时不能确定所述界限，则在编译时作出对所述区间界限的假设。

5.如权利要求1所述的方法，其特征在于，包括将一个或多个界限简化为单侧界限。

6.如权利要求4所述的方法，其特征在于，包括在运行时重新评价所述假设。

7.如权利要求6所述的方法，其特征在于，若确定所述假设是有效的，则运行所述代码。

8.如权利要求6所述的方法，其特征在于，包括若确定所述假设不是有效的，则作出新假设并在所述新假设下编译所述代码。

9.如权利要求8所述的方法，其特征在于，若所述新假设不成立，则在不使用区间界限的情况下编译所述代码。

10.如权利要求1所述的方法，其特征在于，跟踪所述界限包括使用界限算术来评估指令。

11.如权利要求10所述的方法，其特征在于，使用界限算术来评估指令包括使用区间算术、仿射算术或泰勒算术之一。

12.一种存储指令的计算机可读介质，所述指令由计算机执行以：

在编译期间确定可编程剔除单元的代码是否具有能计算的界限；以及

若是则对于每个变量在编译期间在所述代码中跟踪所述界限。

13.如权利要求12所述的介质，其特征在于，还存储用于使用关于区间指令的信息来生成标量指令的指令。

14.如权利要求13所述的介质，其特征在于，还存储用于将被跟踪的区间界限用作所述数据的指令。

15.如权利要求12所述的介质，其特征在于，还存储用于若在编译时不能计算所述区间界限则在编译时作出对所述区间界限的假设的指令。

16.如权利要求12所述的介质，其特征在于，还存储用于将一个或多个双侧区间界限简化为单侧区间界限的指令。

17.如权利要求15所述的介质，其特征在于，还存储用于在运行时重新评价所述假设的指令。

18.如权利要求17所述的介质，其特征在于，还存储用于若确定所述假设是有效的则运行所述代码的指令。

19.如权利要求17所述的介质，其特征在于，还存储用于若确定所述假设不是有效的则作出新假设并在所述新假设下编译所述代码的指令。

20.如权利要求19所述的介质，其特征在于，还存储用于若所述新假设不是有效的则在不使用区间界限的情况下编译所述代码的指令。

21.一种装置，包括：

可编程剔除单元；以及

耦合到所述可编程剔除单元的编译器，所述编译器用于确定所述可编程剔除单元的代码是否具有能计算的界限，以及若是则对于每个变量在编译期间在所述代码中跟踪所述界限。

22.如权利要求21所述的装置，其特征在于，所述装置是显示适配器。

23.如权利要求21所述的装置，其特征在于，若不能计算所述区间界限，则所述编译器在编译时作出对所述区间界限的假设。

24.如权利要求23所述的装置，其特征在于，包括控制器。

25.如权利要求24所述的装置，其特征在于，所述控制器用于在运行时重新评价所述假设。

26.如权利要求25所述的装置，其特征在于，所述控制器用于在确定所述假设有效时运行所述代码。

27.如权利要求25所述的装置，其特征在于，若确定所述假设不是有效的，则所述编译器作出新假设并在所述新假设下编译代码。