Combining analyses, combining optimizations
| dc.contributor.advisor | Cooper, Keith D. | |
| dc.creator | Click, Clifford Noel, Jr | |
| dc.date.accessioned | 2009-06-04T00:22:33Z | |
| dc.date.available | 2009-06-04T00:22:33Z | |
| dc.date.issued | 1995 | |
| dc.description.abstract | This thesis presents a framework for describing optimizations. It shows how to combine two such frameworks and how to reason about the properties of the resulting framework. The structure of the framework provides insight into when a combination yields better results. Also presented is a simple iterative algorithm for solving these frameworks. A framework is shown that combines Constant Propagation, Unreachable Code Elimination, Global Congruence Finding and Global Value Numbering. For these optimizations, the iterative algorithm runs in $O(n\sp2)$ time. This thesis then presents an O(n log n) algorithm for combining the same optimizations. This technique also finds many of the common subexpressions found by Partial Redundancy Elimination. However, it requires a global code motion pass to make the optimized code correct, also presented. The global code motion algorithm removes some Partially Dead Code as a side-effect. An implementation demonstrates that the algorithm has shorter compile times than repeated passes of the separate optimizations while producing run-time speedups of 4%-7%. While global analyses are stronger, peephole analyses can be unexpectedly powerful. This thesis demonstrates parse-time peephole optimizations that find more than 95% of the constants and common subexpressions found by the best combined analysis. Finding constants and common subexpressions while parsing reduces peak intermediate representation size. This speeds up the later global analyses, reducing total compilation time by 10%. In conjunction with global code motion, these peephole optimizations generate excellent code very quickly, a useful feature for compilers that stress compilation speed over code quality. | |
| dc.format.extent | 140 p. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.identifier.callno | THESIS COMP.SCI. 1995 CLICK | |
| dc.identifier.citation | Click, Clifford Noel, Jr. "Combining analyses, combining optimizations." (1995) Diss., Rice University. <a href="https://hdl.handle.net/1911/16807">https://hdl.handle.net/1911/16807</a>. | |
| dc.identifier.uri | https://hdl.handle.net/1911/16807 | |
| dc.language.iso | eng | |
| dc.rights | Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. | |
| dc.subject | Computer science | |
| dc.title | Combining analyses, combining optimizations | |
| dc.type | Thesis | |
| dc.type.material | Text | |
| thesis.degree.department | Computer Science | |
| thesis.degree.discipline | Engineering | |
| thesis.degree.grantor | Rice University | |
| thesis.degree.level | Doctoral | |
| thesis.degree.name | Doctor of Philosophy |
Files
Original bundle
1 - 1 of 1