Почему GCC не является аутографизированием этого кода, если я не указал какую -либо из возможных моделей затрат? ⇐ C++

[Anonymous]

У меня есть небольшой минимальный алгоритм выборки (пожалуйста, игнорируйте, если сам алгоритм не имеет смысла и может быть изменен, чтобы быть другим, это просто надуманная образец, чтобы продемонстрировать то, что я вижу).
Когда я составляю его в любом недавнем GCC с соответствующими флагами, он не является автоеккторизацией (https://godbolt.org/z/kvhkp9bse).
Если я добавлю какие -либо из:
-fvect-cost-model=dynamic -fvect-cost-model = cheap -fvect-cost-model = очень дешевый -fvect-cost-model = Unlimited
Тогда это делает векторизацию, но это не имеет смысла для меня, потому что -fvect-cost-model = dynamic -это значение по умолчанию, которое уже следует подразумеваться, поэтому я не понимаю, почему настройки, которые что-то изменит . < /p>
Почему этот аутография без этого флага и почему этот флаг меняет? Пожалуйста, помогите мне понять!-std=c++20 -O3 -fopt-info-all-vec -ffast-math -march=core-avx2
< /code>
Алгоритм: < /p>
void foo(const size_t n, float * __restrict__ a, float * __restrict__ b, float * __restrict__ c)
{
float total=0.0f;
float sum=0.0f;
float max=0.0f;
size_t count=0;

for (size_t i = 0; i < n; ++i) {
float temp = *b;
const bool not_zero = temp != 0.0;
if (i % 4 == 0) {
sum += *b * not_zero;
count += not_zero;
}
max = std::max(temp, max);
*b = temp * *c;
total += *b;
*a *= *b;
a += 1;
b += 1;
c += 1;
}

std::cout

Подробнее здесь: https://stackoverflow.com/questions/794 ... y-of-the-p