/*===================== begin_copyright_notice ==================================

Copyright (c) 2017 Intel Corporation

Permission is hereby granted, free of charge, to any person obtaining a
copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish,
distribute, sublicense, and/or sell copies of the Software, and to
permit persons to whom the Software is furnished to do so, subject to
the following conditions:

The above copyright notice and this permission notice shall be included
in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.


======================= end_copyright_notice ==================================*/

#ifndef _REGALLOC_H_
#define _REGALLOC_H_
#include "PhyRegUsage.h"
#include <vector>

#include "BitSet.h"
#include "LocalRA.h"

//
// Indirect tracking type
//
enum G4_IndrTrackType
{
	Track_IndrAddr = 0,		// Track indirect addressing
	Track_MsgGateWay = 1	// Track message gateway
};

//
// Structure for Indirect Accessing Tracking Parameter
//
struct IndrAccessTrackPara
{
    vISA::G4_BB * bb;			// starting bb of the indirect accessing tracking
    vISA::G4_Operand * ptr;	// a0 pointer for indirect accessing
    vISA::G4_RegVar * addrTaken;	// a0 pointed GRF variable
	INST_LIST_ITER currInst;	// starting instruction for the indirect accessing tracking
	G4_IndrTrackType trackType;	// tracking type

    IndrAccessTrackPara(vISA::G4_BB * startBB, vISA::G4_Operand * pointer, vISA::G4_RegVar * pointedVar, INST_LIST_ITER startInst,
		G4_IndrTrackType type)
		: bb(startBB), ptr(pointer), addrTaken(pointedVar), currInst(startInst), trackType(type)  {}
	//void* operator new(size_t sz, Mem_Manager& m) {return m.alloc(sz);}
};

typedef std::vector<vISA::G4_RegVar*> REGVAR_VECTOR;

/*
 *  Performs flow-insensitive points-to analysis.
 *  Points-to analysis is performed once at the beginning of RA,
 *  and is used to compute the indirect uses of GRF variables for liveness analysis.
 *  Each address variable in the declare list is associated with a points-to set,
 *  which is a list of GRF RegVars.
 */
namespace vISA
{
class PointsToAnalysis
{
private:
    unsigned int numBBs;
    unsigned int numAddrs;

    // keeps track of the indirect variables used in each BB
    REGVAR_VECTOR* indirectUses;
    // array of points-to set for each address variable
    REGVAR_VECTOR* pointsToSets;
    // index of an address's points-to set in the pointsToSets array
    unsigned int* addrPointsToSetIndex;
	// original regvar ptrs
	REGVAR_VECTOR regVars;

	void resizePointsToSet( unsigned int newsize )
	{
		// Allocate larger new sets, copy over data from old sets,
		// deallocate old sets, change numAddrs.
		// Number of basic blocks is assumed to be unchanged.

		REGVAR_VECTOR* newPointsToSets = new REGVAR_VECTOR[newsize];
		unsigned int* newAddrPointsToSetIndex = new unsigned[newsize];

		for( unsigned int i = 0; i < numAddrs; i++ )
		{
			REGVAR_VECTOR& vec = pointsToSets[i];

			for( unsigned int j = 0; j < pointsToSets[i].size(); j++ )
			{
				newPointsToSets[i].push_back(vec[j]);
			}
			newAddrPointsToSetIndex[i] = addrPointsToSetIndex[i];
		}

		for( int unsigned i = numAddrs; i < newsize; i++ )
		{
			newAddrPointsToSetIndex[i] = i;
		}

		delete[] pointsToSets;
		delete[] addrPointsToSetIndex;

		pointsToSets = newPointsToSets;
		addrPointsToSetIndex = newAddrPointsToSetIndex;

		numAddrs = newsize;
	}

    void addPointsToSetToBB( int bbId, G4_RegVar* addr )
    {
        MUST_BE_TRUE( addr->getDeclare()->getRegFile() == G4_ADDRESS,
            "expect address variable" );
        REGVAR_VECTOR& addrTakens = pointsToSets[addrPointsToSetIndex[addr->getId()]];
        for( unsigned int i = 0; i < addrTakens.size(); i++ )
        {
            addIndirectUseToBB( bbId, addrTakens[i] );
        }
    }

    void addIndirectUseToBB( unsigned int bbId, G4_RegVar* var )
    {
        MUST_BE_TRUE( bbId < numBBs, "invalid basic blokc id" );
        REGVAR_VECTOR& vec = indirectUses[bbId];
        bool isPresent = false;
        for( unsigned int i = 0; i < vec.size(); i++ )
        {
            if( vec[i] == var )
            {
                isPresent = true;
                break;
            }
        }
        if( !isPresent )
        {
            vec.push_back( var );
        }
    }

