[ri4pp:2005] - SSA by Veljko Pejovic <veljkoveljko@gmail.com>

Medjukod.doc:
9. strana (SSA forma)
while:

	j=1;
	while(j<X) 
	++j;
	N=j;

je prevedeno kao:
	j=1;
	if(j<X)
	goto E;
s:	j=j+1;
	if (j<X)
	goto s;
E:	N=j;

Mislim da bi trebalo:
	j=1;
	if(j>=X)
	goto E;
s:	j=j+1;
	if (j<X)
	goto s;
E:	N=j;


I ako moze prevod i objasnjenje recenice:

"Each use of a variable is dominated by the definition"

unapred hvala, 

Veljko