SSEの単純計算がわかりません

Question

inline __m128 select(__m128 v1, __m128 v2, __m128 mask)
{
    __m128 t1 = _mm_andnot_ps(mask, v1);
    __m128 t2 = _mm_and_ps(v2, mask);
    return _mm_or_ps(t1, t2);
}

例えば v1 が {0,1,2,3}、v2 が {4,5,6,7} で mask が {0, 0xffffffff, 0xffffffff, 0} の場合、この select() は {0,5,6,3} を返します。

。。。と、サイトのほうにのっていたのですが、いまいちよくわかりません。。

順を追って、回答しますと

andnot演算によって
まずmaskがＮｏｔ演算にかけられ反転（1,0,0,1）
それを、v1にＡｎｄ演算させることにより t1=1,0,0,0

t2は
v2とmaskをＡｎｄ演算させて0,1,1,0 //ここ、なぜ0×fff..がＴｒｕｅになるかわかりませんが、なんとなく。。

最後にＯｒ演算により、retun {0,0,0,1}

bit単位の演算が理解できていないのが原因だとは思うのですが、ここでいきずまってしまっています

アドバイスお願いいたします

Answer 1

ビット演算はブール代数の真理値表さえ理解していればその組み合わせだけです。

A B AND OR XOR
0 0 0 0 0
0 1 0 1 1
1 0 0 1 1
1 1 1 1 0

A NOT
0 1
1 0

数値の桁が何桁あっても、加算減算の様に1つ上の桁に繰り上がったり、1つ上の桁から借りてきたりはしないので、この表だけ理解しておけば大丈夫です。

Answer 2

こんにちは。

bit単位の演算が理解できていないのが原因だとは思うのですが

全くその通りのようですね。でも、そこさえクリアすれば大丈夫です。
ビット演算をざっと見て下さい。

さて、0xffffffffは2進数にすると32個の1が連なっています。
処理系のビット数は32ビットと思われますので、0は2進数にすると32個の0が連なっています。
32個の0が連なっている2進数のnotは、32個の1が連なった2進数です。
逆も同様です。

そして、32ビットまでの整数を32個の1が連なった2進数をandした結果は、元の整数の値のままです。
32ビットまでの整数を32個の0が連なった2進数をandした結果は、全てのビットが0になりますので0です。

orについても同様に考えるとよいです。x OR 0 = xですし、x OR 0xffffffff = 0xffffffffです。

---

andnot演算によって
まずmaskがＮｏｔ演算にかけられ反転（0xffffffff,0,0,0xffffffff)

それを、v1にＡｎｄ演算させることにより t1=0,0,0,3

t2は v2とmaskをＡｎｄ演算させて0,5,6,0

最後にＯｒ演算により、retun {0,5,6,3}

---