Abstract

This paper describes a tool called vpoiso that was developed to automatically isolate errors in the vpo compiler system. The two general types of compiler errors isolated by this tool are optimization and nonoptimization errors. When isolating optimization errors, vpoiso relies on the vpo optimizer to identify sequences of changes, referred to as transformations, that result in semantically equivalent code and to provide the ability to stop performing improving (or unnecessary) transformations after a specified number have been performed. Acompilation of a typical program by vpo often results in thousands of improving transformations being performed. The vpoiso tool can automatically isolate the first improving transformation that causes incorrect output of the execution of the compiled program by using a binary search that varies the number of improving transformations performed. Not only is the illegal transformation automatically isolated, but vpoiso also identifies the location and instant the transformation is performed in vpo. Nonoptimization errors occur from problems in the front end, code generator, and necessary transformations in the optimizer. Ifanother compiler is available that can produce correct (but perhaps more inefficient) code, then vpoiso can isolate nonoptimization errors to a single function. Automatic isolation of compiler errors facilitates retargeting a compiler to a new machine, maintenance of the compiler, and supporting experimentation with new optimizations.

Citations

3633	Computer Architecture - A Quantitative Approach, 2nd Edition - Hennessy, Patterson - 1996
149	A portable global optimizer and linker - Benitez, Davidson - 1988
38	A design environment for addressing architecture and compiler interactions - DAVIDSON, WHALLEY - 1991
34	The Design of an Optimizing Compiler - Wulf, Weinstock, et al. - 1975
31	Avoiding unconditional jumps by code replication - Mueller, Whalley - 1992
27	A study of a C function inliner - Davidson, Holler - 1989
14	Isolation and analysis of optimization errors - Boyd, Whalley - 1993
9	A Tour Through the Portable C - Johnson - 1979
2	Bugfind: A Tool for Debugging Optimizing - Caron, Darnell - 1990