Using Static Single Assignment SSA Form Loop Optimization

Instructions and help about Using Static Single Assignment SSA Form Loop Optimization

so we will now discuss a category of irs or intermediate representations called static single assignment irs or ssas so to understand what is ssa ir consider the following code x equals y plus z x equals x plus 1 w equals y plus n and v equals x plus 3. now let's focus on the variable x and x is being assigned twice here and the first assignment is for value y plus z and the second assignment is for value x plus one and interestingly later on y plus z is a value that is recomputed but this time stored in w now the problem here is that i could have reused the computation of y plus z but only the problem is it has already been overwritten right so for example this particular computation can be reused here right however the problem is that this computation was available in the variable x but x has now been clobbered with some other value and so it's no longer reusable so so how do you solve this problem and one answer to this problem is the ssa form so what is the ssa form well it just c