On Friday, September 4, 2015 at 9:53:55 AM UTC+2, szemrany wrote:
> On Fri, 4 Sep 2015 00:14:33 -0700 (PDT), Wojciech Muła wrote:
>
> >> MOV EAX, -1
> >> BSF EAX, DWORD PTR [&u64]
> >
> > To jest niepoprawne, jeśli argumentem BSF jest zero, to wynik
> > jest "undefined". Działa przez przypadek. :)
>
> Wynik BSF jest niezdefiniowany, a w EAX pozostaje wartość sprzed operacji
> BSF, czyli tutaj -1 :-)

Tutaj EAX jest wynikiem, a dokumentacja mówi: "DEST is undefined". To,
że wartość nie jest zmieniana, to zachowanie niezdefiniowane. Na innych
modelach CPU może być inaczej.

> Ale to i tak szczegół, bo gdy wartość jest zero to nie szukam w niej bitów,
> w innych algorytmach też są takie założenia i przy wartości zero nie
> działają ;-)

Szukasz pierwszym BSF.

w.