[llvm] 35ee462 - [LAA] Add assert check CanDoRTIFNeeded can be computed w/o RT.Need (NFC)

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2025-05-18T22:12:28+01:00
New Revision: 35ee462fefe18927cc3a626d22f7b32f14b5eaf7

URL: https://github.com/llvm/llvm-project/commit/35ee462fefe18927cc3a626d22f7b32f14b5eaf7
DIFF: https://github.com/llvm/llvm-project/commit/35ee462fefe18927cc3a626d22f7b32f14b5eaf7.diff

LOG: [LAA] Add assert check CanDoRTIFNeeded can be computed w/o RT.Need (NFC)

Add assert to ensure that CanDoRTIfNeeded can be computed w/o
RtCheck.Need, to prepare for adjusting the condition.

Added: 
    

Modified: 
    llvm/lib/Analysis/LoopAccessAnalysis.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/LoopAccessAnalysis.cpp b/llvm/lib/Analysis/LoopAccessAnalysis.cpp
index ab407e945bc53..2a322a69a0dbf 100644
--- a/llvm/lib/Analysis/LoopAccessAnalysis.cpp
+++ b/llvm/lib/Analysis/LoopAccessAnalysis.cpp
@@ -1325,6 +1325,8 @@ bool AccessAnalysis::canCheckPtrAtRT(
   RtCheck.Need = CanDoRT ? RtCheck.getNumberOfChecks() != 0 : MayNeedRTCheck;
 
   bool CanDoRTIfNeeded = !RtCheck.Need || CanDoRT;
+  assert(CanDoRTIfNeeded == (CanDoRT || !MayNeedRTCheck) &&
+         "CanDoRTIfNeeded depends on RtCheck.Need");
   if (!CanDoRTIfNeeded)
     RtCheck.reset();
   return CanDoRTIfNeeded;