求助：AVX2浮点intrinsic按掩码选值逻辑错误，结果不符预期

你当前的AVX2实现存在两个核心问题，导致结果不符合预期：

1. 位操作指令的参数顺序错误 #

_mm256_andnot_ps的语义是对第一个操作数按位取反，再与第二个操作数按位与，即~a & b。你原本的代码把Val1作为第一个参数，得到的是~Val1 & Mask，这完全偏离了"保留Mask为0位置的Val1元素"的需求。正确的参数顺序应该是把Mask放在第一个位置，Val1放在第二个位置。

2. 掩码的格式错误 #

AVX2浮点向量的每个元素是32位浮点数，掩码的每个元素需要是全0（0x00000000）或全1（0xFFFFFFFF）。你用单字节0xff作为掩码元素，剩余24位都是0，和浮点数按位与后会破坏浮点数的符号位、指数位结构，导致结果数值完全错误。

修正后的实现 #

方案一：修正位操作逻辑 #

调整参数顺序，并使用正确的32位掩码：

#include <immintrin.h>

int main() {
    // 构造符合要求的掩码：第一个元素全0，后三个全1（对应示例需求）
    __m256 Mask = _mm256_setr_ps(0x00000000, 0xFFFFFFFF, 0xFFFFFFFF, 0xFFFFFFFF);
    __m256 Val1 = _mm256_setr_ps(5.3f, 0.0f, 0.0f, 0.0f);
    __m256 Val2 = _mm256_setr_ps(0.0f, 1.1f, 2.2f, 3.3f);

    __m256 Tmp1 = _mm256_andnot_ps(Mask, Val1); // ~Mask & Val1：保留Mask为0的位置的Val1元素
    __m256 Tmp2 = _mm256_and_ps(Val2, Mask);   // Val2 & Mask：保留Mask为1的位置的Val2元素
    __m256 Out = _mm256_or_ps(Tmp1, Tmp2);     // 合并结果

    // 输出验证
    float res[8]; // AVX2的__m256包含8个32位浮点数，这里只用到前4个
    _mm256_storeu_ps(res, Out);
    return 0;
}

方案二：使用专用混合指令（更推荐） #

AVX2提供了_mm256_blendv_ps指令，专门用于根据掩码选择两个向量的元素，逻辑更直观，性能与位操作等价：

#include <immintrin.h>

int main() {
    // 掩码元素为0.0f（全0）时选Val1，为-1.0f（全1，符号位为1）时选Val2
    __m256 Mask = _mm256_setr_ps(0.0f, -1.0f, -1.0f, -1.0f);
    __m256 Val1 = _mm256_setr_ps(5.3f, 0.0f, 0.0f, 0.0f);
    __m256 Val2 = _mm256_setr_ps(0.0f, 1.1f, 2.2f, 3.3f);

    __m256 Out = _mm256_blendv_ps(Val1, Val2, Mask);

    float res[8];
    _mm256_storeu_ps(res, Out);
    return 0;
}

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