adds semantics and supporting code for several x86 instructions #1622
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ivg
force-pushed
the
x86-semantics
branch
13 times, most recently
from
89904c6 to
7d0b4e1
Compare
Adds the following instructions: - shufps - pmuldq - [v]packusdw - [v]packuswb - [v]packssdw - [v]packsswb - vzeroupper - movntd - xchgb The generated code for signed and unsigned saturation (the pack* family of instructions) is thoroughly optimized to minimize branching and comparison, which negatively affects analysis performance. Both signed and unsigned saturation are implemented as a lisp primitive that generates pure code with a single ite instruction and any comparisons are made with zero, i.e., no inequalities. To following extra changes support the added instructions: 1) [NEW] Extend x86 CPU family definition with 8-bit registers, e.g., AL,BL,CL,DL,AH,BH,CH,DH,SIL,DIL,BPL, and SPL. 2) [NEW] Added EFLAGS and RFLAGS aliases to the set of flag registers. 3) [NEW] It is now possible to use bool registers in the aliasing specifications. 4) [NEW] Added system and control register flags. 5) [FIX] Fixed a bug with incorrect reification of higher parts of aliased registers. 6) [NEW] Added a `dolist` macro to Primus Lisp. 7) [NEW] Added the `unquote` primitive to Primus Lisp. 8) [NEW] Added the `cast-saturate` primitive to Primus Lisp. 9) [NEW] Improved BIL code generation in case of empty if statements.
mjkoo
previously approved these changes
Mar 17, 2025
Co-authored-by: Maxwell Koo <[email protected]>
mjkoo
approved these changes
Mar 17, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Adds the following instructions:
The generated code for signed and unsigned saturation (the pack* family of instructions) is thoroughly optimized to minimize branching and comparison, which negatively affects analysis performance. Both signed and unsigned saturation are implemented as a lisp primitive that generates pure code with a single ite instruction and any comparisons are made with zero, i.e., no inequalities.
To following extra changes support the added instructions:
AL,BL,CL,DL,AH,BH,CH,DH,SIL,DIL,BPL, and SPL.
specifications.
aliased registers.
dolistmacro to Primus Lisp.unquoteprimitive to Primus Lisp. 8) [NEW] Added thecast-saturateprimitive to Primus Lisp. 9) [NEW] Improved BIL code generation in case of empty if statements.