T. C. Spillman. Exposing side-effects in a PL/1 optimizing compiler. In Proceedings of the IFIP Congress, pages 376--381, 1971.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....abstract stack location. To date, our experiments show that this is not a problem, and that it is reasonable to decouple the stack and heap analyses. 7. 2 Function Pointers The problem of constructing the call graph of a program in the presence of procedure variables has been previously studied [3, 17, 29, 37, 42, 44]. However, the above techniques cannot handle function pointers, because in C they are considered no different from data pointers. One can have function pointers of multiple level, as fields of structures, and as arrays. They can also be type cast into data pointers and vice versa. Hence the full ....

T. C. Spillman. Exposing side-effects in a PL/I optimizing compiler. In Proceedings of the

....However, the ParaScope compilation system avoids ordering dependences and also uses information the caller propagates to the callee. Much of the early work on interprocedural optimization focused on interprocedural analysis. This began with the description of an implementation in 1971 [Spi71] Other work attempted to accomodate unusual language features [Wei80] calculate more precise information [Ros79] Mye81] or produce information more efficiently [Ban79] The design in ParaScope draws heavily from Banning, who recognized that interprocedural side effect analysis can be ....

....the formals differ. This is not possible when at most one procedure formal exists for any procedure. Thus, we do not expect that it will happen often in fortran. 2.6. 3 Early Work Early algorithms for call multigraph construction in the presence of procedure formals were suggested by Spillman [Spi71] and Walter [Wal76] Spillman builds the call multigraph as part of an overall interprocedural analysis approach for PL I. Using the expose matrix he captures information about values for procedure parameters as well as variable aliasing, values for label variables, modification side effect ....

T. C. Spillman. Exposing side-effects in a PL/I optimizing compiler. In Proceedings of the IFIP Congress

....Existing techniques for Fortran can not supply this information; they only handle call by reference induced aliasing and are insufficient for languages with general purpose pointer usage. Interprocedural modification side effects were first handled by Allen for acyclic call multigraphs [All74, Spi71]. Later, Barth explored the use of relations to capture side effects in recursive programs [Bar78] Banning [Ban79] first noted the decomposition of the problem for Fortran (and other 3 The research reported here was supported, in part, by Siemens Corporate Research and NSF grants CISE CCR92 ....

T. Spillman. Exposing side effects in a PL-I optimizing compiler. In Proceedings of IFIPS Conference, pages TA--3--56:TA--3--62, 1971.

....to do significantly more work. Table 3 in Appendix C shows the raw data from which these figures are constructed. 5 Related Work Interprocedural Side Effects Analysis. Interprocedural modification side effects were first handled by Allen for acyclic call multigraphs in Fortran programs [All74, Spi71] Later, Barth explored the use of relations to capture side effects in recursive programs [Bar78] Banning [Ban79] first accomplished the decomposition of the MOD problem for FORTRAN (and other languages where aliasing is imposed only by call by reference parameter passing) he separated out two ....

T. Spillman. Exposing side effects in a PL-I optimizing compiler. In Proceedings of IFIPS Conference, pages TA--3--56:TA--3--62, 1971.

....Existing techniques for FORTRAN cannot supply this information; they only handle call by reference induced aliasing and are insufficient for languages with general purpose pointer usage. Interprocedural modification side effects were first handled by Allen for acyclic call multigraphs [All74, Spi71] Later, Barth explored the use of relations to capture side effects in recursive programs 3 The research reported here was supported, in part, by Siemens Corporate Research and NSF grants CISE CCR92 08632 and CCR 9023628 2 5. This technical report supersedes an earlier version on this ....

T. Spillman. Exposing side effects in a PL-I optimizing compiler. In Proceedings of IFIPS Conference, pages TA--3--56:TA--3--62, 1971.

No context found.

T. C. Spillman. Exposing side-effects in a PL/1 optimizing compiler. In Proceedings of the IFIP Congress, pages 376--381, 1971.

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