Используйте один бит в качестве маски для слова (ей) - PullRequest
Новая
       29

Используйте один бит в качестве маски для слова (ей)

0 голосов
/ 21 декабря 2018

Я пишу модуль LLVM для обработки каждой операции с памятью в программе, и часть моей логики должна выполнять очень горячую двоичную логику для указателей.

Как я могу реализовать бит? U64_value: ноль »за как можно меньшее количество циклов, желательно без использования явного перехода?У меня есть бит в младшем значащем бите регистра, а значение (предположим, u64) в другом.Если бит установлен, я хочу сохранить значение.Если бит равен нулю, я хочу обнулить регистр.

Я могу использовать инструкции BMI x86.

Ответы [ 2 ]

0 голосов
/ 22 декабря 2018

select твой друг.В основном он компилируется в cmov, но бэкэнды позаботятся об этом, даже если нет.Семантически это «если arg1 истинно, тогда arg2 иначе arg3», скорее как?: В C / C ++ / java.В C ++ API, который вы называете SelectInst::Create(yourBool, yourInputValue, ConstantInt::get(i64, 0), instructionName, currentBlock);.

, жизнь станет проще, если вы сможете придумывать значимые имена для инструкций.Сначала это не имеет значения, но по мере роста вашего кода это все больше упрощает отладку.

0 голосов
/ 21 декабря 2018

В AMD, Intel Broadwell и более поздних версиях CMOV составляет всего 1 моп, с 1 циклом задержки.Или 2 uops / 2 цикла на Haswell и ранее.Это ваша лучшая ставка для условного обнуления регистра. 

xor  r10d, r10d   # r10=0.  hoist out of loops if possible

test    al, 1           # test the low bit of RAX, setting ZF
cmovz   rax, r10        # zero RAX if the low bit was zero, otherwise unmodified

(кодировка test r64, imm8 не существует, поэтому вы хотите использовать регистр с низким значением 8, если вы тестируете маску с нулевым значением снаружи).младшие 8 бит.)

Если битовая позиция находится в регистре, bt reg, reg только 1 моп на Intel и AMD.(bts reg,reg равно 2 моп на AMD K8 через Ryzen, но обычный bt, который устанавливает CF в соответствии со значением выбранного бита, дешев на AMD и Intel.) 

bt     rax, rdx      # CF = RAX & (1<<rdx)
cmovnc rax, r10

С обоими этимипроверяемый регистр может отличаться от пункта назначения CMOV.

См. https://agner.org/optimize/ для получения дополнительной информации о производительности, а также https://stackoverflow.com/tags/x86/info

...