    void addToPointsToSet( G4_RegVar* addr, G4_RegVar* var )
    {
        MUST_BE_TRUE( addr->getDeclare()->getRegFile() == G4_ADDRESS,
            "expect address variable" );
        MUST_BE_TRUE( addr->getId() < numAddrs, "addr id is not set" );
        int addrPTIndex = addrPointsToSetIndex[addr->getId()];
        REGVAR_VECTOR& vec = pointsToSets[addrPTIndex];
        bool isPresent = false;
        for( unsigned i = 0; i < vec.size(); i++ )
        {
            if( vec[i] == var )
            {
                isPresent = true;
                break;
            }
        }
        if( !isPresent )
        {
            vec.push_back( var );
            DEBUG_VERBOSE("Addr " << addr->getId() << " <-- " << var->getDeclare()->getName() << "\n");
        }
    }

    // Merge addr2's points-to set into addr1's
    // basically we copy the content of addr2's points-to to addr1,
    // and have addr2 point to addr1's points-to set
    void mergePointsToSet( G4_RegVar* addr1, G4_RegVar* addr2 )
    {
         MUST_BE_TRUE( addr1->getDeclare()->getRegFile() == G4_ADDRESS &&
             addr2->getDeclare()->getRegFile() == G4_ADDRESS,
             "expect address variable" );
         int addr2PTIndex = addrPointsToSetIndex[addr2->getId()];
         REGVAR_VECTOR& vec = pointsToSets[addr2PTIndex];
         for( unsigned i = 0; i < vec.size(); i++ )
         {
             addToPointsToSet( addr1, vec[i] );
         }
         int addr1PTIndex = addrPointsToSetIndex[addr1->getId()];
         addrPointsToSetIndex[addr2->getId()] = addr1PTIndex;
         DEBUG_VERBOSE("merge Addr " << addr1->getId() << " with Addr " << addr2->getId() );
    }

	unsigned int getIndexOfRegVar( G4_RegVar* r )
	{
	  unsigned int id = UINT_MAX;

		// Given a regvar pointer, return the index it was
		// found. This function is useful when regvar ids
		// are reset.

		for( unsigned int i = 0; i < regVars.size(); i++ )
		{
			if( regVars[i] == r )
			{
				id = i;
				break;
			}
		}

		return id;
	}

public:
    PointsToAnalysis(DECLARE_LIST& declares, unsigned numBBs );
    ~PointsToAnalysis();

    void doPointsToAnalysis(FlowGraph& fg);

    const REGVAR_VECTOR& getIndrUseVectorForBB( unsigned int bbId ) const
    {
        MUST_BE_TRUE( bbId < numBBs, "invalid basic block id" );
        return indirectUses[bbId];
    }

    const REGVAR_VECTOR* getIndrUseVectorPtrForBB( unsigned int bbId ) const
    {
        MUST_BE_TRUE( bbId < numBBs, "invalid basic block id" );
        return &(indirectUses[bbId]);
    }

	// Following methods were added to support address taken spill/fill
	// Since ids of addr regvars will be reset, we fall back to using
	// the regvar ptr
	void insertAndMergeFilledAddr( G4_RegVar* addr1, G4_RegVar* addr2 )
	{
		unsigned int oldid = addr2->getId();
		addr2->setId(numAddrs);
		MUST_BE_TRUE( regVars.size() == numAddrs, "Inconsistency found between size of regvars and number of addr vars");

		if( addr2->getId() >= numAddrs )
			resizePointsToSet(numAddrs+1);

		regVars.push_back( addr2 );

		mergePointsToSet(addr1, addr2);
		addr2->setId(oldid);
	}

    const REGVAR_VECTOR* getAllInPointsTo(G4_RegVar* addr)
    {
        MUST_BE_TRUE(addr->getDeclare()->getRegFile() == G4_ADDRESS,
            "expect address variable");
        unsigned int id = getIndexOfRegVar(addr);

        if (id == UINT_MAX)
            return NULL;

        REGVAR_VECTOR* vec = &pointsToSets[addrPointsToSetIndex[id]];

        return vec;
    }

	G4_RegVar* getPointsTo( G4_RegVar* addr, int idx )
	{
		MUST_BE_TRUE( addr->getDeclare()->getRegFile() == G4_ADDRESS,
            "expect address variable" );
		unsigned int id = getIndexOfRegVar( addr );

		if( id == UINT_MAX )
			return NULL;

		REGVAR_VECTOR& vec = pointsToSets[addrPointsToSetIndex[id]];

		if( idx < (int)vec.size() )
			return vec[idx];
		else
			return NULL;
	}

