[Fix](fold_const) MAKE_SET constant folding should clear#64907
Open
linrrzqqq wants to merge 1 commit into
Open
[Fix](fold_const) MAKE_SET constant folding should clear#64907linrrzqqq wants to merge 1 commit into
linrrzqqq wants to merge 1 commit into
Conversation
Contributor
|
Thank you for your contribution to Apache Doris. Please clearly describe your PR:
|
Collaborator
Author
|
run buildall |
Collaborator
Author
|
/review |
Contributor
There was a problem hiding this comment.
Review result: no blocking issue found.
Critical checkpoints:
- Goal: the PR fixes FE constant folding for MAKE_SET when clearing bit positions >= 32 by changing the mask to
1L << pos; this addresses the Java int-shift masking issue described in the PR. - Scope: the authoritative GitHub PR file list shows a focused one-line FE fix plus one regression invocation. Local commit history in this checkout is a shallow/root snapshot, so I used the GitHub PR file metadata as the review scope authority.
- Parallel paths: BE MAKE_SET already clears with an unsigned 64-bit mask, so the FE fold path now matches the runtime path for high bits.
- Tests: the added
testFoldConstcase exercisesMAKE_SET(4294967296, ...)with enough arguments to reach bit 32 and compares FE-folded output against no-fold output. - Concurrency, lifecycle, config, persistence, and compatibility: not implicated by this FE executable-function mask change.
- User focus: no additional user focus was provided.
Subagent conclusions:
- optimizer-rewrite: no candidate findings; convergence round 1 returned
NO_NEW_VALUABLE_FINDINGS. - tests-session-config: no candidate findings; convergence round 1 returned
NO_NEW_VALUABLE_FINDINGS. - No candidates were accepted for inline comments; two suspicious points were dismissed in the shared ledger with code evidence.
Validation limits: I did not run regression tests or FE build locally because this checkout is not worktree-initialized and thirdparty/installed / thirdparty/installed/bin/protoc are absent.
Contributor
TPC-H: Total hot run time: 28955 ms |
Contributor
TPC-DS: Total hot run time: 171049 ms |
Contributor
ClickBench: Total hot run time: 25.17 s |
Contributor
FE Regression Coverage ReportIncrement line coverage |
This file contains hidden or 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
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.
Problem Summary:
MAKE_SETusesbit &= ~(1 << pos)for clearing bits at high positions in the FE constant folding path, which leads to incorrect clearing of high bits whenpos >= 32due to integer shift modulo.For Java
intshifts, the shift distance is masked with 0x1F, which means only the low 5 bits are used:pos = 0..31-> normalpos = 32-> treated as0pos = 33-> treated as1pos = 64-> treated as0againFor inputs like:
MAKE_SET(4294967296, ...)(4294967296 == 1L << 32)expect:
bit &= ~(1 << 32)got:
bit &= ~(1 << 0)That does not clear bit 32 at all. So:
bitstays unchanged andposstays 32before(FE constant folding failed or FE OOM):
now: