c++ - ほぼ同じコードに対してベクトル化の動作が異なるのはなぜですか?

Question

同じことを行う無料の関数を次に示しますが、最初のケースではループはベクトル化されませんが、他のケースではベクトル化されます。何故ですか？

#include <vector>

typedef std::vector<double> Vec;

void update(Vec& a, const Vec& b, double gamma) {
    const size_t K = a.size();
    for (size_t i = 0; i < K; ++i) { // not vectorized
        a[i] = b[i] * gamma - a[i];
    }
}

void update2(Vec& a, const Vec& b, double gamma) {
    for (size_t i = 0; i < a.size(); ++i) { // vectorized
        a[i] = b[i] * gamma - a[i];
    }
}

void update3(Vec& a, size_t K, const Vec& b, double gamma) {
    for (size_t i = 0; i < K; ++i) { // vectorized
        a[i] = b[i] * gamma - a[i];
    }
}

int main(int argc, const char* argv[]) {
    Vec a(argc), b;
    update(a, b, 0.5);
    update2(a, b, 0.5);
    update3(a, a.size(), b, 0.5);
    return 0;
}

コンパイラからの関連メッセージ (VS2013):

1>  c:\home\dima\trws\trw_s-v1.3\trws\test\vector.cpp(7) : info C5002: loop not vectorized due to reason '1200'
1>  c:\home\dima\trws\trw_s-v1.3\trws\test\vector.cpp(13) : info C5001: loop vectorized
1>  c:\home\dima\trws\trw_s-v1.3\trws\test\vector.cpp(19) : info C5001: loop vectorized

@tony のコメントより

理由 1200: 「ループには、ベクトル化を妨げるループ搬送データ依存が含まれています。ループの異なる反復が互いに干渉し、ループをベクトル化すると間違った結果が生成され、自動ベクトライザーはそのようなデータ依存がないことを証明できません。 ." ソース