| Jaramillo, C., Gupta, R., and So#a, M.L., "Debugging Optimized Code Through Comparison Checking", Technical Report, TR-97-26, University of Pittsburgh, 1997 |
....optimizations and depend only on which and how statement instances correspond and the relative positions of corresponding statements in both the unoptimized and optimized programs. Data flow analysis, including reachability and postdominance, is used to determine where and what annotations to use [15]. Annotations are placed after all optimizations are performed and target code has been generated, and therefore, the code to emit the annotations can be integrated as a separate phase within a compiler. Five different types of annotations are needed to implement our comparison checking strategy. ....
Jaramillo, C. Debugging of Optimized Code Through Comparison Checking. PhD dissertation, University of Pittburgh, 1999.
No context found.
Jaramillo, C., Gupta, R., and So#a, M.L., "Debugging Optimized Code Through Comparison Checking", Technical Report, TR-97-26, University of Pittsburgh, 1997
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC