insn_basic.def

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

###sbbq eflags[0x1,0x0] : imm32[12345678] rax.uq[8765432175318642] => 1.uq[8765432162972964]
###sbbq eflags[0x1,0x1] : imm32[12345678] rax.uq[8765432175318642] => 1.uq[8765432162972963]
sbbq eflags[0x1,0x0] : imm32[12345678] rbx.uq[8765432175318642] => 1.uq[8765432162972964]
sbbq eflags[0x1,0x1] : imm32[12345678] rbx.uq[8765432175318642] => 1.uq[8765432162972963]
sbbq eflags[0x1,0x0] : imm32[12345678] m64.uq[8765432175318642] => 1.uq[8765432162972964]
sbbq eflags[0x1,0x1] : imm32[12345678] m64.uq[8765432175318642] => 1.uq[8765432162972963]
sbbq eflags[0x1,0x0] : r64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746174]
sbbq eflags[0x1,0x1] : r64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746173]
###sbbq eflags[0x1,0x0] : r64.uq[1234567813572468] m64.uq[8765432175318642] => 1.uq[7530864361746174]
###sbbq eflags[0x1,0x1] : r64.uq[1234567813572468] m64.uq[8765432175318642] => 1.uq[7530864361746173]
sbbq eflags[0x1,0x0] : m64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746174]
sbbq eflags[0x1,0x1] : m64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746173]
seta eflags[0x041,0x000] : r8.ub[123] => 0.ub[1]
seta eflags[0x041,0x001] : r8.ub[123] => 0.ub[0]
seta eflags[0x041,0x040] : r8.ub[123] => 0.ub[0]
seta eflags[0x041,0x041] : r8.ub[123] => 0.ub[0]
seta eflags[0x041,0x000] : m8.ub[123] => 0.ub[1]
seta eflags[0x041,0x001] : m8.ub[123] => 0.ub[0]
seta eflags[0x041,0x040] : m8.ub[123] => 0.ub[0]
seta eflags[0x041,0x041] : m8.ub[123] => 0.ub[0]
setae eflags[0x001,0x000] : r8.ub[123] => 0.ub[1]
setae eflags[0x001,0x001] : r8.ub[123] => 0.ub[0]
setae eflags[0x001,0x000] : m8.ub[123] => 0.ub[1]
setae eflags[0x001,0x001] : m8.ub[123] => 0.ub[0]
setb eflags[0x001,0x000] : r8.ub[123] => 0.ub[0]
setb eflags[0x001,0x001] : r8.ub[123] => 0.ub[1]
setb eflags[0x001,0x000] : m8.ub[123] => 0.ub[0]
setb eflags[0x001,0x001] : m8.ub[123] => 0.ub[1]
setbe eflags[0x041,0x000] : r8.ub[123] => 0.ub[0]
setbe eflags[0x041,0x001] : r8.ub[123] => 0.ub[1]
setbe eflags[0x041,0x040] : r8.ub[123] => 0.ub[1]
setbe eflags[0x041,0x041] : r8.ub[123] => 0.ub[1]
setbe eflags[0x041,0x000] : m8.ub[123] => 0.ub[0]
setbe eflags[0x041,0x001] : m8.ub[123] => 0.ub[1]
setbe eflags[0x041,0x040] : m8.ub[123] => 0.ub[1]
setbe eflags[0x041,0x041] : m8.ub[123] => 0.ub[1]
setc eflags[0x001,0x000] : r8.ub[123] => 0.ub[0]
setc eflags[0x001,0x001] : r8.ub[123] => 0.ub[1]
setc eflags[0x001,0x000] : m8.ub[123] => 0.ub[0]
setc eflags[0x001,0x001] : m8.ub[123] => 0.ub[1]
sete eflags[0x040,0x000] : r8.ub[123] => 0.ub[0]
sete eflags[0x040,0x040] : r8.ub[123] => 0.ub[1]
sete eflags[0x040,0x000] : m8.ub[123] => 0.ub[0]
sete eflags[0x040,0x040] : m8.ub[123] => 0.ub[1]
setg eflags[0x8c0,0x000] : r8.ub[123] => 0.ub[1]
setg eflags[0x8c0,0x040] : r8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x080] : r8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x0c0] : r8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x800] : r8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x840] : r8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x880] : r8.ub[123] => 0.ub[1]
setg eflags[0x8c0,0x8c0] : r8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x000] : m8.ub[123] => 0.ub[1]
setg eflags[0x8c0,0x040] : m8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x080] : m8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x0c0] : m8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x800] : m8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x840] : m8.ub[123] => 0.ub[0]
setg eflags[0x8c0,0x880] : m8.ub[123] => 0.ub[1]
setg eflags[0x8c0,0x8c0] : m8.ub[123] => 0.ub[0]
setge eflags[0x8c0,0x000] : r8.ub[123] => 0.ub[1]
setge eflags[0x8c0,0x080] : r8.ub[123] => 0.ub[0]
setge eflags[0x8c0,0x800] : r8.ub[123] => 0.ub[0]
setge eflags[0x8c0,0x880] : r8.ub[123] => 0.ub[1]
setge eflags[0x8c0,0x000] : m8.ub[123] => 0.ub[1]
setge eflags[0x8c0,0x080] : m8.ub[123] => 0.ub[0]
setge eflags[0x8c0,0x800] : m8.ub[123] => 0.ub[0]
setge eflags[0x8c0,0x880] : m8.ub[123] => 0.ub[1]
setl eflags[0x8c0,0x000] : r8.ub[123] => 0.ub[0]
setl eflags[0x8c0,0x080] : r8.ub[123] => 0.ub[1]
setl eflags[0x8c0,0x800] : r8.ub[123] => 0.ub[1]
setl eflags[0x8c0,0x880] : r8.ub[123] => 0.ub[0]
setl eflags[0x8c0,0x000] : m8.ub[123] => 0.ub[0]
setl eflags[0x8c0,0x080] : m8.ub[123] => 0.ub[1]
setl eflags[0x8c0,0x800] : m8.ub[123] => 0.ub[1]
setl eflags[0x8c0,0x880] : m8.ub[123] => 0.ub[0]
setle eflags[0x8c0,0x000] : r8.ub[123] => 0.ub[0]
setle eflags[0x8c0,0x040] : r8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x080] : r8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x0c0] : r8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x800] : r8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x840] : r8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x880] : r8.ub[123] => 0.ub[0]
setle eflags[0x8c0,0x8c0] : r8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x000] : m8.ub[123] => 0.ub[0]
setle eflags[0x8c0,0x040] : m8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x080] : m8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x0c0] : m8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x800] : m8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x840] : m8.ub[123] => 0.ub[1]
setle eflags[0x8c0,0x880] : m8.ub[123] => 0.ub[0]
setle eflags[0x8c0,0x8c0] : m8.ub[123] => 0.ub[1]
setna eflags[0x041,0x000] : r8.ub[123] => 0.ub[0]
setna eflags[0x041,0x001] : r8.ub[123] => 0.ub[1]
setna eflags[0x041,0x040] : r8.ub[123] => 0.ub[1]
setna eflags[0x041,0x041] : r8.ub[123] => 0.ub[1]
setna eflags[0x041,0x000] : m8.ub[123] => 0.ub[0]
setna eflags[0x041,0x001] : m8.ub[123] => 0.ub[1]
setna eflags[0x041,0x040] : m8.ub[123] => 0.ub[1]
setna eflags[0x041,0x041] : m8.ub[123] => 0.ub[1]
setnae eflags[0x001,0x000] : r8.ub[123] => 0.ub[0]
setnae eflags[0x001,0x001] : r8.ub[123] => 0.ub[1]
setnae eflags[0x001,0x000] : m8.ub[123] => 0.ub[0]
setnae eflags[0x001,0x001] : m8.ub[123] => 0.ub[1]
setnb eflags[0x001,0x000] : r8.ub[123] => 0.ub[1]
setnb eflags[0x001,0x001] : r8.ub[123] => 0.ub[0]
setnb eflags[0x001,0x000] : m8.ub[123] => 0.ub[1]
setnb eflags[0x001,0x001] : m8.ub[123] => 0.ub[0]
setnbe eflags[0x041,0x000] : r8.ub[123] => 0.ub[1]
setnbe eflags[0x041,0x001] : r8.ub[123] => 0.ub[0]
setnbe eflags[0x041,0x040] : r8.ub[123] => 0.ub[0]
setnbe eflags[0x041,0x041] : r8.ub[123] => 0.ub[0]
setnbe eflags[0x041,0x000] : m8.ub[123] => 0.ub[1]
setnbe eflags[0x041,0x001] : m8.ub[123] => 0.ub[0]
setnbe eflags[0x041,0x040] : m8.ub[123] => 0.ub[0]
setnbe eflags[0x041,0x041] : m8.ub[123] => 0.ub[0]
setnc eflags[0x001,0x000] : r8.ub[123] => 0.ub[1]
setnc eflags[0x001,0x001] : r8.ub[123] => 0.ub[0]
setnc eflags[0x001,0x000] : m8.ub[123] => 0.ub[1]
setnc eflags[0x001,0x001] : m8.ub[123] => 0.ub[0]
setne eflags[0x040,0x000] : r8.ub[123] => 0.ub[1]
setne eflags[0x040,0x040] : r8.ub[123] => 0.ub[0]
setne eflags[0x040,0x000] : m8.ub[123] => 0.ub[1]
setne eflags[0x040,0x040] : m8.ub[123] => 0.ub[0]
setng eflags[0x8c0,0x000] : r8.ub[123] => 0.ub[0]
setng eflags[0x8c0,0x040] : r8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x080] : r8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x0c0] : r8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x800] : r8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x840] : r8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x880] : r8.ub[123] => 0.ub[0]
setng eflags[0x8c0,0x8c0] : r8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x000] : m8.ub[123] => 0.ub[0]
setng eflags[0x8c0,0x040] : m8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x080] : m8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x0c0] : m8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x800] : m8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x840] : m8.ub[123] => 0.ub[1]
setng eflags[0x8c0,0x880] : m8.ub[123] => 0.ub[0]
setng eflags[0x8c0,0x8c0] : m8.ub[123] => 0.ub[1]
setnge eflags[0x8c0,0x000] : r8.ub[123] => 0.ub[0]
setnge eflags[0x8c0,0x080] : r8.ub[123] => 0.ub[1]
setnge eflags[0x8c0,0x800] : r8.ub[123] => 0.ub[1]
setnge eflags[0x8c0,0x880] : r8.ub[123] => 0.ub[0]
setnge eflags[0x8c0,0x000] : m8.ub[123] => 0.ub[0]
setnge eflags[0x8c0,0x080] : m8.ub[123] => 0.ub[1]
setnge eflags[0x8c0,0x800] : m8.ub[123] => 0.ub[1]
setnge eflags[0x8c0,0x880] : m8.ub[123] => 0.ub[0]
setnl eflags[0x8c0,0x000] : r8.ub[123] => 0.ub[1]
setnl eflags[0x8c0,0x080] : r8.ub[123] => 0.ub[0]
setnl eflags[0x8c0,0x800] : r8.ub[123] => 0.ub[0]
setnl eflags[0x8c0,0x880] : r8.ub[123] => 0.ub[1]
setnl eflags[0x8c0,0x000] : m8.ub[123] => 0.ub[1]
setnl eflags[0x8c0,0x080] : m8.ub[123] => 0.ub[0]
setnl eflags[0x8c0,0x800] : m8.ub[123] => 0.ub[0]
setnl eflags[0x8c0,0x880] : m8.ub[123] => 0.ub[1]
setnle eflags[0x8c0,0x000] : r8.ub[123] => 0.ub[1]
setnle eflags[0x8c0,0x040] : r8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x080] : r8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x0c0] : r8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x800] : r8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x840] : r8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x880] : r8.ub[123] => 0.ub[1]
setnle eflags[0x8c0,0x8c0] : r8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x000] : m8.ub[123] => 0.ub[1]
setnle eflags[0x8c0,0x040] : m8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x080] : m8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x0c0] : m8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x800] : m8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x840] : m8.ub[123] => 0.ub[0]
setnle eflags[0x8c0,0x880] : m8.ub[123] => 0.ub[1]
setnle eflags[0x8c0,0x8c0] : m8.ub[123] => 0.ub[0]
setno eflags[0x800,0x000] : r8.ub[123] => 0.ub[1]
setno eflags[0x800,0x800] : r8.ub[123] => 0.ub[0]
setno eflags[0x800,0x000] : m8.ub[123] => 0.ub[1]
setno eflags[0x800,0x800] : m8.ub[123] => 0.ub[0]
setnp eflags[0x004,0x000] : r8.ub[123] => 0.ub[1]
setnp eflags[0x004,0x004] : r8.ub[123] => 0.ub[0]
setnp eflags[0x004,0x000] : m8.ub[123] => 0.ub[1]
setnp eflags[0x004,0x004] : m8.ub[123] => 0.ub[0]
setns eflags[0x080,0x000] : r8.ub[123] => 0.ub[1]
setns eflags[0x080,0x080] : r8.ub[123] => 0.ub[0]
setns eflags[0x080,0x000] : m8.ub[123] => 0.ub[1]
setns eflags[0x080,0x080] : m8.ub[123] => 0.ub[0]
setnz eflags[0x040,0x000] : r8.ub[123] => 0.ub[1]
setnz eflags[0x040,0x040] : r8.ub[123] => 0.ub[0]
setnz eflags[0x040,0x000] : m8.ub[123] => 0.ub[1]
setnz eflags[0x040,0x040] : m8.ub[123] => 0.ub[0]
seto eflags[0x800,0x000] : r8.ub[123] => 0.ub[0]
seto eflags[0x800,0x800] : r8.ub[123] => 0.ub[1]
seto eflags[0x800,0x000] : m8.ub[123] => 0.ub[0]
seto eflags[0x800,0x800] : m8.ub[123] => 0.ub[1]
setp eflags[0x004,0x000] : r8.ub[123] => 0.ub[0]
setp eflags[0x004,0x004] : r8.ub[123] => 0.ub[1]
setp eflags[0x004,0x000] : m8.ub[123] => 0.ub[0]
setp eflags[0x004,0x004] : m8.ub[123] => 0.ub[1]
sets eflags[0x080,0x000] : r8.ub[123] => 0.ub[0]
sets eflags[0x080,0x080] : r8.ub[123] => 0.ub[1]
sets eflags[0x080,0x000] : m8.ub[123] => 0.ub[0]
sets eflags[0x080,0x080] : m8.ub[123] => 0.ub[1]
setz eflags[0x040,0x000] : r8.ub[123] => 0.ub[0]
setz eflags[0x040,0x040] : r8.ub[123] => 0.ub[1]
setz eflags[0x040,0x000] : m8.ub[123] => 0.ub[0]
setz eflags[0x040,0x040] : m8.ub[123] => 0.ub[1]
shlb r8.ub[0xca] => 0.ub[0x94]
shlb m8.ub[0xca] => 0.ub[0x94]
shlb imm8[2] r8.ub[0xca] => 1.ub[0x28]
shlb imm8[2] m8.ub[0xca] => 1.ub[0x28]
shlb cl.ub[2] r8.ub[0xca] => 1.ub[0x28]
shlb cl.ub[2] m8.ub[0xca] => 1.ub[0x28]
shlw r16.uw[0xf0ca] => 0.uw[0xe194]
shlw m16.uw[0xf0ca] => 0.uw[0xe194]
shlw imm8[4] r16.uw[0xf0ca] => 1.uw[0x0ca0]
shlw imm8[4] m16.uw[0xf0ca] => 1.uw[0x0ca0]
shlw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0ca0]
shlw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0ca0]
shll r32.ud[0xff00f0ca] => 0.ud[0xfe01e194]
shll m32.ud[0xff00f0ca] => 0.ud[0xfe01e194]
shll imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
shll imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
shll cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
shll cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
shlq r64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194]
shlq m64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194]
shlq imm8[16]