L. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, number 757 in LNCS, pages 406--420. SpringerVerlag, 1993.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....of works use these conditions to establish the correctness of automatic parallelization for various languages. Among others, Hendren and Nicolau [26] parallelize C programs with dynamically allocated objects (with the limitation of no cyclic structures) This work has been pursued by Hendren [25], and gave rise to multiple analyses of dynamically allocated structures and pointers [22, 17, 21] that are the basis of a checking algorithm for Bernstein s conditions. Other authors [24, 28] have also investigated the use of shape analysis for the detection of parallelism. These works dioeer ....

L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured References 21 intermediate representations. In Proc. of the 5th International Workshop on Languages and Compilers for Parallel Computing, LNCS 757, 1993.

....solution with an acceptable performance. The discussion on the design of such algorithms is beyond the scope of this paper. 6. Related Work There exists several infrastructures for research on parallelizing and optimizing compilers. Among these compilers, SUIF [15] Polaris [1] and McCAT [8] are interesting comparisions with our Agassiz compiler. 14 SUIF is a parallelizing and optimizing compiler for both C and Fortran programs, consisting of a kernel and a toolkit. Unlike our Agassiz compiler which uses separated high level and low level IR, the SUIF kernel defines a mixed level ....

L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, Auguest 1992.

....as C and PL AS. The current implementation of the clustering algorithms cannot detect relationships due to aliasing. Instead, it examines global variables and parameters of functions. This work is being extended to integrate aliasing information from McGill s Compiler Architecture Testbed (McCAT) [14]. McCAT is a research compiler for C, designed to test techniques for generating optimized code on modern RISC and parallel architectures. One key element of the compiler is its approach for interprocedural analysis using points to information [11] 5 Related Work SoftBench from Hewlett ....

Hendren, L.J., Donawa, C., Emami, M., Gao, G.R., Justiani, and Sridharan, B. "Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations", ACAPS Technical Memo 46, School of Computer Science, McGill University, Montreal, 1992.

....is = x y 5 . The Ohio file version is a prefix expression with two differences. First, all subexpressions are parenthesized to improved human readability. Second, variable names are listed as a symbol table entry number in brackets. The resulting expression in the Ohio file is ( 3 ] b [ 2 ] LI 5 ) The operator became b since a by itself is ambiguous. LI means Literal Integer. After the parser sees the LI string it expects an integer to be the next token. The Ohio component proved to be a useful component of the NPIC system. Although it was created to provide ....

....automate the process of implementing a data flow analysis, such as Sharlit [22] SPARE [6] FIAT [8] System Z [27] PAG [1] and Dwyer and Clarke system [5] can expedite the construction of new data flow analyses. They provide a higher level of abstraction than used in our system. The McCAT [2] and PROLANGS [15, 20] pointer analysis systems are implemented in C and thus, do not use the object oriented approach employed in Dakota. Wilson s pointer analysis [26, 24] is implemented in the SUIF compiler discussed above. Because of its heavy use of multiple virtual inheritance, the NPIC ....

[Article contains additional citation context not shown here]

L. Hendren an C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In 5th Workshop on Languages and Compilers for Parallel Computing, pages 406--420, 1993. Lecture Notes in Computer Science, 757.

....is to assume that there is a dependence between every load and store. A better idea is to use dependence analysis[3, 28] in an earlier phase in the compiler to determine when there is a dependence between an array reference and an array update. Recently proposed intermediate representations [14] make this information available for use in later stages of the compiler. 6 (1) mul.d f8, f4, f6 I b (2) l.s f10, 8( 6) Ik (3) l.s f11, 4( 6) 4) l.s f16, 0( 9) 5) l.s f17, 4( 9) 6) mul.d f18, f10, f16 (7) add.d f4, f8, f18 (8) l.s f6, 64( 6) Is (9) l.s f7, 68( 6) ....

L. J. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured representations. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Machines: 5th International Workshop (LNCS 757), pages 406--420. Springer-Verlag, 1993.

....found in [6] The HPC compiler takes a program written in HPC and a target machine description, and produces the corresponding SPMD (Single Program Multiple Data) code, with optional code instrumentation for performance debugging. It is built on top of McCAT, a wellstructured compiler from McGill [9]. Though the compiler can be a stand alone component of the EPPP, it is an integral part of the performance debugger. The reason is that the compiler is responsible for the generation of information on the target machine architecture as well as information on the compiled program. Moreover, the ....

L. J. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representation. In Proceeding of the Fifth Workshop on Languages and Compilers for Parallel Computing, pages 261--275, 1992. Also available as ACAPS Technical Memo No. 46.

