Zdenek Dvorak <[EMAIL PROTECTED]> wrote on 30/06/2007 20:36:12: > 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)). > > that is because we canonicalize the condition before that to a NE > condition. >
Ah, I see now that check_simple_exit does this reversal right before calling iv_number_of_iterations. This is the desired >any suitable branch reversal facility available? so sms should definitely try to use get_simple_loop_desc instead of doloop_condition_get. Thanks, Ayal.
