Question

I have profiled for, while and do-while loops with something simple:

while ($var < 1000000) {
  ++$var;
}

do {
  ++$var;
} while ($var < 1000000);

for ($var = 0; $var < 1000000; ++$var) {
  //do nothing
}

by comparing microtime() before and after the loops.

The do-while loop is by a considerable amount the fastest loop. do-while is actually faster than while by almost half. I know that they are for different purposes ( while checks the condition before the loop executes and do-while executes at least once ).

I know the general consensus is that while loops are frowned upon and do-while even more so.

My question is why? Considering how many for loops are used in PHP applications, shouldn’t do-while be used more? Even with an if statement to check a condition before the loop executes, the performance boost is considerable.

My currently accepted answer is that code legibility is the suspect.

10 year Edit:
10 years ago, I was asked this question at a job interview. I went into the interview with the incorrect perception that while loops were frowned upon. I learned this from my previous job where while loops were not allowed in code, as per instruction from my superior.

The interview had gone well with management, then I was handed over to the lead programmer, he asked me what the fastest loop in PHP was, which I got incorrect and I did not get the job, this is why I asked the question on SO.

10 years of experience has taught me a lot.

1. while loops are fine (its ludicrous to think I was taught otherwise)
2. Micro-optimizations are truly evil (profile code, focus on bottle necks)
3. in 10 years, I have never re-written a loop for speed. I have however rewritten the logic inside the loop which was always the true bottleneck.
4. There is a lot of strongly held but largely incorrect opinions in the programming field. Stay the course, read up, experiment and question, be open to learning from better programmers and dont be afraid to be wrong.

Answer 1

1. Micro optimizations are evil. They reduce readability for no measurable performance gain. Even if your application does have loops with millions of iterators (which I doubt) the difference is still negligible.
2. The difference between while / do while is smaller than you say: http://codepad.viper-7.com/M8cgt9

3. To understand why do while is marginally faster, look at the generated opcodes:

   line     # *  op                           fetch          ext  return  operands
   ---------------------------------------------------------------------------------
   # while loop
      3     0  >   ASSIGN                                                   !0, 0
      4     1  >   IS_SMALLER                                       ~1      !0, 1000000
            2    > JMPZ                                                     ~1, ->5
            3  >   PRE_INC                                                  !0
            4    > JMP                                                      ->1
            5  > > RETURN                                                   1
   # do while loop
      3     0  >   ASSIGN                                                   !0, 0
      4     1  >   PRE_INC                                                  !0
            2      IS_SMALLER                                       ~2      !0, 1000000
            3    > JMPNZ                                                    ~2, ->1
      4        > > RETURN                                                   1
   # for loop
      3     0  >   ASSIGN                                                   !0, 0
            1  >   IS_SMALLER                                       ~1      !0, 1000000
            2    > JMPZNZ                                        5          ~1, ->6
            3  >   PRE_INC                                                  !0
            4    > JMP                                                      ->1
            5  > > JMP                                                      ->3
            6  > > RETURN                                                   1
   

   The do while loop only has one jump statement (JMPNZ), whereas the while loop needs two (JMPZ, JMP). The for loop needs three jump statements (JMPZNZ, JMP, JMP) and has generally more complex logic.