[acl2/acl2] 70100f: Add INC/DEC register instructions.
0 views
Skip to first unread message
GitHub
Apr 20, 2018, 9:00:12 PM4/20/18
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 70100f8b19fc3a4aab07b6b1c84ba6d70a22f471
https://github.com/acl2/acl2/commit/70100f8b19fc3a4aab07b6b1c84ba6d70a22f471
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-20 (Fri, 20 Apr 2018)
Changed paths:
M books/doc/relnotes.lisp
M books/projects/x86isa/machine/instructions/arith-and-logic.lisp
M books/projects/x86isa/machine/x86.lisp
Log Message:
-----------
Add INC/DEC register instructions.
These are the INC/DEC variants with opcodes 40h-4Fh, which only occur in 32-bit
mode because in 64-bit mode those byte values are interpreted as REX bytes.
Home: https://github.com/acl2/acl2
Commit: 70100f8b19fc3a4aab07b6b1c84ba6d70a22f471
https://github.com/acl2/acl2/commit/70100f8b19fc3a4aab07b6b1c84ba6d70a22f471
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-20 (Fri, 20 Apr 2018)
Changed paths:
M books/doc/relnotes.lisp
M books/projects/x86isa/machine/instructions/arith-and-logic.lisp
M books/projects/x86isa/machine/x86.lisp
Log Message:
-----------
Add INC/DEC register instructions.
These are the INC/DEC variants with opcodes 40h-4Fh, which only occur in 32-bit
mode because in 64-bit mode those byte values are interpreted as REX bytes.
GitHub
Apr 20, 2018, 9:54:42 PM4/20/18
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages