Code Generation Using Tree Matching and Dynamic Programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 11, Issue 4, 1989, Pages 491-516

  Aho, Alfred V ^a   Ganapathi, Mahadevan ^b   Tjiang, Steven W K ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

Code generation; code generator generator; code optimization; dynamic programming; pattern matching

Indexed keywords

COMPUTER PROGRAMMING; MATHEMATICAL TECHNIQUES--TREES;

CODE GENERATION; CODE OPTIMIZATION; DYNAMIC PROGRAMMING; PATTERN MATCHING ALGORITHMS; TREE MATCHING; TWIG PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0024750286     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/69558.75700     Document Type: Article

References (46)

1. Aho, A. V., and Corasick, M. J. Efficient string matching: An aid to bibliographic search. Commun. ACM 18, 6 (June 1975), 333–340.
2. Aho, A. V., and Ganapathi, M. Efficient tree pattern matching: An aid to code generation. In Proceedings of the 12th ACM Symposium on Principles of Programming Languages. ACM, New York, 1985, pp. 334–340.
3. Aho, A. V., and Johnson, S. C. Optimal code generation for expression trees, J. ACM 23, 3 (1976), 488–501.
4. Aho, A. V., Johnson, S. C., and Ullman, J. D. Code generation for expressions with common subexpressions. J. ACM 24, 1 (1977), 146–160.
5. Aho, A. V., Johnson, S. C., and Ullman, J. D. Code generation for machines with multi-register operations. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages. ACM, New York, 1977, pp. 21–28.
6. Aho, A. V., Johnson, S. C., and Ullman, J. D. Deterministic parsing of ambiguous grammars. Commun. ACM 18, 8 (Aug. 1975), 441–452.
7. Aho, A. V., Sethi, R., and Ullman, J. D. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Mass., 1986.
8. Aigrain, P., Graham, S., Henry, R., McKusick, M., and Pelegri-Llopart, E. Experience with a Graham-Glanville style code generator. In Proceedings of the ACM SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices 19, 6 (June 1984), 13–24.
9. Appel, A. W. Concise specifications of locally optimal code generators. Tech. Rep. CS-TR-080–87, Dept. of Computer Science, Princeton University, Princeton, N.J., Feb. 1987.
10. Bruno, J., and Sethi, R. Code generation for a one-register machine. J. ACM 23, 3 (1976), 502–510.
11. Cattell, R. G. G. Automatic derivation of code generators from machine descriptions. ACM Trans. Program. Lang. Syst. 2, 2 (April 1980), 173–190.
12. Chow, P., and Horowitz, M. The MIPS-X microprocessor. In Proceedings of Wescon 1985 (San Francisco, Nov. 19–21, 1985). IEEE, New York, sec. 6–1, pp. 1–6.
13. Davidson, J. W., and Fraser, C. W. Code selection through object code optimization. ACM Trans. Program. Lang. Syst. 6, 4 (Oct. 1984), 505–526.
14. Dencker, P., Durre, K., and Heuft, J. Optimization of parser tables for portable compilers. ACM Trans. Program. Lang. Syst. 6, 4 (Oct. 1984), 546–572.
15. Fraser, C. W. Automatic generation of code generators. Ph.D. dissertation, Yale University, New Haven, Conn., 1977.
16. Fraser, C. W., AND Wendt, A. Integrating code generation and optimization. In Proceedings of ACM SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices 21, 6 (June 1986), 242–248.
17. Ganapathi, M., and Fischer, C. N. Affix grammar driven code generation. ACM Trans. Program. Lang. Syst. 7, 4 (Oct. 1985), 560–599.
18. Ganapathi, M., and Fischer, C. N. Attributed linear intermediate representations for retargetable code generators. Softw. Pract. Exper. 14 (April 1984), 347–364.
19. Ganapathi, M., and Fischer, C. N. Description-driven code generation using attribute grammars. In Proceedings of the 9th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, 1982, pp. 108–119.
20. Ganapathi, M., and Fischer, C. N., Integrating code generation and peephole optimization. Acta Inf. 25 (Jan. 1988), 85–109.
21. Ganapathi, M., Fischer, C. N., and Hennessy, J. L. Retargetable compiler code generation. ACM Comput. Surv. 14, 4 (Dec. 1982), 573–592.
22. Glanville, R. S. A machine independent algorithm for code generation and its use in retargetable compilers. Ph.D. dissertation, University of California, Berkeley, Dec. 1977.
23. Glanville, R. S., and Graham, S. L. A new method for compiler code generation. In Proceedings of the 5th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, 1978, pp. 231–240.
24. Glasner, I., Moncke, U., and Wilhelm, R. OPTRAN, a language for the specification of program transformations. Inf. Fach., 1980, 125–142.
25. Graham, S. L. Table-driven code generation. IEEE Comput. 13, 8 (Aug. 1980), 25–34.
26. Graham, S. L., Henry, R. R., and Schulman, R. A. An experiment in table driven code generation. In Proceedings of the ACM SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices 17,6 (June 1982), 32–43.
27. Hatcher, P. J., and Christopher, T. W. High-quality code generation via bottom-up tree pattern matching. In Proceedings of the 11th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, 1986, pp. 119–130.
28. Hatcher, P. J., Kukuck, R. C., and Christopher, T W. Using dynamic programming to generate optimized code in a Graham-Glanville style code generator. In Proceedings of the ACM SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices 19, 6 (June 1984), 25–36.
29. Henry, R. R. Graham-Glanville code generators. Ph.D. dissertation, Computer Science Division, Electrical Engineering and Computer Science, University of California, Berkeley, 1984.
30. Hoffman, C. W., and O'Donnell, M. J. Pattern matching in trees. J. ACM 29, 1 (1982), 68–95.
31. Huet, G., and Levy, J.-J. Call by need computations in non-ambiguous linear term rewriting systems. Tech. Rep. 359, IRIA Laboria, LeChesnay, France, 1979.
32. Johnson, S. C. A portable compiler: Theory and practice. In Proceedings of the 5th ACM Symposium on Principles of Programming Languages. ACM, New York, 1978, pp. 97–104.
33. Keutzer, K. Dagon: Technology binding and local optimization by dag matching. In Proceedings of the 24th Design Automation Conference. ACM/IEEE, New York, 1987, pp. 341–347.
34. Keutzer, K., and Wolf, W. Anatomy of a hardware compiler. In Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, ACM SIGPLAN Notices 23, 7 (July 1988), 95–104.
35. Kron, H. Tree templates and subtree transformational grammars. Ph.D. dissertation, University of California, Santa Cruz, 1975.
36. Lang, H.-W., Schimmler, M., AND Schmeck, H. Matching tree patterns sublinear on the average. Tech. Rep. Dept. of Informatik, University of Kiel, Kiel, West Germany, 1980.
37. Lunell, H. Code Generator Writing Systems. Software Systems Research Center, S-58183, Linkoping, Sweden, 1983.
38. Pelegri-Llopart, E., and Graham, S. L. Optimal code generation for expression trees: An application of BURS theory. In Proceedings of the 15th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, 1988, pp. 204–308.
39. Ripken, K. Formale Beschreibun von Maschinen, Implementierungen und Optimierender Maschinen-codeerzeugung aus Attributierten Programm;;raphe. Tech. Rep. TUM-INFO-7731, Institut fur Informatik, Technische Universitat Munchen, Munich, West Germany, July 1977.
40. Sethi, R. and Ullman, J. D. The generation of optimal code for arithmetic expressions. J. ACM 17, 4 (1970), 715–728.
41. Snyder, L. Recognition and selection of idioms for code optimization. Acta Inf. 17 (1982), 327–348.
42. Tjiang, S. W. K. Twig reference manual. Computing Science Tech. Rep. 120, AT&T Bell Laboratories, Murray Hill, N.J., 1985.
43. Wasilew, S. G. A compiler writing system with optimization capabilities for complex order structures. Ph.D. dissertation, Northwestern University, Evanston, III., 1972.
44. Weingart, S. W. An efficient and systematic method of compiler code generation. Ph.D. dissertation, Computer Sciences Dept., Yale University, New Haven, Com., 1973.
45. Wulf, W. A. PQCC: A machine-relative compiler technology. In Proceedings of the IEEE 4th International COMPSAC Conference. IEEE, New York, 1980, pp. 24–36.
46. Wulf, W., Leverett, B., Cattell, R., Hobbs, S., Newcomer, J., Reiner, A., and Schatz, B. An overview of the production quality compiler-compiler project. IEEE Comput. 13, 8 (Aug. 1980), 38–49.