Вот если б был JNECXZ, тогда вопросов нет :)

while do

@@:
not ecx
...
not ecx
jecxz  @B

JECXZ прыгает только в одном случае: когда ECX = 0.
65535 раз он равным нулю быть никак не может.

Можно сделать через доп математику, типа:
   mov edx,65535
   xor ecx,ecx
@@: sub edx,1
   adc ecx,ecx
   jecxz @B
Но тогда и цикл c JZ (JNZ) нужно так же делать. По сути, тут просто JECXZ нужно заменить на JZ.

Вот результат...
Забавно, что JECXZ работает чуть быстрее (пробовал менять местами).

Вроде работает факториал с положительными/отрицательными
Результат в edx.

Мне правда ebx не нравится, надо что-то другое думать

А теперь вроде без ошибок:

mov ecx, 5 (-5)
call $+14
cdq
inc edx
imul edx, ecx
loop $-3
xchg ecx, ebx
mov ebx, ecx
and ecx, ecx
jns $+6
neg ecx
neg edx
ret

Громоздко?

Тю, так твой вариант проще
(без jecxz)
Ууу, в моём беда с переполнением)

У меня такой вариант получился:

    ; eax = x
    cdq
    xor  eax,edx
    sub  eax,edx      ; eax = abs(x)
    jz  .zero
    stc
    adc  edx,edx
    mov  ecx,edx      ; ecx = sign(x): 1 or -1

  @@:  imul  ecx,eax
    dec  eax
    jnz  @B
    xchg  eax,ecx
  .zero:
    ; eax = x!

19 байт кода, без переполнения (хотя, я не понимаю, что у вас там за переполнение происходит), работает с нулём, без тормозных loop'ов.

Табы, разумеется, поехали в телеге.

Но я бы сделал 20 байт, заменив

stc
adc edx,edx

на
lea edx,[edx+edx+1]

Но математически, конечно, брать факториал от отрицательного числа неверно.

Если надо прям покороче и скорость некритична, то 16 байт:

    ; eax = x
    cdq
    xor  eax,edx
    sub  eax,edx      ; eax = abs(x)
    jz  .zero
    stc
    adc  edx,edx
    xchg  eax,ecx      ; ecx = abs(x)
    xchg  eax,edx      ; eax = sign(x): 1 or -1

  @@:  imul  ecx
    loop  @B
  .zero:
    ; edx:eax = x!

В целом, можно сделать быстрее, но на 17 байт, заменив loop @B на dec ecx/jnz @B :)

    ; eax = x
    cdq
    xor  eax,edx
    sub  eax,edx      ; eax = abs(x)
    jz  .zero
    stc
    adc  edx,edx
    xchg  eax,ecx      ; ecx = abs(x)
    xchg  eax,edx      ; eax = sign(x): 1 or -1

  @@:  imul  ecx
    loop  @B
  .zero:
    ; edx:eax = x!

0! = 0?

1

Добро пожаловать ema. Не ответив на вопрос, будешь удалён из чата

вывфафа

imul ebx ошибка ?

У меня 0, да :)
Но можно переделать, если надо под 1.

Определяем sign, затем берём abs.
Если abs = 0, то выходим. В итоге у нас в eax остаётся 1.