Esto es assembly puro, ejecuta el codigo del bucle (inc eax) un numero X de veces (de acuerdo al valor de ECX):

mov ecx, 5
xor eax, eax
bucle:
inc eax
loop bucle

http://pdos.csail.mit.edu/6.828/2006/readings/i386/LOOP.htm

Tambien podes hacerlo con cmp's y jmp's.

mov ecx, 5
xor eax, eax
bucle:
inc eax
dec ecx
cmp ecx, 0
jne bucle

Tambien podrias hacer lo contrario, iniciando el contador a 0, incrementandolo en cada pasada y comprobando si es igual (o mayor como en el ejemplo siguiente) al limite:

xor ecx, ecx
xor eax, eax
bucle:
inc eax
add ecx, 2
cmp ecx, 9
jna bucle

Este bucle se ejecutara mientras el resultado devuelto por func sea diferente de 0:

bucle:
call func
cmp eax, 0
jne bucle

Podes hacer uso de JCC tambien.

invoke es una directiva que el ensamblador reemplazara por el pasaje de parametro necesario (normalmente push's si la convencion de llamada establece que los parametros van en la pila) y el call mismo. Es decir, finalmente es exactamente lo mismo.

De nadas  gcc -S archivo.c

Efectivamente lo hace cualquier compilador, el codigo en assembly es la representacion mnemonica del codigo binario que generan.

VC++: /FA, /Fa (Listing File).

Para otros busca en la ayuda y si queres usar un depurador de verdad usa el WinDbg, un desensamblador el IDA.

"In x86 processors, the parity flag reflects the parity only of the least significant byte of the result, and is set if the number of ones is even."

http://en.wikipedia.org/wiki/Parity_flag

Si, efectivamente puede ser un ELF o ELF64 y se mantiene el mismo principio.

Un PE de 64 bits no se puede ejecutar en una maquina (o S.O.) de 32 bits.

Si, es un (d=data) registro de segmento:
http://en.wikipedia.org/wiki/X86#x86_registers

Ya tenes el codigo en assembly y es bastante corto, no necesitas los simbolos, pone un int 3 al principio y listo.