The core elements of a PMU are ACS (Add-Compare-Select) units.
Since branch metrics are always \ge 0, there must be an additional circuit preventing metric counters from overflow (it isn't shown on the image).