[llvm] [DependenceAnalysis] Extending SIV to handle separate loops (PR #128782)

[Michael Kruse via llvm-commits]

================
@@ -332,50 +333,92 @@ bool FullDependence::normalize(ScalarEvolution *SE) {
 // The rest are simple getters that hide the implementation.
 
 // getDirection - Returns the direction associated with a particular level.
-unsigned FullDependence::getDirection(unsigned Level) const {
-  assert(0 < Level && Level <= Levels && "Level out of range");
-  return DV[Level - 1].Direction;
+// If Separate is set to true, information about a separate level is provided.
+unsigned FullDependence::getDirection(unsigned Level, bool Separate) const {
+  if (!Separate) {
+    assert(0 < Level && Level <= Levels && "Level out of range");
+    return DV[Level - 1].Direction;
+  } else {
+    assert(Levels < Level && Level <= Levels + SeparateLevels &&
+           "Separate level out of range");
+    return DVSeparate[Level - Levels - 1].Direction;
----------------
Meinersbur wrote:

Why not introduce a helper function that returns the correct index into `DVSeparate` so you don't need the if/else here?

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