New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve Intrinsic's VRP. #258

Open

deadalnix opened this issue Mar 2, 2023 · 1 comment

Contributor

deadalnix commented Mar 2, 2023 •

edited

Loading

popCount, countLeadingZeros and countTrailingZeros would benefit from having tighter VRP.

For instance, we shoudl expect that when a masked value is passed into popCount, that maximum population should be reduced in accordance to the mask.

Contributor Author

deadalnix commented Mar 2, 2023

Relevant code: https://github.com/snazzy-d/sdc/blob/master/src/d/semantic/vrp.d#L276C2-L279

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment