[acl2/acl2] 570028: [axe/x86] Add assumption for SSE3.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 570028ac564b56058b0bf5065d226d6ea61f32ed
https://github.com/acl2/acl2/commit/570028ac564b56058b0bf5065d226d6ea61f32ed
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-01 (Mon, 01 Dec 2025)

Changed paths:
M books/kestrel/x86/assumptions.lisp

Log Message:
-----------
[axe/x86] Add assumption for SSE3.

Thanks to Sudarshan and Yusuf for proving an example that revealed the need for this.


Commit: 59141fb5c1373240bb74b1434395a563cc5c2f59
https://github.com/acl2/acl2/commit/59141fb5c1373240bb74b1434395a563cc5c2f59
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-01 (Mon, 01 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/tests/ndsu/run-tests-movddup.lisp

Log Message:
-----------
[axe/x86] Uncomment test that now works.


Commit: 928920a2a7ac7172c154788bf4babf0063cea141
https://github.com/acl2/acl2/commit/928920a2a7ac7172c154788bf4babf0063cea141
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-01 (Mon, 01 Dec 2025)

Changed paths:
M books/kestrel/axe/x86/unroller.lisp
M books/kestrel/axe/x86/x86-rules.lisp
M books/kestrel/x86/top.lisp

Log Message:
-----------
[axe/x86] Deprecate some old machinery.


Compare: https://github.com/acl2/acl2/compare/81d4e0ab820d...928920a2a7ac

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