Ask HN: What are some of the advanced branch predictors?

How are they performing on the new programming patterns and how is it measured?

Is it okay to add a lot of checks/invariants inside the code?