single static assignment (SSA), an intermediate representation used prior to compiling so far is doing everything correctly. that is – how i think something like this should work. I’m reading a manual on SSA – “SSA-based Compiler Design – Inria” – and it’s a rare treat to go “yes, that’s right!” to everything I see. Changing the variable y to y1 y2 and then a phantom “y3″ whose value is actually whatever really showed up at compile time but for human analysis is called y3 — is just the right way to think of this type of thing.

single static assignment (SSA), an intermediate representation used prior to compiling so far is doing everything correctly. that is – how i think something like this should work. I’m reading a manual on SSA – “SSA-based Compiler Design – Inria” – and it’s a rare treat to go “yes, that’s right!” to everything I see. Changing the variable y to y1 y2 and then a phantom “y3″ whose value is actually whatever really showed up at compile time but for human analysis is called y3 — is just the right way to think of this type of thing.

Leave a comment

Your email address will not be published. Required fields are marked *


3 × = twenty four

Leave a Reply