pext rax, rbx, rcxOpcode: c4e2e2f5c1
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 4750 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4751 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4752 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4753 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4754 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4755 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4756 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4757 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4758 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4759 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4760 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4761 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4762 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4763 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4764 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00FFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4765 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x01FFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4766 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x01FFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4767 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x01FFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4768 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x7FFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4769 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4770 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4771 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4772 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4773 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4774 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4775 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4776 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4777 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4778 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4779 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4780 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4781 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4782 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00FFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4783 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x01FFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4784 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x01FFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4785 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x01FFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4786 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x7FFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4787 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4788 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4789 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4790 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4791 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4792 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4793 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4794 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4795 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4796 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4797 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4798 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4799 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |