aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/Loads.cpp
AgeCommit message (Expand)AuthorFilesLines
24 hours[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
2023-04-02[Loads] Support SCEVAddExpr as start for pointer AddRec.Florian Hahn1-5/+25
2023-03-21[LV] Use speculatability within entire loop to avoid strided load predicationAnna Thomas1-4/+11
2023-03-02[AArch64][SME2] Add CodeGen support for target("aarch64.svcount").Sander de Smalen1-1/+1
2023-01-11[NFC] Use TypeSize::geFixedValue() instead of TypeSize::getFixedSize()Guillaume Chatelet1-2/+2
2023-01-06Revert D141134 "[NFC] Only expose getXXXSize functions in TypeSize"Guillaume Chatelet1-1/+1
2023-01-06[NFC] Only expose getXXXSize functions in TypeSizeGuillaume Chatelet1-1/+1
2022-11-17[Analysis] `isSafeToLoadUnconditionally()`: `lifetime` intrinsics can be ignoredRoman Lebedev1-1/+1
2022-11-11Analysis: Reorder code in isDereferenceableAndAlignedPointerMatt Arsenault1-63/+65
2022-11-07[InstCombine] Handle load smaller than one byte in memset forwardNikita Popov1-4/+8
2022-11-03[InstCombine] Perform memset -> load forwardingNikita Popov1-0/+33
2022-09-20Analysis: Remove redundant assertionMatt Arsenault1-6/+2
2022-09-20Analysis: Pass AssumptionCache through isKnownNonZeroMatt Arsenault1-2/+2
2022-09-19VectorCombine: Pass through AssumptionCacheMatt Arsenault1-3/+6
2022-09-19Analysis: Add AssumptionCache argument to isDereferenceableAndAlignedPointerMatt Arsenault1-34/+34
2022-07-13[InstCombine][SVE] Bail out of isSafeToLoadUnconditionally for scalable typesPeter Waller1-1/+4