[acl2/acl2] bf9cc3: [x86] Add 8-bit and 16-bit register readers.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: bf9cc3c38c3825fd5e91b8c230aa0c757865da30
https://github.com/acl2/acl2/commit/bf9cc3c38c3825fd5e91b8c230aa0c757865da30
Author: Eric Smith <ews...@gmail.com>
Date: 2026-06-25 (Thu, 25 Jun 2026)

Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp
A books/kestrel/x86/register-readers-and-writers-8-16.acl2
A books/kestrel/x86/register-readers-and-writers-8-16.lisp
M books/kestrel/x86/register-readers-and-writers32.lisp
M books/kestrel/x86/register-readers-and-writers64.lisp

Log Message:
-----------
[x86] Add 8-bit and 16-bit register readers.

These are regarded as just abbreviations. This change was prompted by some work that NDSU is doing.



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