They don't optimize to:

  cmp r0, #0
  beq exit