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.