Because the sort order was not strongly stable on the RHS, whether the
chain could merge would depend on the order of the blocks in the Phi.
EXPENSIVE_CHECKS would shuffle the blocks before sorting, resulting in
non-deterministic merging.
Differential D62193
[MergeICmps] Make sorting strongly stable on the rhs. courbet on May 21 2019, 6:45 AM. Authored by
Details
Because the sort order was not strongly stable on the RHS, whether the EXPENSIVE_CHECKS would shuffle the blocks before sorting, resulting in
Diff Detail
|