aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Analysis/BasicAA
AgeCommit message (Expand)AuthorFilesLines
2025-10-22[Matrix] Add tests identifying GVN and DSE opportunities for matrix store / l...Nathan Corbyn1-0/+30
2025-10-20[IR] Replace alignment argument with attribute on masked intrinsics (#163802)Nikita Popov3-51/+51
2025-10-15[AA] Generate test checks (NFC)Nikita Popov2-32/+132
2025-09-12[InstCombine] Remove redundant alignment assumptions. (#123348)Florian Hahn1-18/+8
2025-09-10[InstCombine] Split GEPs with multiple non-zero offsets (#151333)Nikita Popov1-2/+4
2025-09-04[MemoryLocation] Size Scalable Masked MemOps (#154785)Matthew Devereau1-0/+248
2025-08-08[IR] Remove size argument from lifetime intrinsics (#150248)Nikita Popov2-7/+7
2025-07-21[IR] Only allow lifetime.start/end on allocas (#149310)Nikita Popov1-4/+10
2025-07-01[AArch64] Mark neon.stN intrinsics as writeonly (#145289)Nikita Popov2-2/+2
2025-06-12[AA] Take read-only provenance captures into account (#143097)Nikita Popov1-2/+1
2025-06-12[BasicAA][ValueTracking] Increase depth for underlying object search (#143714)Nikita Popov1-15/+23
2025-06-06[AA] Add additional tests for mixed of different captures (NFC)Nikita Popov1-0/+39
2025-05-06[BasicAA] Gracefully handle large LocationSize (#138528)Nikita Popov1-0/+14
2025-04-29[BasicAA] Account for wrapping when using abs(Scale*V0 + (-Scale)*V1) >= abs(...Craig Topper1-0/+14
2025-04-08[BasicAA] Treat ExtractValue(Argument) similar to Argument in relation to fun...David Green1-1/+1
2025-04-08[BasicAA] Add some test cases for coerced function argsDavid Green1-0/+48
2025-03-19[AA][BasicAA] Move more call logic to BasicAA (#131144)Nikita Popov1-1/+1
2025-03-18[BasicAA] Add additional test for call AA (NFC)Nikita Popov1-0/+15
2025-03-13[CaptureTracking][AA] Only consider provenance captures (#130777)Nikita Popov1-0/+42
2025-02-19[AA] Consider extractvalue and extractelement as escape sources (#127640)Nikita Popov1-2/+25
2025-02-18[BasicAA] Add test for #126670 (NFC)Nikita Popov1-0/+24
2025-02-12[ValueTracking] Infer NonEqual from dominating conditions/assumptions (#117442)Yingwei Zheng1-1/+1
2025-01-16[Options] Use UseDerefAtPointSemantics cl::opt<bool>. (#123192)Florian Hahn1-1/+1
2025-01-15[IR] Treat calls with byval ptrs as read-only (#122961)Alex MacLean2-1/+5
2025-01-15[MemoryLocation] Teach MemoryLocation about llvm.experimental.memset.pattern ...Alex Bradbury1-1/+1
2025-01-15[test] Pre-commit llvm.experimental.memset.pattern tests prior to MemoryLocat...Alex Bradbury1-0/+18
2024-12-13[BasicAA] Do not decompose past casts with different index width (#119365)Nikita Popov1-2/+1
2024-12-10[BasicAA] Add test for incorrect handling of small index sizes (NFC)Nikita Popov1-0/+13
2024-12-05[InstCombine] Infer nusw + nneg -> nuw for getelementptr (#111144)Nikita Popov1-1/+1
2024-11-07Remove `br i1 undef` from some regression tests [NFC] (#115130)Lee Wei2-6/+6
2024-09-02[BasicAA] Track nuw through decomposed expressions (#106512)Nikita Popov1-0/+103
2024-08-20[BasicAA] Use nuw attribute of GEPs (#98608)Hari Limaye1-0/+214
2024-08-14BasicAA: Fix assert when indexing address spaces with different sizes (#103713)Matt Arsenault1-0/+18
2024-08-07[BasicAA] Make use of nusw+nuw -> nneg implication (#102141)Nikita Popov1-0/+20
2024-08-06[BasicAA] Check nusw instead of inboundsNikita Popov1-0/+11
2024-07-04[IR] Don't strip through pointer to vector of pointer bitcastsNikita Popov1-0/+12
2024-06-04[BasicAA] Consider 'nneg' flag when comparing CastedValues (#94129)Alex MacLean1-0/+181
2024-02-12[BasicAA] Treat different VScale intrinsics as the same value. (#81152)David Green1-2/+2
2024-02-12[BasicAA] Check for Overflow using vscale_range (#81144)David Green1-3/+3
2024-02-10[BasicAA] Add extra onevscale test for multiple dependent geps that lose the ...David Green1-1/+19
2024-02-09[BasicAA] Fix Scale check in vscale aliasing. (#81174)David Green1-0/+11
2024-02-08[BasicAA] Scalable offset with scalable typesize. (#80818)David Green1-11/+11
2024-02-08[BasicAA] More vscale tests. NFCDavid Green1-0/+168
2024-02-05[BasicAA] Handle scalable type sizes with constant offsets (#80445)David Green1-7/+7
2024-02-05[Analysis] Convert tests to opaque pointers (NFC)Nikita Popov4-15/+15
2024-02-03[BasicAA] Add extra scalable typesize and offset tests. NFCDavid Green1-0/+204
2024-01-24[InstCombine] Canonicalize constant GEPs to i8 source element type (#68882)Nikita Popov1-3/+3
2024-01-17[BasicAA] Fix new test Analysis/BasicAA/separate_storage-alias-sets.llBruno De Fraine1-6/+6
2024-01-17[BasicAA] Remove incorrect rule about constant pointers (#76815)Nikita Popov1-3/+3
2024-01-16[BasicAA] Handle disjoint or as add in DecomposeGEP. (#78209)David Green1-1/+16