`btc eax, ebx`

Opcode: 0fbbd8

Instruction: BTC
Undefined flags: AF, OF, PF, SF

Total states: 2,592

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
850	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x000000000000007F`	`0x000000004000007F`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
851	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x000000000000007F`	`0x000000004000007F`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
852	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x000000000000007F`	`0x000000004000007F`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
853	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x000000000000007F`	`0x000000004000007F`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
854	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x000000000000007F`	`0x000000004000007F`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
855	`0x00000000000008D5`	`0x00000000000108D6`	Δ	`0x000000000000007F`	`0x000000004000007F`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
856	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x000000000000007F`	`0x000000008000007F`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
857	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x000000000000007F`	`0x000000008000007F`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
858	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x000000000000007F`	`0x000000008000007F`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
859	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x000000000000007F`	`0x000000008000007F`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
860	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x000000000000007F`	`0x000000008000007F`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
861	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x000000000000007F`	`0x000000008000007F`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
862	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x000000000000007F`	`0x000000008000007F`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
863	`0x00000000000008D5`	`0x00000000000108D6`	Δ	`0x000000000000007F`	`0x000000008000007F`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
864	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
865	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
866	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
867	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
868	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
869	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
870	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
871	`0x00000000000008D5`	`0x00000000000108D6`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
872	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
873	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
874	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
875	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
876	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
877	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
878	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
879	`0x00000000000008D5`	`0x00000000000108D6`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
880	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
881	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
882	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
883	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
884	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
885	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
886	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
887	`0x00000000000008D5`	`0x00000000000108D6`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
888	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000088`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
889	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000088`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
890	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000088`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
891	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000080`	`0x0000000000000088`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
892	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000080`	`0x0000000000000088`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
893	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000080`	`0x0000000000000088`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
894	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000080`	`0x0000000000000088`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
895	`0x00000000000008D5`	`0x00000000000108D6`	Δ	`0x0000000000000080`	`0x0000000000000088`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
896	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000040000080`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
897	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000040000080`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
898	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000040000080`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
899	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000080`	`0x0000000040000080`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