上海安般申请一种针对 VEX IR 的优化方法专利，消除不同编译参数的二进制文件转化而来的 VEX IR 语句间的隔阂

金融界 2024 年 11 月 14 日消息，国家知识产权局信息显示，上海安般信息科技有限公司申请一项名为“一种针对 VEX IR 的优化方法”的专利，公开号 CN 118939274 A，申请日期为 2024 年 8 月。

专利摘要显示，本发明提供一种针对 VEX IR 的优化方法，包括：获取连续的代码片段并将其转化为 VEX IR 语句；VEX IR 语句包括第一、第二语句，第一、第二语句分别将第一、第二变量存入第一寄存器，当第一、第二语句中间第一寄存器没有被引用时，删除第一语句；VEX IR 语句包括第三语句，当第三语句用于改变第一变量的比特宽度和顺序操作并复制给第二变量时，将第三语句修改为第四语句，第四语句用于复制所述第一变量到第二变量；VEX IR 语句包括第五、第六语句，当第五、第六语句的操作符相同但位数不同时，将第五、第六语句的操作符合并为一个统一的不考虑位数的操作符。通过移除冗余的 VEX IR 语句，以消除不同编译参数的二进制文件转化而来的 VEX IR 语句间的隔阂，并保留原本的语义。

来源：金融界