Extended Description

t3025 and t1519 from http://llvm.org/bugs/show_bug.cgi?id=16431#c22 are misoptimized.

As described in
http://llvm.org/bugs/show_bug.cgi?id=16431#c23

"The diff tests are vectorizer bugs (look like the same bug): t3025 and t1519. They disappear with -fno-vectorize.

Furthermore,

it seems to be the loops:

for (k1 = 54; k1 > 2; k1--) {
    gp += gp - ((++n) + k1);

    // Test Loop Vectorization
    for (ju = 1; ju < 1; ++ju) {
        d5[ju] = ff[k1][k1];
    }

}

and

for (k = 2; k < 61; ++k) {
    n += n - ((f + k7) + (nf++));
    xs5[k] = 13 + 5;
    xs5[k] += nt7--;
}

We should not be vectorizing them. “gp” and “n” are not reductions. But we seem to :(."