[发明专利]处理器指令集的完备性检测方法、装置与电子设备

说明书

本发明实施例提供一种处理器指令集的完备性检测方法、装置与电子设备，其中该方法包括：获取处理器指令集中所有的指令编码，并基于此分别计算所述处理器指令集的预期指令总条数和理论实际指令总条数；若所述理论实际指令总条数与所述预期指令总条数不相等，则对所有指令编码进行重叠性聚类处理，并通过计算每个类中的重叠指令条数，计算被重复计算的指令总条数；基于所述理论实际指令总条数和所述被重复计算的指令总条数，计算真实实际指令总条数，并判断所述真实实际指令总条数与所述预期指令总条数是否相等，若是，则判定所述处理器指令集是完备的，否则，判定不完备。本发明实施例能够有效消除计算误差，从而有效提高检测结果的准确性。

技术领域

本发明涉及处理器技术领域，更具体地，涉及一种处理器指令集的完备性检测方法、装置与电子设备。

背景技术

在处理器指令集的测试过程中，对处理器指令集的完备性进行检测是至关重要的一环，因为如果无法保证待测指令集是完备的，就无法保证指令集测试的覆盖率，而那些测试盲点很可能存在设计缺陷。处理器指令集的完备性描述了该指令集是否包含了所有的指令可能性。以32位定长指令集为例，如果该指令集包含了所有的2³²条指令，那么称该指令集是完备的，如果该指令集包含了少于2³²条指令，就称该指令集是不完备的。

处理器指令集一般用指令编码进行描述，每条指令编码可以表示多条指令，如32位长的处理器指令集可以用指令编码表示为“111111111111100100000000101xxxxx”，其中“x”符号表示不确定的位，即该位可以是0也可以是1，该指令编码中共有5位不确定，因此该指令编码可以表示2⁵＝32条指令。

对于如何对处理器指令集的完备性进行检测，一种直观的方法是根据处理器指令集中所有的指令编码来计算指令总条数，如果计算得到的指令总条数等于预期的指令总条数(如对于32位定长指令集来说，预期的指令总条数等于2³²)，则表明该指令集是完备的，否则表明该指令集是不完备的。但是，如果某条指令被多条指令编码所表示，那么该条指令就会被重复计算，如ARM处理器指令集就存在很多被多条指令编码所表示的指令，这将导致计算得到的指令总条数存在误差，影响最终检测结果的准确性。

发明内容

为了克服上述问题或者至少部分地解决上述问题，本发明实施例提供一种处理器指令集的完备性检测方法、装置与电子设备，用以有效消除计算误差，从而有效提高检测结果的准确性。

第一方面，本发明实施例提供一种处理器指令集的完备性检测方法，包括：

获取处理器指令集中所有的已定义指令编码和未定义指令编码，并基于所述已定义指令编码和所述未定义指令编码，分别计算所述处理器指令集的预期指令总条数和理论实际指令总条数；

若所述理论实际指令总条数与所述预期指令总条数不相等，则对所有所述已定义指令编码和所述未定义指令编码进行重叠性聚类处理，并通过计算每个类中的重叠指令条数，计算被重复计算的指令总条数；

基于所述理论实际指令总条数和所述被重复计算的指令总条数，计算真实实际指令总条数，并判断所述真实实际指令总条数与所述预期指令总条数是否相等，若是，则判定所述处理器指令集是完备的，否则，判定所述处理器指令集不完备。

第二方面，本发明实施例提供一种处理器指令集的完备性检测装置，包括：

第一计算模块，用于获取处理器指令集中所有的已定义指令编码和未定义指令编码，并基于所述已定义指令编码和所述未定义指令编码，分别计算所述处理器指令集的预期指令总条数和理论实际指令总条数；

第二计算模块，用于若所述理论实际指令总条数与所述预期指令总条数不相等，则对所有所述已定义指令编码和所述未定义指令编码进行重叠性聚类处理，并通过计算每个类中的重叠指令条数，计算被重复计算的指令总条数；