Sciweavers

RTAS
1998
IEEE

Bounding Loop Iterations for Timing Analysis

13 years 6 months ago
Bounding Loop Iterations for Timing Analysis
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. This paper describes three complementary methods to support timing analysis by bounding the number of loop iterations. First, an algorithm is presented that determines the minimum and maximum number of iterations of loops with multiple exits. Second, the loopinvariant variables on which the number of loop iterations depends are identified for which the user can provide minimum and maximum values. Finally, a method is given to tightly predict the execution time of loops whose number of iterations is dependent on counter variables of outer level loops. These methods have been successfully integrated in an existing timing analyzer that predicts the performance for optimized code on a machine that exploits caching and pipelining. The result is tighter timing analysis predictions and less work for the user.
Christopher A. Healy, Mikael Sjödin, Viresh R
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where RTAS
Authors Christopher A. Healy, Mikael Sjödin, Viresh Rustagi, David B. Whalley
Comments (0)