Page MenuHomePhabricator

[MergeICmps] Make sorting strongly stable on the rhs.

Authored by courbet on May 21 2019, 6:45 AM.



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.

Diff Detail


Event Timeline

courbet created this revision.May 21 2019, 6:45 AM
Herald added a project: Restricted Project. · View Herald TranscriptMay 21 2019, 6:45 AM
gchatelet accepted this revision.May 21 2019, 7:07 AM
This revision is now accepted and ready to land.May 21 2019, 7:07 AM

Thanks guys!

This revision was automatically updated to reflect the committed changes.