[acl2/acl2] 7f63d2: [X86ISA] Refactor some code.

[acl2buildserver]

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

Changed paths:
M books/projects/x86isa/machine/evex-opcodes-dispatch.lisp
M books/projects/x86isa/machine/instructions/fp/logical.lisp
A books/projects/x86isa/machine/instructions/logical.lisp
M books/projects/x86isa/machine/instructions/top.lisp
M books/projects/x86isa/machine/vex-opcodes-dispatch.lisp

Log Message:
-----------
[X86ISA] Refactor some code.

Move the SSE and VEX bitwise logical operations to a separate file.


Commit: d443b2591d38d4a51403b38fb204049a6ff6a663
https://github.com/acl2/acl2/commit/d443b2591d38d4a51403b38fb204049a6ff6a663
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/logical.lisp

Log Message:
-----------
[X86ISA] Add PAND/PANDN/POR/PXOR (MMX variants).


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

Changed paths:
M books/projects/x86isa/machine/instructions/fp/simd-integer.lisp
A books/projects/x86isa/machine/instructions/pshift.lisp
M books/projects/x86isa/machine/instructions/top.lisp

Log Message:
-----------
[X86ISA] Refactor some code.

Move packed shifts into new file.


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

Changed paths:
M books/projects/x86isa/machine/instructions/pshift.lisp
M books/projects/x86isa/machine/instructions/rotate-and-shift.lisp

Log Message:
-----------
[X86ISA] Move PSLLDQ/PSLRDQ to more appropriate file.


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

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

Log Message:
-----------
[X86ISA] Fix comment.


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

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

Log Message:
-----------
[X86ISA] Refactor some code.

In the packed shift SSE instructions, extract and use a separate macro to
generate the specification functions, so they can be used for other variants of
these instructions (e.g. MMX, upcoming).


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

Changed paths:
M books/kestrel/axe/.sys/add-bvxor-nest-to-...@useless-runes.lsp
M books/kestrel/axe/.sys/add-bvxor-nes...@useless-runes.lsp
M books/kestrel/axe/.sys/evaluate-tes...@useless-runes.lsp
M books/kestrel/axe/.sys/evaluate-...@useless-runes.lsp
M books/kestrel/axe/bounded-dag-exprs.lisp
M books/kestrel/axe/bounded-darg-listp.lisp
M books/kestrel/axe/dag-arrays.lisp
M books/kestrel/axe/dag-exprs.lisp
M books/kestrel/axe/dag-parent-array-with-name.lisp
M books/kestrel/axe/dag-parent-array.lisp
M books/kestrel/axe/dag-to-term-with-lets.lisp
M books/kestrel/axe/dag-to-term.lisp
M books/kestrel/axe/dags.lisp
M books/kestrel/axe/dargp.lisp
M books/kestrel/axe/make-rewriter-simple.lisp
M books/kestrel/axe/merge-term-into-dag-array-basic.lisp
M books/kestrel/axe/merge-term-into-dag-array-simple.lisp
M books/kestrel/axe/normalize-xors.lisp
M books/kestrel/axe/prune-with-contexts.lisp
M books/kestrel/axe/renaming-array.lisp
M books/kestrel/axe/x86/unroller.lisp
M books/kestrel/utilities/defstobj-plus-tests.lisp
M books/std/obags/core.lisp
M books/std/obags/tests.lisp

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


Commit: 8c74b41b232be665d13fe68b08def77ef4504109
https://github.com/acl2/acl2/commit/8c74b41b232be665d13fe68b08def77ef4504109
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-data.lisp
M books/projects/x86isa/machine/evex-opcodes-dispatch.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/fp/logical.lisp
M books/projects/x86isa/machine/instructions/fp/simd-integer.lisp
A books/projects/x86isa/machine/instructions/logical.lisp
A books/projects/x86isa/machine/instructions/pshift.lisp
M books/projects/x86isa/machine/instructions/rotate-and-shift.lisp
M books/projects/x86isa/machine/instructions/top.lisp
M books/projects/x86isa/machine/vex-opcodes-dispatch.lisp

Log Message:
-----------
Merge commit '85ac411190522bbc64f5163eb5559b69e6184a23' into HEAD


Compare: https://github.com/acl2/acl2/compare/92345c45e845...8c74b41b232b

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

[acl2buildserver]

Branch: refs/heads/testing