aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/BasicAliasAnalysis.cpp
AgeCommit message (Expand)AuthorFilesLines
2021-07-01[BasicAA] Fix typo ScaleForGDC -> ScaleForGCD.Florian Hahn1-4/+4
2021-06-30[BasicAA] Use separate scale variable for GCD.Florian Hahn1-4/+5
2021-06-29[BasicAA] Be more careful with modulo ops on VariableGEPIndex.Florian Hahn1-22/+37
2021-06-07[BasicAA] Handle PHIs without incoming values gracefullyDaniil Suchkov1-0/+2
2021-05-07BasicAA: Recognize inttoptr as isEscapeSourceJoseph Tremoulet1-0/+8
2021-04-15[AA] Updates for D95543.dfukalov1-2/+2
2021-04-09[AA][NFC] Convert AliasResult to class containing offset for PartialAlias case.dfukalov1-12/+20
2021-04-09[NFC][AA] Prepare to convert AliasResult to class with PartialAlias offset.dfukalov1-62/+65
2021-04-03[BasicAA] Don't store AATags in cache key (NFC)Nikita Popov1-2/+1
2021-04-03[BasicAA] Don't pass through AA metadata (NFCI)Nikita Popov1-46/+32
2021-03-28[BasicAA] Make sure types match in constant offset heuristicNikita Popov1-1/+1
2021-03-28[BasicAA] Handle gep with unknown sizes earlier (NFCI)Nikita Popov1-5/+14
2021-03-27[BasicAA] Refactor linear expression decompositionNikita Popov1-177/+142
2021-03-27[BasicAA] Correct handle implicit sext in decompositionNikita Popov1-54/+61
2021-03-27[BasicAA] Clarify entry values of GetLinearExpression() (NFC)Nikita Popov1-1/+4
2021-03-27[BasicAA] Bail out earlier for invalid shift amountNikita Popov1-3/+2
2021-03-27[BasicAA] Retain shl nowrap flags in GetLinearExpression()Nikita Popov1-4/+1
2021-03-25[IR] Lift attribute handling for assume bundles into CallBaseNikita Popov1-5/+0
2021-03-23[BasicAA] Handle assumes with operand bundlesNikita Popov1-5/+10
2021-03-22[IR] Mark assume/annotation as InaccessibleMemOnlyNikita Popov1-19/+6
2021-03-19Update basic deref API to account for possiblity of free [NFC]Philip Reames1-2/+4
2021-03-17[BasicAA] Drop dependency on Loop Info. PR43276Max Kazantsev1-7/+2
2021-03-04[basicaa] Recurse through a single phi inputPhilip Reames1-6/+17
2021-03-03Fix a build warning from ea7d208Philip Reames1-1/+1
2021-03-03[basicaa] Rewrite isGEPBaseAtNegativeOffset in terms of index difference [mos...Philip Reames1-69/+26
2021-03-03[basicaa] Fix a latent bug in isGEPBaseAtNegativeOffsetPhilip Reames1-1/+8
2021-03-02[AA] Cache (optionally) estimated PartialAlias offsets.dfukalov1-12/+31
2021-02-19[BasicAA] Add simple depth limit to avoid stack overflow (PR49151)Nikita Popov1-0/+7
2021-02-18[BasicAA] Always strip single-argument phi nodesNikita Popov1-2/+2
2021-02-14[BasicAA] Merge aliasGEP code pathsNikita Popov1-52/+25
2021-02-14[BasicAA] Avoid duplicate query for GEPs with identical offsets (NFCI)Nikita Popov1-11/+7
2021-02-14[BasicAA] Use index difference to detect GEPs with identical indexesNikita Popov1-8/+8
2021-02-12[AA] Move Depth member from AAResults to AAQI (NFC)Nikita Popov1-1/+1
2021-01-22[Analysis] Use llvm::append_range (NFC)Kazu Hirata1-2/+1
2021-01-21[NewPM][opt] Run the "default" AA pipeline by defaultArthur Eubanks1-7/+6
2021-01-17Reapply [BasicAA] Handle recursive queries more efficientlyNikita Popov1-64/+45
2021-01-17[BasicAA] Move assumption tracking into AAQINikita Popov1-8/+8
2021-01-15Revert "[BasicAA] Handle recursive queries more efficiently"Reid Kleckner1-45/+64
2021-01-14[BasicAA] Handle recursive queries more efficientlyNikita Popov1-64/+45
2021-01-11Require chained analyses in BasicAA and AAResults to be transitiveBjorn Pettersson1-3/+3
2021-01-06[BasicAA] Fix BatchAA results for phi-phi assumptionsNikita Popov1-49/+73
2020-12-25[BasicAA] Pass AC/DT to isKnownNonEqual()Nikita Popov1-1/+1
2020-12-25[BasicAA] Pass context instruction to isKnownNonZero()Nikita Popov1-1/+1
2020-12-25[BasicAA] Make sure context instruction is symmetricNikita Popov1-4/+5
2020-12-18Revert "[BasicAA] Handle two unknown sizes for GEPs"Florian Hahn1-16/+4
2020-12-13[BasicAA] Handle known non-zero variable indexNikita Popov1-2/+6
2020-12-12[BasicAA] Make non-equal index handling simpler to extend (NFC)Nikita Popov1-18/+21
2020-12-11[BasicAA] Handle two unknown sizes for GEPsNikita Popov1-4/+16
2020-12-06[BasicAA] Migrate "same base pointer" logic to decomposed GEPsNikita Popov1-123/+26
2020-12-05[BasicAA] Fix a bug with relational reasoning across iterationsPhilip Reames1-21/+9