aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/Loads.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-10-09[Loads] Handle ptrtoaddr in isPointerUseReplaceable()Nikita Popov1-1/+3
2025-10-07[Loads] Check if Ptr can be freed between Assume and CtxI. (#161255)Florian Hahn1-10/+14
2025-09-09[InstCombine] Support GEP chains in foldCmpLoadFromIndexedGlobal() (#157447)Nikita Popov1-0/+64
2025-09-05[LV] Add initial legality checks for loops with unbound loads. (#152422)Shih-Po Hung1-3/+6
2025-09-04[LAA] Support assumptions with non-constant deref sizes. (#156758)Florian Hahn1-1/+2
2025-09-03Reapply "[LAA,Loads] Use loop guards and max BTC if needed when checking dere...Florian Hahn1-20/+11
2025-09-02Revert "[LAA,Loads] Use loop guards and max BTC if needed when checking deref...Florian Hahn1-11/+20
2025-09-02[Loads] Apply loop guards to IRArgValue from assumption.Florian Hahn1-3/+4
2025-09-02[LAA,Loads] Use loop guards and max BTC if needed when checking deref. (#155672)Florian Hahn1-19/+10
2025-09-02[Loads] Apply loop guards to maximum pointer difference.Florian Hahn1-1/+4
2025-09-02[Loads] Check for overflow when adding MaxPtrDiff + Offset.Florian Hahn1-1/+4
2025-08-27[SCEV][LAA] Support multiplication overflow computation (#155236)annamthomas1-1/+6
2025-08-10[Analysis] Remove an unreachable check. NFC. (#152874)Yingwei Zheng1-2/+1
2025-08-05[InstCombine] Support offsets in `memset` to load forwarding (#151924)Pedro Lobo1-4/+8
2025-08-04[GVN] Avoid creating lifetime of non-allocaNikita Popov1-0/+4
2025-08-01[LAA] Support assumptions in evaluatePtrAddRecAtMaxBTCWillNotWrap (#147047)Florian Hahn1-1/+1
2025-07-14[Loads] Keep using constant max BTCs for loops w/o computable BTCs.Florian Hahn1-0/+8
2025-07-14[Loads] Support dereferenceable assumption with variable size. (#128436)Florian Hahn1-35/+53
2025-06-23[LAA] Be more careful when evaluating AddRecs at symbolic max BTC. (#128061)Florian Hahn1-1/+6
2025-06-17[DebugInfo][RemoveDIs] Remove a swathe of debug-intrinsic code (#144389)Jeremy Morse1-1/+1
2025-05-09Analysis: Remove no-AssumptionCache path in getKnowledgeForValue (#139232)Matt Arsenault1-2/+2
2025-02-13[AssumeBundles] Dereferenceable used in bundle only applies at assume. (#126117)Florian Hahn1-3/+6
2025-01-28[NFC][DebugInfo] Use iterators for insertion at some final callsitesJeremy Morse1-1/+1
2025-01-27Reland "[LoopVectorize] Add support for reverse loops in isDereferenceableAnd...David Sherwood1-53/+60
2025-01-24[NFC][DebugInfo] Use iterator-flavour getFirstNonPHI at many call-sites (#123...Jeremy Morse1-1/+1
2025-01-17[Loads] Respect UseDerefAtPointSemantics in isDerefAndAlignedPointer. (#123196)Florian Hahn1-1/+3
2025-01-15Revert "[LoopVectorize] Add support for reverse loops in isDereferenceableAnd...David Sherwood1-57/+52
2025-01-15[LoopVectorize] Add support for reverse loops in isDereferenceableAndAlignedI...David Sherwood1-52/+57
2025-01-09[Loads] Also consider getPointerAlignment when checking assumptions. (#120916)Florian Hahn1-2/+4
2025-01-08[Loads] Drop dead Offset argument (NFC)Nikita Popov1-7/+4
2024-11-05[Analysis] Remove unused includes (NFC) (#114936)Kazu Hirata1-1/+0
2024-10-17[APInt] Fix APInt constructions where value does not fit bitwidth (NFCI) (#80...Nikita Popov1-4/+2
2024-09-23[Analysis] Teach isDereferenceableAndAlignedInLoop about SCEV predicates (#10...David Sherwood1-9/+8
2024-09-23[Loads] Check context instruction for context-sensitive derefability (#109277)Nikita Popov1-0/+11
2024-09-18[Loads] Extract some checks into a lambda (NFC)Nikita Popov1-14/+20
2024-07-29[InstCombine][asan] Don't speculate loads before `select ptr` (#100773)Vitaly Buka1-2/+6
2024-07-29[NFC][Load] Find better place for `mustSuppressSpeculation` (#100794)Vitaly Buka1-0/+13
2024-07-22[GVN] Look through select/phi when determining underlying object (#99509)Nikita Popov1-3/+2
2024-07-22[Analysis] Bail out for negative offsets in isDereferenceableAndAlignedInLoop...David Sherwood1-0/+7
2024-07-19[Analysis] Add new function isDereferenceableReadOnlyLoop (#97292)David Sherwood1-0/+15
2024-06-28[Loads] Const correct the Size argument to isSafeToLoadUnconditionally. NFC (...Craig Topper1-1/+1
2024-06-27[IR] Add getDataLayout() helpers to BasicBlock and Instruction (#96902)Nikita Popov1-3/+3
2024-06-18[Loads] Pass DominatorTree if available (#95752)Ruiling, Song1-1/+1
2024-04-24[GVN] Restrict equality propagation for pointers (#82458)Usman Nadeem1-16/+56
2024-04-16[ValueTracking] Restore isKnownNonZero parameter order. (#88873)Harald van Dijk1-2/+2
2024-04-12[ValueTracking] Convert `isKnownNonZero` to use SimplifyQuery (#85863)Yingwei Zheng1-2/+4
2024-02-23[Loads] Fix crash in isSafeToLoadUnconditionally with scalable accessed type ...Luke Lau1-3/+3
2024-01-24[Loads] Use BatchAAResults for available value APIs (NFCI)Nikita Popov1-5/+4
2023-06-30Analysis: Fix assertion when load alignment exceeds address space sizeMatt Arsenault1-3/+1
2023-06-11[NFC] Replace ;; with ;David Green1-1/+1