ADC
44928 subcases · 44,928 states
ADCX
10368 subcases · 10,368 states
ADD
44928 subcases · 44,928 states
ADOX
10368 subcases · 10,368 states
AND
44928 subcases · 44,928 states
ANDN
1440 subcases · 1,440 states
BEXTR
1440 subcases · 1,440 states
BLSI
10368 subcases · 10,368 states
BLSMSK
10368 subcases · 10,368 states
BLSR
10368 subcases · 10,368 states
BSF
14688 subcases · 14,688 states
BSR
14688 subcases · 14,688 states
BSWAP
60 subcases · 60 states
BT
25920 subcases · 25,920 states
BTC
25920 subcases · 25,920 states
BTR
25920 subcases · 25,920 states
BTS
25920 subcases · 25,920 states
BZHI
1440 subcases · 1,440 states
CALL
60 subcases · 60 states
CDQE
30 subcases · 30 states
CLAC
8 subcases · 8 states
CLC
8 subcases · 8 states
CLD
8 subcases · 8 states
CLI
8 subcases · 8 states
CLTS
1 subcase · 1 state
CMC
8 subcases · 8 states
CMOVA
15552 subcases · 15,552 states
CMOVAE
15552 subcases · 15,552 states
CMOVB
15552 subcases · 15,552 states
CMOVBE
15552 subcases · 15,552 states
CMOVC
15552 subcases · 15,552 states
CMOVE
15552 subcases · 15,552 states
CMOVG
15552 subcases · 15,552 states
CMOVGE
15552 subcases · 15,552 states
CMOVL
15552 subcases · 15,552 states
CMOVLE
15552 subcases · 15,552 states
CMOVNA
15552 subcases · 15,552 states
CMOVNAE
15552 subcases · 15,552 states
CMOVNB
15552 subcases · 15,552 states
CMOVNBE
15552 subcases · 15,552 states
CMOVNC
15552 subcases · 15,552 states
CMOVNE
15552 subcases · 15,552 states
CMOVNG
15552 subcases · 15,552 states
CMOVNGE
15552 subcases · 15,552 states
CMOVNL
15552 subcases · 15,552 states
CMOVNLE
15552 subcases · 15,552 states
CMOVNO
15552 subcases · 15,552 states
CMOVNP
15552 subcases · 15,552 states
CMOVNS
15552 subcases · 15,552 states
CMOVNZ
15552 subcases · 15,552 states
CMOVO
15552 subcases · 15,552 states
CMOVP
15552 subcases · 15,552 states
CMOVPE
15552 subcases · 15,552 states
CMOVPO
15552 subcases · 15,552 states
CMOVS
15552 subcases · 15,552 states
CMOVZ
15552 subcases · 15,552 states
CMP
44928 subcases · 44,928 states
CMPSB
0 subcases · 0 states
CMPSD
0 subcases · 0 states
CMPSQ
0 subcases · 0 states
CMPSW
0 subcases · 0 states
CMPXCHG
2304 subcases · 2,304 states
CMPXCHG16B
4536 subcases · 4,536 states
CMPXCHG8B
4536 subcases · 4,536 states
CQO
900 subcases · 900 states
CRC32
9000 subcases · 9,000 states
DEC
1920 subcases · 1,920 states
DIV
24624 subcases · 24,624 states
IDIV
24624 subcases · 24,624 states
IMUL
10944 subcases · 10,944 states
INC
1920 subcases · 1,920 states
INSB
0 subcases · 0 states
INSD
0 subcases · 0 states
INSW
0 subcases · 0 states
INT
720 subcases · 720 states
INT3
240 subcases · 240 states
INVD
1 subcase · 1 state
INVLPG
30 subcases · 30 states
JA
8 subcases · 8 states
JAE
8 subcases · 8 states
JB
8 subcases · 8 states
JBE
8 subcases · 8 states
JC
8 subcases · 8 states
JE
8 subcases · 8 states
JG
8 subcases · 8 states
JGE
8 subcases · 8 states
JL
8 subcases · 8 states
JLE
8 subcases · 8 states
JMP
9 subcases · 9 states
JNA
8 subcases · 8 states
JNAE
8 subcases · 8 states
JNB
8 subcases · 8 states
JNBE
8 subcases · 8 states
JNC
8 subcases · 8 states
JNE
8 subcases · 8 states
JNG
8 subcases · 8 states
JNGE
8 subcases · 8 states
JNL
8 subcases · 8 states
JNLE
8 subcases · 8 states
JNO
8 subcases · 8 states
JNP
8 subcases · 8 states
JNS
8 subcases · 8 states
JNZ
8 subcases · 8 states
JO
8 subcases · 8 states
JP
8 subcases · 8 states
JPE
8 subcases · 8 states
JPO
8 subcases · 8 states
JS
8 subcases · 8 states
JZ
8 subcases · 8 states
LAHF
240 subcases · 240 states
LEA
2700 subcases · 2,700 states
LEAVE
30 subcases · 30 states
LFENCE
1 subcase · 1 state
LODSB
0 subcases · 0 states
LODSD
0 subcases · 0 states
LODSQ
0 subcases · 0 states
LODSW
0 subcases · 0 states
LZCNT
15552 subcases · 15,552 states
MFENCE
1 subcase · 1 state
MOV
13680 subcases · 13,680 states
MOVBE
5400 subcases · 5,400 states
MOVSB
0 subcases · 0 states
MOVSD
0 subcases · 0 states
MOVSQ
0 subcases · 0 states
MOVSW
0 subcases · 0 states
MOVSX
9000 subcases · 9,000 states
MOVSXD
1800 subcases · 1,800 states
MOVZX
9000 subcases · 9,000 states
MUL
2304 subcases · 2,304 states
MULX
540 subcases · 540 states
NEG
1920 subcases · 1,920 states
NOP
121 subcases · 121 states
NOT
240 subcases · 240 states
OR
44928 subcases · 44,928 states
OUT
3780 subcases · 3,780 states
OUTSB
0 subcases · 0 states
OUTSD
0 subcases · 0 states
OUTSW
0 subcases · 0 states
PAUSE
1 subcase · 1 state
PDEP
23328 subcases · 23,328 states
PEXT
23328 subcases · 23,328 states
POP
1080 subcases · 1,080 states
POPCNT
15552 subcases · 15,552 states
POPFQ
64 subcases · 64 states
PREFETCHNTA
30 subcases · 30 states
PREFETCHT0
30 subcases · 30 states
PREFETCHT1
30 subcases · 30 states
PREFETCHT2
30 subcases · 30 states
PUSH
1530 subcases · 1,530 states
PUSHFQ
240 subcases · 240 states
RCL
34560 subcases · 34,560 states
RCR
34560 subcases · 34,560 states
RDPMC
5832 subcases · 5,832 states
RET
13 subcases · 13 states
ROL
34560 subcases · 34,560 states
ROR
34560 subcases · 34,560 states
RORX
15552 subcases · 15,552 states
SAHF
240 subcases · 240 states
SAL
34560 subcases · 34,560 states
SAR
34560 subcases · 34,560 states
SARX
23328 subcases · 23,328 states
SBB
44928 subcases · 44,928 states
SCASB
0 subcases · 0 states
SCASD
0 subcases · 0 states
SCASQ
0 subcases · 0 states
SCASW
0 subcases · 0 states
SETA
480 subcases · 480 states
SETAE
480 subcases · 480 states
SETB
480 subcases · 480 states
SETBE
480 subcases · 480 states
SETC
480 subcases · 480 states
SETE
480 subcases · 480 states
SETG
480 subcases · 480 states
SETGE
480 subcases · 480 states
SETL
480 subcases · 480 states
SETLE
480 subcases · 480 states
SETNA
480 subcases · 480 states
SETNAE
480 subcases · 480 states
SETNB
480 subcases · 480 states
SETNBE
480 subcases · 480 states
SETNC
480 subcases · 480 states
SETNE
480 subcases · 480 states
SETNG
480 subcases · 480 states
SETNGE
480 subcases · 480 states
SETNL
480 subcases · 480 states
SETNLE
480 subcases · 480 states
SETNO
480 subcases · 480 states
SETNP
480 subcases · 480 states
SETNS
480 subcases · 480 states
SETNZ
480 subcases · 480 states
SETO
480 subcases · 480 states
SETP
480 subcases · 480 states
SETPE
480 subcases · 480 states
SETPO
480 subcases · 480 states
SETS
480 subcases · 480 states
SETZ
480 subcases · 480 states
SFENCE
1 subcase · 1 state
SHL
34560 subcases · 34,560 states
SHLD
4320 subcases · 4,320 states
SHLX
23328 subcases · 23,328 states
SHR
34560 subcases · 34,560 states
SHRD
4320 subcases · 4,320 states
SHRX
23328 subcases · 23,328 states
STAC
8 subcases · 8 states
STC
8 subcases · 8 states
STD
8 subcases · 8 states
STI
8 subcases · 8 states
STOSB
0 subcases · 0 states
STOSD
0 subcases · 0 states
STOSQ
0 subcases · 0 states
STOSW
0 subcases · 0 states
SUB
44928 subcases · 44,928 states
SWAPGS
1 subcase · 1 state
SYSCALL
1 subcase · 1 state
SYSENTER
1 subcase · 1 state
SYSEXIT
1 subcase · 1 state
TEST
44928 subcases · 44,928 states
TZCNT
15552 subcases · 15,552 states
UD2
1 subcase · 1 state
XADD
20736 subcases · 20,736 states
XCHG
7200 subcases · 7,200 states
XLATB
30 subcases · 30 states
XOR
44928 subcases · 44,928 states
XSETBV
5832 subcases · 5,832 states