«« ( Date ) »» // «« ( Thread ) »» // ri4pp - 2005

Re: SSA

by Dragan Bojic
četvrtak, 07. jul 2005 - 16:07.



> Medjukod.doc:
> 9. strana (SSA forma)
>
> Mislim da bi trebalo:
> j=1;
> if(j>=X)
> goto E;
> s: j=j+1;
> if (j<X)
> goto s;
> E: N=j;

Da, to je lapsus u originalnom izvoru koji ne utice na
sustinu objasnjenja SSA forme.

> I ako moze prevod i objasnjenje recenice:
> "Each use of a variable is dominated by the definition"

Objasnjenje pojma dominacije imas u sledecoj recenici ispod citirane.

DB