summaryrefslogtreecommitdiff
path: root/lib/Analysis/LazyValueInfo.cpp
AgeCommit message (Expand)Author
2017-12-18[LVI] Support for ashr in LVIMax Kazantsev
2017-12-13Remove redundant includes from lib/Analysis.Michael Zolotukhin
2017-09-28[LVI] Move LVILatticeVal class to separate header file (NFC).Florian Hahn
2017-09-09Merge isKnownNonNull into isKnownNonZeroNuno Lopes
2017-08-10[LVI] Fix LVI compile time regression around constantFoldUser()Hiroshi Yamauchi
2017-08-04[ConstantInt] Use ConstantInt::getValue instead of Constant::getUniqueInteger...Craig Topper
2017-08-03[LVI] Constant-propagate a zero extension of the switch condition value throu...Hiroshi Yamauchi
2017-08-01Revert r309415: "[LVI] Constant-propagate a zero extension of the switch cond...Daniel Jasper
2017-07-28[LVI] Constant-propagate a zero extension of the switch condition value throu...Hiroshi Yamauchi
2017-06-23[JumpThreading] Teach jump threading how to analyze (and (cmp A, C1), (cmp A,...Craig Topper
2017-06-23[LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ...Craig Topper
2017-06-09[LVI] Fix spelling error in comment. NFCCraig Topper
2017-06-09[LVI] Const correct and rename the LVILatticeVal parameter to getPredicateRes...Craig Topper
2017-06-09[LazyValueInfo] Don't run the more complex predicate handling code for EQ and...Craig Topper
2017-06-08[LazyValueInfo] Make LVILatticeVal intersect method take arguments by referen...Craig Topper
2017-06-07[LazyValueInfo] Remove redundant calls to ConstantRange::contains. The same e...Craig Topper
2017-06-06[LVI Printer] Rely on the LVI analysis functions rather than the LVI cacheAnna Thomas
2017-06-03[LazyValueInfo] Use Type::getIntegerBitWidth instead of casting to IntegerTyp...Craig Topper
2017-06-03[LazyValueInfo] Make solveBlockValueCast take a CastInst* instead of Instruct...Craig Topper
2017-06-02[LazyValueInfo] Fix formatting NFC.Craig Topper
2017-06-02[LazyValueInfo] Make solveBlockValueBinaryOp take a BinaryOperator* instead o...Craig Topper
2017-06-02[LazyValueInfo] Fix typo in comment. NFCCraig Topper
2017-05-06[LazyValueInfo] Avoid unnecessary copies of ConstantRangesCraig Topper
2017-04-28[LazyValueInfo] Fix typo in comment. NFCCraig Topper
2017-04-12[IR] Redesign the case iterator in SwitchInst to actually be an iteratorChandler Carruth
2017-03-23[LVIPrinterPass] Print LVI info for function argumentsAnna Thomas
2017-03-22[LVI] Add an LVI printer pass to capture test LVI cache after transformationsAnna Thomas
2017-03-12[LVI] Add Datalayout to the class LazyValueInfo since all its Impls require i...Anna Thomas
2017-02-24Fix Indentation. NFCIXin Tong
2017-02-09LVI: Fix use-of-uninitialized-value after r294463Vitaly Buka
2017-02-08LVI: Add a per-value worklist limit to LazyValueInfo.Daniel Berlin
2017-02-07[LVI] Switch from BFS to DFS exploration orderPhilip Reames
2017-01-26[PM] Use PoisoningVH correctly when merely deleting entries in a mapChandler Carruth
2017-01-24[PH] Replace uses of AssertingVH from members of analysis results withChandler Carruth
2017-01-23[PM] Teach LVI to correctly invalidate itself when its dependenciesChandler Carruth
2017-01-11Make processing @llvm.assume more efficient - Add affected values to the assu...Hal Finkel
2016-12-30[LVI] Remove count/erase idiom in favor of checking result value of erasePhilip Reames
2016-12-30[LVI] Manually hoist computation from loopPhilip Reames
2016-12-19Revert @llvm.assume with operator bundles (r289755-r289757)Daniel Jasper
2016-12-15Remove the AssumptionCacheHal Finkel
2016-12-15Make processing @llvm.assume more efficient by using operand bundlesHal Finkel
2016-12-07Reintroduce a check accidentally removed in 288873 to fix clang botsPhilip Reames
2016-12-07Fix a warning introduced in r288874Philip Reames
2016-12-07[LVI] Remove used return value from markX functionsPhilip Reames
2016-12-07[LVI] Simplify mergeIn codePhilip Reames
2016-12-07[LVI] Simplify obfuscated codePhilip Reames
2016-12-06[LVI] Remove dead code in mergeInPhilip Reames
2016-12-06[LVI] Extract a helper functionPhilip Reames
2016-12-06[LVI] Hide the last markX function on LVILatticeValPhilip Reames
2016-12-06[LVI] Hide a confusing internal interfacePhilip Reames