Comment
Comment by gaul
This is not a NOP; it explicitly clears the upper 32 bits of EDI since the compiler does not know that they are zero in this situation. If you change cc from an int to size_t (long on x86-64) the compiler will generate:
Note that in some cases the compiler can do this automatically via lifetime analysis but not in this freestanding example.