X86: Turn the CMPXCHG8B microcode into a template and generate each variant.
This commit is contained in:
parent
a43ae579dd
commit
3f2f3bede8
|
@ -98,100 +98,6 @@ def macroop CMPXCHG_LOCKED_P_R {
|
||||||
mov rax, rax, t1, flags=(nCZF,)
|
mov rax, rax, t1, flags=(nCZF,)
|
||||||
};
|
};
|
||||||
|
|
||||||
def macroop CMPXCHG8B_M {
|
|
||||||
lea t1, seg, sib, disp, dataSize=asz
|
|
||||||
ldst t2, seg, [1, t0, t1], 0
|
|
||||||
ldst t3, seg, [1, t0, t1], dsz
|
|
||||||
|
|
||||||
sub t0, rax, t2, flags=(ZF,)
|
|
||||||
br label("doneComparing"), flags=(nCZF,)
|
|
||||||
sub t0, rdx, t3, flags=(ZF,)
|
|
||||||
doneComparing:
|
|
||||||
|
|
||||||
# If they're equal, set t3:t2 to rbx:rcx to write to memory
|
|
||||||
mov t2, t2, rbx, flags=(CZF,)
|
|
||||||
mov t3, t3, rcx, flags=(CZF,)
|
|
||||||
|
|
||||||
# If they're not equal, set rdx:rax to the value from memory.
|
|
||||||
mov rax, rax, t2, flags=(nCZF,)
|
|
||||||
mov rdx, rdx, t3, flags=(nCZF,)
|
|
||||||
|
|
||||||
# Write to memory
|
|
||||||
st t3, seg, [1, t0, t1], dsz
|
|
||||||
st t2, seg, [1, t0, t1], 0
|
|
||||||
};
|
|
||||||
|
|
||||||
def macroop CMPXCHG8B_P {
|
|
||||||
rdip t7
|
|
||||||
lea t1, seg, riprel, disp, dataSize=asz
|
|
||||||
ldst t2, seg, [1, t0, t1], 0
|
|
||||||
ldst t3, seg, [1, t0, t1], dsz
|
|
||||||
|
|
||||||
sub t0, rax, t2, flags=(ZF,)
|
|
||||||
br label("doneComparing"), flags=(nCZF,)
|
|
||||||
sub t0, rdx, t3, flags=(ZF,)
|
|
||||||
doneComparing:
|
|
||||||
|
|
||||||
# If they're equal, set t3:t2 to rbx:rcx to write to memory
|
|
||||||
mov t2, t2, rbx, flags=(CZF,)
|
|
||||||
mov t3, t3, rcx, flags=(CZF,)
|
|
||||||
|
|
||||||
# If they're not equal, set rdx:rax to the value from memory.
|
|
||||||
mov rax, rax, t2, flags=(nCZF,)
|
|
||||||
mov rdx, rdx, t3, flags=(nCZF,)
|
|
||||||
|
|
||||||
# Write to memory
|
|
||||||
st t3, seg, [1, t0, t1], dsz
|
|
||||||
st t2, seg, [1, t0, t1], 0
|
|
||||||
};
|
|
||||||
|
|
||||||
def macroop CMPXCHG8B_LOCKED_M {
|
|
||||||
lea t1, seg, sib, disp, dataSize=asz
|
|
||||||
ldstl t2, seg, [1, t0, t1], 0
|
|
||||||
ldstl t3, seg, [1, t0, t1], dsz
|
|
||||||
|
|
||||||
sub t0, rax, t2, flags=(ZF,)
|
|
||||||
br label("doneComparing"), flags=(nCZF,)
|
|
||||||
sub t0, rdx, t3, flags=(ZF,)
|
|
||||||
doneComparing:
|
|
||||||
|
|
||||||
# If they're equal, set t3:t2 to rbx:rcx to write to memory
|
|
||||||
mov t2, t2, rbx, flags=(CZF,)
|
|
||||||
mov t3, t3, rcx, flags=(CZF,)
|
|
||||||
|
|
||||||
# If they're not equal, set rdx:rax to the value from memory.
|
|
||||||
mov rax, rax, t2, flags=(nCZF,)
|
|
||||||
mov rdx, rdx, t3, flags=(nCZF,)
|
|
||||||
|
|
||||||
# Write to memory
|
|
||||||
stul t3, seg, [1, t0, t1], dsz
|
|
||||||
stul t2, seg, [1, t0, t1], 0
|
|
||||||
};
|
|
||||||
|
|
||||||
def macroop CMPXCHG8B_LOCKED_P {
|
|
||||||
rdip t7
|
|
||||||
lea t1, seg, riprel, disp, dataSize=asz
|
|
||||||
ldstl t2, seg, [1, t0, t1], 0
|
|
||||||
ldstl t3, seg, [1, t0, t1], dsz
|
|
||||||
|
|
||||||
sub t0, rax, t2, flags=(ZF,)
|
|
||||||
br label("doneComparing"), flags=(nCZF,)
|
|
||||||
sub t0, rdx, t3, flags=(ZF,)
|
|
||||||
doneComparing:
|
|
||||||
|
|
||||||
# If they're equal, set t3:t2 to rbx:rcx to write to memory
|
|
||||||
mov t2, t2, rbx, flags=(CZF,)
|
|
||||||
mov t3, t3, rcx, flags=(CZF,)
|
|
||||||
|
|
||||||
# If they're not equal, set rdx:rax to the value from memory.
|
|
||||||
mov rax, rax, t2, flags=(nCZF,)
|
|
||||||
mov rdx, rdx, t3, flags=(nCZF,)
|
|
||||||
|
|
||||||
# Write to memory
|
|
||||||
stul t3, seg, [1, t0, t1], dsz
|
|
||||||
stul t2, seg, [1, t0, t1], 0
|
|
||||||
};
|
|
||||||
|
|
||||||
def macroop XADD_M_R {
|
def macroop XADD_M_R {
|
||||||
ldst t1, seg, sib, disp
|
ldst t1, seg, sib, disp
|
||||||
add t2, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
|
add t2, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
|
||||||
|
@ -229,6 +135,46 @@ def macroop XADD_R_R {
|
||||||
};
|
};
|
||||||
|
|
||||||
'''
|
'''
|
||||||
|
|
||||||
|
cmpxchg8bCode = '''
|
||||||
|
def macroop CMPXCHG8B_%(suffix)s {
|
||||||
|
%(rdip)s
|
||||||
|
lea t1, seg, %(sib)s, disp, dataSize=asz
|
||||||
|
ldst%(l)s t2, seg, [1, t0, t1], 0
|
||||||
|
ldst%(l)s t3, seg, [1, t0, t1], dsz
|
||||||
|
|
||||||
|
sub t0, rax, t2, flags=(ZF,)
|
||||||
|
br label("doneComparing"), flags=(nCZF,)
|
||||||
|
sub t0, rdx, t3, flags=(ZF,)
|
||||||
|
doneComparing:
|
||||||
|
|
||||||
|
# If they're equal, set t3:t2 to rbx:rcx to write to memory
|
||||||
|
mov t2, t2, rbx, flags=(CZF,)
|
||||||
|
mov t3, t3, rcx, flags=(CZF,)
|
||||||
|
|
||||||
|
# If they're not equal, set rdx:rax to the value from memory.
|
||||||
|
mov rax, rax, t2, flags=(nCZF,)
|
||||||
|
mov rdx, rdx, t3, flags=(nCZF,)
|
||||||
|
|
||||||
|
# Write to memory
|
||||||
|
st%(ul)s t3, seg, [1, t0, t1], dsz
|
||||||
|
st%(ul)s t2, seg, [1, t0, t1], 0
|
||||||
|
};
|
||||||
|
'''
|
||||||
|
|
||||||
|
microcode += cmpxchg8bCode % {"rdip": "", "sib": "sib",
|
||||||
|
"l": "", "ul": "",
|
||||||
|
"suffix": "M"}
|
||||||
|
microcode += cmpxchg8bCode % {"rdip": "rdip t7", "sib": "riprel",
|
||||||
|
"l": "", "ul": "",
|
||||||
|
"suffix": "P"}
|
||||||
|
microcode += cmpxchg8bCode % {"rdip": "", "sib": "sib",
|
||||||
|
"l": "l", "ul": "ul",
|
||||||
|
"suffix": "LOCKED_M"}
|
||||||
|
microcode += cmpxchg8bCode % {"rdip": "rdip t7", "sib": "riprel",
|
||||||
|
"l": "l", "ul": "ul",
|
||||||
|
"suffix": "LOCKED_P"}
|
||||||
|
|
||||||
#let {{
|
#let {{
|
||||||
# class XCHG(Inst):
|
# class XCHG(Inst):
|
||||||
# "GenFault ${new UnimpInstFault}"
|
# "GenFault ${new UnimpInstFault}"
|
||||||
|
|
Loading…
Reference in a new issue