No, the assembler is correct. Jump (early) back to the beginning of the loop if not equal to s; otherwise, continue executing the next instruction (add eax, 1) and then unconditionally jump back to the beginning of the loop.

well then there's a magical bit somewhere since both assembly listing are identical

Yes, the assembly listings are identical. I was very clear that the error was in the pseudocode. That is why I said "There's an error in the pseudocode."

There's nothing "magical" about paying attention before condescending to someone.

Oh my bad, I was not condescending, I simply misread your comment and was then very confused after your first answer.

I know I'm the less knowledgeable here, and even then there's nothing to gain in criticizing someone like this online.

Sorry again :)