2006-01-29 23:25:54 +01:00
|
|
|
////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// Base class for sparc instructions, and some support functions
|
|
|
|
//
|
|
|
|
|
|
|
|
output header {{
|
2006-03-07 10:33:10 +01:00
|
|
|
|
2006-03-17 20:02:38 +01:00
|
|
|
union CondCodes
|
2006-03-07 10:33:10 +01:00
|
|
|
{
|
2006-03-17 20:02:38 +01:00
|
|
|
struct
|
|
|
|
{
|
|
|
|
uint8_t c:1;
|
|
|
|
uint8_t v:1;
|
|
|
|
uint8_t z:1;
|
|
|
|
uint8_t n:1;
|
|
|
|
};
|
|
|
|
uint32_t bits;
|
2006-03-14 21:59:19 +01:00
|
|
|
};
|
2006-03-07 10:33:10 +01:00
|
|
|
|
2006-03-17 20:02:38 +01:00
|
|
|
enum CondTest
|
2006-03-07 10:33:10 +01:00
|
|
|
{
|
|
|
|
Always=0x8,
|
|
|
|
Never=0x0,
|
|
|
|
NotEqual=0x9,
|
|
|
|
Equal=0x1,
|
|
|
|
Greater=0xA,
|
|
|
|
LessOrEqual=0x2,
|
|
|
|
GreaterOrEqual=0xB,
|
|
|
|
Less=0x3,
|
|
|
|
GreaterUnsigned=0xC,
|
|
|
|
LessOrEqualUnsigned=0x4,
|
|
|
|
CarryClear=0xD,
|
|
|
|
CarrySet=0x5,
|
|
|
|
Positive=0xE,
|
|
|
|
Negative=0x6,
|
|
|
|
OverflowClear=0xF,
|
|
|
|
OverflowSet=0x7
|
2006-03-14 21:59:19 +01:00
|
|
|
};
|
2006-03-07 10:33:10 +01:00
|
|
|
|
2006-01-29 23:25:54 +01:00
|
|
|
/**
|
|
|
|
* Base class for all SPARC static instructions.
|
|
|
|
*/
|
2006-03-07 10:33:10 +01:00
|
|
|
class SparcStaticInst : public StaticInst
|
2006-01-29 23:25:54 +01:00
|
|
|
{
|
2006-03-07 10:33:10 +01:00
|
|
|
protected:
|
|
|
|
// Constructor.
|
|
|
|
SparcStaticInst(const char *mnem,
|
|
|
|
MachInst _machInst, OpClass __opClass)
|
|
|
|
: StaticInst(mnem, _machInst, __opClass)
|
2006-01-29 23:25:54 +01:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2006-03-07 10:33:10 +01:00
|
|
|
std::string generateDisassembly(Addr pc,
|
|
|
|
const SymbolTable *symtab) const;
|
2006-03-16 19:58:50 +01:00
|
|
|
|
|
|
|
void printReg(std::ostream &os, int reg) const;
|
2006-01-29 23:25:54 +01:00
|
|
|
};
|
|
|
|
|
2006-03-17 20:02:38 +01:00
|
|
|
bool passesCondition(uint32_t codes, uint32_t condition);
|
2006-04-01 03:31:53 +02:00
|
|
|
|
|
|
|
inline int64_t sign_ext(uint64_t data, int origWidth)
|
|
|
|
{
|
2006-04-06 20:52:44 +02:00
|
|
|
int shiftAmount = 64 - origWidth;
|
2006-04-01 03:31:53 +02:00
|
|
|
return (((int64_t)data) << shiftAmount) >> shiftAmount;
|
|
|
|
}
|
2006-03-17 20:02:38 +01:00
|
|
|
}};
|
|
|
|
|
|
|
|
def template ROrImmDecode {{
|
|
|
|
{
|
|
|
|
return (I ? (SparcStaticInst *)(new %(class_name)sImm(machInst))
|
|
|
|
: (SparcStaticInst *)(new %(class_name)s(machInst)));
|
|
|
|
}
|
|
|
|
}};
|
|
|
|
|
|
|
|
let {{
|
|
|
|
def splitOutImm(code):
|
2006-04-01 03:31:53 +02:00
|
|
|
matcher = re.compile(r'Rs(?P<rNum>\d)_or_imm(?P<iNum>\d+)')
|
2006-03-17 20:02:38 +01:00
|
|
|
rOrImmMatch = matcher.search(code)
|
|
|
|
if (rOrImmMatch == None):
|
2006-04-01 03:31:53 +02:00
|
|
|
return (False, code, '', '', '')
|
|
|
|
rString = rOrImmMatch.group("rNum")
|
|
|
|
iString = rOrImmMatch.group("iNum")
|
2006-03-17 20:02:38 +01:00
|
|
|
orig_code = code
|
2006-04-01 03:31:53 +02:00
|
|
|
code = matcher.sub('Rs' + rOrImmMatch.group("rNum"), orig_code)
|
2006-03-17 20:02:38 +01:00
|
|
|
imm_code = matcher.sub('imm', orig_code)
|
2006-04-01 03:31:53 +02:00
|
|
|
return (True, code, imm_code, rString, iString)
|
2006-01-29 23:25:54 +01:00
|
|
|
}};
|
|
|
|
|
|
|
|
output decoder {{
|
|
|
|
|
2006-04-01 03:31:53 +02:00
|
|
|
inline void printMnemonic(std::ostream &os, const char * mnemonic)
|
|
|
|
{
|
|
|
|
ccprintf(os, "\t%s ", mnemonic);
|
|
|
|
}
|
|
|
|
|
2006-03-16 19:58:50 +01:00
|
|
|
void
|
|
|
|
SparcStaticInst::printReg(std::ostream &os, int reg) const
|
|
|
|
{
|
2006-04-01 03:31:53 +02:00
|
|
|
const int MaxGlobal = 8;
|
|
|
|
const int MaxOutput = 16;
|
|
|
|
const int MaxLocal = 24;
|
|
|
|
const int MaxInput = 32;
|
|
|
|
if (reg == FramePointerReg)
|
|
|
|
ccprintf(os, "%%fp");
|
|
|
|
else if (reg == StackPointerReg)
|
|
|
|
ccprintf(os, "%%sp");
|
|
|
|
else if(reg < MaxGlobal)
|
|
|
|
ccprintf(os, "%%g%d", reg);
|
|
|
|
else if(reg < MaxOutput)
|
|
|
|
ccprintf(os, "%%o%d", reg - MaxGlobal);
|
|
|
|
else if(reg < MaxLocal)
|
|
|
|
ccprintf(os, "%%l%d", reg - MaxOutput);
|
|
|
|
else if(reg < MaxInput)
|
|
|
|
ccprintf(os, "%%i%d", reg - MaxLocal);
|
2006-03-16 19:58:50 +01:00
|
|
|
else {
|
2006-04-01 03:31:53 +02:00
|
|
|
ccprintf(os, "%%f%d", reg - FP_Base_DepTag);
|
2006-03-16 19:58:50 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-03-07 10:33:10 +01:00
|
|
|
std::string SparcStaticInst::generateDisassembly(Addr pc,
|
|
|
|
const SymbolTable *symtab) const
|
2006-01-29 23:25:54 +01:00
|
|
|
{
|
2006-03-07 10:33:10 +01:00
|
|
|
std::stringstream ss;
|
2006-01-29 23:25:54 +01:00
|
|
|
|
2006-04-01 03:31:53 +02:00
|
|
|
printMnemonic(ss, mnemonic);
|
2006-01-29 23:25:54 +01:00
|
|
|
|
2006-03-07 10:33:10 +01:00
|
|
|
// just print the first two source regs... if there's
|
|
|
|
// a third one, it's a read-modify-write dest (Rc),
|
|
|
|
// e.g. for CMOVxx
|
|
|
|
if(_numSrcRegs > 0)
|
|
|
|
{
|
|
|
|
printReg(ss, _srcRegIdx[0]);
|
|
|
|
}
|
|
|
|
if(_numSrcRegs > 1)
|
|
|
|
{
|
|
|
|
ss << ",";
|
|
|
|
printReg(ss, _srcRegIdx[1]);
|
|
|
|
}
|
2006-01-29 23:25:54 +01:00
|
|
|
|
2006-03-07 10:33:10 +01:00
|
|
|
// just print the first dest... if there's a second one,
|
|
|
|
// it's generally implicit
|
|
|
|
if(_numDestRegs > 0)
|
|
|
|
{
|
|
|
|
if(_numSrcRegs > 0)
|
|
|
|
ss << ",";
|
|
|
|
printReg(ss, _destRegIdx[0]);
|
|
|
|
}
|
2006-01-29 23:25:54 +01:00
|
|
|
|
2006-03-07 10:33:10 +01:00
|
|
|
return ss.str();
|
2006-01-29 23:25:54 +01:00
|
|
|
}
|
|
|
|
|
2006-03-17 20:02:38 +01:00
|
|
|
bool passesCondition(uint32_t codes, uint32_t condition)
|
2006-01-29 23:25:54 +01:00
|
|
|
{
|
2006-03-17 20:02:38 +01:00
|
|
|
CondCodes condCodes;
|
|
|
|
condCodes.bits = codes;
|
2006-03-07 10:33:10 +01:00
|
|
|
switch(condition)
|
|
|
|
{
|
|
|
|
case Always:
|
|
|
|
return true;
|
|
|
|
case Never:
|
|
|
|
return false;
|
|
|
|
case NotEqual:
|
2006-03-17 20:02:38 +01:00
|
|
|
return !condCodes.z;
|
2006-03-07 10:33:10 +01:00
|
|
|
case Equal:
|
2006-03-17 20:02:38 +01:00
|
|
|
return condCodes.z;
|
2006-03-07 10:33:10 +01:00
|
|
|
case Greater:
|
2006-03-17 20:02:38 +01:00
|
|
|
return !(condCodes.z | (condCodes.n ^ condCodes.v));
|
2006-03-07 10:33:10 +01:00
|
|
|
case LessOrEqual:
|
2006-03-17 20:02:38 +01:00
|
|
|
return condCodes.z | (condCodes.n ^ condCodes.v);
|
2006-03-07 10:33:10 +01:00
|
|
|
case GreaterOrEqual:
|
2006-03-17 20:02:38 +01:00
|
|
|
return !(condCodes.n ^ condCodes.v);
|
2006-03-07 10:33:10 +01:00
|
|
|
case Less:
|
2006-03-17 20:02:38 +01:00
|
|
|
return (condCodes.n ^ condCodes.v);
|
2006-03-07 10:33:10 +01:00
|
|
|
case GreaterUnsigned:
|
2006-03-17 20:02:38 +01:00
|
|
|
return !(condCodes.c | condCodes.z);
|
2006-03-07 10:33:10 +01:00
|
|
|
case LessOrEqualUnsigned:
|
2006-03-17 20:02:38 +01:00
|
|
|
return (condCodes.c | condCodes.z);
|
2006-03-07 10:33:10 +01:00
|
|
|
case CarryClear:
|
2006-03-17 20:02:38 +01:00
|
|
|
return !condCodes.c;
|
2006-03-07 10:33:10 +01:00
|
|
|
case CarrySet:
|
2006-03-17 20:02:38 +01:00
|
|
|
return condCodes.c;
|
2006-03-07 10:33:10 +01:00
|
|
|
case Positive:
|
2006-03-17 20:02:38 +01:00
|
|
|
return !condCodes.n;
|
2006-03-07 10:33:10 +01:00
|
|
|
case Negative:
|
2006-03-17 20:02:38 +01:00
|
|
|
return condCodes.n;
|
2006-03-07 10:33:10 +01:00
|
|
|
case OverflowClear:
|
2006-03-17 20:02:38 +01:00
|
|
|
return !condCodes.v;
|
2006-03-07 10:33:10 +01:00
|
|
|
case OverflowSet:
|
2006-03-17 20:02:38 +01:00
|
|
|
return condCodes.v;
|
2006-03-07 10:33:10 +01:00
|
|
|
}
|
2006-03-16 19:58:50 +01:00
|
|
|
panic("Tried testing condition nonexistant "
|
|
|
|
"condition code %d", condition);
|
2006-01-29 23:25:54 +01:00
|
|
|
}
|
|
|
|
}};
|
|
|
|
|