Why does 1-bit predictor miss on first iteration of inner loop next time around?
A mispredict occurs when the a descision is not the same as the previous decision (at that particular statement).

For the anaysis only the intter loop (contr9lled by the first BEQ) is relevant.

The inner loop ends with a 'BEQ inner' not taken.


The inner loop starts with a 'BEQ inner' taken. That's different from the previous decision, hence a mispredict.
(as noted above) The inner loop ends with a 'BEQ inner' not taken. That's different from the previous decsision, hence a mispredict.