Я пытался хорошо освоить язык ассемблера x86, и мне было интересно, есть ли быстрый и короткий эквивалент movl $1, %eax. Именно тогда я подумал, что список идиом, часто используемых в языке, возможно, будет хорошей идеей.
Это может включать предпочтительное использование xorl %eax, %eax вместо movl $0, %eax или testl %eax, %eax вместо cmpl $0, %eax.
О, и, пожалуйста, размещайте по одному примеру в сообщении!
Вот еще одна интересная "идиома". Надеюсь, все знают, что деление — это большая трата времени даже по сравнению с умножением. Используя немного математики, можно умножить на обратную константу вместо того, чтобы делить на нее. Это выходит за рамки трюков shr. Например, чтобы разделить на 5:
mov eax, some_number
mov ebx, 3435973837 // 32-bit inverse of 5
mul ebx
Теперь eax был разделен на 5 без использования медленного кода операции div. Вот список полезных констант для бессовестного деления, украденных с http://blogs.msdn.com/devdev/archive/2005/12/12/502980.aspx
3 2863311531
5 3435973837
7 3067833783
9 954437177
11 3123612579
13 3303820997
15 4008636143
17 4042322161
Для чисел, которых нет в списке, вам может потребоваться выполнить сдвиг заранее (чтобы разделить на 6, shr 1, а затем умножить на обратное 3).
Использование LEA, например. умножение, например:
lea eax, [ecx+ecx*4]
для EAX = 5 * ECX
on x64:
xor eax, eax
за
xor rax, rax
(первый также неявно очищает верхнюю половину rax, но имеет меньший код операции)
Вы могли бы, а также как оптимизировать в сборке. Тогда вам придется спросить, для чего вы оптимизируете: размер или скорость? Во всяком случае, вот моя "идиома", замена xchg:
xor eax, ebx
xor ebx, eax
xor eax, ebx
Расширение моего комментария:
Для неразборчивого процессора, такого как Pentium Pro, xorl %eax, %eax кажется зависимым от %eax и поэтому должен ждать, пока значение этого регистра станет доступным. Более поздние процессоры фактически имеют дополнительную логику для распознавания этой инструкции как не имеющей никаких зависимостей.
Инструкции incl и decl устанавливают некоторые флаги, но оставляют без изменений другие. Это наихудшая ситуация, если флаги моделируются как один регистр для переупорядочивания инструкций: любая инструкция, которая считывает флаг после incl или decl, должна рассматриваться как зависящая от incl или decl (в случае, если она читает один из флагов). который устанавливает эта инструкция), а также на предыдущую инструкцию, которая устанавливает флаги (в случае, если она читает один из флагов, которые эта инструкция не устанавливает). Решением было бы разделить регистр флагов на два и рассмотреть зависимости с более мелким зерном... но у AMD была идея получше, и они полностью удалили эти инструкции из 64-битного расширения, которое они предложили несколько лет назад.
Что касается ссылок, я нашел это либо в руководствах Intel, на которые бесполезно давать ссылку, поскольку они находятся на корпоративном веб-сайте, который реорганизуется каждые шесть месяцев, либо на сайте Агнера Фога: http://www.agner.org/optimize/#manuals
На петлях...
dec ecx
cmp ecx, -1
jnz Loop
is
dec ecx
jns Loop
Быстрее и короче.
Использование SHL и SHR для умножения/деления на степень 2
y*320 = (y << 8) + (y << 6). Однако это не всегда может быть быстрее, чем простое умножение. Зависит от вашего процессора.
- person csl; 23.06.2016
Еще один (рядом с xor) для
mov eax, 0 ; B800000000h
is
sub eax, eax ; 29C0h
Обоснование: меньший код операции
Не знаю, считается ли это идиомой, но на большинстве процессоров до i7
movq xmm0, [eax]
movhps xmm0, [eax+8]
или, если доступен SSE3,
lddqu xmm0, [eax]
быстрее для чтения из невыровненной области памяти, чем
movdqu xmm0, [eax]
Самое раннее упоминание о делении на инвариантные целые числа, которое представляет собой нечто большее, чем просто обратное умножение, находится здесь: Торбьорн Гранлунд из The Королевский технологический институт в Стокгольме. Посмотрите его публикации
movl $1, %eaxдовольно быстрый и короткий. На некоторых процессорахxorl %eax, %eaxна самом деле медленнее, чемmovl $0, %eax. На другихincl %eaxмедленнее, чемaddl $1, %eax. Если вы собираетесь писать ассемблер в 2010 году, вы должны знать, для какой архитектуры вы пишете, и, следовательно, выбрать свой диалект (в соответствии с лингвистической метафорой). - person Pascal Cuoq schedule 15.04.2010incl %eaxмедленнее, чемaddl $1, %eax. Кроме того, если бы вы могли указать мне какую-либо ссылку, в которой подробно описывается такое поведение, я был бы признателен! - person susmits schedule 15.04.2010