....communication layers in the Trollius system [14] Presently, we utilize its communication library at the network layer to suit our current requirements. The compiler is based partly on the GNU C compiler from the Free Software Foundation, and partly on the McCAT compiler from McGill University [11]. We now present some performance results of our compiler on the program for generating a Mandelbrot image. The parallel code in TagC used for the experiment has been shown in Figure 1 in Section 2. The main computation domain is distributed in a block cyclic fashion, where the block size is 4. ....

Laurie Hendren, Chris Donawa, Guang Gao, Justiani, and Maryam Emami. Designing the McCAT compiler based on a family of structured intermediate representations. Technical report, School of Computer Science, McGill University, 1992. ACAPS Design Memo 46.

No context found.

L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proc. of the 5th Intl. Work. on Languages and Compilers for Parallel Computing, number 757 in Lec. Notes in Comp. Sci., pages 406--420, New Haven, Conn., Aug. 1992. Springer-Verlag. Publ. in 1993.

....in Section 7. 2 Setting the McCAT compiler Our points to analysis is implemented in the McCAT (McGill Compiler Architecture Testbed) optimizing parallelizing C compiler. In order to provide the correct intermediate language, we designed a structured intermediate representation called SIMPLE [22, 43]. On one hand, we need to analyze real C programs (not just programs written in a toy subset of C) and therefore our SIMPLE representation faithfully represents these programs. On the other hand, we require as compact and clean a representation as possible, so that new and powerful analyses can ....

....rules need to be developed only for the 15 basic statements and the compositional control statements. The design of these rules is further simplified by the fact that each of the basic statements can have only one level of pointer indirection for a variable reference. Further details are given in [13, 22]. 3 Abstract Stack Locations and Basic Analysis Rules Traditionally, alias analysis methods have approximated aliases by sets of alias pairs. With this approximation, two variable references are said to be aliased if they refer to the same location. Typical alias pairs are of the form ( x,y) ....

L. J. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Conference Record of Fifth International Workshop on Languages and Compilers for Parallel Computing, August

No context found.

L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proc. of the 5th Intl. Work. on Languages and Compilers for Parallel Computing, number 757 in Lec. Notes in Comp. Sci., pages 406-420, New Haven, Conn., Aug.

....data structures and arrays. Fundamental to this problem is the need for an appropriate level of intermediate representation on which both alias analysis and dependency analysis can be performed accurately in a relatively straightforward manner. 1 A longer version of this paper may be found in [10]. Compiler Front end Processing Blastify Simplify C dumper Native C compiler Code Generator .c FIRST SIMPLE LAST . register allocation . instruction scheduling . low level loop transformations .c LAST interpreter RISC Superscalar Multithreaded Architecture Correctness, ....

L. J. Hendren, C. Donawa, M. Emami, G. Gao, J. Justiani, and B Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. ACAPS Technical Memo 46, McGill University, August 1992.

No context found.

L. J. Hendren, C. Donawa, M. Emami, G. Gao, J. Justiani, and B Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In 5th Workshop on Languages and Compilers for Parallel Computing. August 1992. Also to appear in LNCS.

No context found.

L. J. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured representations. ACAPS Technical Memo 46, McGill University, 1992.

No context found.

L. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, number 757 in LNCS, pages 406--420. SpringerVerlag, 1993.

No context found.

L. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, number 757 in LNCS. Springer-Verlag, 1993.

No context found.

L. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, number 757 in LNCS, pages 406--420. Springer-Verlag, 1993.

No context found.

L. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, number 757 in LNCS, pages 406--420. Springer-Verlag, 1993.

No context found.

L. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, number 757 in LNCS. Springer-Verlag, 1993.

No context found.

L. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, number 757 in LNCS, pages 406--420. SpringerVerlag, 1993.

No context found.

L. J. Hendren, C. Donawa, M. Emami, G. R. Gao, Jugstiani, and B. Sridharan, "Designing the mccat compiler based on a family of structured intermediate representations," Lecture Notes in Computer Science, pp. 406--420, Aug 1992.

No context found.

L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations. In Workshop on Languages and Compilers for BIBLIOGRAPHY 85 Parallel Computing, pages 406--420. Lecture Notes in Computer Science, 757, 1993.

No context found.

L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. Lecture Notes in Computer Science, 757:406--??, 1993.

No context found.

L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, Auguest 1992 152

No context found.

L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Computing, chapter 26, pages 406--420. Springer-Verlag, Berlin, 1993.

No context found.

L. J. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations. In Conference Record, 5th Workshop on Languages and Compilers for Parallel Computing, pages 261--276, Stamford, Conneticut, August 1992.

First 50 documents

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