RV64IMACFDGDBCore.h

Go to the documentation of this file.

 
#ifndef ETISS_RV64IMACFDArch_RV64IMACFDGDBCORE_H_
#define ETISS_RV64IMACFDArch_RV64IMACFDGDBCORE_H_
 
#include "etiss/IntegratedLibrary/gdb/GDBCore.h"
#include <sstream>
 
class RV64IMACFDGDBCore : public etiss::plugin::gdb::GDBCore
{
  public:
    std::string mapRegister(unsigned index)
    {
        if (index < 32)
        {
            std::stringstream ss;
            ss << "X" << index;
            return ss.str();
        }
        switch (index)
        {
        case 32:
            return "instructionPointer";
            /**************************************************************************
             *   Further register should be added here to send data over gdbserver    *
             **************************************************************************/
        }
        return "";
    }
 
    unsigned mapRegister(std::string name) { return INVALIDMAPPING; }
 
    unsigned mappedRegisterCount()
    {
        // Modify according to sent register number
        return 33;
    }
 
    etiss::uint64 getInstructionPointer(ETISS_CPU *cpu) { return cpu->instructionPointer; }
 
    bool isLittleEndian()
    {
        // Modify according to RV64IMACFD manual
        return true;
    }
};
 
#endif