Branches **MUST** exit at the first failure point, for
exactly the same reasons for which it is mandatory in
programming languages doing early-exit: to avoid
-damaging side-effects. Speculative testing of Contition
+damaging side-effects. Speculative testing of Condition
Register Fields is permitted, as is speculative updating
of CTR, as long as, as usual in any Out-of-Order microarchitecture,
that speculative testing is cancelled should an early-exit occur.*