summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/LazyValueInfo.cpp
Commit message (Expand)AuthorAgeFilesLines
* Introduce Value::stripPointerCastsSameRepresentationJohannes Doerfert2019-06-041-1/+1
* [LVI][CVP] Add support for urem, srem and sdivNikita Popov2019-06-041-21/+8
* [LVI][CVP] Add support for saturating add/subNikita Popov2019-05-251-0/+36
* [LVI][CVP] Calculate with.overflow result rangeNikita Popov2019-05-251-0/+15
* [LVI] Extract helper for binary range calculations; NFCNikita Popov2019-05-251-23/+28
* [LVI][CVP] Add support for abs/nabs select pattern flavorNikita Popov2019-05-141-1/+22
* [ConstantRange] Add makeExactNoWrapRegion()Nikita Popov2019-04-281-2/+2
* Revert "[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC"Nikita Popov2019-04-221-1/+1
* [ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFCNikita Popov2019-04-221-1/+1
* [LVI][CVP] Constrain values in with.overflow branchesNikita Popov2019-04-171-0/+27
* [ConstantRange] Add getFull() + getEmpty() named constructors; NFCNikita Popov2019-03-241-5/+5
* [NFC] fix trivial typos in commentsHiroshi Inoue2019-02-051-1/+1
* [CVP] Use LVI to constant fold deopt operandsPhilip Reames2019-01-221-1/+3
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [LVI] run transfer function for binary operator even when the RHS isn't a con...John Regehr2018-11-211-36/+39
* Remove trailing spaceFangrui Song2018-07-301-1/+1
* llvm: Add support for "-fno-delete-null-pointer-checks"Manoj Gupta2018-07-091-6/+8
* Rename DEBUG macro to LLVM_DEBUG.Nicola Zaghen2018-05-141-26/+29
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-011-2/+2
* [LVI] Fix typo. NFCXin Tong2018-04-241-1/+1
* [LazyValueInfo] PR33357 prevent infinite recursion on BinaryOperatorBrian M. Rzycki2018-03-131-3/+11
* [JumpThreading] PR36133 enable/disable DominatorTree for LVI analysisBrian M. Rzycki2018-02-161-1/+29
* [NFC] fix trivial typos in commentsHiroshi Inoue2018-01-171-1/+1
* [LVI] Support for ashr in LVIMax Kazantsev2017-12-181-0/+1
* Remove redundant includes from lib/Analysis.Michael Zolotukhin2017-12-131-1/+0
* [LVI] Move LVILatticeVal class to separate header file (NFC).Florian Hahn2017-09-281-347/+133
* Merge isKnownNonNull into isKnownNonZeroNuno Lopes2017-09-091-6/+6
* [LVI] Fix LVI compile time regression around constantFoldUser()Hiroshi Yamauchi2017-08-101-14/+28
* [ConstantInt] Use ConstantInt::getValue instead of Constant::getUniqueInteger...Craig Topper2017-08-041-3/+3
* [LVI] Constant-propagate a zero extension of the switch condition value throu...Hiroshi Yamauchi2017-08-031-6/+114
* Revert r309415: "[LVI] Constant-propagate a zero extension of the switch cond...Daniel Jasper2017-08-011-108/+4
* [LVI] Constant-propagate a zero extension of the switch condition value throu...Hiroshi Yamauchi2017-07-281-4/+108
* [JumpThreading] Teach jump threading how to analyze (and (cmp A, C1), (cmp A,...Craig Topper2017-06-231-0/+20
* [LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ...Craig Topper2017-06-231-5/+5
* [LVI] Fix spelling error in comment. NFCCraig Topper2017-06-091-1/+1
* [LVI] Const correct and rename the LVILatticeVal parameter to getPredicateRes...Craig Topper2017-06-091-9/+8
* [LazyValueInfo] Don't run the more complex predicate handling code for EQ and...Craig Topper2017-06-091-8/+8
* [LazyValueInfo] Make LVILatticeVal intersect method take arguments by referen...Craig Topper2017-06-081-1/+1
* [LazyValueInfo] Remove redundant calls to ConstantRange::contains. The same e...Craig Topper2017-06-071-2/+2
* [LVI Printer] Rely on the LVI analysis functions rather than the LVI cacheAnna Thomas2017-06-061-64/+89
* [LazyValueInfo] Use Type::getIntegerBitWidth instead of casting to IntegerTyp...Craig Topper2017-06-031-2/+1
* [LazyValueInfo] Make solveBlockValueCast take a CastInst* instead of Instruct...Craig Topper2017-06-031-18/+18
* [LazyValueInfo] Fix formatting NFC.Craig Topper2017-06-021-1/+1
* [LazyValueInfo] Make solveBlockValueBinaryOp take a BinaryOperator* instead o...Craig Topper2017-06-021-14/+14
* [LazyValueInfo] Fix typo in comment. NFCCraig Topper2017-06-021-1/+1
* [LazyValueInfo] Avoid unnecessary copies of ConstantRangesCraig Topper2017-05-061-7/+7
* [LazyValueInfo] Fix typo in comment. NFCCraig Topper2017-04-281-1/+1
* [IR] Redesign the case iterator in SwitchInst to actually be an iteratorChandler Carruth2017-04-121-4/+4
* [LVIPrinterPass] Print LVI info for function argumentsAnna Thomas2017-03-231-0/+12
* [LVI] Add an LVI printer pass to capture test LVI cache after transformationsAnna Thomas2017-03-221-6/+96
OpenPOWER on IntegriCloud