会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Safe code-motion of dangerous instructions during compiler optimization
    • 编译器优化过程中危险指令的安全代码运动
    • US07810086B2
    • 2010-10-05
    • US11172675
    • 2005-06-30
    • Brian R. MurphyVijay S. MenonTatiana ShpeismanAli-Reza Adl-TabatabaLeaf Petersen
    • Brian R. MurphyVijay S. MenonTatiana ShpeismanAli-Reza Adl-TabatabaLeaf Petersen
    • G06F9/45
    • G06F8/443
    • A compiler can perform aggressive code motion optimization by respecting value dependence of safety values inserted into the intermediate representation of a computer program. In one embodiment, the present invention includes converting a computer program into an intermediate representation, the intermediate representation containing at least one safety check ensuring the safety of at least one dangerous instruction. In one embodiment, the invention further includes defining a safety value in the intermediate representation as the safety check and including the safety value as a safety argument of the dangerous instruction. In one embodiment, it is determined that the safety check is redundant. In response, in one embodiment, the invention includes updating the safety argument of the dangerous instruction, and eliminating the safety check from the intermediate representation during the safety check elimination optimization. Other embodiments are described and claimed.
    • 编译器可以通过考虑插入到计算机程序的中间表示中的安全值的值依赖性来执行积极的代码运动优化。 在一个实施例中,本发明包括将计算机程序转换为中间表示,所述中间表示包含至少一个确保至少一个危险指令的安全性的安全检查。 在一个实施例中,本发明还包括将中间表示中的安全值定义为安全检查,并将安全值作为危险指令的安全性参数。 在一个实施例中,确定安全检查是多余的。 作为响应,在一个实施例中,本发明包括更新危险指令的安全性参数,并且在安全检查消除优化期间从中间表示中消除安全检查。 描述和要求保护其他实施例。