[acl2/acl2] 34655b: [axe/x86] Improve handling of blsi and tzcnt.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 34655b02daba13ae24f9fa9ff22f1c4f3e6c1554
https://github.com/acl2/acl2/commit/34655b02daba13ae24f9fa9ff22f1c4f3e6c1554
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-04 (Mon, 04 May 2026)

Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/axe/x86/x86-rules.lisp
M books/kestrel/x86/package.lsp

Log Message:
-----------
[axe/x86] Improve handling of blsi and tzcnt.


Commit: 36d0691c11bd1b05db35ea2813da4871b9a99738
https://github.com/acl2/acl2/commit/36d0691c11bd1b05db35ea2813da4871b9a99738
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-04 (Mon, 04 May 2026)

Changed paths:
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/jvm/rules-in-rule-lists-jvm.lisp
M books/kestrel/axe/risc-v/rule-lists.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/rules-in-rule-lists.lisp
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/c/language/decimal-0-to-octal-0.lisp
M books/kestrel/c/syntax/ascii-identifiers.lisp
M books/kestrel/c/syntax/purity.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/unambiguity.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/transformation/rename.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/add-attributes.lisp
M books/kestrel/c/transformation/utilities/collect-idents.lisp
M books/kestrel/c/transformation/utilities/rename-fn.lisp
M books/kestrel/fty/deffold-map-doc.lisp
M books/kestrel/fty/deffold-map-tests.lisp
M books/kestrel/fty/deffold-map.lisp
M books/kestrel/fty/deffold-reduce-doc.lisp
M books/kestrel/fty/deffold-reduce-tests.lisp
M books/kestrel/fty/deffold-reduce.lisp
M books/kestrel/jvm/operand-stacks.lisp
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/abstract-syntax-well-formed.lisp
M books/kestrel/remora/desugaring.lisp
A books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/grammar.abnf
A books/kestrel/remora/interpreter.lisp
M books/kestrel/remora/ispace-equivalence.lisp
M books/kestrel/remora/package.lsp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/static-semantics.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/top.lisp
A books/kestrel/remora/values.lisp
M books/kestrel/x86/support32.lisp

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


Commit: 0055005441ef02bb73f8229a708acf621cf484e3
https://github.com/acl2/acl2/commit/0055005441ef02bb73f8229a708acf621cf484e3
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-04 (Mon, 04 May 2026)

Changed paths:
M books/kestrel/remora/printer.lisp

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


Commit: 5a701f9e246a9d10800f3290fb8a597c93ca28fe
https://github.com/acl2/acl2/commit/5a701f9e246a9d10800f3290fb8a597c93ca28fe
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-05 (Tue, 05 May 2026)

Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/bv/bitops.lisp

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


Compare: https://github.com/acl2/acl2/compare/829db9429cfb...5a701f9e246a

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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing