Interprocedural constant propagation: A study of jump function implementations
| dc.contributor.advisor | Torczon, Linda | |
| dc.creator | Grove, Daniel Dwight | |
| dc.date.accessioned | 2009-06-04T00:32:22Z | |
| dc.date.available | 2009-06-04T00:32:22Z | |
| dc.date.issued | 1993 | |
| dc.description.abstract | Procedure calls have long been recognized as an impediment to performance in compiled code. This happens because procedure calls hide information from the compiler. Interprocedural constant propagation attempts to discover the formal parameters and global variables that are constant on every invocation of a procedure. An implementation of interprocedural constant propagation must model the transmission of values through each procedure in the program. In the framework proposed by Callahan, Cooper, Kennedy, and Torczon, this transmission is modeled with jump functions. While Callahan et al. propose several jump functions, they give no data to help choose among them. This thesis describes the results obtained by employing several jump functions. Our study examined scientific FORTRAN codes. It shows that different jump functions find different numbers of constants, and suggests a particular function, the pass-through parameter jump function, as the most cost-effective in practice. The importance of interprocedural MOD information is also discussed. | |
| dc.format.extent | 34 p. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.identifier.callno | Thesis Comp.Sci. 1993 Grove | |
| dc.identifier.citation | Grove, Daniel Dwight. "Interprocedural constant propagation: A study of jump function implementations." (1993) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/13733">https://hdl.handle.net/1911/13733</a>. | |
| dc.identifier.uri | https://hdl.handle.net/1911/13733 | |
| 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 | Interprocedural constant propagation: A study of jump function implementations | |
| dc.type | Thesis | |
| dc.type.material | Text | |
| thesis.degree.department | Computer Science | |
| thesis.degree.discipline | Engineering | |
| thesis.degree.grantor | Rice University | |
| thesis.degree.level | Masters | |
| thesis.degree.name | Master of Science |
Files
Original bundle
1 - 1 of 1