首页>
外国专利>
Method and computer program product for precise feedback data generation and updating for compile-time optimizations
Method and computer program product for precise feedback data generation and updating for compile-time optimizations
展开▼
机译:用于精确反馈数据的生成和更新以进行编译时优化的方法和计算机程序产品
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and computer program product, within an optimizing compiler, for precise feedback data generation and updating. The method and computer program uses instrumentation and annotation of frequency values to allow feedback data to stay current during the multiple optimizations that the program code undergoes during compilation. Global propagation of known precise feedback values are used to replace approximate and unavailable values, and global verification of feedback data after optimization to detect discrepancies is employed. The method and computer program also provides improved instrumentation to anticipate cloning when code is cloned during ceratin compiler optimizations and handles inlined procedures. The result is compiled executables with improved SPECint benchmarks.
展开▼