[JIT] Enable ccmp in X86 emitter backend.
#110881
Draft
+1,754
−236
Conversation
This file contains 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
Update comments. Merge the REX2 changes into the original legacy emit path bug fix: Set REX2.W with correct mask code. register encoding and prefix emitting logics. Add REX2 prefix emit logic bug fixes Add Stress mode for REX2 encoding and some bug fixes resolve comments: 1. add assertion check for UD opcodes. 2. add checks for EGPRs. Add REX2 to emitOutputAM, and let LEA to be REX2 compatible. Add REX2.X encoding for SIB byte But fixes: add REX2 prefix on the path in RI where MOV is specially handled. Enable REX2 encoding for `movups` fixed bugs in REX2 prefix emitting logic when working with map 1 instructions, and enabled REX2 for POPCNT legacy map index-er bug fixes some clean-up Adding initial APX unit testing path. Adding a coredistools dll that has LLVM APX disasm capability. It must be coppied into a CORE_ROOT manually. clean up work for REX2 narrow the REX2 scope to `sub` only some clean up based on the comments. bug fix resolve comment
- SV path is mostly for debugging purposes Added encoding unit tests for instructions with immediates
Code refactoring: AddX86PrefixIfNeeded.
… missing in JIT, may indicate these instructions are not being used in JIT, drop them for now.
…lled before adding any prefix.
Refactor REX2 encoding stress logics.
(this will have side effect that the estimated code will go up and mismatch with actual code size.)
…om LOCK prefixd instructions.
…otion from LOCK prefixd instructions." This reverts commit 1be4b12.
dotnet-issue-labeler
bot
added
the
area-CodeGen-coreclr
dotnet-policy-service
bot
added
the
community-contribution
|
Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch |
1. Emitter unit testsThe left is output from
2. Intel SDE testingTest run with SDE:
3. SuperPMI resultsDiffs are based on 2,623,457 contexts (1,043,127 MinOpts, 1,580,330 FullOpts). MISSED contexts: 2,983 (0.11%) Base JIT options: JitBypassApxCheck=1 Diff JIT options: JitBypassApxCheck=1 No diffs found. DetailsContext information
|
anthonycanino
force-pushed
the
apx-ccmp
branch
from
1496751 to
739746c
Compare
anthonycanino
force-pushed
the
apx-ccmp
branch
from
739746c to
a625f59
Compare
|
We are working to isolate the failures which are likely part of general APX backend changes. I will mark it ready for review in case once they have been fixed. |
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.
Overview
This PR is built on top of #108796.
This PR adds APX new
ccmpinstruction to the X86 backend.Design
For reference, there is a unique extended evex encoding for
ccmp:where
SC0-SC3encode the condition forccmpto conditionally execute on (please see SDM Vol 1, Appendix B). If the status codes fail to satisfy the condition encoded bySC0-SC3, no compare will be performed, and theOF,SF,ZF, andCFflags will be set to the default flag value (DFV) fieldsof,sf,zfandcf.Testing
Note: The testing plan for APX work has been discussed in #106557, please refer to that PR for details, only results and comments will be posted in this PR. Results posted below.