Comments by "Vitaly L" (@vitalyl1327) on "Computerphile" channel.

  1.  @KydEv  I mean, when all heuristis fail, when the branch is new to the CPU, it considers it taken. So all conpilers optimise with this assumption - less frequent branches such as loop exits must be negative rather than posutive or must follow a positive back edge branch.
    3
  2. By convention, every branch must be considered most likely taken. If you optimise with this in mind, most CPUs would treat your code as you expected.
    1