[ri4pp:2006] - Re: Za asistenta! A moze i za ljubaznog kolegu koji bi dao odgovor! by "Jovan Popovic" <jovan@etf.bg.ac.yu>

> 1) MJ- kontrolne strukture:
>    Da li koristiti load, store ili getlocal, putlocal (na vezbama je
> radjeno sa
>    getlocal, putlocal) a u materijalima sa interneta je load, store.
>
> 2) Pitanje iz Globalne analize:
>    Zadatak 10. U tabeli postoje po dva polja in i out i ona su isto
> popunjena.
>    Moze li dodatno objasnjenje. (valjda ima neke veze sa grafom:))

Prvo treba izracunati use i def skupove (to su prve dve kolone) za svaki
blok. Posle toga se racunaju in i out skupovi pomocu formula:

in i = use i + (out i – def i);
outi = Σ inj

inicijalno svi in i out skupovi su prazni. Kada se jednom izracunaju in i
out skupovi (treca i cetvrata kolona) te vredosti se ponovo ubacuju u
formule i nalaze se in i out skupovi za sledecu iteraciju (peta i sesta
kolona). Postupak se ponavlja tako da imate parove in i out skupova u
svakoj iteraciji:
          | iteracija1 |  iteracija2 |  iteracija3 |  iteracija4 |
use  def  | in   out   |  in   out   |  in   out   |   in   out  |

Za svaku iteraciju imate po dve kolone za in-out skupove.

Postupak se ponavlja sve dok u posledenje dve iteracije ne dobijete iste
in i out skupove.
U zadatku u vezbama prve dve iteracije simaju identicne in out skupove
tako da se postupak tu zavrsava. Kada bi se kolone za in i out razlikovale
postupak bi se nastavio sve dok se ne dobiju identicni parove u tom
slucaju bi imali pet-sest parova in-out kolona.

Pozdrav,
Jovan

>
> P.S. Nadam se da cu dobiti odgovor na ova pitanja u skorije vreme, jer na
>     prethodno  (vezano za odredjivanje predikcionih simbola LR(1) parsera)
>     nisam dobio. Pa da ne bude na ispitu, "A zasto me kolega niste pitali
> to
>     ranije." :))