summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/LazyValueInfo.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [LVI] Fix potential memory corruption in getValueFromConditionArtur Pilipenko2016-08-121-2/+4
* [LVI] Take range metadata into account while calculating icmp condition const...Artur Pilipenko2016-08-121-0/+3
* [LVI] Handle any predicate in comparisons like icmp <pred> (add Val, Offset),...Artur Pilipenko2016-08-121-2/+2
* [LVI] Handle conditions in the form of (cond1 && cond2)Artur Pilipenko2016-08-101-8/+42
* [LVI] NFC. Make getValueFromCondition return LVILatticeValue instead of chang...Artur Pilipenko2016-08-101-25/+16
* [LVI] Relax the assertion about LVILatticeVal type in getConstantRangeArtur Pilipenko2016-08-101-1/+4
* [LVI] Make LVI smarter about comparisons with non-constantsArtur Pilipenko2016-08-091-19/+36
* Revert 278107 which causes buildbot failures and in addition has wrong commit...Artur Pilipenko2016-08-091-33/+19
* Teach CorrelatedValuePropagation to mark adds as no wrapArtur Pilipenko2016-08-091-19/+33
* [LVI] NFC. Fix a typo Bofore -> BeforeArtur Pilipenko2016-08-091-1/+1
* [LVI] NFC. On the fast dest path use inverse predicate instead of inverse ran...Artur Pilipenko2016-08-081-4/+5
* [LVI] NFC. Rename confusing local NegOffset to OffsetArtur Pilipenko2016-08-081-6/+6
* [LVI] NFC. Extract LHS, RHS, Predicate locals in getValueFromConditionArtur Pilipenko2016-08-081-11/+14
* [LVI] NFC. Sink a condition type check from the caller down to getValueFromCo...Artur Pilipenko2016-08-021-31/+33
* [LVI] NFC. Fix a typo getValueFromFromCondition -> getValueFromConditionArtur Pilipenko2016-08-021-11/+9
* [LVI] Use DenseMap::find_as in LazyValueInfo.Justin Lebar2016-07-271-15/+29
* Trailing whitespace.NAKAMURA Takumi2016-07-251-4/+4
* Reformat blank lines.NAKAMURA Takumi2016-07-041-9/+8
* Reformat comment lines.NAKAMURA Takumi2016-07-041-8/+8
* Untabify.NAKAMURA Takumi2016-07-041-1/+1
* Reformat.NAKAMURA Takumi2016-07-041-28/+25
* Apply clang-tidy's modernize-loop-convert to lib/Analysis.Benjamin Kramer2016-06-261-2/+2
* [PM] Port LVI to the new PM.Sean Silva2016-06-131-12/+26
* Apply most suggestions of clang-tidy's performance-unnecessary-value-paramBenjamin Kramer2016-06-081-1/+1
* [LazyValueInfo] Simplify `return after else`. NFCI.Davide Italiano2016-05-251-4/+3
* [LVI] Add an API to LazyValueInfo so that it can export ConstantRangesJohn Regehr2016-05-021-0/+16
* [LVI] Delete stale and misleading comment.Philip Reames2016-04-271-5/+0
* [LVI] Add a comment explaining a subtle piece of codePhilip Reames2016-04-271-15/+23
* [LVI] Reduce compile time by lazily scanning blocks if neededPhilip Reames2016-04-271-26/+26
* [LVI] Cut short search if we know we can't return a useful resultPhilip Reames2016-04-261-9/+44
* [LVI] Apply transfer rule for overdefine inputs for binary operatorsPhilip Reames2016-04-261-11/+16
* [LVI] A better fix for the assertion error introduced by 267609Philip Reames2016-04-261-10/+11
* [LVI] Speculative fix for assertion seen in clang botsPhilip Reames2016-04-261-0/+6
* [LVI] Infer local facts from unary expressionsPhilip Reames2016-04-261-16/+20
* [LVI] Make a precondition explicit rather than handling a case which never ha...Philip Reames2016-04-251-1/+2
* [LVI] Clarify comments describing the lattice valuesPhilip Reames2016-04-251-5/+10
* [LVI] Split solveBlockValueConstantRange into two [NFC]Philip Reames2016-04-251-31/+63
* [LVI] Fix a bug which prevented use of !range metadata within a queryPhilip Reames2016-03-041-22/+10
* Suppress an uncovered switch warning [NFC]Philip Reames2016-02-271-0/+1
* [LVI] Extend select handling to catch min/max/clamp idiomsPhilip Reames2016-02-261-3/+71
* [LVI] Move ConstantRanges instead of copying.Benjamin Kramer2016-02-201-9/+8
* Revert 260705, it appears to be causing pr26628Philip Reames2016-02-161-21/+0
* [LVI] Exploit nsw/nuw when computing constant rangesPhilip Reames2016-02-121-0/+21
* [LVI] Improve select handling to use conditionPhilip Reames2016-02-121-0/+19
* [LVI] Handle constants defensivelyPhilip Reames2016-02-101-3/+7
* [LVI] Fix debug outputPhilip Reames2016-02-021-3/+3
* [LVI] Code motion only [NFC]Philip Reames2016-02-021-64/+62
* [LVI] Refactor to use newly introduced intersect utility Philip Reames2016-02-021-32/+19
* [LVI] Introduce an intersect operation on lattice valuesPhilip Reames2016-02-021-32/+85
* [LVI] Fix a latent bug in getValueAtPhilip Reames2016-02-021-0/+8
OpenPOWER on IntegriCloud