如何让GCC对字符匹配代码实现SIMD自动向量化？或是否为其固有局限？

好问题！这其实不是GCC的固有局限——只是它的自动向量化启发式规则和Clang不太一样，我们可以通过调整代码写法或者添加简单的编译器提示，引导GCC生成你想要的SIMD指令。

为什么原代码GCC没生成SIMD？ #

你的原代码是两个独立的8次迭代小循环，每次循环里做单个字符对比再累或。GCC的自动向量化对这种极小循环的判断比较保守，它可能没识别出这是可以批量处理的向量操作场景；而Clang的启发式规则更激进，会主动把这类小循环转换成SIMD指令。

调整方案 #

这里有几种可行的方法，兼顾可移植性和性能：

1. 调整代码结构，强化批量操作特征

把两个小循环合并成一个处理16个字符的循环，用数组暂存对比结果后再做累或。这样GCC更容易识别出批量对比的模式：

static const char find1[] = { '"','"','"','"','"','"','"','"', '\'','\'', '\'','\'', '\'','\'' };

int match8(char *tpl) {
    int matches[16];
    // 批量对比16个字符
    for (int at = 0; at < 16; at++) {
        matches[at] = (tpl[at] == find1[at]);
    }
    // 合并结果
    int r = 0;
    for (int at = 0; at < 16; at++) {
        r |= matches[at];
    }
    return r;
}

GCC在-O3优化下，会把第一个循环编译成SIMD的逐字节对比指令，第二个循环也会用向量操作快速合并结果。

2. 添加编译器提示消除依赖疑虑

如果不想改代码结构，可以在循环前添加#pragma GCC ivdep，告诉编译器循环迭代之间没有数据依赖，帮它放下顾虑进行向量化：

static const char find1[] = { '"','"','"','"','"','"','"','"', '\'','\'', '\'','\'', '\'','\'' };

int match8(char *tpl) {
    int r = 0;
    #pragma GCC ivdep
    for (int at = 0; at < 8; at++) {
        r |= (tpl[at] == find1[at]);
    }
    #pragma GCC ivdep
    for (int at = 0; at < 8; at++) {
        r |= (tpl[at] == find1[at + 8]);
    }
    return r;
}

这个提示会让GCC更愿意对这两个小循环进行向量化，生成SIMD指令。

3. 显式使用SIMD内在函数（性能最优，可移植性稍差）

如果你的代码主要针对x86平台，可以直接用SSE/AVX内在函数强制生成SIMD代码，完全不用依赖编译器的自动向量化：

#include <immintrin.h>

static const char find1[] = { '"','"','"','"','"','"','"','"', '\'','\'', '\'','\'', '\'','\'' };

int match8(char *tpl) {
    // 加载16字节的目标字符串和匹配模板
    __m128i tpl_vec = _mm_loadu_si128((const __m128i*)tpl);
    __m128i find_vec = _mm_loadu_si128((const __m128i*)find1);
    // 逐字节对比，匹配的位置会被设为0xff，否则为0
    __m128i cmp_result = _mm_cmpeq_epi8(tpl_vec, find_vec);
    // 把对比结果转换成掩码，只要有一个匹配就返回非0
    return _mm_movemask_epi8(cmp_result) != 0;
}

这种写法性能最高，但只能在支持SSE2及以上的x86平台编译运行。

总结 #

GCC完全有能力生成SIMD指令，只是需要更明确的代码模式或者编译器提示来触发它的自动向量化逻辑。上面的几种方案可以根据你的可移植性需求来选择。

内容的提问来源于stack exchange，提问作者aep