aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/BasicAliasAnalysis.cpp
AgeCommit message (Expand)AuthorFilesLines
2024-04-23[SimplifyQuery] Avoid PatternMatch.h include (NFC)Nikita Popov1-0/+1
2024-04-16[ValueTracking] Restore isKnownNonZero parameter order. (#88873)Harald van Dijk1-2/+1
2024-04-12[ValueTracking] Convert `isKnownNonZero` to use SimplifyQuery (#85863)Yingwei Zheng1-1/+2
2024-02-12[BasicAA] Treat different VScale intrinsics as the same value. (#81152)David Green1-2/+10
2024-02-12[BasicAA] Check for Overflow using vscale_range (#81144)David Green1-7/+17
2024-02-09[BasicAA] Fix Scale check in vscale aliasing. (#81174)David Green1-1/+1
2024-02-08[BasicAA] Scalable offset with scalable typesize. (#80818)David Green1-0/+21
2024-02-05[BasicAA] Handle scalable type sizes with constant offsets (#80445)David Green1-18/+28
2024-01-31[AA][JumpThreading] Don't use DomTree for AA in JumpThreading (#79294)Nikita Popov1-2/+4
2024-01-17[BasicAA] Remove incorrect rule about constant pointers (#76815)Nikita Popov1-10/+9
2024-01-16[BasicAA] Handle disjoint or as add in DecomposeGEP. (#78209)David Green1-4/+2
2024-01-04[BasicAA] Guess reasonable contexts for separate storage hints (#76770)David Goldblatt1-5/+25
2024-01-04[IR] Fix GEP offset computations for vector GEPs (#75448)Jannik Silvanus1-2/+2
2024-01-03[BasicAA] Enable separate storage hints by default (#76864)David Goldblatt1-1/+1
2024-01-03[AssumptionCache] Add affected values for separate_storage (#76806)Nikita Popov1-20/+17
2023-11-29[ValueTracking] Convert MaskedValueIsZero() to use SimplifyQuery (NFC)Nikita Popov1-2/+2
2023-11-22[llvm][TypeSize] Fix addition/subtraction in TypeSize. (#72979)Sander de Smalen1-2/+2
2023-11-21[BasicAA] Optimize index size adjustment (NFC)Nikita Popov1-4/+7
2023-11-21[BasicAA] Don't use MinAbsVarIndex = 1. (#72993)Florian Hahn1-3/+0
2023-11-21[BasicAA] Don't assume DT is nonnullNikita Popov1-4/+4
2023-11-21[BasicAA] Make isNotCapturedBeforeOrAt() check for calls more precise (#69931)Nikita Popov1-15/+23
2023-11-02Revert "[CaptureTracking] Ignore ephemeral values when determining po… (#71...Florian Hahn1-1/+1
2023-10-27Replace TypeSize::{getFixed,getScalable} with canonical TypeSize::{Fixed,Scal...Fangrui Song1-2/+2
2023-10-24[Analysis] Add Scalable field in MemoryLocation.h (#69716)Harvin Iriawan1-13/+21
2023-10-24[BasicAA] Update comment (NFC)Nikita Popov1-1/+1
2023-10-23[BasicAA] Return std::optional from getObjectSize() (NFC)Nikita Popov1-10/+12
2023-10-20[AA] Make LI and EphValues option in EarliestEscapeInfo (NFC)Nikita Popov1-1/+1
2023-10-16[BasicAA] Remove NSW flags when merging scales (#69122)Yingwei Zheng1-0/+1
2023-07-28[AA] Skip the layer of indirection in returning conservative results.David Goldblatt1-9/+9
2023-06-27[BasicAA] Fix nsw handling for negated scales (PR63266)Nikita Popov1-7/+34
2023-06-26[BasicAA] Don't short-circuit non-capturing argumentsNikita Popov1-9/+6
2023-05-31[Analysis] Remove unused class LegacyAARGetterKazu Hirata1-7/+0
2023-03-03[InstCombine] Simplify separate_storage assumptionsDavid Goldblatt1-0/+2
2023-02-19Use APInt::count{l,r}_{zero,one} (NFC)Kazu Hirata1-2/+2
2023-01-11[NFC] Use TypeSize::geFixedValue() instead of TypeSize::getFixedSize()Guillaume Chatelet1-2/+2
2022-12-16[AA][Intrinsics] Add separate_storage assumptions.David Goldblatt1-3/+32
2022-12-15[AA] Allow for flow-sensitive analyses.David Goldblatt1-2/+2
2022-12-12[BasicAA] Remove support for PhiValues analysisNikita Popov1-54/+28
2022-12-10[llvm] Use std::optional instead of None in comments (NFC)Kazu Hirata1-1/+1
2022-12-09[BasicAA] Handle phi with itself as incoming valueNikita Popov1-0/+4
2022-12-06[BasicAA] Guard against empty successors list (PR59360)Nikita Popov1-1/+2
2022-12-02[Analysis] Use std::nullopt instead of None (NFC)Kazu Hirata1-1/+1
2022-12-02Use CTAD on llvm::SaveAndRestoreJan Svoboda1-1/+1
2022-11-25[Analysis] Use std::optional in BasicAliasAnalysis.cpp (NFC)Kazu Hirata1-3/+4
2022-11-14[AA] Move MayBeCrossIteration into AAQI (NFC)Nikita Popov1-17/+22
2022-11-04[IR] Switch everything to use memory attributeNikita Popov1-22/+2
2022-10-31[AliasAnalysis] Introduce getModRefInfoMask() as a generalization of pointsTo...Patrick Walton1-13/+30
2022-10-31[BasicAA] Include MayBeCrossIteration in cache keyNikita Popov1-10/+7
2022-10-27[BasicAA] Remove redundant libcall handlingNikita Popov1-28/+1
2022-10-27Fix a -Wunused-const-variable warning.Haojian Wu1-6/+0