Code compaction of matching single-entry multiple-exit regions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2694, Issue , 2003, Pages 401-417

  Chen, Wen Ke ^a   Li, Bengu ^a   Gupta, Rajiv ^a  

^a University of Arizona   (United States)

Author keywords

Code compaction; Control flow signature; Predicated execution; Single entry multiple exit regions

Indexed keywords

COMPACTION; DATA FLOW ANALYSIS; EMBEDDED SYSTEMS; FLOW GRAPHS; GRAPHIC METHODS; STATIC ANALYSIS;

CODE COMPACTION; CONTROL FLOW GRAPHS; CONTROL FLOWS; EMBEDDED APPLICATION; GENERALIZED ALGORITHMS; PREDICATED EXECUTION; SINGLE ENTRY; SUBSTANTIAL REDUCTION;

CODES (SYMBOLS);

EID: 35248872493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44898-5_23     Document Type: Article

References (17)

1. K. Cooper and N. McIntosh, "Enhanced Code Compression for Embedded RISC Processors," SIGPLAN Conference on Programming Language Design and Implementation (PLDI), May 1999.
2. S. Debray, W. Evans, R. Muth, and B. De Sutter, "Compiler Techniques for Code Compaction," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 22, no. 2, pages 378-415, March 2000.
3. S. Debray and W. Evans, "Profile-Guided Code Compression," SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 95-105, June 2002.
4. B. De Sutter, B. De Bus and K. De Bosschere, "Sifting out the Mud: low level C++ Code Reuse," SIGPLAN Conference on Object-Oriented Programming Systerns, Languages and Applications (OOPSLA), pages 275-291, Seattle, Wanshington, November 2002.
5. J. Ferrante, K.J. Ottenstein, and J.D. Warren, "The Program Dependence Graph and Its Use in Optimization," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 9, no. 3, pages 319-349, 1987.
6. C. Fraser, "An Instruction for Direct Intepretation of LZ77-compressed Programs," Technical Report, Microsoft Research, MSR-TR-2002-90, September 2002.
7. C. Fraser, E. Myers, and A. Wendt, "Analyzing and Compressing Assembly Code," ACM SIGPLAN Symposium on Compiler Construction (CC), 1984.
8. M.R. Guthaus, J.S. Ringenberg, D. Ernst, T.M. Austin, T. Mudge, R.B. Brown, "MiBench: A Free, Commercially Representative Embedded Benchmark Suite," IEEE 4th Annual Workshop on Workload Characterization (WWC), Austin, TX, December 2001.
9. R. Johnson, D. Pearson, and K. Pingali, "The Program Structure Tree: Computing Control Regions in Linear Time," SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 171-185, 1994.
10. D. Kirovski, J. Kin, and W. H. Mangione-Smith, "Procedure Based Program Compression," 30th Annual ACM/IEEE International Symposium on Microarchitecture (MICRO), pages 204-217, 1997.
11. R. Komondoor and S. Horwitz, "Using Slicing to Identify Duplication in Source Code," International Static Analysis Symposium (SAS), pages 40-56, Paris, France, July 2001.
12. J. Krinke, "Identifying Similar Code with Program Dependence Graphs," Working Conference on Reverse Engineering (WCRE), pages 301-309, Stuttgart, Germany, October 2001.
13. A. Krishnaswamy and R. Gupta, "Profile Guided Selection of ARM and Thumb Instructions," ACM SIGPLAN Joint Conference on Languages Compilers and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES/SCOPES), pages 55-63, Berlin, Germany, June 2002.
14. C. Lee, M. Potkonjak, and W.H. Mangione-Smith, "Mediabench: A Tool for Evaluating and Synthesizing Multimedia and Communications Systems," IEEE/ACM International Symposium on Microarchitecture (MICRO), Research Triangle Park, North Carolina, December 1997.
15. C. Lefurgy, P. Bird, I.-C. Chen, and T. Mudge, "Improving Code Density Using Compression Techniques," 30th Annual ACM/IEEE International Symposium on Microarchitecture (MICRO), pages 194-203, 1997.
16. W. Wulf, R. Johnson, C. Weinstock, S. Hobbs, and C. Geschke, "The Design of an Optimizing Compiler," American Elsevier, New York, 1975.
17. M. Zastre, "Compacting Object Code via Parameterized Procedural Abstraction," MS Thesis, University of Victoria, 1995.