发明名称 |
Methods and apparatus to reduce a control flow graph using points-to information |
摘要 |
Methods and apparatus for reducing a control flow graph are disclosed. A disclosed method comprises: creating a points-to set associated with a function in a computer program; determining if a control flow edge between: (1) a call-site associated with a restore and return instruction and (2) a successor block following the call-site is removable from a control flow graph representing the computer program; and removing the control flow edge if it is determined that the control flow edge is removable.
|
申请公布号 |
US7634765(B2) |
申请公布日期 |
2009.12.15 |
申请号 |
US20040927672 |
申请日期 |
2004.08.27 |
申请人 |
INTEL CORPORATION |
发明人 |
GHIYA RAKESH;COX ROBERT J.;SEHR DAVID C. |
分类号 |
G06F9/45 |
主分类号 |
G06F9/45 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|