Abstract
We have reported on local retargetable microcode generation methods based on the flow graph model in previous papers. In this paper, we consider the extension of these methods to global retargetable microcode generation. This includes intermediate representations of basic blocks containing control flow directives and their construction from global program dags, resource allocation and its interaction with code generation, machine-independent semantics and procedures for global microcode generation, and global compaction. The emphasis is on issues and promising directions for research on global methods vis a vis final results and definitive answers, as it reflects the early stages of our research.
- 1 Aho, A.V., and Ullman, J.D., Principles of Compiler Design, Addison-Wesley, Reading, MA, 1977. Google Scholar
Digital Library
- 2 Baba, T. and Hagiwara, H., "The MPG System: A Machine-Independent Efficient Microprogram Generator", IEEE Transactions on Computers C-30, No. 6, 1981.Google Scholar
- 3 Banerjee, U., Shen, S., Kuck,D.J., and Towle,R.A., "Time and Parallel Processor Bounds for Fortran-like Loops", IEEE Transactions on Computers C-28, No. 9, September 1979.Google Scholar
- 4 Davidson, S., and Shriver, B.D., "An Overview of Firmware Engineering", Computer 11, No. 5, May 1978.Google Scholar
- 5 DeWitt,D.J., "A Machine-Independent Approach to the Production of Horizontal Microcode", Ph.D. thesis, University of Michigan, 1976. Google Scholar
Digital Library
- 6 Downey,P.J., Sethi,R., and Tarjan,R.E., "Variations on the Common Subexpression Problem", Journal of the ACM 27 1980, pp. 758-771. Google Scholar
Digital Library
- 7 Fisher,J.A., "The Optimization of Horizontal Microcode Within and Beyond Basic Blocks: An Application of Processor Scheduling", Ph.D. thesis, New York University, October 1979. Google Scholar
Digital Library
- 8 Fisher,J.A., "Trace Scheduling: A Technique for Global Microcode Compaction", IEEE Transactions on Computers C-30, No. 7, July 1981.Google Scholar
- 9 Ganapathi,M., Fischer, C.N., and Hennessey, J.L, "Retargetable Compiler Code Generation", Computing Surveys 14, No. 4, December 1982, pp. 573-592. Google Scholar
Digital Library
- 10 Gieser,J.L., "On Horizontally Microprogrammed Microarchitecture Description Techniques", IEEE Transactions on Software Engineering SE-8, No. 5, September 1982.Google Scholar
Digital Library
- 11 Gross,T.R., and Hennessy,J.L., "Optimizing Delay Branches", Proceedings of the 15th Microprogramming Workshop, October 1982. Google Scholar
Digital Library
- 12 Hecht,M.S., Flow Analysis of Computer Programs, North-Holland, New York, 1977. Google Scholar
Digital Library
- 13 Isoda, S., Kobayashi,Y., and Ishida,T., "Global Compaction of Horizontal Microprograms Based on the Generalized Data Dependency Graph", IEEE Transactions Computers C-32, No. 10, October 1983.Google Scholar
- 14 Kim, J., and Tan, C.J., "Register Assignment Algorithms for Optimizing Micro-code Compilers - Part I", Technical Report RC 7639 (#33035), Computer Sciences Department, IBM T.J. Watson Research Center, Yorktown Heights, N.Y., May 1979.Google Scholar
- 15 Leverett,B.W., "Register Allocation in Optimizing Compilers", Ph.D. thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsyivannia, 1981. Google Scholar
Digital Library
- 16 Ma, P-Y.R., and Lewis, T., "On the Design of a Microcode Compiler for a Machine- Independent High-Level Language", IEEE Transaction on Software Engineering. SE- 7, No. 3, 1981.Google Scholar
Index Terms
Global methods in the flow graph approach to retargetable microcode generation
Recommendations
Global methods in the flow graph approach to retargetable microcode generation
MICRO 17: Proceedings of the 17th annual workshop on MicroprogrammingWe have reported on local retargetable microcode generation methods based on the flow graph model in previous papers. In this paper, we consider the extension of these methods to global retargetable microcode generation. This includes intermediate ...
Experiments in Automatic Microcode Generation
A procedure is described which permits applications problems coded in a higher level language to be compiled to microcode for horizontally microprogrammed processors. An experimental language has been designed which is suitable for expressing ...
Retargetable microcode synthesis
Most work on automating the translation of high-level microprogramming languages into microcode has dealt with lexical and syntactic analysis and the use of manually produced macro tables for code generation. We describe an approach to and some results ...






Comments