首页>
外国专利>
Method inside an optimizing compiler for analyzing assertions and redirecting control flow in programs
Method inside an optimizing compiler for analyzing assertions and redirecting control flow in programs
展开▼
机译:优化编译器内部的方法,用于分析断言并重定向程序中的控制流
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method of analyzing and optimizing programs by predicting branches and redirecting control flow. A program to be analyzed and optimized is inspected to find branches that might be predictable. A set of assertions is generated, analyzed by a dataflow solver and then used to predict the effects of branches. Control flow in the program is redirected to skip over predictable branches. The dataflow solver is capable of analyzing assertions involving lvalues such as variables, pointer expressions, or components of aggregate lvalues.
展开▼