Skip to content

Improve interval set reduction for variadic operations.#4237

Draft
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_913911845
Draft

Improve interval set reduction for variadic operations.#4237
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_913911845

Conversation

@copybara-service
Copy link
Copy Markdown

Improve interval set reduction for variadic operations.

The interval set reduction for variadic operations is now performed dynamically based on the total number of combinations of intervals across all operands. A new function, ReduceIntervalFragmentationForOp, iteratively merges intervals in the input sets, prioritizing merges that result in the smallest loss of precision (i.e., those with the smallest gaps between intervals). This ensures that the number of operations remains below a defined threshold, preventing exponential blow-up, while still maintaining as much precision as possible.

Fixes: #4233

@copybara-service copybara-service Bot force-pushed the test_913911845 branch 2 times, most recently from 4ac23dd to b7b342c Compare May 12, 2026 17:57
The interval set reduction for variadic operations is now performed dynamically based on the total number of combinations of intervals across all operands. A new function, `ReduceIntervalFragmentationForOp`, iteratively merges intervals in the input sets, prioritizing merges that result in the smallest loss of precision (i.e., those with the smallest gaps between intervals). This ensures that the number of operations remains below a defined threshold, preventing exponential blow-up, while still maintaining as much precision as possible.

Fixes: #4233
PiperOrigin-RevId: 913911845
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.

Fuzzer opt timeout on strength reduction pass

1 participant