aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/BasicAliasAnalysis.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-06-25[FunctionAttrs][IR] Fix memory attr inference for volatile mem intrinsics (#1...Nikita Popov1-0/+4
2025-06-12[AA] Take read-only provenance captures into account (#143097)Nikita Popov1-35/+51
2025-06-11[BasicAA][ValueTracking] Use MaxLookupSearchDepth constant (NFC)Nikita Popov1-4/+0
2025-06-06[AA] Merge isNonEscapingLocalObject() into SimpleCaptureAnalysis (NFC) (#142971)Nikita Popov1-1/+11
2025-06-03[ValueTracking] Make Depth last default arg (NFC) (#142384)Ramkumar Ramachandra1-2/+1
2025-05-26[llvm] Value-initialize values with *Map::try_emplace (NFC) (#141522)Kazu Hirata1-1/+1
2025-05-06[BasicAA] Gracefully handle large LocationSize (#138528)Nikita Popov1-3/+5
2025-05-05[AA] Assert that alias() arguments are pointers (#138242)Nikita Popov1-3/+0
2025-04-29[BasicAA] Account for wrapping when using abs(Scale*V0 + (-Scale)*V1) >= abs(...Craig Topper1-16/+18
2025-04-21[LLVM] Cleanup pass initialization for Analysis passes (#135858)Rahul Joshi1-3/+1
2025-04-08[BasicAA] Treat ExtractValue(Argument) similar to Argument in relation to fun...David Green1-2/+12
2025-03-19[AA][BasicAA] Move more call logic to BasicAA (#131144)Nikita Popov1-56/+48
2025-03-13[CaptureTracking][AA] Only consider provenance captures (#130777)Nikita Popov1-1/+1
2025-02-24[CaptureTracking] Remove StoreCaptures parameter (NFC)Nikita Popov1-1/+1
2025-02-01[ValueTracking] Use `SimplifyQuery` in `isKnownNonEqual` (#124942)Yingwei Zheng1-2/+4
2024-12-13[BasicAA] Do not decompose past casts with different index width (#119365)Nikita Popov1-39/+26
2024-12-09[AA] Export the isBaseOfObject() API (NFC)Nikita Popov1-13/+0
2024-12-03[BasicAA] Treat returns_twice functions as clobbering unescaped objects (#117...Nikita Popov1-1/+7
2024-11-27[BasicAA][LAA] Don't use same-block phis in cross iteration mode (#116802)Nikita Popov1-2/+3
2024-11-20[AA] Rename CaptureInfo -> CaptureAnalysis (NFC) (#116842)Nikita Popov1-10/+12
2024-10-07[Analysis] Simplify code with DenseMap::operator[] (NFC) (#111331)Kazu Hirata1-4/+2
2024-10-01BasicAA: update comments in a routine (NFC) (#110492)Ramkumar Ramachandra1-13/+8
2024-09-02[BasicAA] Track nuw through decomposed expressions (#106512)Nikita Popov1-10/+21
2024-08-20[BasicAA] Use nuw attribute of GEPs (#98608)Hari Limaye1-20/+49
2024-08-14BasicAA: Fix assert when indexing address spaces with different sizes (#103713)Matt Arsenault1-0/+3
2024-08-14[BasicAA] Remove unused variables (NFC)Nikita Popov1-3/+0
2024-08-07[BasicAA] Make use of nusw+nuw -> nneg implication (#102141)Nikita Popov1-2/+8
2024-08-06[BasicAA] Check nusw instead of inboundsNikita Popov1-1/+1
2024-07-25[BasicAA] Fix handling of indirect assumption based results (#100130)Nikita Popov1-4/+24
2024-06-28[IR] Add getDataLayout() helpers to Function and GlobalValue (#96919)Nikita Popov1-2/+2
2024-06-04[BasicAA] Consider 'nneg' flag when comparing CastedValues (#94129)Alex MacLean1-19/+43
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