Loop Vectorizer chooses small vectorization factor VF when known trip count isn't a multiple of larger VF.

Loop Vectorizer chooses small vectorization factor VF when known trip count isn't a multiple of larger VF. #25791