[发明专利]一种面向谓词执行高性能DSP的指令依赖关系分析方法

权利要求书

1.一种面向谓词执行高性能DSP的指令依赖关系分析方法，其特征在于，对于基本块内的指令I，从指令I的前一条指令开始，逆序遍历基本块内的指令去解除依赖分析需求，同时确认指令I与哪些指令有依赖关系，直到依赖分析需求都被解除或逆序到达基本块入口；每遍历到一条指令X，进行如下处理：

S1：不考虑指令I和指令X的谓词域，分析指令I和指令X之间是否有依赖关系；如果没有，结束对指令X的处理；否则进行下面步骤的处理；

S2：获得指令X的谓词域信息，并根据指令I和指令X的条件执行关系，决定是否结束对指令X的后续处理；

S3：如果还没有结束对指令X的处理，针对指令I的依赖分析需求，结合指令X的条件执行特性开展相应的依赖分析，确定指令I是否确实依赖于指令X，并解除相应的依赖分析需求；

S301：如果指令I的配置依赖分析需求尚未解除，则考虑谓词执行特性，分析指令I对指令X是否确实存在配置依赖，分析指令I的硬件配置依赖分析需求是否可以因指令X而解除；如果指令X是无条件执行指令，或者指令X是条件执行指令并且其执行条件与之前已经发现的另一条配置依赖指令的执行条件互补，则解除；

S302：如果指令I和指令X都是访存指令且指令I的访存依赖分析需求尚未解除，则考虑谓词执行特性，分析指令I对指令X是否确实存在访存依赖，分析I的访存依赖分析需求是否可以因指令X而解除；如果指令X是无条件执行指令，或者指令X是条件执行指令并且其执行条件与之前已经发现的另一条访存依赖指令的执行条件互补，则解除；

S303：如果指令I的所有变量依赖分析需求尚未全部解除，则考虑谓词执行特性，分析指令I对指令X是否确实因某些变量而存在依赖，分析指令I的这些变量对应的变量依赖分析需求是否可以因指令X而解除；如果指令X是无条件执行指令，或者指令X是条件执行指令并且其执行条件与之前已经发现的另一条变量依赖指令的执行条件互补，则解除；在此基础上，分析指令I的所有变量对应的变量依赖分析需求是否都已经解除；如果是，则指令I的变量依赖分析需求完整解除。

2.根据权利要求1所述的面向谓词执行高性能DSP的指令依赖关系分析方法，其特征在于，将硬件资源配置、访问存储器、使用变量这三种导致DSP的指令间存在依赖关系的主要原因对应成指令进行依赖关系分析的处理需求，分别称为配置依赖分析需求、访存依赖分析需求、变量依赖分析需求。

3.根据权利要求2所述的面向谓词执行高性能DSP的指令依赖关系分析方法，其特征在于，在步骤S3中，是针对指令I的配置依赖分析需求、访存依赖分析需求、变量依赖分析需求，结合指令X的条件执行特性开展相应的配置依赖分析、访存依赖分析、变量依赖分析，确定指令I是否确实依赖于指令X，并解除相应的依赖分析需求。

4.根据权利要求1或2或3所述的面向谓词执行高性能DSP的指令依赖关系分析方法，其特征在于，在为基本块内的指令I分析依赖关系之前，先对指令I进行预处理，为后续分析过程确定初始信息。

5.根据权利要求4所述的面向谓词执行高性能DSP的指令依赖关系分析方法，其特征在于，所述预处理的过程包括：

a、根据指令I所使用的源变量和目标变量，创建依赖变量集合；

b、分析出指令I的谓词域的执行条件变量和条件模式；

c、假定指令I对应的三种依赖分析需求都未解除，将相应的标志位置为FALSE。

6.根据权利要求2或3所述的面向谓词执行高性能DSP的指令依赖关系分析方法，其特征在于，所述步骤S3为对指令I进行各种依赖分析需求，包括：

如果指令I的配置依赖分析需求尚未解除，则考虑谓词执行特性，分析指令I对指令X是否确实存在配置依赖，分析指令I的硬件配置依赖分析需求是否可以因指令X而解除；如果指令X是无条件执行指令，或者指令X是条件执行指令并且其执行条件与之前已经发现的另一条配置依赖指令的执行条件互补，则可以解除。