Skip to content

Avoid unnecessary swaps for equal elements in __sift_down#139556

Closed
winner245 wants to merge 1 commit intollvm:mainfrom
winner245:fix-siftdown-for-equal-element
Closed

Avoid unnecessary swaps for equal elements in __sift_down#139556
winner245 wants to merge 1 commit intollvm:mainfrom
winner245:fix-siftdown-for-equal-element

Commits

Commits on May 12, 2025