A Novel Code Optimization and Generation Scheme Towards Fast Conditional Breakpoint

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 Boolean 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.