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

[via llvm-commits]

================
@@ -756,6 +793,35 @@ static bool isLoadOrStore(const Instruction *I) {
   return false;
 }
 
+// Returns true if two loops are the same or they have the same tripcount and
+// depth
+bool DependenceInfo::areLoopsSimilar(const Loop *SrcLoop,
----------------
amehsan wrote:

you have a notion of `FusableLoops` everywhere in the code. What are the conditions for `Fusable`? I believe they are part of the conditions checked here.  So

1. Separate conditions for fusability and name them properly in a different function.
2. `Similar` is vague and general. Use a more specific name.
3. `Fuseable` is not a good name. We need to find a better name that better reflects the conditions that you check.

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