An improvement on parameter recovery technique supporting software pipelining optimization

Software pipelining is a well-known loop optimization technique, which can be very effective in exploiting instruction level parallelism by overlapping the execution of several consecutive iterations. However, it also profoundly restructures the low level code of programs and complicates the task of software systems that statically analyze or modify executable programs, e.g., reverse engineering systems, static binary translators. One problem we encountered in static binary translation was that using traditional parameter recovery technology brings in incorrect recovery in terms of binary code optimized by software pipelining due to the presence of register rotation. In order to solve this problem we present an improved parameter recovery algorithm. This algorithm has been implemented in our static binary translator and the experimental results are satisfactory.