This exact 2-bit saturating counter was proposed by James E. Smith in 1981 and, in refined forms like gshare and tournament predictors, has been standard in every commercial superscalar CPU since the Pentium Pro. Agner Fog's widely used microarchitecture optimization manuals document exactly this kind of predictor behavior for real Intel and AMD chips, since understanding it is essential for writing branch-friendly hot loops.