[polly] [Polly] Keep proximity dependence exact if simplifying it unbounds its distance (PR #225840)

[via llvm-commits]

================
@@ -656,6 +656,41 @@ static void printSchedule(llvm::raw_ostream &OS, const isl::schedule &Schedule,
 }
 #endif
 
+/// Return whether the dependence distances of @p Map, which relates instances
+/// of the same statement, are bounded.
+static bool hasBoundedDistances(const isl::map &Map) {
+  isl::set Deltas = Map.deltas();
+  return !Deltas.is_null() && isl_set_is_bounded(Deltas.get()) == isl_bool_true;
----------------
baitim wrote:

Addressed

https://github.com/llvm/llvm-project/pull/225840