diff options
| author | Florian Hahn <flo@fhahn.com> | 2025-05-18 22:11:03 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2025-05-18 22:12:28 +0100 |
| commit | 35ee462fefe18927cc3a626d22f7b32f14b5eaf7 (patch) | |
| tree | 8b07404b527c246ea86d699fe1d0b85b75842dbb /llvm/lib/Analysis/LoopAccessAnalysis.cpp | |
| parent | 204252e2df80876702616518a5154dccacf3ebac (diff) | |
| download | llvm-35ee462fefe18927cc3a626d22f7b32f14b5eaf7.zip llvm-35ee462fefe18927cc3a626d22f7b32f14b5eaf7.tar.gz llvm-35ee462fefe18927cc3a626d22f7b32f14b5eaf7.tar.bz2 | |
[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.
Diffstat (limited to 'llvm/lib/Analysis/LoopAccessAnalysis.cpp')
| -rw-r--r-- | llvm/lib/Analysis/LoopAccessAnalysis.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/LoopAccessAnalysis.cpp b/llvm/lib/Analysis/LoopAccessAnalysis.cpp index ab407e9..2a322a6 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; |