// -*- mode: C++; c-file-style: "cc-mode" -*-
//*************************************************************************
// DESCRIPTION: Verilator: Collect and print statistics
//
// Code available from: http://www.veripool.org/verilator
//
//*************************************************************************
//
// Copyright 2005-2019 by Wilson Snyder.  This program is free software; you can
// redistribute it and/or modify it under the terms of either the GNU
// Lesser General Public License Version 3 or the Perl Artistic License
// Version 2.0.
//
// Verilator is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
//*************************************************************************

#include "config_build.h"
#include "verilatedos.h"

#include "V3Global.h"
#include "V3Stats.h"
#include "V3Ast.h"
#include "V3File.h"
#include "V3Os.h"

#include <cstdarg>
#include <iomanip>
#include <map>
#include VL_INCLUDE_UNORDERED_MAP

//######################################################################
// Stats dumping

class StatsReport {
    // TYPES
    typedef std::vector<V3Statistic> StatColl;

    // STATE
    std::ofstream& os;  ///< Output stream
    static StatColl s_allStats;  ///< All statistics

    void header() {
        os<<"Verilator Statistics Report\n";
        os<<endl;

        os<<"Information:"<<endl;
        os<<"  "<<V3Options::version()<<endl;
        os<<"  Arguments: "<<v3Global.opt.allArgsString()<<endl;
        os<<endl;
    }

    void sumit() {
        // If sumit is set on a statistic, combine with others of same name
        typedef std::multimap<string,V3Statistic*> ByName;
        ByName byName;
        // * is always first
        for (StatColl::iterator it = s_allStats.begin(); it!=s_allStats.end(); ++it) {
            V3Statistic* repp = &(*it);
            byName.insert(make_pair(repp->name(), repp));
        }

        // Process duplicates
        V3Statistic* lastp = NULL;
        for (ByName::iterator it = byName.begin(); it!=byName.end(); ++it) {
            V3Statistic* repp = it->second;
            if (lastp && lastp->sumit() && lastp->printit()
                && lastp->name() == repp->name() && lastp->stage() == repp->stage()) {
                repp->combineWith(lastp);
            }
            lastp = repp;
        }
    }

    void stars() {
        // Find all stages
        size_t maxWidth = 0;
        typedef std::multimap<string,const V3Statistic*> ByName;
        ByName byName;
        // * is always first
        for (StatColl::iterator it = s_allStats.begin(); it!=s_allStats.end(); ++it) {
            const V3Statistic* repp = &(*it);
            if (repp->stage() == "*" && repp->printit()) {
                if (maxWidth < repp->name().length()) maxWidth = repp->name().length();
                byName.insert(make_pair(repp->name(), repp));
            }
        }

        // Print organized by stage
        os<<"Global Statistics:\n";
        os<<endl;
        for (ByName::iterator it = byName.begin(); it!=byName.end(); ++it) {
            const V3Statistic* repp = it->second;
            if (repp->perf()) continue;
            os<<"  "<<std::left<<std::setw(maxWidth)<<repp->name();
            repp->dump(os);
            os<<endl;
        }
        os<<endl;

        // Print organized by stage
        os<<"Performance Statistics:\n";
        os<<endl;
        for (ByName::iterator it = byName.begin(); it!=byName.end(); ++it) {
            const V3Statistic* repp = it->second;
            if (!repp->perf()) continue;
            os<<"  "<<std::left<<std::setw(maxWidth)<<repp->name();
            repp->dump(os);
            os<<endl;
        }
        os<<endl;
    }

