Sto scrivendo un compilatore per una macchina stack piuttosto standard. Ora voglio aggiungere un garbage collector. Posso vedere che potrei generare una sorta di 'pila di mappe' per sapere quali varia
Sto lavorando su un compilatore per una macchina stack (in particolare CIL) e ho analizzato il codice in un grafico di blocchi di base. Da qui sto cercando di applicare SSA ai metodi, ma non sta andan