Почему ХОR работает медленно?

[Иллидан]

В люобой книге написано, что самый быстрый способ поменять значения a и b это с помощью Хоr. Tо есть так:
a:=a xor b;
b:=a xor b;
a:=a xor b;
Но на моем ТP, этот код почему-то работает медленее, чем с введением дополнительной переменной?!

[Ulex]

Наверное так:
Если менять ч/з дополнительную переменную temp, то компилятор
сделает это скорее всего так -
mov eax, [a] -1 такт
mov [temp], eax -1 такт
mov eax, [b] -1 такт
mov [a], eax -1 такт
mov eax, [temp] -1 такт
mov [b], eax -1 такт

- всего 6 тактов

А если ч/з XOR то можно предположить что так -

mov eax, [a] -1 такт
xor eax, [b] -2 такта
mov [a], eax -1 такт

mov eax, [a] -1 такт
xor eax, [b] -2 такта
mov [b], eax -1 такт

mov eax, [a] -1 такт
xor eax, [b] -2 такта
mov [a], eax -1 такт
- всего 12 тактов (т.е. в два раза медленнее)

Насчёт - xor eax, [b] -2 такта - это на .486

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

[Иллидан]

Ulex, получается, что хor работает быстрее только на ассемблере?

[Somebody]

В Delphi есть более-менее нормальная (хотя и не всегда) оптимизация. А TP - это 16-битный код в 32-битной системе на 32-битном процессоре, неизвестно, что и ждать. Что-то тут все так просто считают такты... процессор - устройство сложное.

mov [a], eax
mov eax, [a]

Delphi иногда реально так делает ((
Что по основному вопросу - не видел книг, где написано, что xor - самый быстрый способ.
P.S. На C вообще красиво a^=b^=a^=b.

[Иллидан]

Проверил на 32-разрядном FPC. C Xor работает примерно два раза медленее.

Что по основному вопросу - не видел книг, где написано, что xor - самый быстрый способ.

Ну, например, возьмем того же самого Калашникова.

[Ulex]

получается, что хor работает быстрее только на ассемблере?

Я бы сказал на ассемблере он работает так как этого хочу я (программист), а на любом высокоуровневом компиляторе он будет работать так как этого хотят разработчики компилятора (с небольшими поправками под вкл\выкл оптимизацию).

Так а всё-таки дизассемблить, хотя бы ради любопытства