一种面向快速条件断点的代码优化与生成策略  

A Novel Code Optimization and Generation Scheme Towards Fast Conditional Breakpoint

作　　者：朱浩[1,2] 应欢[1,2] 王东辉[2] 侯朝焕[2] 

机构地区：[1]中国科学院大学,北京100049 [2]中国科学院声学研究所,北京100190

出　　处：《微电子学与计算机》2014年第4期27-30,35,共5页Microelectronics & Computer

基　　金：国家"九七三"计划项目(2009CB320202)

摘　　要：提出了一种面向快速条件断点的代码优化与生成策略.将断点条件映射为布尔函数,并用有序二叉决策图进行描述,通过合并图中的冗余节点以及删除无关节点实现代码优化.在代码生成方面,通过对简化有序二叉决策图模型进行拓扑排序获取了子条件间的控制流信息,并通过查找已定义的指令模板实现了最终的代码输出.该方法已应用于自主研发的SuperV DSP处理器配套调试器上.A novel code optimization and generation scheme towards fast conditional breakpoint is presented in this paper. In our approach, the break-condition of a conditional breakpoint is mapped onto a Boolean function. A reduced ordered binary decision diagram model is built up to describe the 13oolean function through correlation analysis, redundant nodes incorporation and invalid nodes deletion. Thus, the code optimization is achieved. For the code generation, several special instruction templates are defined, and the topological sorting is implemented on this model to describe the control flow of sub-conditions in a break-condition. The interior nodes in this model are expanded to match up with the instruction templates. Additionally, branch instructions are inserted according to the control flow.

关 键 词：条件断点 有序二叉决策图 代码优化 SuperV处理器 

分 类 号：TN7[电子电信—电路与系统]