Skip to content

Conversation

yrp604
Copy link
Contributor

@yrp604 yrp604 commented Aug 24, 2025

Shink expr tree sizes with equivalent semantics. Developed on top of #7296 for my convenience.

This changes 3ish instructions:

  • ldr variants -- conditionally emit the zero/sign extension when needed.
  • fmov variants -- conditionally emit the zero extension when needed. I don't think there is existing test coverage for the ENC_FMOV_64VX_FLOAT2INT case, but the comment in decode_scratchpatd indicates it's only used with 64 bit registers.
  • ubfx/ubfiz -- there are no encodings where the second argument is a different size than the first.

This removes about 700 total extensions from an arm64 ntdll.

Also added this check to the liftcheck wishlist in #2612

@CLAassistant
Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

@yrp604 yrp604 changed the title [ARM64] Only extend loads if src size is less than target [ARM64] Only extend if src size is less than target Aug 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants