does profile guided optimisation reduce these checks?

Insofar as PGO helps inlining.

I have hunch PGO does detect when bound check can be eliminated.

	▲	delamon 2 days ago \| parent \| next [-]
		How so? PGO might indicate that most of the time arguments are in bounds, but that's not enough. It has to be a proof with 100% certainty before bound checks can be removed
	▲	porridgeraisin 2 days ago \| parent \| prev [-]
		bound check elimination exists separately, PGO can help unveil more opportunities for BCE.