[polly] Change std::sort to llvm::sort in response to r327219
Summary:
r327219 added wrappers to std::sort which randomly shuffle the container before sorting.
This will help in uncovering non-determinism caused due to undefined sorting
order of objects having the same key.
To make use of that infrastructure we need to invoke llvm::sort instead of std::sort.
Reviewers: grosser, efriedma, jdoerfert, bollu, sebpop
Reviewed By: sebpop
Subscribers: sebpop, mehdi_amini, llvm-commits, pollydev
Tags: #polly
Differential Revision: https://reviews.llvm.org/D44361
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@327361 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Support/ISLTools.cpp b/lib/Support/ISLTools.cpp
index 41f9d46..46f9085 100644
--- a/lib/Support/ISLTools.cpp
+++ b/lib/Support/ISLTools.cpp
@@ -744,7 +744,7 @@
}
// Sort the polyhedra.
- std::sort(BSets.begin(), BSets.end(), orderComparer);
+ llvm::sort(BSets.begin(), BSets.end(), orderComparer);
// Print the polyhedra.
bool First = true;