升级后内环性能下降的原因是什么？

问：

我有一个手卷矩阵算法，它找到方形矩阵右下平方的最大数量（因此在迭代时，某些部分被“跳过”） - 存储为密集矩阵。从 vs2010 更新到 vs2017 后，它似乎要慢得多——总体上放缓了大约 50%。经过一番调查，它被定位到一个函数的内循环，找到绝对最大值。查看汇编程序输出，这似乎是由于在紧密循环中插入了一些额外的 mov 指令。以不同的方式重新设计循环似乎可以解决或部分解决问题。相比之下，海湾合作委员会似乎没有这个“问题”。

简化示例（并不总是需要重现）：fabs

#include <cmath>
#include <iostream>

int f_slow(double *A, size_t from, size_t w)
{
    double biga_absval = *A;
    size_t ir = 0,ic=0;
    for ( size_t j = 0; j < w; j++ ) {
      size_t n = j*w;
      for ( ; n < j*w+w; n++ ) {
        if ( fabs(A[n]) <= biga_absval ) {
          biga_absval = fabs( A[n] );
          ir   = j;
          ic   = n;
        }
        n++;
      }
    }

    std::cout << ir <<ic;
    return 0;
}

int f_fast(double *A, size_t from, size_t w)
{
    double* biga = A;
    double biga_absval = *biga;

    double* n_begin = A + from;
    double* n_end = A + w;
    for (double* A_n = n_begin; A_n < n_end; ++A_n) {
      if (fabs(*A_n) > biga_absval) {
        biga_absval = fabs(*A_n);
        biga = A_n;
      }
    }

    std::cout << biga;
    return 0;
}

int f_faster(double *A, size_t from, size_t w)
{
    double biga_absval = *A;
    size_t ir = 0,ic=0;
    for ( size_t j = 0; j < w; j++ ) {
      size_t n = j;
      for ( ; n < j*w+w; n++ ) {
        if ( fabs(A[n]) > biga_absval ) {
          biga_absval = fabs( A[n] );
          ir   = j;
          ic   = n - j*w;
        }
        n++;
      }
    }

    std::cout << ir <<ic;
    return 0;
}

请注意：创建示例只是为了查看输出（索引等不一定有意义）：

https://godbolt.org/z/q9rWwi

所以我的问题是：这只是一个（已知的？）优化器错误（？），或者在这种情况下，这似乎是一个明显的优化失误背后有什么逻辑吗？

使用最新的稳定版 vs2017 15.9.5

更新：我看到的额外 movs 在跳转代码之前 - 在编译器资源管理器中找到的最简单方法是右键单击，然后“滚动到”。if