Tu utilises quelle version de GCC ?
Parce que moi dans mes benchs de fonction, en général, je fais un for(i=... ; i-- ; ) et ça me génère un code correct, il me semble...