Zdenek Dvorak <[EMAIL PROTECTED]> wrote on 30/06/2007 10:52:32: > Hello, > > > It doesn't seem that the number of iterations analysis from loop-iv.c deals > > with EQ closing branches. > > loop-iv works just fine for EQ closing branches. >
Thanks for the clarification (I didn't see EQ in iv_number_of_iterations's switch (cond)). In that case, sms should definitely try to use it. Ayal. > Zdenek > > > One option is for sms to use > > doloop_condition_get/loop-iv analysis in their current form, and if failed > > check (on our own) for reversed doloop patterns. Another is to try and > > reverse the closing branch before calling doloop_condition_get/loop-iv > > analysis; any suitable branch reversal facility available? > > > > Ayal.
