bound check elimination exists separately, PGO can help unveil more opportunities for BCE.