会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 5. 发明授权
    • Method and system for intermediate representation of source code
    • 源代码的中间表示方法和系统
    • US08296748B2
    • 2012-10-23
    • US12178842
    • 2008-07-24
    • Buqi ChengTin-Fook NgaiZhaohui DuPeiNan Zhang
    • Buqi ChengTin-Fook NgaiZhaohui DuPeiNan Zhang
    • G06F9/45
    • G06F8/433
    • A method to provide effective control and data flow information in an Intermediate Representation (IR) form. A Path Sensitive single Assignment (PSA) IR form with effective and explicit control and data path information supports control flow sensitive optimizations such as path sensitive symbolic substitution, array privatization and speculative multi threading. In the definition of PSA form, besides defining new versioned variables, the gamma functions keep control path information. The gamma function in PSA form keeps the basic attribute of SSA IR form and only one definition exists for each use. Therefore, all existing Single Static Assignment (SSA) IR form based analysis can be applied in PSA form. The gamma function in PSA form keeps all essential control flow information and eliminates unnecessary predicates at the same time.
    • 一种以中间表示(IR)形式提供有效控制和数据流信息的方法。 路径敏感单分配(PSA)具有有效和显式控制和数据路径信息的IR形式支持控制流敏感优化,如路径敏感符号替换,数组私有化和投机多线程。 在PSA形式的定义中,除了定义新的版本变量之外,伽马函数还保留了控制路径信息。 PSA形式的伽玛函数保持SSA IR形式的基本属性,并且每次使用只存在一个定义。 因此,所有现有的单静态分配(SSA)IR形式分析可以以PSA形式应用。 PSA形式的伽玛功能保留所有必要的控制流信息,同时消除不必要的谓词。