Skip to content

PR for llvm/llvm-project#68751 #734

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.

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

Merged
merged 2 commits into from
Oct 24, 2023
Merged

Conversation

llvmbot
Copy link
Member

@llvmbot llvmbot commented Oct 16, 2023

nikic added 2 commits October 16, 2023 12:29
(cherry picked from commit 2b74db6c9bff757ce016d62a7086617e2b9e43b3)
Our coefficients are 64-bits, so adding/multiplying them can wrap in
64-bits even if there would be no wrapping the full bit width.

The alternative would be to check for overflows during all adds/muls in
decomposition. I assume that we don't particularly care about handling
wide integers here, so I've opted to bail out.

Fixes llvm/llvm-project#68751.

(cherry picked from commit 1d43096e16ff7288c7feac1ae81fd4f745ce10bb)
@tru
Copy link
Contributor

tru commented Oct 17, 2023

@fhahn @nikic should we backport this?

@tru
Copy link
Contributor

tru commented Oct 23, 2023

ping @fhahn @nikic

@fhahn
Copy link
Contributor

fhahn commented Oct 23, 2023

Yep I think that would be good to backport!

1 similar comment
@fhahn
Copy link
Contributor

fhahn commented Oct 23, 2023

Yep I think that would be good to backport!

@tru tru merged commit 7f790f9 into release/17.x Oct 24, 2023
@tru tru deleted the nikic-constraintelim-backport branch October 24, 2023 06:30
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.

ConstraintEliminationPass incorrectly replaces a i256 ne with a constant false.
4 participants