summaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/BasicAliasAnalysis.cpp
AgeCommit message (Expand)Author
2024-08-07[BasicAA] Make use of nusw+nuw -> nneg implication (#102141)Nikita Popov
2024-08-06[BasicAA] Check nusw instead of inboundsNikita Popov
2024-07-25[BasicAA] Fix handling of indirect assumption based results (#100130)Nikita Popov
2024-06-28[IR] Add getDataLayout() helpers to Function and GlobalValue (#96919)Nikita Popov
2024-06-04[BasicAA] Consider 'nneg' flag when comparing CastedValues (#94129)Alex MacLean
2024-04-23[SimplifyQuery] Avoid PatternMatch.h include (NFC)Nikita Popov
2024-04-16[ValueTracking] Restore isKnownNonZero parameter order. (#88873)Harald van Dijk
2024-04-12[ValueTracking] Convert `isKnownNonZero` to use SimplifyQuery (#85863)Yingwei Zheng
2024-02-12[BasicAA] Treat different VScale intrinsics as the same value. (#81152)David Green
2024-02-12[BasicAA] Check for Overflow using vscale_range (#81144)David Green
2024-02-09[BasicAA] Fix Scale check in vscale aliasing. (#81174)David Green
2024-02-08[BasicAA] Scalable offset with scalable typesize. (#80818)David Green
2024-02-05[BasicAA] Handle scalable type sizes with constant offsets (#80445)David Green
2024-01-31[AA][JumpThreading] Don't use DomTree for AA in JumpThreading (#79294)Nikita Popov
2024-01-17[BasicAA] Remove incorrect rule about constant pointers (#76815)Nikita Popov
2024-01-16[BasicAA] Handle disjoint or as add in DecomposeGEP. (#78209)David Green
2024-01-04[BasicAA] Guess reasonable contexts for separate storage hints (#76770)David Goldblatt
2024-01-04[IR] Fix GEP offset computations for vector GEPs (#75448)Jannik Silvanus
2024-01-03[BasicAA] Enable separate storage hints by default (#76864)David Goldblatt
2024-01-03[AssumptionCache] Add affected values for separate_storage (#76806)Nikita Popov
2023-11-29[ValueTracking] Convert MaskedValueIsZero() to use SimplifyQuery (NFC)Nikita Popov
2023-11-22[llvm][TypeSize] Fix addition/subtraction in TypeSize. (#72979)Sander de Smalen
2023-11-21[BasicAA] Optimize index size adjustment (NFC)Nikita Popov
2023-11-21[BasicAA] Don't use MinAbsVarIndex = 1. (#72993)Florian Hahn
2023-11-21[BasicAA] Don't assume DT is nonnullNikita Popov
2023-11-21[BasicAA] Make isNotCapturedBeforeOrAt() check for calls more precise (#69931)Nikita Popov
2023-11-02Revert "[CaptureTracking] Ignore ephemeral values when determining po… (#71...Florian Hahn
2023-10-27Replace TypeSize::{getFixed,getScalable} with canonical TypeSize::{Fixed,Scal...Fangrui Song
2023-10-24[Analysis] Add Scalable field in MemoryLocation.h (#69716)Harvin Iriawan
2023-10-24[BasicAA] Update comment (NFC)Nikita Popov
2023-10-23[BasicAA] Return std::optional from getObjectSize() (NFC)Nikita Popov
2023-10-20[AA] Make LI and EphValues option in EarliestEscapeInfo (NFC)Nikita Popov
2023-10-16[BasicAA] Remove NSW flags when merging scales (#69122)Yingwei Zheng
2023-07-28[AA] Skip the layer of indirection in returning conservative results.David Goldblatt
2023-06-27[BasicAA] Fix nsw handling for negated scales (PR63266)Nikita Popov
2023-06-26[BasicAA] Don't short-circuit non-capturing argumentsNikita Popov
2023-05-31[Analysis] Remove unused class LegacyAARGetterKazu Hirata
2023-03-03[InstCombine] Simplify separate_storage assumptionsDavid Goldblatt
2023-02-19Use APInt::count{l,r}_{zero,one} (NFC)Kazu Hirata
2023-01-11[NFC] Use TypeSize::geFixedValue() instead of TypeSize::getFixedSize()Guillaume Chatelet
2022-12-16[AA][Intrinsics] Add separate_storage assumptions.David Goldblatt
2022-12-15[AA] Allow for flow-sensitive analyses.David Goldblatt
2022-12-12[BasicAA] Remove support for PhiValues analysisNikita Popov
2022-12-10[llvm] Use std::optional instead of None in comments (NFC)Kazu Hirata
2022-12-09[BasicAA] Handle phi with itself as incoming valueNikita Popov
2022-12-06[BasicAA] Guard against empty successors list (PR59360)Nikita Popov
2022-12-02[Analysis] Use std::nullopt instead of None (NFC)Kazu Hirata
2022-12-02Use CTAD on llvm::SaveAndRestoreJan Svoboda
2022-11-25[Analysis] Use std::optional in BasicAliasAnalysis.cpp (NFC)Kazu Hirata
2022-11-14[AA] Move MayBeCrossIteration into AAQI (NFC)Nikita Popov
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-31 12:37:36 +0000