[发明专利]通过大范围的同值关系的解析来消除传输命令的优化装置

摘要

根据本发明，基本区段分割部2把命令串分割为作为执行顺序连续的命令串的基本区段。控制流程解析部3解析所分割的基本区段间的控制流程。大范围同值关系解析部4沿着基本区段间的控制流程来跨在基本区段上地解析寄存器和存储器等的资源间的同值关系。利用所解析的资源间的同值关系，进行码的优化。本发明大范围地研究程序中的资源间的同值关系，利用该同值关系来进行码的优化，由此，就能谋求程序的码尺寸的缩小、执行时间的最短化。

主权项

1.一种优化装置，从具有按条件分支的多个执行顺序的程序中，以其中任一个执行顺序来触析保持值为相同的硬件资源，使用解析结果来消除传输命令，其特征在于，包括：·执行顺序信息生成装置，生成通过多个基本区段及这些的分支来源和分支对方的关系所表现的执行顺序信息，其中，所述的基本区段是根据分支命令和分支对方标记所隔开的程序的小单位；·后状态解析装置，在上述执行顺序信息中的分支来源基本区段中所包含的命令由处理器全部执行后的后状态下，解析哪个硬件资源和哪个硬件资源是否为相同的保持值，在后状态下对各分支来源基本区段制成由成为相同的保持值的资源名组成的同值集合；·前状态解析装置，在以共同的基本区段作为分支对方的全部的分支来源基本区段之间选择同值集合的共同元素，由此，在分支对方基本区段的先头命令的执行前的前状态下，制成由成为相同的保持值的资源名组成的同值集合；·区段内解析装置，当得到前状态中的同值关系集合时，在分支对方基本区段中所包含的各命令的执行步骤中，解析在前状态中的同值集合中所包含的共同元素是否增减，作为每个命令而得到命令的每个执行步骤的同值集合；·资源名判定装置，当得到命令的每个执行步骤的同值集合时，判定位于这些命令之后的命令是否把在同值集合中所示的资源名指定给传输来源、传输对方；·传输命令消除装置，当判定为指定给传输对方时，消除相应次序的命令