No igen, ez megmagyaráz egy-két dolgot. :)
Még forrás:
http://www.nasm.us/links/unix64abi
%rdi used to pass 1st argument to functions
Tehát a függvény első paraméterét bemásolja a stack-re, majd feloldja a pointert, és a hozzá tartozó értéket összeveti saját magával, és ha egyezik őnmagával, akkor bemásol egy 0-át a stack-re. Aha, minden világos :S