[acl2/acl2] 83e032: Enable 32-bit mode for TEST opcodes F6h and F7h.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 83e03219b204e3bd6de2da28d196c7b607c9220d
https://github.com/acl2/acl2/commit/83e03219b204e3bd6de2da28d196c7b607c9220d
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-18 (Wed, 18 Apr 2018)

Changed paths:
M books/projects/x86isa/machine/x86.lisp

Log Message:
-----------
Enable 32-bit mode for TEST opcodes F6h and F7h.


Commit: b3bf5f03930ac5ac76efc26f659b32b6add30623
https://github.com/acl2/acl2/commit/b3bf5f03930ac5ac76efc26f659b32b6add30623
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-18 (Wed, 18 Apr 2018)

Changed paths:
M books/projects/x86isa/machine/instructions/arith-and-logic.lisp

Log Message:
-----------
Fix handling of LOCK with TEST instructions.

Besides CMP, also TEST instructions cause #UD when the LOCK prefix is used.


Commit: 07dccda188c5f0c83e4d0b734e70f354e970ebec
https://github.com/acl2/acl2/commit/07dccda188c5f0c83e4d0b734e70f354e970ebec
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-18 (Wed, 18 Apr 2018)

Changed paths:
M books/projects/x86isa/machine/instructions/arith-and-logic.lisp

Log Message:
-----------
Improve handling of LOCK prefix in ADD/ADC/...

These instructions generate #UD when the LOCK prefix is used but the destination
operand is not in memory.


Commit: 6c4575fd825d930f3accc99334fe0d860a7c270f
https://github.com/acl2/acl2/commit/6c4575fd825d930f3accc99334fe0d860a7c270f
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-18 (Wed, 18 Apr 2018)

Changed paths:
M books/projects/x86isa/machine/instructions/arith-and-logic.lisp
M books/projects/x86isa/machine/x86.lisp

Log Message:
-----------
Enable the 82H opcode at the top level.

This is an alternative encoding for ADD/ADC/... Eb Ib that is invalid in 64-bit
mode.


Compare: https://github.com/acl2/acl2/compare/75d8163f3137...6c4575fd825d

[GitHub]

Branch: refs/heads/master