#include "LivenessAnalysis.h"


void livenessAnalysis(Instructions instructions)
{
    Variables in1;
    Variables out1;
    bool nasao = false;

    for(auto it = instructions.rbegin(); it!= instructions.rend(); it++){
        (*it)->in.clear();
        (*it)->out.clear();
    }

    do{
            nasao = false;
	//prolazis kroz listu instrukcija
	for(auto it = instructions.rbegin(); it!= instructions.rend(); it++){

		// out[n] <- U sesucc[n] in[s]
		for(auto it1 = (*it)->succ.begin(); it1 != (*it)->succ.end(); it1++){
			for(auto it2 = (*it1)->in.begin(); it2 != (*it1)->in.end(); it2++){
				(*it)->out.push_back(*it2);
			}

		}

		(*it)->out.sort();
		(*it)->out.unique(); // da ti budu jedinstvene liste, bez duplikata, prvo mora sort

		(*it)->in = (*it)->use;

		for(auto it3 = (*it)->out.begin(); it3 != (*it)->out.end(); it3++){
			if(!variableExists((*it3),(*it)->def)){
				(*it)->in.push_back(*it3);
			}
		}

		(*it)->in.sort();
		(*it)->in.unique();
		if(((*it)->in)!=in1 || ((*it)->out)!=out1){
            nasao = true;
		}

        }
    } while(!nasao)
}

//izlaz uporedis sa onom tabelom ukljucujuci prvu kolonu trebalo bi da se poklapa
//mozda ce vam traziti repeat until da uradite, nama nije samo nas je pitao kako bi to islo a mene je pitao ovo za unique i sort