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