SoloCodigo

usando intensivamente la pila ( que es mas facil para el compilador) seria algo asi como

push word [ dir_de_algo ] ; suponiendo que algo es un word
push 1
pop ax
pop bx
cmp ax,bx
je .l0000011 ; el label lo genera el compilador asi que el nombre es medio extraño
//hacer otra cosa
jmp .l0000012
.l0000011:
//hacer algo
.l0000012:
// aca sigue el codifo despues del else

es algo asi mi cerebro no es un compilador tan groso como GCC

el proceso del compilador para generarlo seria algo asi como:

lee la primera linea, la divide en tokens
lee el primer token ( if ) entonces llama a la funcion que parsea el if
la funcion espera un parentesis
llama a la funcion que parsea expresiones booleanas (  && || que son las de mas alta precedencia) empuja la primera variable a la pila
encuentra u operador
no lo conoce llama a la funcion que maneja la segunda precedencia mas alta ( == < , > , <= etc )
encuentra el == prende un flag para acordarse de que es una operacion de igual
empuja el segundo termino en la pila
encuentra el ")" no lo conoce
procesa la expresion ( cmp ) y vuelve al  manejador de && ||
encuentra el ")" vuelve para arriba al if que si conoce el ")"
espera un retorno de carro
espera una sentencia o un {
encuentra un {
espera una expresion
llama al parser de expresiones por cada expresion que encuentre hasta un }
encuentra un else
espera un if o un {
encuentra un {
espera una expresion
llama al parser de expresiones por cada expresion que encuentre hasta un }

ya esta

me encanta el tema de compiladores, no se si fui muy claro

si
je es jmp on equal, el cmp lo que hace es resta bx de ax y prende los flags.
je es lo mismo que jz porque si son iguales la resta da cero y se prende el flag de zero

es verdad si no hay codigo entre las llaves no genera nada.

Es de que los compiladores de ahora son mounstruos que estan de nuestro lado. Pero pueden ser nuestros peores enemigos cuando intentamos crearlos.

Otra pequeña duda.

Imaginemos que tienes una estructura.
Y en una funcion pasas como argumento por valor esa estructura. Que hay que hacer muchos pushs para meter toda la estructura al stack o sino como seria?.

struct mistruct{
   int a;
   long b[100][100];
   .
   .
};

struct mistruct *funcion(struct mistruct)
{
//hace algo con struct y la devuelve
}
Saludos

Bueno y otra duda medio rara sobre la traduccion de codigo.

No se si sea asi en las arquitecturs x86 pero en z80 no existen las instrucciones DB, DW, etc..para "declarar variables"

En primero lugar como se manejarian estas instrucciones? Y en si un int un char, etc como se manejarian?

Saludos