Skip to content

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.

5 participants