2006-01-29 23:25:54 +01:00
|
|
|
////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// Branch instructions
|
|
|
|
//
|
|
|
|
|
|
|
|
output header {{
|
|
|
|
/**
|
2006-04-01 03:31:53 +02:00
|
|
|
* Base class for branch operations.
|
2006-01-29 23:25:54 +01:00
|
|
|
*/
|
|
|
|
class Branch : public SparcStaticInst
|
|
|
|
{
|
2006-03-07 10:33:10 +01:00
|
|
|
protected:
|
|
|
|
// Constructor
|
|
|
|
Branch(const char *mnem, MachInst _machInst, OpClass __opClass) :
|
|
|
|
SparcStaticInst(mnem, _machInst, __opClass)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string generateDisassembly(Addr pc,
|
|
|
|
const SymbolTable *symtab) const;
|
2006-01-29 23:25:54 +01:00
|
|
|
};
|
2006-04-01 03:31:53 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Base class for branch operations with an immediate displacement.
|
|
|
|
*/
|
|
|
|
class BranchDisp : public Branch
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
// Constructor
|
|
|
|
BranchDisp(const char *mnem, MachInst _machInst,
|
|
|
|
OpClass __opClass) :
|
|
|
|
Branch(mnem, _machInst, __opClass)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string generateDisassembly(Addr pc,
|
|
|
|
const SymbolTable *symtab) const;
|
|
|
|
|
|
|
|
int32_t disp;
|
|
|
|
};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Base class for branches with 19 bit displacements.
|
|
|
|
*/
|
|
|
|
class Branch19 : public BranchDisp
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
// Constructor
|
|
|
|
Branch19(const char *mnem, MachInst _machInst,
|
|
|
|
OpClass __opClass) :
|
|
|
|
BranchDisp(mnem, _machInst, __opClass)
|
|
|
|
{
|
|
|
|
disp = sign_ext(DISP19 << 2, 21);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Base class for branches with 22 bit displacements.
|
|
|
|
*/
|
|
|
|
class Branch22 : public BranchDisp
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
// Constructor
|
|
|
|
Branch22(const char *mnem, MachInst _machInst,
|
|
|
|
OpClass __opClass) :
|
|
|
|
BranchDisp(mnem, _machInst, __opClass)
|
|
|
|
{
|
|
|
|
disp = sign_ext(DISP22 << 2, 24);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Base class for branches with 30 bit displacements.
|
|
|
|
*/
|
|
|
|
class Branch30 : public BranchDisp
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
// Constructor
|
|
|
|
Branch30(const char *mnem, MachInst _machInst,
|
|
|
|
OpClass __opClass) :
|
|
|
|
BranchDisp(mnem, _machInst, __opClass)
|
|
|
|
{
|
|
|
|
disp = sign_ext(DISP30 << 2, 32);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Base class for 16bit split displacements.
|
|
|
|
*/
|
|
|
|
class BranchSplit : public BranchDisp
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
// Constructor
|
|
|
|
BranchSplit(const char *mnem, MachInst _machInst,
|
|
|
|
OpClass __opClass) :
|
|
|
|
BranchDisp(mnem, _machInst, __opClass)
|
|
|
|
{
|
|
|
|
disp = sign_ext((D16HI << 16) | (D16LO << 2), 18);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Base class for branches that use an immediate and a register to
|
|
|
|
* compute their displacements.
|
|
|
|
*/
|
|
|
|
class BranchImm13 : public Branch
|
|
|
|
{
|
|
|
|
protected:
|
|
|
|
// Constructor
|
|
|
|
BranchImm13(const char *mnem, MachInst _machInst, OpClass __opClass) :
|
|
|
|
Branch(mnem, _machInst, __opClass), imm(sign_ext(SIMM13, 13))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string generateDisassembly(Addr pc,
|
|
|
|
const SymbolTable *symtab) const;
|
|
|
|
|
|
|
|
int32_t imm;
|
|
|
|
};
|
2006-01-29 23:25:54 +01:00
|
|
|
}};
|
|
|
|
|
|
|
|
output decoder {{
|
2006-04-01 03:31:53 +02:00
|
|
|
std::string Branch::generateDisassembly(Addr pc,
|
|
|
|
const SymbolTable *symtab) const
|
2006-01-29 23:25:54 +01:00
|
|
|
{
|
2006-04-01 03:31:53 +02:00
|
|
|
std::stringstream response;
|
|
|
|
|
|
|
|
printMnemonic(response, mnemonic);
|
|
|
|
|
|
|
|
if (_numSrcRegs > 0)
|
|
|
|
{
|
|
|
|
printReg(response, _srcRegIdx[0]);
|
|
|
|
for(int x = 1; x < _numSrcRegs; x++)
|
|
|
|
{
|
|
|
|
response << ", ";
|
|
|
|
printReg(response, _srcRegIdx[x]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (_numDestRegs > 0)
|
|
|
|
{
|
|
|
|
if(_numSrcRegs > 0)
|
|
|
|
response << ", ";
|
|
|
|
printReg(response, _destRegIdx[0]);
|
|
|
|
}
|
|
|
|
|
|
|
|
return response.str();
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string BranchImm13::generateDisassembly(Addr pc,
|
|
|
|
const SymbolTable *symtab) const
|
|
|
|
{
|
|
|
|
std::stringstream response;
|
|
|
|
|
|
|
|
printMnemonic(response, mnemonic);
|
|
|
|
|
|
|
|
if (_numSrcRegs > 0)
|
|
|
|
{
|
|
|
|
printReg(response, _srcRegIdx[0]);
|
|
|
|
for(int x = 1; x < _numSrcRegs; x++)
|
|
|
|
{
|
|
|
|
response << ", ";
|
|
|
|
printReg(response, _srcRegIdx[x]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if(_numSrcRegs > 0)
|
|
|
|
response << ", ";
|
|
|
|
|
|
|
|
ccprintf(response, "0x%x", imm);
|
|
|
|
|
|
|
|
if (_numDestRegs > 0)
|
|
|
|
{
|
|
|
|
response << ", ";
|
|
|
|
printReg(response, _destRegIdx[0]);
|
|
|
|
}
|
|
|
|
|
|
|
|
return response.str();
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string BranchDisp::generateDisassembly(Addr pc,
|
|
|
|
const SymbolTable *symtab) const
|
|
|
|
{
|
|
|
|
std::stringstream response;
|
|
|
|
std::string symbol;
|
|
|
|
Addr symbolAddr;
|
|
|
|
|
|
|
|
Addr target = disp + pc;
|
|
|
|
|
|
|
|
printMnemonic(response, mnemonic);
|
|
|
|
ccprintf(response, "0x%x", target);
|
|
|
|
|
|
|
|
if(symtab->findNearestSymbol(target, symbol, symbolAddr))
|
|
|
|
{
|
|
|
|
ccprintf(response, " <%s", symbol);
|
|
|
|
if(symbolAddr != target)
|
2006-04-28 19:10:03 +02:00
|
|
|
ccprintf(response, "+%d>", target - symbolAddr);
|
2006-04-01 03:31:53 +02:00
|
|
|
else
|
|
|
|
ccprintf(response, ">");
|
|
|
|
}
|
|
|
|
|
|
|
|
return response.str();
|
2006-01-29 23:25:54 +01:00
|
|
|
}
|
|
|
|
}};
|
|
|
|
|
|
|
|
def template BranchExecute {{
|
2006-03-07 10:33:10 +01:00
|
|
|
Fault %(class_name)s::execute(%(CPU_exec_context)s *xc,
|
|
|
|
Trace::InstRecord *traceData) const
|
2006-01-29 23:25:54 +01:00
|
|
|
{
|
2006-03-07 10:33:10 +01:00
|
|
|
//Attempt to execute the instruction
|
|
|
|
Fault fault = NoFault;
|
2006-01-29 23:25:54 +01:00
|
|
|
|
2006-03-07 10:33:10 +01:00
|
|
|
%(op_decl)s;
|
|
|
|
%(op_rd)s;
|
2006-04-01 03:31:53 +02:00
|
|
|
|
|
|
|
NNPC = xc->readNextNPC();
|
2006-03-07 10:33:10 +01:00
|
|
|
%(code)s;
|
2006-01-29 23:25:54 +01:00
|
|
|
|
2006-03-07 10:33:10 +01:00
|
|
|
if(fault == NoFault)
|
|
|
|
{
|
2006-01-29 23:25:54 +01:00
|
|
|
//Write the resulting state to the execution context
|
|
|
|
%(op_wb)s;
|
2006-03-07 10:33:10 +01:00
|
|
|
}
|
2006-01-29 23:25:54 +01:00
|
|
|
|
2006-03-07 10:33:10 +01:00
|
|
|
return fault;
|
2006-01-29 23:25:54 +01:00
|
|
|
}
|
|
|
|
}};
|
|
|
|
|
2006-04-28 19:10:03 +02:00
|
|
|
let {{
|
|
|
|
handle_annul = '''
|
|
|
|
{
|
|
|
|
if(A)
|
|
|
|
{
|
|
|
|
NPC = xc->readNextNPC();
|
|
|
|
NNPC = NPC + 4;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
NPC = xc->readNextPC();
|
|
|
|
NNPC = xc->readNextNPC();
|
|
|
|
}
|
|
|
|
}'''
|
|
|
|
}};
|
|
|
|
|
2006-04-01 03:31:53 +02:00
|
|
|
// Primary format for branch instructions:
|
2006-01-29 23:25:54 +01:00
|
|
|
def format Branch(code, *opt_flags) {{
|
2006-04-28 19:10:03 +02:00
|
|
|
code = re.sub(r'handle_annul', handle_annul, code)
|
2006-04-01 03:31:53 +02:00
|
|
|
(usesImm, code, immCode,
|
|
|
|
rString, iString) = splitOutImm(code)
|
2006-04-18 15:27:22 +02:00
|
|
|
iop = InstObjParams(name, Name, 'Branch', code, opt_flags)
|
2006-01-29 23:25:54 +01:00
|
|
|
header_output = BasicDeclare.subst(iop)
|
|
|
|
decoder_output = BasicConstructor.subst(iop)
|
2006-04-01 03:31:53 +02:00
|
|
|
exec_output = BranchExecute.subst(iop)
|
|
|
|
if usesImm:
|
|
|
|
imm_iop = InstObjParams(name, Name + 'Imm', 'BranchImm' + iString,
|
2006-04-18 15:27:22 +02:00
|
|
|
immCode, opt_flags)
|
2006-04-01 03:31:53 +02:00
|
|
|
header_output += BasicDeclare.subst(imm_iop)
|
|
|
|
decoder_output += BasicConstructor.subst(imm_iop)
|
|
|
|
exec_output += BranchExecute.subst(imm_iop)
|
|
|
|
decode_block = ROrImmDecode.subst(iop)
|
|
|
|
else:
|
|
|
|
decode_block = BasicDecode.subst(iop)
|
|
|
|
}};
|
|
|
|
|
|
|
|
// Primary format for branch instructions:
|
|
|
|
def format Branch19(code, *opt_flags) {{
|
2006-04-28 19:10:03 +02:00
|
|
|
code = re.sub(r'handle_annul', handle_annul, code)
|
2006-04-01 03:31:53 +02:00
|
|
|
codeBlk = CodeBlock(code)
|
|
|
|
iop = InstObjParams(name, Name, 'Branch19', codeBlk, opt_flags)
|
|
|
|
header_output = BasicDeclare.subst(iop)
|
|
|
|
decoder_output = BasicConstructor.subst(iop)
|
|
|
|
exec_output = BranchExecute.subst(iop)
|
2006-03-16 19:58:50 +01:00
|
|
|
decode_block = BasicDecode.subst(iop)
|
2006-04-01 03:31:53 +02:00
|
|
|
}};
|
|
|
|
|
|
|
|
// Primary format for branch instructions:
|
|
|
|
def format Branch22(code, *opt_flags) {{
|
2006-04-28 19:10:03 +02:00
|
|
|
code = re.sub(r'handle_annul', handle_annul, code)
|
2006-04-01 03:31:53 +02:00
|
|
|
codeBlk = CodeBlock(code)
|
|
|
|
iop = InstObjParams(name, Name, 'Branch22', codeBlk, opt_flags)
|
|
|
|
header_output = BasicDeclare.subst(iop)
|
|
|
|
decoder_output = BasicConstructor.subst(iop)
|
2006-01-29 23:25:54 +01:00
|
|
|
exec_output = BranchExecute.subst(iop)
|
2006-04-01 03:31:53 +02:00
|
|
|
decode_block = BasicDecode.subst(iop)
|
|
|
|
}};
|
|
|
|
|
|
|
|
// Primary format for branch instructions:
|
|
|
|
def format Branch30(code, *opt_flags) {{
|
2006-04-28 19:10:03 +02:00
|
|
|
code = re.sub(r'handle_annul', handle_annul, code)
|
2006-04-01 03:31:53 +02:00
|
|
|
codeBlk = CodeBlock(code)
|
|
|
|
iop = InstObjParams(name, Name, 'Branch30', codeBlk, opt_flags)
|
|
|
|
header_output = BasicDeclare.subst(iop)
|
|
|
|
decoder_output = BasicConstructor.subst(iop)
|
|
|
|
exec_output = BranchExecute.subst(iop)
|
|
|
|
decode_block = BasicDecode.subst(iop)
|
2006-01-29 23:25:54 +01:00
|
|
|
}};
|
2006-04-01 03:31:53 +02:00
|
|
|
|
|
|
|
// Primary format for branch instructions:
|
|
|
|
def format BranchSplit(code, *opt_flags) {{
|
2006-04-28 19:10:03 +02:00
|
|
|
code = re.sub(r'handle_annul', handle_annul, code)
|
2006-04-01 03:31:53 +02:00
|
|
|
codeBlk = CodeBlock(code)
|
|
|
|
iop = InstObjParams(name, Name, 'BranchSplit', codeBlk, opt_flags)
|
|
|
|
header_output = BasicDeclare.subst(iop)
|
|
|
|
decoder_output = BasicConstructor.subst(iop)
|
|
|
|
exec_output = BranchExecute.subst(iop)
|
|
|
|
decode_block = BasicDecode.subst(iop)
|
|
|
|
}};
|
|
|
|
|