编译方法和使用该编译方法的处理器技术

提供了一种编译方法和使用该编译方法的处理器。所述方法包括：对包括至少一个第一操作命令的第一程序代码进行仿真，以产生第一操作结果；对第一程序代码进行编译，以产生包括至少一个第二操作命令的第二程序代码；对第二程序代码进行仿真，以产生第二操作结果；将第一操作结果与第二操作结果进行比较，以验证第二程序代码是否有效。

【技术实现步骤摘要】

下面的描述涉及编译器，更具体地讲，涉及一种用于编译程序代码的方 法和使用该方法的处理器。
技术介绍
通常，编译器将以编程语言(例如，公式转换器(Fortran)、 C、 C++(CPP) 等)描述的程序代码转换成将在处理器中执行的适当的命令。可将编译器的 操作分成前端、机器无关的转换、机器相关的转换等。前端操作将用编程语言描述的程序代码转换成可被编译器容易处理的中 间表示(IR)。机器相关的转换还被称为后端操作，该操作可能容易受执行程 序代^马的处理器的配置的影响。由于每开发或升级一次处理器就可使用新的算法或者更新一次算法，所 以需要针对后端操作开发或升级新的编译器。在最新开发或升级编译器的情况下，编译器开发者可能就需要验证编译 器的正确性。验证编译器的操作被称为"调试编译器"。由于在后端操作期间 转换的代码是机器友好代码，所以本领域的普通技术人员可能难以通过观测 编译纟喿作来—验证编i奪器的正确性。另外，可对调试编译器使用基于正常原理的认证方案。然而，尽管认证 方案可以基于数学模型的理论正确地验证编译器，但由于认证方案的复杂性 导致认证方案难以实现。专利技术内容在一个总的方面，提本文档来自技高网...

【技术保护点】
一种编译方法，所述方法包括：　对包括至少一个第一操作命令的第一程序代码进行仿真，以产生第一操作结果；　对所述第一程序代码进行编译，以产生包括至少一个第二操作命令的第二程序代码；　对所述第二程序代码进行仿真，以产生第二操作结 果；　将所述第一操作结果与所述第二操作结果进行比较，以验证所述第二程序代码是否有效。

【技术特征摘要】
...

【专利技术属性】
技术研发人员：金泰松，金泓锡，白昌祐，
申请(专利权)人：三星电子株式会社，
类型：发明
国别省市：KR[韩国]