	bool isPresentInPointsTo( G4_RegVar* addr, G4_RegVar* var )
	{
		MUST_BE_TRUE( addr->getDeclare()->getRegFile() == G4_ADDRESS,
            "expect address variable" );
		unsigned int id = getIndexOfRegVar( addr );

		if( id == UINT_MAX )
			return false;

		REGVAR_VECTOR& vec = pointsToSets[addrPointsToSetIndex[id]];
		bool present = false;

		for( unsigned int i = 0; i < vec.size(); i++ )
		{
			if( vec[i]->getId() == var->getId() )
			{
				present = true;
				break;
			}
		}

		return present;
	}

	void addFillToPointsTo( unsigned int bbid, G4_RegVar* addr, G4_RegVar* newvar )
	{
		// Adds to points to as well as indirect use in basic block
		MUST_BE_TRUE( addr->getDeclare()->getRegFile() == G4_ADDRESS,
            "expect address variable" );
		unsigned int id = getIndexOfRegVar( addr );

		if( id == UINT_MAX )
        {
			MUST_BE_TRUE( false, "Could not find addr in points to set");
        }

		REGVAR_VECTOR& vec = pointsToSets[addrPointsToSetIndex[id]];
		vec.push_back( newvar );

		addIndirectUseToBB( bbid, newvar );
	}

	void removeFromPointsTo( G4_RegVar* addr, G4_RegVar* vartoremove )
	{
		MUST_BE_TRUE( addr->getDeclare()->getRegFile() == G4_ADDRESS,
            "expect address variable" );
		unsigned int id = getIndexOfRegVar( addr );

		if( id == UINT_MAX )
        {
			MUST_BE_TRUE( false, "Could not find addr in points to set");
        }

		REGVAR_VECTOR& vec = pointsToSets[addrPointsToSetIndex[id]];
		bool removed = false;

		for( REGVAR_VECTOR::iterator it = vec.begin();
			it != vec.end();
			it++ )
		{
			G4_RegVar* cur = (*it);

			if( cur->getId() == vartoremove->getId() )
			{
				vec.erase( it );
				removed = true;
				break;
			}
		}

		MUST_BE_TRUE( removed == true, "Could not find spilled ref from points to");

		// If an addr taken live-range is spilled then any basic block that has
		// an indirect use of it will no longer have it because we would have
		// inserted addr taken spill/fill code. So remove any indirect uses of
		// the var from all basic blocks. Currently this set is used when
		// constructing liveness sets before RA.
		for( unsigned int i = 0; i < numBBs; i++ )
		{
			REGVAR_VECTOR& vec = indirectUses[i];

			for( REGVAR_VECTOR::iterator it = vec.begin();
				it != vec.end();
				it++ )
			{
				G4_RegVar* cur = (*it);

				if( cur->getId() == vartoremove->getId() )
				{
					vec.erase( it );
					break;
				}
			}
		}
	}
};

struct VarRange
{
    unsigned int leftBound;
    unsigned int rightBound;
};

typedef std::vector<VarRange* >   VAR_RANGE_LIST;
typedef std::vector<VarRange* >::iterator   VAR_RANGE_LIST_ITER;
typedef std::vector<VarRange* >::reverse_iterator   VAR_RANGE_LIST_REV_ITER;

struct VarRangeListPackage
{
    bool usedInSend;
    unsigned char rangeUnit;
    VAR_RANGE_LIST list;
};

class LivenessAnalysis
{
	unsigned numVarId;         // the var count
	unsigned numSplitVar;      // the split var count
	unsigned numSplitStartID;      // the split var count
    unsigned numUnassignedVarId;         // the unassigned var count
    unsigned numAddrId;     // the addr count
	unsigned numBBId;          // the block count
	unsigned numFnId;          // the function count
	unsigned char selectedRF;  // the selected reg file kind for performing liveness
    PointsToAnalysis& pointsToAnalysis;
    std::map<G4_Declare*, BitSet*> neverDefinedRows;

    vISA::Mem_Manager m;

    void computeGenKill(G4_BB* bb,
        BitSet& def_out,
        BitSet& use_in,
        BitSet& use_gen,
        BitSet& use_kill);

	void computeGenKillandPseudoKill(G4_BB* bb,
		BitSet& def_out,
		BitSet& use_in,
		BitSet& use_gen,
		BitSet& use_kill);
	
