Почему xor esi, esi вместо mov esi, 0?

[Cuprum5]

Почему везде используется

xor esi, esi

вместо

mov esi, 0

?
Этому есть какое-то рациональное объяснение?

[Pavia]

Ксор быстрее исполняется.

[waleri]

Сообщение от Pavia

Ксор быстрее исполняется.

Сомневаюсь... а вот опкод короче а это важно...

[Mikl___]

1. sub esi,esi
2. and esi,0
3. imul esi,0
4. shr esi,32

21 СПОСОБ ОБНУЛИТЬ РЕГИСТР

[Pavia]

Сообщение от waleri

Сомневаюсь... а вот опкод короче а это важно...

40 лет назад когда 8086 ещё не было архитектура процессоров была такова. Что читался опкод и если там был признак IMM, то читалось число. Соответственно получалось что для ксора 1 так уходил на декодирование и 1 на исполнение всего 2 такта. А присвоения выполнение занимало 3 такта.
Так продолжалось до конца 80-тых годов когда в процессоры стали встраивать блок переупорядочение команд(вне очередное исполнение).
Из-за того что MOV ESI,0 влияет на регистр флагов она не может упорядочиться. По сути она состояла из двух микро команд, против ксора который имел одну микро команду. Так было в Pentium 1. Потом инженеры почасали репу подумали и отменили у половины команд половину флагов. По скорости команды сравнялись. PII. Ввели в "порт" загрузки/выгрузки распознавание MOV,0 как XOR.

Но опкод то короче! Поэтому за счёт того что циклы с ксором корое они лучше влазят в кэш. Отсутствую кэш промахи. И предсказатель ветвления лучше работает на малых циклах. Так что ксор продолжал лидировать по скорости.

И вот пару лети назад ввели возможность исполнение коротких циклов прямо через кэш мопсов. Тогда эти операции окончательно сравнялись по скорости. Но маркетологи специально делают процессоры с худшими характеристиками и продают их дешевле. Так что это ещё не в каждом процессоре есть.

На заметку если не путаю в AMD-64 для регистров XOR RAX, RAX длина опкода с ксором длиннее чем присвоения.

Подробнее можно прочитать в architectures-optimization-manual.pdf, правда там уже давно исключены ряд старых архитектур. Но можно найти старые версии этого документа, если есть желания.
https://www.intel.com/content/dam/ww...ion-manual.pdf

[Mikl___]

Привет, Pavia
специально собрал программку

xor rbx,rbx   |4833DB
mov rbx,0     |48C7C300000000
and rbx,0     |4883e300
and ebx,0     |83e300
xor ebx,ebx   |33DB
movabs rbx,0  |48BB0000000000000000

в случае с обнулением 64-разрядных регистров достаточно обнулить младшие 32-разряда и 32-старших обнуляются целиком

[Cuprum5]

Сообщение от Pavia

xor быстрее исполняется.

- какое доказательство? Только из-за того в move одни нули, если там, к примеру, идет число 1 в качестве 2-ого операнда? Наберусь смелости и попробую оспорить тот факт, что эти команды выполняются с одинаковой скоростью, команда mov занимает больше памяти, но я хочу поспорить и утверждаю, что они обе(mov и xor) выполнятся одновременно за 1 такт. Попробуйте оспорить обратное. Учтите, что процессор современный, т.к. динозаврические процессоры уже не применяются давным-давно.

[Mikl___]

Cuprum5,
что-то я не пойму

Сообщение от Cuprum5

Почему xor esi, esi вместо mov esi, 0?

Pavia пытается объяснить, и тут вдруг

Сообщение от Cuprum5

- какое доказательство? Только из-за того в move одни нули, если там, к примеру, идет число 1 в качестве 2-ого операнда? Наберусь смелости и попробую оспорить тот факт, что эти команды выполняются с одинаковой скоростью, команда mov занимает больше памяти, но я хочу поспорить и утверждаю, что они обе(mov и xor) выполнятся одновременно за 1 такт. Попробуйте оспорить обратное. Учтите, что процессор современный, т.к. динозаврические процессоры уже не применяются давным-давно.

То есть объяснение и не требовалось? С чего такое хамство? Есть какое-то другое объяснение? Cuprum5 что-то скрывает от нас? Для чего задавать вопрос, если ответ известен?

[7in]

Сообщение от Pavia

Из-за того что MOV ESI,0 влияет на регистр флагов она не может упорядочиться. По сути она состояла из двух микро команд, против ксора который имел одну микро команду. Так было в Pentium 1. Потом инженеры почасали репу подумали и отменили у половины команд половину флагов.

Что-то я не понял, о чём ты?
Когда это mov влиял на флаги?
И в каких командах, начиная с Pentium'а отменились флаги?