insn_basic.def

来自「The Valgrind distribution has multiple t」· DEF 代码 · 共 1,129 行 · 第 1/5 页

notb r8.ub[0xca] => 0.ub[0x35]
notb m8.ub[0xca] => 0.ub[0x35]
notw r16.uw[0xf0ca] => 0.uw[0x0f35]
notw m16.uw[0xf0ca] => 0.uw[0x0f35]
notl r32.ud[0xff00f0ca] => 0.ud[0x00ff0f35]
notl m32.ud[0xff00f0ca] => 0.ud[0x00ff0f35]
notq r64.uq[0xffff0000ff00f0ca] => 0.uq[0x0000ffff00ff0f35]
notq m64.uq[0xffff0000ff00f0ca] => 0.uq[0x0000ffff00ff0f35]
orb imm8[0x34] al.ub[0x56] => 1.ub[0x76]
orb imm8[0x34] bl.ub[0x56] => 1.ub[0x76]
orb imm8[0x34] m8.ub[0x56] => 1.ub[0x76]
orb r8.ub[0x34] r8.ub[0x56] => 1.ub[0x76]
orb r8.ub[0x34] m8.ub[0x56] => 1.ub[0x76]
orb m8.ub[0x34] r8.ub[0x56] => 1.ub[0x76]
orw imm8[0x31] r16.uw[0x1234] => 1.uw[0x1235]
orw imm16[0x4231] ax.uw[0x1234] => 1.uw[0x5235]
orw imm16[0x4231] bx.uw[0x1234] => 1.uw[0x5235]
orw imm16[0x4231] m16.uw[0x1234] => 1.uw[0x5235]
orw r16.uw[0x4231] r16.uw[0x1234] => 1.uw[0x5235]
orw r16.uw[0x4231] m16.uw[0x1234] => 1.uw[0x5235]
orw m16.uw[0x4231] r16.uw[0x1234] => 1.uw[0x5235]
orl imm8[0x31] r32.ud[0x12345678] => 1.ud[0x12345679]
orl imm32[0x86427531] eax.ud[0x12345678] => 1.ud[0x96767779]
orl imm32[0x86427531] ebx.ud[0x12345678] => 1.ud[0x96767779]
orl imm32[0x86427531] m32.ud[0x12345678] => 1.ud[0x96767779]
orl r32.ud[0x86427531] r32.ud[0x12345678] => 1.ud[0x96767779]
orl r32.ud[0x86427531] m32.ud[0x12345678] => 1.ud[0x96767779]
orl m32.ud[0x86427531] r32.ud[0x12345678] => 1.ud[0x96767779]
orq imm8[0x31] r64.uq[0x0123456789abcdcc] => 1.uq[0x0123456789abcdfd]
orq imm32[0x12345678] rax.uq[0x8642753186427531] => 1.uq[0x8642753196767779]
orq imm32[0x12345678] rbx.uq[0x8642753186427531] => 1.uq[0x8642753196767779]
orq imm32[0x12345678] m64.uq[0x8642753186427531] => 1.uq[0x8642753196767779]
orq imm32[-2042464975] rax.uq[0x1234567812345678] => 1.uq[0xffffffff96767779]
orq imm32[-2042464975] rbx.uq[0x1234567812345678] => 1.uq[0xffffffff96767779]
orq imm32[-2042464975] m64.uq[0x1234567812345678] => 1.uq[0xffffffff96767779]
orq r64.uq[0xeca86420fdb97531] r64.uq[0x0123456789abcdef] => 1.uq[0xedab6567fdbbfdff]
orq r64.uq[0xeca86420fdb97531] m64.uq[0x0123456789abcdef] => 1.uq[0xedab6567fdbbfdff]
orq m64.uq[0xeca86420fdb97531] r64.uq[0x0123456789abcdef] => 1.uq[0xedab6567fdbbfdff]
###rclb eflags[0x1,0x0] : r8.ub[0xca] => 0.ub[0x94] eflags[0x1,0x1]
###rclb eflags[0x1,0x0] : m8.ub[0xca] => 0.ub[0x94] eflags[0x1,0x1]
###rclb eflags[0x1,0x0] : imm8[2] r8.ub[0xca] => 1.ub[0x29] eflags[0x1,0x1]
###rclb eflags[0x1,0x0] : imm8[2] m8.ub[0xca] => 1.ub[0x29] eflags[0x1,0x1]
###rclb eflags[0x1,0x0] : cl.ub[2] r8.ub[0xca] => 1.ub[0x29] eflags[0x1,0x1]
###rclb eflags[0x1,0x0] : cl.ub[2] m8.ub[0xca] => 1.ub[0x29] eflags[0x1,0x1]
###rclw eflags[0x1,0x0] : r16.uw[0xf0ca] => 0.uw[0xe194] eflags[0x1,0x1]
###rclw eflags[0x1,0x0] : m16.uw[0xf0ca] => 0.uw[0xe194] eflags[0x1,0x1]
###rclw eflags[0x1,0x0] : imm8[4] r16.uw[0xf0ca] => 1.uw[0x0ca7] eflags[0x1,0x1]
###rclw eflags[0x1,0x0] : imm8[4] m16.uw[0xf0ca] => 1.uw[0x0ca7] eflags[0x1,0x1]
###rclw eflags[0x1,0x0] : cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0ca7] eflags[0x1,0x1]
###rclw eflags[0x1,0x0] : cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0ca7] eflags[0x1,0x1]
###rcll eflags[0x1,0x0] : r32.ud[0xff00f0ca] => 0.ud[0xfe01e194] eflags[0x1,0x1]
###rcll eflags[0x1,0x0] : m32.ud[0xff00f0ca] => 0.ud[0xfe01e194] eflags[0x1,0x1]
###rcll eflags[0x1,0x0] : imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca7f] eflags[0x1,0x1]
###rcll eflags[0x1,0x0] : imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca7f] eflags[0x1,0x1]
###rcll eflags[0x1,0x0] : cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca7f] eflags[0x1,0x1]
###rcll eflags[0x1,0x0] : cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca7f] eflags[0x1,0x1]
###rclq eflags[0x1,0x0] : r64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194] eflags[0x1,0x1]
###rclq eflags[0x1,0x0] : m64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194] eflags[0x1,0x1]
###rclq eflags[0x1,0x0] : imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca7fff] eflags[0x1,0x1]
###rclq eflags[0x1,0x0] : imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca7fff] eflags[0x1,0x1]
###rclq eflags[0x1,0x0] : cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca7fff] eflags[0x1,0x1]
###rclq eflags[0x1,0x0] : cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca7fff] eflags[0x1,0x1]
rcrb eflags[0x1,0x1] : r8.ub[0xca] => 0.ub[0xe5] eflags[0x1,0x0]
rcrb eflags[0x1,0x1] : m8.ub[0xca] => 0.ub[0xe5] eflags[0x1,0x0]
rcrb eflags[0x1,0x0] : imm8[2] r8.ub[0xca] => 1.ub[0x32] eflags[0x1,0x1]
rcrb eflags[0x1,0x0] : imm8[2] m8.ub[0xca] => 1.ub[0x32] eflags[0x1,0x1]
rcrb eflags[0x1,0x0] : cl.ub[2] r8.ub[0xca] => 1.ub[0x32] eflags[0x1,0x1]
rcrb eflags[0x1,0x0] : cl.ub[2] m8.ub[0xca] => 1.ub[0x32] eflags[0x1,0x1]
rcrw eflags[0x1,0x1] : r16.uw[0xf0ca] => 0.uw[0xf865] eflags[0x1,0x0]
rcrw eflags[0x1,0x1] : m16.uw[0xf0ca] => 0.uw[0xf865] eflags[0x1,0x0]
rcrw eflags[0x1,0x0] : imm8[4] r16.uw[0xf0ca] => 1.uw[0x4f0c] eflags[0x1,0x1]
rcrw eflags[0x1,0x0] : imm8[4] m16.uw[0xf0ca] => 1.uw[0x4f0c] eflags[0x1,0x1]
rcrw eflags[0x1,0x0] : cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x4f0c] eflags[0x1,0x1]
rcrw eflags[0x1,0x0] : cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x4f0c] eflags[0x1,0x1]
rcrl eflags[0x1,0x1] : r32.ud[0xff00f0ca] => 0.ud[0xff807865] eflags[0x1,0x0]
rcrl eflags[0x1,0x1] : m32.ud[0xff00f0ca] => 0.ud[0xff807865] eflags[0x1,0x0]
rcrl eflags[0x1,0x0] : imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x94ff00f0] eflags[0x1,0x1]
rcrl eflags[0x1,0x0] : imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x94ff00f0] eflags[0x1,0x1]
rcrl eflags[0x1,0x0] : cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x94ff00f0] eflags[0x1,0x1]
rcrl eflags[0x1,0x0] : cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x94ff00f0] eflags[0x1,0x1]
rcrq eflags[0x1,0x1] : r64.uq[0xffff0000ff00f0ca] => 0.uq[0xffff80007f807865] eflags[0x1,0x0]
rcrq eflags[0x1,0x1] : m64.uq[0xffff0000ff00f0ca] => 0.uq[0xffff80007f807865] eflags[0x1,0x0]
rcrq eflags[0x1,0x0] : imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xe194ffff0000ff00] eflags[0x1,0x1]
rcrq eflags[0x1,0x0] : imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xe194ffff0000ff00] eflags[0x1,0x1]
rcrq eflags[0x1,0x0] : cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xe194ffff0000ff00] eflags[0x1,0x1]
rcrq eflags[0x1,0x0] : cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xe194ffff0000ff00] eflags[0x1,0x1]
rolb r8.ub[0xca] => 0.ub[0x95]
rolb m8.ub[0xca] => 0.ub[0x95]
rolb imm8[2] r8.ub[0xca] => 1.ub[0x2b]
rolb imm8[2] m8.ub[0xca] => 1.ub[0x2b]
rolb cl.ub[2] r8.ub[0xca] => 1.ub[0x2b]
rolb cl.ub[2] m8.ub[0xca] => 1.ub[0x2b]
rolw r16.uw[0xf0ca] => 0.uw[0xe195]
rolw m16.uw[0xf0ca] => 0.uw[0xe195]
rolw imm8[4] r16.uw[0xf0ca] => 1.uw[0x0caf]
rolw imm8[4] m16.uw[0xf0ca] => 1.uw[0x0caf]
rolw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0caf]
rolw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0caf]
roll r32.ud[0xff00f0ca] => 0.ud[0xfe01e195]
roll m32.ud[0xff00f0ca] => 0.ud[0xfe01e195]
roll imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0caff]
roll imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0caff]
roll cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0caff]
roll cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0caff]
rolq r64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e195]
rolq m64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e195]
rolq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0caffff]
rolq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0caffff]
rolq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0caffff]
rolq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0caffff]
rorb r8.ub[0xca] => 0.ub[0x65]
rorb m8.ub[0xca] => 0.ub[0x65]
rorb imm8[2] r8.ub[0xca] => 1.ub[0xb2]
rorb imm8[2] m8.ub[0xca] => 1.ub[0xb2]
rorb cl.ub[2] r8.ub[0xca] => 1.ub[0xb2]
rorb cl.ub[2] m8.ub[0xca] => 1.ub[0xb2]
rorw r16.uw[0xf0ca] => 0.uw[0x7865]
rorw m16.uw[0xf0ca] => 0.uw[0x7865]
rorw imm8[4] r16.uw[0xf0ca] => 1.uw[0xaf0c]
rorw imm8[4] m16.uw[0xf0ca] => 1.uw[0xaf0c]
rorw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0xaf0c]
rorw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0xaf0c]
rorl r32.ud[0xff00f0ca] => 0.ud[0x7f807865]
rorl m32.ud[0xff00f0ca] => 0.ud[0x7f807865]
rorl imm8[8] r32.ud[0xff00f0ca] => 1.ud[0xcaff00f0]
rorl imm8[8] m32.ud[0xff00f0ca] => 1.ud[0xcaff00f0]
rorl cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0xcaff00f0]
rorl cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0xcaff00f0]
rorq r64.uq[0xffff0000ff00f0ca] => 0.uq[0x7fff80007f807865]
rorq m64.uq[0xffff0000ff00f0ca] => 0.uq[0x7fff80007f807865]
rorq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xf0caffff0000ff00]
rorq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xf0caffff0000ff00]
rorq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xf0caffff0000ff00]
rorq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xf0caffff0000ff00]
###sahf eflags[0xff,0x28] ah.ub[0xfd] : => eflags[0xfd,0xd5]
###sahf eflags[0xff,0xfd] ah.ub[0x28] : => eflags[0xfd,0x00]
salb r8.ub[0xca] => 0.ub[0x94]
salb m8.ub[0xca] => 0.ub[0x94]
salb imm8[2] r8.ub[0xca] => 1.ub[0x28]
salb imm8[2] m8.ub[0xca] => 1.ub[0x28]
salb cl.ub[2] r8.ub[0xca] => 1.ub[0x28]
salb cl.ub[2] m8.ub[0xca] => 1.ub[0x28]
salw r16.uw[0xf0ca] => 0.uw[0xe194]
salw m16.uw[0xf0ca] => 0.uw[0xe194]
salw imm8[4] r16.uw[0xf0ca] => 1.uw[0x0ca0]
salw imm8[4] m16.uw[0xf0ca] => 1.uw[0x0ca0]
salw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0ca0]
salw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0ca0]
sall r32.ud[0xff00f0ca] => 0.ud[0xfe01e194]
sall m32.ud[0xff00f0ca] => 0.ud[0xfe01e194]
sall imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
sall imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
sall cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
sall cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
salq r64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194]
salq m64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194]
salq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
salq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
salq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
salq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
sarb r8.ub[0xca] => 0.ub[0xe5]
sarb m8.ub[0xca] => 0.ub[0xe5]
sarb imm8[2] r8.ub[0xca] => 1.ub[0xf2]
sarb imm8[2] m8.ub[0xca] => 1.ub[0xf2]
sarb cl.ub[2] r8.ub[0xca] => 1.ub[0xf2]
sarb cl.ub[2] m8.ub[0xca] => 1.ub[0xf2]
sarw r16.uw[0xf0ca] => 0.uw[0xf865]
sarw m16.uw[0xf0ca] => 0.uw[0xf865]
sarw imm8[4] r16.uw[0xf0ca] => 1.uw[0xff0c]
sarw imm8[4] m16.uw[0xf0ca] => 1.uw[0xff0c]
sarw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0xff0c]
sarw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0xff0c]
sarl r32.ud[0xff00f0ca] => 0.ud[0xff807865]
sarl m32.ud[0xff00f0ca] => 0.ud[0xff807865]
sarl imm8[8] r32.ud[0xff00f0ca] => 1.ud[0xffff00f0]
sarl imm8[8] m32.ud[0xff00f0ca] => 1.ud[0xffff00f0]
sarl cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0xffff00f0]
sarl cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0xffff00f0]
sarq r64.uq[0xffff0000ff00f0ca] => 0.uq[0xffff80007f807865]
sarq m64.uq[0xffff0000ff00f0ca] => 0.uq[0xffff80007f807865]
sarq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xffffffff0000ff00]
sarq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xffffffff0000ff00]
sarq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xffffffff0000ff00]
sarq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xffffffff0000ff00]
###sbbb eflags[0x1,0x0] : imm8[12] al.ub[34] => 1.ub[22]
###sbbb eflags[0x1,0x1] : imm8[12] al.ub[34] => 1.ub[21]
sbbb eflags[0x1,0x0] : imm8[12] bl.ub[34] => 1.ub[22]
sbbb eflags[0x1,0x1] : imm8[12] bl.ub[34] => 1.ub[21]
sbbb eflags[0x1,0x0] : imm8[12] m8.ub[34] => 1.ub[22]
sbbb eflags[0x1,0x1] : imm8[12] m8.ub[34] => 1.ub[21]
sbbb eflags[0x1,0x0] : r8.ub[12] r8.ub[34] => 1.ub[22]
sbbb eflags[0x1,0x1] : r8.ub[12] r8.ub[34] => 1.ub[21]
###sbbb eflags[0x1,0x0] : r8.ub[12] m8.ub[34] => 1.ub[22]
###sbbb eflags[0x1,0x1] : r8.ub[12] m8.ub[34] => 1.ub[21]
###sbbb eflags[0x1,0x0] : m8.ub[12] r8.ub[34] => 1.ub[22]
###sbbb eflags[0x1,0x1] : m8.ub[12] r8.ub[34] => 1.ub[21]
sbbw eflags[0x1,0x0] : imm8[12] r16.uw[3456] => 1.uw[3444]
sbbw eflags[0x1,0x1] : imm8[12] r16.uw[3456] => 1.uw[3443]
###sbbw eflags[0x1,0x0] : imm16[1234] ax.uw[5678] => 1.uw[4444]
###sbbw eflags[0x1,0x1] : imm16[1234] ax.uw[5678] => 1.uw[4443]
sbbw eflags[0x1,0x0] : imm16[1234] bx.uw[5678] => 1.uw[4444]
sbbw eflags[0x1,0x1] : imm16[1234] bx.uw[5678] => 1.uw[4443]
sbbw eflags[0x1,0x0] : imm16[1234] m16.uw[5678] => 1.uw[4444]
sbbw eflags[0x1,0x1] : imm16[1234] m16.uw[5678] => 1.uw[4443]
sbbw eflags[0x1,0x0] : r16.uw[1234] r16.uw[5678] => 1.uw[4444]
sbbw eflags[0x1,0x1] : r16.uw[1234] r16.uw[5678] => 1.uw[4443]
###sbbw eflags[0x1,0x0] : r16.uw[1234] m16.uw[5678] => 1.uw[4444]
###sbbw eflags[0x1,0x1] : r16.uw[1234] m16.uw[5678] => 1.uw[4443]
sbbw eflags[0x1,0x0] : m16.uw[1234] r16.uw[5678] => 1.uw[4444]
sbbw eflags[0x1,0x1] : m16.uw[1234] r16.uw[5678] => 1.uw[4443]
sbbl eflags[0x1,0x0] : imm8[12] r32.ud[87654321] => 1.ud[87654309]
sbbl eflags[0x1,0x1] : imm8[12] r32.ud[87654321] => 1.ud[87654308]
###sbbl eflags[0x1,0x0] : imm32[12345678] eax.ud[87654321] => 1.ud[75308643]
###sbbl eflags[0x1,0x1] : imm32[12345678] eax.ud[87654321] => 1.ud[75308642]
sbbl eflags[0x1,0x0] : imm32[12345678] ebx.ud[87654321] => 1.ud[75308643]
sbbl eflags[0x1,0x1] : imm32[12345678] ebx.ud[87654321] => 1.ud[75308642]
sbbl eflags[0x1,0x0] : imm32[12345678] m32.ud[87654321] => 1.ud[75308643]
sbbl eflags[0x1,0x1] : imm32[12345678] m32.ud[87654321] => 1.ud[75308642]
sbbl eflags[0x1,0x0] : r32.ud[12345678] r32.ud[87654321] => 1.ud[75308643]
sbbl eflags[0x1,0x1] : r32.ud[12345678] r32.ud[87654321] => 1.ud[75308642]
###sbbl eflags[0x1,0x0] : r32.ud[12345678] m32.ud[87654321] => 1.ud[75308643]
###sbbl eflags[0x1,0x1] : r32.ud[12345678] m32.ud[87654321] => 1.ud[75308642]
sbbl eflags[0x1,0x0] : m32.ud[12345678] r32.ud[87654321] => 1.ud[75308643]
sbbl eflags[0x1,0x1] : m32.ud[12345678] r32.ud[87654321] => 1.ud[75308642]
sbbq eflags[0x1,0x0] : imm8[12] r64.uq[8765432175318642] => 1.uq[8765432175318630]
sbbq eflags[0x1,0x1] : imm8[12] r64.uq[8765432175318642] => 1.uq[8765432175318629]