x86: Add a separate register for D flag bit
The D flag bit is part of the cc flag bit register currently. But since it is not being used any where in the implementation, it creates an unnecessary dependency. Hence, it is being moved to a separate register.
This commit is contained in:
parent
3700e5448a
commit
6369df59c8
8 changed files with 54 additions and 35 deletions
|
@ -142,7 +142,7 @@ let {{
|
|||
"func": func,
|
||||
"func_num": "GenericISA::M5DebugFault::%s" % func_num,
|
||||
"cond_test": "checkCondition(ccFlagBits | cfofBits | \
|
||||
ecfBit | ezfBit, cc)"})
|
||||
dfBit | ecfBit | ezfBit, cc)"})
|
||||
exec_output += MicroDebugExecute.subst(iop)
|
||||
header_output += MicroDebugDeclare.subst(iop)
|
||||
decoder_output += MicroDebugConstructor.subst(iop)
|
||||
|
|
|
@ -215,8 +215,8 @@ let {{
|
|||
spm, SetStatus, dataSize)
|
||||
code = 'FpDestReg_uqw = FpSrcReg1_uqw;'
|
||||
else_code = 'FpDestReg_uqw = FpDestReg_uqw;'
|
||||
cond_check = "checkCondition(ccFlagBits | cfofBits | ecfBit | ezfBit, \
|
||||
src2)"
|
||||
cond_check = "checkCondition(ccFlagBits | cfofBits | dfBit | \
|
||||
ecfBit | ezfBit, src2)"
|
||||
|
||||
class Xorfp(FpOp):
|
||||
code = 'FpDestReg_uqw = FpSrcReg1_uqw ^ FpSrcReg2_uqw;'
|
||||
|
|
|
@ -438,9 +438,10 @@ let {{
|
|||
flag_code = '''
|
||||
//Don't have genFlags handle the OF or CF bits
|
||||
uint64_t mask = CFBit | ECFBit | OFBit;
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit, ext & ~mask,
|
||||
result, psrc1, op2);
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~mask, result, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
|
||||
//If a logic microop wants to set these, it wants to set them to 0.
|
||||
|
@ -451,29 +452,32 @@ let {{
|
|||
class FlagRegOp(RegOp):
|
||||
abstract = True
|
||||
flag_code = '''
|
||||
uint64_t newFlags = genFlags(ccFlagBits | cfofBits | ecfBit |
|
||||
ezfBit, ext, result, psrc1, op2);
|
||||
uint64_t newFlags = genFlags(ccFlagBits | cfofBits | dfBit |
|
||||
ecfBit | ezfBit, ext, result, psrc1, op2);
|
||||
cfofBits = newFlags & cfofMask;
|
||||
ecfBit = newFlags & ECFBit;
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
'''
|
||||
|
||||
class SubRegOp(RegOp):
|
||||
abstract = True
|
||||
flag_code = '''
|
||||
uint64_t newFlags = genFlags(ccFlagBits | cfofBits | ecfBit |
|
||||
ezfBit, ext, result, psrc1, ~op2, true);
|
||||
uint64_t newFlags = genFlags(ccFlagBits | cfofBits | dfBit |
|
||||
ecfBit | ezfBit, ext, result, psrc1,
|
||||
~op2, true);
|
||||
cfofBits = newFlags & cfofMask;
|
||||
ecfBit = newFlags & ECFBit;
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
'''
|
||||
|
||||
class CondRegOp(RegOp):
|
||||
abstract = True
|
||||
cond_check = "checkCondition(ccFlagBits | cfofBits | ecfBit | ezfBit, \
|
||||
ext)"
|
||||
cond_check = "checkCondition(ccFlagBits | cfofBits | dfBit | ecfBit | \
|
||||
ezfBit, ext)"
|
||||
cond_control_flag_init = "flags[IsCondControl] = flags[IsControl];"
|
||||
|
||||
class RdRegOp(RegOp):
|
||||
|
@ -732,9 +736,10 @@ let {{
|
|||
cfofBits = cfofBits | OFBit;
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -774,9 +779,10 @@ let {{
|
|||
cfofBits = cfofBits | OFBit;
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -815,9 +821,10 @@ let {{
|
|||
}
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -856,9 +863,10 @@ let {{
|
|||
cfofBits = cfofBits | OFBit;
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -901,9 +909,10 @@ let {{
|
|||
}
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -943,9 +952,10 @@ let {{
|
|||
cfofBits = cfofBits | OFBit;
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -990,9 +1000,10 @@ let {{
|
|||
cfofBits = cfofBits | OFBit;
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -1047,9 +1058,10 @@ let {{
|
|||
cfofBits = cfofBits | OFBit;
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -1110,9 +1122,10 @@ let {{
|
|||
cfofBits = cfofBits | OFBit;
|
||||
|
||||
//Use the regular mechanisms to calculate the other flags.
|
||||
uint64_t newFlags = genFlags(ccFlagBits | ezfBit,
|
||||
uint64_t newFlags = genFlags(ccFlagBits | dfBit | ezfBit,
|
||||
ext & ~(CFBit | ECFBit | OFBit), DestReg, psrc1, op2);
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
}
|
||||
'''
|
||||
|
@ -1130,6 +1143,7 @@ let {{
|
|||
cfofBits = newFlags & cfofMask;
|
||||
ecfBit = newFlags & ECFBit;
|
||||
ezfBit = newFlags & EZFBit;
|
||||
dfBit = newFlags & DFBit;
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
'''
|
||||
|
||||
|
@ -1140,6 +1154,7 @@ let {{
|
|||
|
||||
// Get only the user flags
|
||||
ccFlagBits = newFlags & ccFlagMask;
|
||||
dfBit = newFlags & DFBit;
|
||||
cfofBits = newFlags & cfofMask;
|
||||
ecfBit = 0;
|
||||
ezfBit = 0;
|
||||
|
@ -1152,22 +1167,25 @@ let {{
|
|||
code = 'DestReg = NRIP - CSBase;'
|
||||
|
||||
class Ruflags(RdRegOp):
|
||||
code = 'DestReg = ccFlagBits | cfofBits | ecfBit | ezfBit;'
|
||||
code = 'DestReg = ccFlagBits | cfofBits | dfBit | ecfBit | ezfBit;'
|
||||
|
||||
class Rflags(RdRegOp):
|
||||
code = '''
|
||||
DestReg = ccFlagBits | cfofBits | ecfBit | ezfBit | nccFlagBits;
|
||||
DestReg = ccFlagBits | cfofBits | dfBit |
|
||||
ecfBit | ezfBit | nccFlagBits;
|
||||
'''
|
||||
|
||||
class Ruflag(RegOp):
|
||||
code = '''
|
||||
int flag = bits(ccFlagBits | cfofBits | ecfBit | ezfBit, imm8);
|
||||
int flag = bits(ccFlagBits | cfofBits | dfBit |
|
||||
ecfBit | ezfBit, imm8);
|
||||
DestReg = merge(DestReg, flag, dataSize);
|
||||
ezfBit = (flag == 0) ? EZFBit : 0;
|
||||
'''
|
||||
|
||||
big_code = '''
|
||||
int flag = bits(ccFlagBits | cfofBits | ecfBit | ezfBit, imm8);
|
||||
int flag = bits(ccFlagBits | cfofBits | dfBit |
|
||||
ecfBit | ezfBit, imm8);
|
||||
DestReg = flag & mask(dataSize * 8);
|
||||
ezfBit = (flag == 0) ? EZFBit : 0;
|
||||
'''
|
||||
|
@ -1180,7 +1198,7 @@ let {{
|
|||
class Rflag(RegOp):
|
||||
code = '''
|
||||
MiscReg flagMask = 0x3F7FDD5;
|
||||
MiscReg flags = (nccFlagBits | ccFlagBits | cfofBits |
|
||||
MiscReg flags = (nccFlagBits | ccFlagBits | cfofBits | dfBit |
|
||||
ecfBit | ezfBit) & flagMask;
|
||||
|
||||
int flag = bits(flags, imm8);
|
||||
|
@ -1190,7 +1208,7 @@ let {{
|
|||
|
||||
big_code = '''
|
||||
MiscReg flagMask = 0x3F7FDD5;
|
||||
MiscReg flags = (nccFlagBits | ccFlagBits | cfofBits |
|
||||
MiscReg flags = (nccFlagBits | ccFlagBits | cfofBits | dfBit |
|
||||
ecfBit | ezfBit) & flagMask;
|
||||
|
||||
int flag = bits(flags, imm8);
|
||||
|
|
|
@ -172,7 +172,7 @@ let {{
|
|||
iop = InstObjParams("br", "MicroBranchFlags", "SeqOpBase",
|
||||
{"code": "nuIP = target;",
|
||||
"else_code": "nuIP = nuIP;",
|
||||
"cond_test": "checkCondition(ccFlagBits | cfofBits | \
|
||||
"cond_test": "checkCondition(ccFlagBits | cfofBits | dfBit | \
|
||||
ecfBit | ezfBit, cc)",
|
||||
"cond_control_flag_init": "flags[IsCondControl] = true"})
|
||||
exec_output += SeqOpExecute.subst(iop)
|
||||
|
@ -190,7 +190,7 @@ let {{
|
|||
|
||||
iop = InstObjParams("eret", "EretFlags", "SeqOpBase",
|
||||
{"code": "", "else_code": "",
|
||||
"cond_test": "checkCondition(ccFlagBits | cfofBits | \
|
||||
"cond_test": "checkCondition(ccFlagBits | cfofBits | dfBit | \
|
||||
ecfBit | ezfBit, cc)",
|
||||
"cond_control_flag_init": ""})
|
||||
exec_output += SeqOpExecute.subst(iop)
|
||||
|
|
|
@ -181,7 +181,7 @@ let {{
|
|||
|
||||
iop = InstObjParams("fault", "MicroFaultFlags", "MicroFaultBase",
|
||||
{"code": "",
|
||||
"cond_test": "checkCondition(ccFlagBits | cfofBits | \
|
||||
"cond_test": "checkCondition(ccFlagBits | cfofBits | dfBit | \
|
||||
ecfBit | ezfBit, cc)"})
|
||||
exec_output = MicroFaultExecute.subst(iop)
|
||||
header_output = MicroFaultDeclare.subst(iop)
|
||||
|
|
|
@ -120,12 +120,13 @@ def operands {{
|
|||
# nccFlagBits version holds the rest.
|
||||
'ccFlagBits': intReg('INTREG_PSEUDO(0)', 60),
|
||||
'cfofBits': intReg('INTREG_PSEUDO(1)', 61),
|
||||
'ecfBit': intReg('INTREG_PSEUDO(2)', 62),
|
||||
'ezfBit': intReg('INTREG_PSEUDO(3)', 63),
|
||||
'dfBit': intReg('INTREG_PSEUDO(2)', 62),
|
||||
'ecfBit': intReg('INTREG_PSEUDO(3)', 63),
|
||||
'ezfBit': intReg('INTREG_PSEUDO(4)', 64),
|
||||
# These register should needs to be more protected so that later
|
||||
# instructions don't map their indexes with an old value.
|
||||
'nccFlagBits': controlReg('MISCREG_RFLAGS', 64),
|
||||
'TOP': controlReg('MISCREG_X87_TOP', 65, ctype='ub'),
|
||||
'nccFlagBits': controlReg('MISCREG_RFLAGS', 65),
|
||||
'TOP': controlReg('MISCREG_X87_TOP', 66, ctype='ub'),
|
||||
# The segment base as used by memory instructions.
|
||||
'SegBase': controlReg('MISCREG_SEG_EFF_BASE(segment)', 70),
|
||||
|
||||
|
|
|
@ -65,7 +65,7 @@ namespace X86ISA
|
|||
};
|
||||
|
||||
const uint32_t cfofMask = CFBit | OFBit;
|
||||
const uint32_t ccFlagMask = PFBit | AFBit | ZFBit | SFBit | DFBit;
|
||||
const uint32_t ccFlagMask = PFBit | AFBit | ZFBit | SFBit;
|
||||
|
||||
enum RFLAGBit {
|
||||
TFBit = 1 << 8,
|
||||
|
|
|
@ -46,7 +46,7 @@ namespace X86ISA
|
|||
{
|
||||
const int NumMicroIntRegs = 16;
|
||||
|
||||
const int NumPseudoIntRegs = 4;
|
||||
const int NumPseudoIntRegs = 5;
|
||||
//1. The condition code bits of the rflags register.
|
||||
const int NumImplicitIntRegs = 6;
|
||||
//1. The lower part of the result of multiplication.
|
||||
|
|
Loading…
Reference in a new issue