Вы правы, что нет никакого прямого способа получить маску вы действительно хотите, только перевернутая маска : A gt B = A nle B.
Нет инструкции vector-NOT, поэтому вам нужен вектор all-ones, а также дополнительная инструкция для инвертирования вектора. (Или вектор all-zero и _mm256_cmpeq_epi8, но который не может работать на таком количестве портов выполнения, как _mm256_xor_si256 с вектором all-ones.) См. Wiki темы x86 для информации о производительности, особенно. Руководство Agner Fog.
Другая побитовая логическая опция, _mm256_andn_si256 так же хороша, как и xor. Это не коммутативно, а немного сложнее мысленно проверить, что вы поняли это правильно. xor-with-all-ones - хорошая идиома для flip-all-the-bits.
Вместо того, чтобы тратить инструкции инвертирования маски, в основном коде можно просто использовать его в обратном направлении.
например. если это входной сигнал в blendv, то измените порядок операндов на смесь. Вместо
_mm256_blendv_epi8(a, b, A_le_B_mask), используйте
_mm256_blendv_epi8(b, a, A_nle_B_mask)
Если вы собираетесь что-то _mm_and с маской, используйте _mm_andn вместо этого.
Если вы собираетесь на _mm_movemask и протестировать все ноль, вы можете вместо этого проверить все-единицы.Он будет скомпилирован с инструкцией cmp eax, -1 вместо test eax,eax, что так же эффективно. Если вы собираетесь бить бит для первого 1, вам придется инвертировать его. Целая команда not (от использования ~ по результату movemask) дешевле, чем делать это на векторе.
У вас есть только проблема, если вы собираетесь OR или XOR, потому что те инструкции не приходят в ароматах, опровергающих один из своих входов. (ИКА, если Intel просто не хочет, чтобы добавить PORN мнемоническими, но, вероятно, PAND и PANDN получить больше пользы, особенно перед теми инструкциями переменной бленды.
Я не уверен, если есть умнее (более эффективный) способ делать это, поскольку ненужный «0xF..F» беспокоит меня –
Вы проверили, какой хороший компилятор сделает для этого? gcc генерирует маску all-ones для «а не», сравнивая временный регистр для равенства с (всегда сравнивает значение true), поэтому вам не нужно сохранять это как константу, и, согласно анализу Агнера Фога, инструкция распознается как независимая от предыдущего значения регистра, поэтому вы можете быстро сгенерировать маску и не нужно держать его вокруг, теряя регистрацию. – EOF