davide accepted this revision. davide added a reviewer: davide. davide added a comment. This revision is now accepted and ready to land. This LGTM, but, doesn't this collide with your other SORT() patch? https://reviews.llvm.org/D22848