I'd go with do { } while($condition); since the other two violate some of my own pet peeves. I don't like invariants in place of conditions-- too easy for me to miss let alone the poor fool who is maintaining my code. If I need a GOTO fix, I'll code in assembler. Besides the first construct has fewer semantic elements to screw up!

–hsm