|Title: Use of a Bit-true Data Flow Analysis for Processor-Specific Source Code Optimization. <em>In Proceedings of the 4th IEEE Workshop on Embedded Systems for Real-Time Multimedia (ESTIMedia)</em>|
|Written by: Heiko Falk, Jens Wagner and André Schaefer|
|in: October (2006).|
|on pages: 133-138|
|Address: Seoul / South Korea|
|how published: 06-15 FWS06 ESTIMedia|
Note: hfalk, ESD
Abstract: Nowadays, key characteristics of a processor's instruction set are only exploited in high-level languages by using inline assembly or compiler intrinsics. Inserting intrinsics into the source code is up to the programmer, since only few automatic approaches exist. Additionally, these approaches base on simple code pattern matching strategies.<br /> This paper presents techniques for processor-specific code analysis and optimization at the source-level. It is shown how a bit-true data flow analysis is made applicable for source code analysis for the TI C6x DSPs for the very first time. Based on this bit-true analysis, fully automated optimizations superior to conventional pattern matching techniques are presented which optimize saturated arithmetic, reduce bitwidths of variables and exploit SIMD data processing within source codes. The application of our implemented algorithms to complex real-life codes leads to speed-ups between 33% - 48% for the optimization of saturated arithmetic, and up to 16% after SIMD optimization.