/* { dg-do run } */
/* { dg-options "-O2" } */
extern void exit (int);
unsigned global_iters=0;

void bi_reverse(int len)
{
    do {
	global_iters++;
    } while (--len > 0);
}

int main()
{
  bi_reverse(5);
  if (global_iters != 5)
    exit (1);
  return 0;
}