    void stages() {
        os<<"Stage Statistics:\n";

        // Find all stages
        int stage = 0;
        size_t maxWidth = 0;
        typedef std::vector<string> Stages;
        Stages stages;
        vl_unordered_map<string,int> stageInt;
        typedef std::multimap<string,const V3Statistic*> ByName;
        ByName byName;
        // * is always first
        for (StatColl::iterator it = s_allStats.begin(); it!=s_allStats.end(); ++it) {
            const V3Statistic* repp = &(*it);
            if (repp->stage() != "*" && repp->printit()) {
                if (maxWidth < repp->name().length()) maxWidth = repp->name().length();
                if (stageInt.find(repp->stage()) == stageInt.end()) {
                    stageInt.insert(make_pair(repp->stage(), stage++));
                    stages.push_back(repp->stage());
                }
                byName.insert(make_pair(repp->name(), repp));
            }
        }

        // Header
        os<<"  Stat     "<<std::left<<std::setw(maxWidth-5-2)<<"";
        for (Stages::iterator it = stages.begin(); it!=stages.end(); ++it) {
            os<<"  "<<std::left<<std::setw(9)<<*it;
        }
        os<<endl;
        os<<"  -------- "<<std::left<<std::setw(maxWidth-5-2)<<"";
        for (Stages::iterator it = stages.begin(); it!=stages.end(); ++it) {
            os<<"  "<<std::left<<std::setw(9)<<"-------";
        }
        //os<<endl;

        // Print organized by stage
        string lastName = "__NONE__";
        string lastCommaName = "__NONE__";
        unsigned col = 0;
        for (ByName::iterator it = byName.begin(); it!=byName.end(); ++it) {
            const V3Statistic* repp = it->second;
            if (lastName != repp->name()) {
                lastName = repp->name();
                {
                    string commaName = lastName;
                    string::size_type pos;
                    if ((pos = commaName.find(',')) != string::npos) {
                        commaName.erase(pos);
                    }
                    if (lastCommaName != commaName) {
                        lastCommaName = commaName;
                        os<<endl;
                    }
                }
                os<<endl;
                col = 0;
                os<<"  "<<std::left<<std::setw(maxWidth)<<repp->name();
            }
            while (col<stages.size() && stages.at(col) != repp->stage()) {
                os<<std::setw(11)<<"";
                col++;
            }
            repp->dump(os);
            col++;
        }
        os<<endl;
    }

public:
    // METHODS
    static void addStat(const V3Statistic& stat) {
        s_allStats.push_back(stat);
    }

    // CONSTRUCTORS
    explicit StatsReport(std::ofstream* aofp)
        : os(*aofp) {
        header();
        sumit();
        stars();
        stages();
    }
    ~StatsReport() {}
};

StatsReport::StatColl   StatsReport::s_allStats;

//######################################################################
// V3Statstic class

void V3Statistic::dump(std::ofstream& os) const {
    if (perf()) {
        os<<"  "<<std::right<<std::fixed<<std::setprecision(6)<<std::setw(9)<<count();
    } else {
        os<<"  "<<std::right<<std::fixed<<std::setprecision(0)<<std::setw(9)<<count();
    }
}

//######################################################################
// Top Stats class

void V3Stats::addStat(const V3Statistic& stat) {
    StatsReport::addStat(stat);
}

void V3Stats::statsStage(const string& name) {
    static double lastWallTime = -1;
    static int fileNumber = 0;

    char digits[100]; sprintf(digits, "%03d", ++fileNumber);
    const string digitName = string(digits)+"_"+name;

    double wallTime = V3Os::timeUsecs() / 1.0e6;
    if (lastWallTime<0) lastWallTime = wallTime;
    double wallTimeDelta = wallTime - lastWallTime;
    lastWallTime = wallTime;
    V3Stats::addStatPerf("Stage, Elapsed time (sec), "+digitName, wallTimeDelta);

    double memory = V3Os::memUsageBytes()/1024.0/1024.0;
    V3Stats::addStatPerf("Stage, Memory (MB), "+digitName, memory);
}

void V3Stats::statsReport() {
    UINFO(2,__FUNCTION__<<": "<<endl);

    // Open stats file
    string filename = v3Global.opt.makeDir()+"/"+v3Global.opt.prefix()+"__stats.txt";
    std::ofstream* ofp (V3File::new_ofstream(filename));
    if (ofp->fail()) v3fatal("Can't write "<<filename);

    StatsReport reporter (ofp);

    // Cleanup
    ofp->close(); delete ofp; VL_DANGLING(ofp);
}
