[acl2/acl2] f333c7: [X86ISA] Add MOVD/Q to MMX register.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f333c7fc9ea602bbf203831af7c1a3104d517d55
https://github.com/acl2/acl2/commit/f333c7fc9ea602bbf203831af7c1a3104d517d55
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/move-mmx.lisp

Log Message:
-----------
[X86ISA] Add MOVD/Q to MMX register.


Commit: 5577f228f921b568ef0d4dd6fbfdaf4ba982cc3a
https://github.com/acl2/acl2/commit/5577f228f921b568ef0d4dd6fbfdaf4ba982cc3a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-data.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/move-mmx.lisp

Log Message:
-----------
[X86ISA] Add MOVD/Q from MMX register.


Commit: 129b731c3c860195b31ba2f84c2205af92aaceb3
https://github.com/acl2/acl2/commit/129b731c3c860195b31ba2f84c2205af92aaceb3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/std/obags/core.lisp

Log Message:
-----------
[obags] Fix 3 obag ops, and improve obag doc.

Oddly, those 3 operations neglected to apply a needed deletion to the tail, in
order to keep things "in sync". The operations were taken from osets, and meant
to be adapted to obags (via that deletion), but that adaptation did not
happen. Thanks to Grant Jurgensen for noticing and reporting the issue.

Also improve some documentation.

Also remove some stray documentation text (another indication that somehow the
file had not been properly finalized).


Commit: 1702a4d94e3695cf59e5fee072c8026cbf7d607e
https://github.com/acl2/acl2/commit/1702a4d94e3695cf59e5fee072c8026cbf7d607e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/pcmp.lisp

Log Message:
-----------
[X86ISA] Add PCMPEQB/W/D (MMX variants).


Commit: e5a0f7ff9a1f9da382cad02c674f18278b21d3df
https://github.com/acl2/acl2/commit/e5a0f7ff9a1f9da382cad02c674f18278b21d3df
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-data.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/pcmp.lisp

Log Message:
-----------
[X86ISA] Add PCMPGTB/W/D (MMX variants).


Commit: 904278885116354eab8265595bb908e89f45d2ea
https://github.com/acl2/acl2/commit/904278885116354eab8265595bb908e89f45d2ea
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/instructions/pcmp.lisp

Log Message:
-----------
[X86ISA] Minor edits for stylistic consistency.


Commit: bb0b4c95887272a4be837d69b01e36237580fbdc
https://github.com/acl2/acl2/commit/bb0b4c95887272a4be837d69b01e36237580fbdc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/std/obags/tests.lisp

Log Message:
-----------
[obags] Add some tests.


Commit: 2014436d42ae5be2c60460fed1557a53341d4131
https://github.com/acl2/acl2/commit/2014436d42ae5be2c60460fed1557a53341d4131
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/std/obags/core.lisp

Log Message:
-----------
[obags] Add a bag sum operation.


Commit: ff7dd08f959ae717c0ef02023149f6c03e970a49
https://github.com/acl2/acl2/commit/ff7dd08f959ae717c0ef02023149f6c03e970a49
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/std/obags/tests.lisp

Log Message:
-----------
[obags] Add some tests.


Commit: 4a49f87bbb77149c9ab04f86dccf8f836d7b07b8
https://github.com/acl2/acl2/commit/4a49f87bbb77149c9ab04f86dccf8f836d7b07b8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/std/obags/core.lisp
M books/std/obags/tests.lisp

Log Message:
-----------
[obags] Reorder some operations within a file.


Commit: e0bafa162c4170e3952940b166e1c4446b41d27d
https://github.com/acl2/acl2/commit/e0bafa162c4170e3952940b166e1c4446b41d27d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/std/obags/core.lisp

Log Message:
-----------
[obags] Add some validation theorems.


Commit: 4a374d7bce820d9961f8e9ef0040d156c40ac747
https://github.com/acl2/acl2/commit/4a374d7bce820d9961f8e9ef0040d156c40ac747
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/kestrel/utilities/defstobj-plus-tests.lisp

Log Message:
-----------
Merge.


Commit: cbb7831b9eb85e4cf49cbd84a89a3abe64bc9bab
https://github.com/acl2/acl2/commit/cbb7831b9eb85e4cf49cbd84a89a3abe64bc9bab
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-data.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/move-mmx.lisp
M books/projects/x86isa/machine/instructions/pcmp.lisp

Log Message:
-----------
Merge.


Compare: https://github.com/acl2/acl2/compare/667172fb641c...cbb7831b9eb8

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Alessandro Coglio]

Branch: refs/heads/testing