Functional tests on vectorization of loops with control flow.