	bool contextSensitiveBackwardDataAnalyze(G4_BB* bb,
											 std::vector<BitSet>& data_in,
											 std::vector<BitSet>& data_out,
											 std::vector<BitSet>& mayuse,
											 std::vector<BitSet>& bypass,
											 BitSet&               output_uses,
											 std::vector<BitSet>* summary,
											 int no_prop_types);
	bool contextSensitiveForwardDataAnalyze(G4_BB* bb,
											std::vector<BitSet>& data_in,
											std::vector<BitSet>& data_out,
											std::vector<BitSet>& maydef,
											BitSet&               input_defs,
											std::vector<BitSet>* summary,
											int no_prop_types);

	bool contextFreeUseAnalyze(G4_BB* bb);
	bool contextFreeDefAnalyze(G4_BB* bb);

    bool livenessCandidate(G4_Declare* decl, bool verifyRA);

    void dump_bb_vector(char* vname, std::list<G4_BB*>& bbs, std::vector<BitSet>& vec);
	void dump_fn_vector(char* vname, std::vector<FuncInfo*>& fns, std::vector<BitSet>& vec);

    void updateKillSetForDcl(G4_Declare* dcl, BitSet* curBBGen, BitSet* curBBKill, G4_BB* curBB, BitSet* entryBBGen, BitSet* entryBBKill,
        G4_BB* entryBB, unsigned scopeID);
    void footprintDst(G4_BB* bb, G4_INST* i, G4_Operand* opnd, BitSet* dstfootprint, bool isLocal);
    void footprintSrc(G4_INST* i, G4_Operand *opnd, BitSet* srcfootprint);
    void detectNeverDefinedVarRows();

public:
    GlobalRA& gra;
	std::vector<G4_RegVar*>	    vars;
    BitSet addr_taken;
	FlowGraph&					fg;
	std::vector<G4_RegVar*>       fileScopeVars;

	//
	// Bitsets used for data flow.
	//
    std::vector<BitSet> def_in;
    std::vector<BitSet> def_out;
    std::vector<BitSet> use_in;
    std::vector<BitSet> use_out;
    std::vector<BitSet> use_gen;
    std::vector<BitSet> use_kill;
    std::vector<BitSet> indr_use;
    std::vector<BitSet> maydef;

    LivenessAnalysis(GlobalRA& gra, uint8_t kind);
	LivenessAnalysis(GlobalRA& gra, unsigned char kind, bool verifyRA, bool forceRun = false);
	~LivenessAnalysis();
	void computeLiveness(bool computePseudoKill);
	bool isLiveAtEntry(G4_BB* bb, unsigned var_id) const;
	bool isLiveAtExit(G4_BB* bb, unsigned var_id) const;
	bool isAddressSensitive (unsigned num) const  // returns true if the variable is address taken and also has indirect access
	{
        return addr_taken.isSet( num );
	}
	bool livenessClass(G4_RegFileKind regKind) const
	{
		return (selectedRF & regKind) != 0;
	}
	unsigned getNumSelectedVar() const {return numVarId;}
    unsigned getNumSplitVar() const {return numSplitVar;}
    unsigned getNumSplitStartID() const {return numSplitStartID;}
    unsigned getNumUnassignedVar() const {return numUnassignedVarId;}
	void dump() const;

	bool writeWholeRegion(G4_BB* bb, G4_INST* prd, G4_DstRegRegion* dst, const Options *opt) const;

    static bool writeWholeRegion(G4_BB* bb, G4_INST* prd, G4_VarBase* flagReg, const Options *opt);

    void performScoping(BitSet* curBBGen, BitSet* curBBKill, G4_BB* curBB, BitSet* entryBBGen, BitSet* entryBBKill, G4_BB* entryBB);

    void hierarchicalIPA(const BitSet& kernelInput, const BitSet& kernelOutput);
    void useAnalysis(FuncInfo* subroutine);
    void useAnalysisWithArgRetVal(FuncInfo* subroutine, 
        const std::vector<BitSet>& args, const std::vector<BitSet>& retVal);
    void defAnalysis(FuncInfo* subroutine);
    void maydefAnalysis();

    PointsToAnalysis& getPointsToAnalysis() const { return pointsToAnalysis; }

    bool performIPA() const
    {
        return fg.builder->getOption(vISA_IPA) && livenessClass(G4_GRF) && 
            fg.getNumCalls() > 0;
    }
};

//
// entry point of register allocation
//
class IR_Builder; // forward declaration
}
int regAlloc(vISA::IR_Builder& builder, vISA::PhyRegPool& regPool, vISA::G4_Kernel& kernel);

#endif
