aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/LazyValueInfo.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-08-15[llvm] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere1-1/+1
2019-06-04Introduce Value::stripPointerCastsSameRepresentationJohannes Doerfert1-1/+1
2019-06-04[LVI][CVP] Add support for urem, srem and sdivNikita Popov1-21/+8
2019-05-25[LVI][CVP] Add support for saturating add/subNikita Popov1-0/+36
2019-05-25[LVI][CVP] Calculate with.overflow result rangeNikita Popov1-0/+15
2019-05-25[LVI] Extract helper for binary range calculations; NFCNikita Popov1-23/+28
2019-05-14[LVI][CVP] Add support for abs/nabs select pattern flavorNikita Popov1-1/+22
2019-04-28[ConstantRange] Add makeExactNoWrapRegion()Nikita Popov1-2/+2
2019-04-22Revert "[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC"Nikita Popov1-1/+1
2019-04-22[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFCNikita Popov1-1/+1
2019-04-17[LVI][CVP] Constrain values in with.overflow branchesNikita Popov1-0/+27
2019-03-24[ConstantRange] Add getFull() + getEmpty() named constructors; NFCNikita Popov1-5/+5
2019-02-05[NFC] fix trivial typos in commentsHiroshi Inoue1-1/+1
2019-01-22[CVP] Use LVI to constant fold deopt operandsPhilip Reames1-1/+3
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
2018-11-21[LVI] run transfer function for binary operator even when the RHS isn't a con...John Regehr1-36/+39
2018-07-30Remove trailing spaceFangrui Song1-1/+1
2018-07-09llvm: Add support for "-fno-delete-null-pointer-checks"Manoj Gupta1-6/+8
2018-05-14Rename DEBUG macro to LLVM_DEBUG.Nicola Zaghen1-26/+29
2018-05-01Remove \brief commands from doxygen comments.Adrian Prantl1-2/+2
2018-04-24[LVI] Fix typo. NFCXin Tong1-1/+1
2018-03-13[LazyValueInfo] PR33357 prevent infinite recursion on BinaryOperatorBrian M. Rzycki1-3/+11
2018-02-16[JumpThreading] PR36133 enable/disable DominatorTree for LVI analysisBrian M. Rzycki1-1/+29
2018-01-17[NFC] fix trivial typos in commentsHiroshi Inoue1-1/+1
2017-12-18[LVI] Support for ashr in LVIMax Kazantsev1-0/+1
2017-12-13Remove redundant includes from lib/Analysis.Michael Zolotukhin1-1/+0
2017-09-28[LVI] Move LVILatticeVal class to separate header file (NFC).Florian Hahn1-347/+133
2017-09-09Merge isKnownNonNull into isKnownNonZeroNuno Lopes1-6/+6
2017-08-10[LVI] Fix LVI compile time regression around constantFoldUser()Hiroshi Yamauchi1-14/+28
2017-08-04[ConstantInt] Use ConstantInt::getValue instead of Constant::getUniqueInteger...Craig Topper1-3/+3
2017-08-03[LVI] Constant-propagate a zero extension of the switch condition value throu...Hiroshi Yamauchi1-6/+114
2017-08-01Revert r309415: "[LVI] Constant-propagate a zero extension of the switch cond...Daniel Jasper1-108/+4
2017-07-28[LVI] Constant-propagate a zero extension of the switch condition value throu...Hiroshi Yamauchi1-4/+108
2017-06-23[JumpThreading] Teach jump threading how to analyze (and (cmp A, C1), (cmp A,...Craig Topper1-0/+20
2017-06-23[LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ...Craig Topper1-5/+5
2017-06-09[LVI] Fix spelling error in comment. NFCCraig Topper1-1/+1
2017-06-09[LVI] Const correct and rename the LVILatticeVal parameter to getPredicateRes...Craig Topper1-9/+8
2017-06-09[LazyValueInfo] Don't run the more complex predicate handling code for EQ and...Craig Topper1-8/+8
2017-06-08[LazyValueInfo] Make LVILatticeVal intersect method take arguments by referen...Craig Topper1-1/+1
2017-06-07[LazyValueInfo] Remove redundant calls to ConstantRange::contains. The same e...Craig Topper1-2/+2
2017-06-06[LVI Printer] Rely on the LVI analysis functions rather than the LVI cacheAnna Thomas1-64/+89
2017-06-03[LazyValueInfo] Use Type::getIntegerBitWidth instead of casting to IntegerTyp...Craig Topper1-2/+1
2017-06-03[LazyValueInfo] Make solveBlockValueCast take a CastInst* instead of Instruct...Craig Topper1-18/+18
2017-06-02[LazyValueInfo] Fix formatting NFC.Craig Topper1-1/+1
2017-06-02[LazyValueInfo] Make solveBlockValueBinaryOp take a BinaryOperator* instead o...Craig Topper1-14/+14
2017-06-02[LazyValueInfo] Fix typo in comment. NFCCraig Topper1-1/+1
2017-05-06[LazyValueInfo] Avoid unnecessary copies of ConstantRangesCraig Topper1-7/+7
2017-04-28[LazyValueInfo] Fix typo in comment. NFCCraig Topper1-1/+1
2017-04-12[IR] Redesign the case iterator in SwitchInst to actually be an iteratorChandler Carruth1-4/+4
2017-03-23[LVIPrinterPass] Print LVI info for function argumentsAnna Thomas1-0/+12