[Bargest]

Или я чего-то не понял или одно из двух
eax = $123456

Именно. Для положительного числа ничего не произойдет.
А для отрицательного (eax = $823456, т.е. старший из 24 бит равен 1):

Код:

mov ebx, eax ; ebx = $823456
shr  ebx, 16 ; ebx = $82
movsx bx, bl ; ebx = $FF82, т.к. movsx копирует старший бит во все недостающие
shl ebx, 16  ; ebx = $FF820000
or  ebx, eax ; ebx = $FF823456

Так и получаем конвертирование 24-битного отрицательного в 32-битное отрицательное.

MADMAN,

Код:

(((foo and $800000) shr 23)*$FF000000)

Оптимизирующий Мсье снова в деле:

Код:

((foo and $800000) *$1FE)