Question

我的代码如下，我使用GCC 4.8.2：

#include <iostream>
#include <stdint.h>
#include <sys/time.h>
#include <ctime>

using namespace std;

int main(int argc, char *argv[]) {
    struct timespec time_start={0, 0},time_end={0, 0};
    uint8_t bitmap[20240];
    int cost;
    clock_gettime(CLOCK_REALTIME, &time_start);
    for (int i = 0; i < 20240; ++i) {
        bitmap[i >> 3] |= 1 << (i&7);
    }
    clock_gettime(CLOCK_REALTIME, &time_end);
    cost = time_end.tv_nsec - time_start.tv_nsec;
    cout << "case COST: " << cost << endl;
    clock_gettime(CLOCK_REALTIME, &time_start);
    for (int i = 0; i < 20240; ++i) {
        bitmap[i >> 3] &= 1 << (i&7);
    }
    clock_gettime(CLOCK_REALTIME, &time_end);
    cost = time_end.tv_nsec - time_start.tv_nsec;
    cout << "case COST: " << cost << endl;
    int a = bitmap[1];
    std::cout << "TEST: " << a << endl;

}

我用

编译

gcc -lstdc++ -std=c++11 -O2 -ftree-vectorize -ftree-vectorizer-verbose=7 -fopt-info test.cpp

我得到test.cpp:14: note: not vectorized: not enough data-refs in basic block.。

然后我运行二进制文件a.out并获得COST大于20000的值。

如果我删除std::cout << "TEST: " << a << endl;，则此代码是矢量化的，并且COST小于100。

任何人都可以帮助我。

Answer 1

在声明中

std::cout << "TEST: " << a << endl

您正在初始化涉及存储的ostream对象。您还使用std::endl，与使用\n不同。删除该语句时，不会涉及所有这些费用。

由于cout的值未在任何地方使用，编译器还优化（删除）了最后一个a之前的语句。

int a = bitmap[1];

此外，编译器对两个for循环进行了优化，因为在删除最后一个{{1}时将不使用由两个bitmap循环计算的for值}语句。而且也不需要cout数组。

您可以看到为您的代码生成的程序集，其中包含您指定的编译器版本和选项here。而且您可以清楚地看到注释和取消注释bitmap语句后会发生什么。

由于Cout，GCC 4.8.2自动向量化失败

1 个答案: