aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/LazyValueInfo.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-09-12[LVI] Complete the abstract of the cache layer [NFCI]Philip Reames1-72/+94
2016-09-12[LVI] Sink a couple more cache manipulation routines into the cache itself [N...Philip Reames1-36/+45
2016-09-12[LVI] Abstract out the actual cache logic [NFCI]Philip Reames1-89/+97
2016-08-12[LVI] Take guards into accountArtur Pilipenko1-11/+29
2016-08-12[LVI] Fix potential memory corruption in getValueFromConditionArtur Pilipenko1-2/+4
2016-08-12[LVI] Take range metadata into account while calculating icmp condition const...Artur Pilipenko1-0/+3
2016-08-12[LVI] Handle any predicate in comparisons like icmp <pred> (add Val, Offset),...Artur Pilipenko1-2/+2
2016-08-10[LVI] Handle conditions in the form of (cond1 && cond2)Artur Pilipenko1-8/+42
2016-08-10[LVI] NFC. Make getValueFromCondition return LVILatticeValue instead of chang...Artur Pilipenko1-25/+16
2016-08-10[LVI] Relax the assertion about LVILatticeVal type in getConstantRangeArtur Pilipenko1-1/+4
2016-08-09[LVI] Make LVI smarter about comparisons with non-constantsArtur Pilipenko1-19/+36
2016-08-09Revert 278107 which causes buildbot failures and in addition has wrong commit...Artur Pilipenko1-33/+19
2016-08-09Teach CorrelatedValuePropagation to mark adds as no wrapArtur Pilipenko1-19/+33
2016-08-09[LVI] NFC. Fix a typo Bofore -> BeforeArtur Pilipenko1-1/+1
2016-08-08[LVI] NFC. On the fast dest path use inverse predicate instead of inverse ran...Artur Pilipenko1-4/+5
2016-08-08[LVI] NFC. Rename confusing local NegOffset to OffsetArtur Pilipenko1-6/+6
2016-08-08[LVI] NFC. Extract LHS, RHS, Predicate locals in getValueFromConditionArtur Pilipenko1-11/+14
2016-08-02[LVI] NFC. Sink a condition type check from the caller down to getValueFromCo...Artur Pilipenko1-31/+33
2016-08-02[LVI] NFC. Fix a typo getValueFromFromCondition -> getValueFromConditionArtur Pilipenko1-11/+9
2016-07-27[LVI] Use DenseMap::find_as in LazyValueInfo.Justin Lebar1-15/+29
2016-07-25Trailing whitespace.NAKAMURA Takumi1-4/+4
2016-07-04Reformat blank lines.NAKAMURA Takumi1-9/+8
2016-07-04Reformat comment lines.NAKAMURA Takumi1-8/+8
2016-07-04Untabify.NAKAMURA Takumi1-1/+1
2016-07-04Reformat.NAKAMURA Takumi1-28/+25
2016-06-26Apply clang-tidy's modernize-loop-convert to lib/Analysis.Benjamin Kramer1-2/+2
2016-06-13[PM] Port LVI to the new PM.Sean Silva1-12/+26
2016-06-08Apply most suggestions of clang-tidy's performance-unnecessary-value-paramBenjamin Kramer1-1/+1
2016-05-25[LazyValueInfo] Simplify `return after else`. NFCI.Davide Italiano1-4/+3
2016-05-02[LVI] Add an API to LazyValueInfo so that it can export ConstantRangesJohn Regehr1-0/+16
2016-04-27[LVI] Delete stale and misleading comment.Philip Reames1-5/+0
2016-04-27[LVI] Add a comment explaining a subtle piece of codePhilip Reames1-15/+23
2016-04-27[LVI] Reduce compile time by lazily scanning blocks if neededPhilip Reames1-26/+26
2016-04-26[LVI] Cut short search if we know we can't return a useful resultPhilip Reames1-9/+44
2016-04-26[LVI] Apply transfer rule for overdefine inputs for binary operatorsPhilip Reames1-11/+16
2016-04-26[LVI] A better fix for the assertion error introduced by 267609Philip Reames1-10/+11
2016-04-26[LVI] Speculative fix for assertion seen in clang botsPhilip Reames1-0/+6
2016-04-26[LVI] Infer local facts from unary expressionsPhilip Reames1-16/+20
2016-04-25[LVI] Make a precondition explicit rather than handling a case which never ha...Philip Reames1-1/+2
2016-04-25[LVI] Clarify comments describing the lattice valuesPhilip Reames1-5/+10
2016-04-25[LVI] Split solveBlockValueConstantRange into two [NFC]Philip Reames1-31/+63
2016-03-04[LVI] Fix a bug which prevented use of !range metadata within a queryPhilip Reames1-22/+10
2016-02-27Suppress an uncovered switch warning [NFC]Philip Reames1-0/+1
2016-02-26[LVI] Extend select handling to catch min/max/clamp idiomsPhilip Reames1-3/+71
2016-02-20[LVI] Move ConstantRanges instead of copying.Benjamin Kramer1-9/+8
2016-02-16Revert 260705, it appears to be causing pr26628Philip Reames1-21/+0
2016-02-12[LVI] Exploit nsw/nuw when computing constant rangesPhilip Reames1-0/+21
2016-02-12[LVI] Improve select handling to use conditionPhilip Reames1-0/+19
2016-02-10[LVI] Handle constants defensivelyPhilip Reames1-3/+7
2016-02-02[LVI] Fix debug outputPhilip Reames1-3/+3
generated by cgit v1.1 at 2025-10-14 00:39:58 +0000