Sad truth

Today I had to face a frustrating truth: it is not possible to assign the same memory address to phi related virtuals. Wanna know why? Look into this simple sketch of a control flow graph. I will have to change the phi deconstruction algorithm again. The problem is that I did not thought about how spills would affect the algorithm. The problem now is that the parameter and the definition of the same phi function can be spilled values. If the register pressure is big enough, there will be no register to perform the memory transfer.