pext rax, rbx, rcx

Opcode: c4e2e2f5c1

Instruction: PEXT
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
4150 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FE 0x00000000000000FE =
4151 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FF 0x00000000000000FF =
4152 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
4153 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
4154 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
4155 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
4156 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x7FFFFFFFFFFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
4157 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
4158 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000000 0x0000000000000000 =
4159 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000001 0x0000000000000001 =
4160 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000002 0x0000000000000002 =
4161 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000003 0x0000000000000003 =
4162 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007E 0x000000000000007E =
4163 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007F 0x000000000000007F =
4164 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000080 0x0000000000000080 =
4165 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000081 0x0000000000000081 =
4166 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000082 0x0000000000000082 =
4167 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000040 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FD 0x00000000000000FD =
4168 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000040 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FE 0x00000000000000FE =
4169 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000080 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FF 0x00000000000000FF =
4170 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
4171 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
4172 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
4173 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
4174 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x7FFFFFFFFFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
4175 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
4176 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 0x0000000000000000 =
4177 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000001 0x0000000000000001 =
4178 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000001 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000002 0x0000000000000002 =
4179 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000003 0x0000000000000003 =
4180 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007E 0x000000000000007E =
4181 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x000000000000007E Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007F 0x000000000000007F =
4182 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000001 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 =
4183 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 =
4184 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 =
4185 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x000000000000007E Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD =
4186 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x000000000000007F Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE =
4187 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000000000FE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF =
4188 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
4189 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
4190 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
4191 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x01FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
4192 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x7FFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
4193 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
4194 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
4195 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000001 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 =
4196 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000001 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000002 0x0000000000000002 =
4197 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x0000000000000003 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000003 0x0000000000000003 =
4198 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x000000000000003F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x000000000000007E 0x000000000000007E =
4199 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x000000000000007F Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x000000000000007F 0x000000000000007F =
← Prev Page 84 of 117 Next →