projects / oota-llvm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix a horrible infloop in value tracking in the face of dead code.
[oota-llvm.git] / lib / Analysis / ValueTracking.cpp
2016-01-04 Chandler CarruthFix a horrible infloop in value tracking in the face... blob | commitdiff | raw
2015-12-30 Sanjay Patel[ValueTracking] fix bug computing isKnownToBeAPowerOfTw... blob | commitdiff | raw | diff to current
2015-12-21 Michael Zolotukhin[ValueTracking] Properly handle non-sized types in... blob | commitdiff | raw | diff to current
2015-12-14 David Majnemer[IR] Remove terminatepad blob | commitdiff | raw | diff to current
2015-12-12 David Majnemer[IR] Reformulate LLVM's EH funclet IR blob | commitdiff | raw | diff to current
2015-11-11 Sanjoy Das[ValueTracking] Remove untested / unreachable code... blob | commitdiff | raw | diff to current
2015-11-10 Sanjoy Das[ValueTracking] Teach isImpliedCondition a new bitwise... blob | commitdiff | raw | diff to current
2015-11-10 Sanjoy Das[ValueTracking] Use m_APInt instead of m_ConstantInt... blob | commitdiff | raw | diff to current
2015-11-10 Philip Reames[ValueTracking] Recognize that and(x, add (x, -1))... blob | commitdiff | raw | diff to current
2015-11-06 Sanjoy Das[ValueTracking] Add parameters to isImpliedCondition... blob | commitdiff | raw | diff to current
2015-11-06 Sanjoy Das[ValueTracking] De-pessimize isImpliedCondition around... blob | commitdiff | raw | diff to current
2015-11-06 Sanjoy Das[ValueTracking] Add a framework for encoding implicatio... blob | commitdiff | raw | diff to current
2015-10-28 Sanjoy Das[ValueTracking] Expose `implies` via ValueTracking... blob | commitdiff | raw | diff to current
2015-10-28 Sanjoy Das[ValueTracking] Use !range metadata more aggressively... blob | commitdiff | raw | diff to current
2015-10-27 Sanjoy Das[ValueTracking] Don't special case wrapped ConstantRang... blob | commitdiff | raw | diff to current
2015-10-26 James Molloy[ValueTracking] Extend r251146 to catch a fairly common... blob | commitdiff | raw | diff to current
2015-10-24 Benjamin KramerUse all_of to simplify control flow. NFC. blob | commitdiff | raw | diff to current
2015-10-24 Sanjoy DasExtract out getConstantRangeFromMetadata; NFC blob | commitdiff | raw | diff to current
2015-10-23 Hal FinkelHandle non-constant shifts in computeKnownBits, and... blob | commitdiff | raw | diff to current
2015-10-22 James Molloy[ValueTracking] Add a new predicate: isKnownNonEqual() blob | commitdiff | raw | diff to current
2015-10-15 Aaron BallmanSilencing a -Wtype-limits warning; an unsigned value... blob | commitdiff | raw | diff to current
2015-10-14 Philip ReamesTighten known bits for ctpop based on zero input bits blob | commitdiff | raw | diff to current
2015-10-14 Kostya Serebryany[asan] Disabling speculative loads under asan. Patch... blob | commitdiff | raw | diff to current
2015-10-10 Duncan P. N. Exon... Analysis: Remove implicit ilist iterator conversions blob | commitdiff | raw | diff to current
2015-10-09 Artur PilipenkoValueTracking: use getAlignment in isAligned blob | commitdiff | raw | diff to current
2015-10-08 Sanjay Patel[ValueTracking] teach computeKnownBits that a fabs... blob | commitdiff | raw | diff to current
2015-10-07 Artur PilipenkoTeach computeKnownBits to use new align attribute/metadata blob | commitdiff | raw | diff to current
2015-10-06 Philip ReamesExtend known bits to understand @llvm.bswap blob | commitdiff | raw | diff to current
2015-09-30 Artur PilipenkoRefactor computeKnownBits alignment handling code blob | commitdiff | raw | diff to current
2015-09-29 Igor Laevsky[ValueTracking] Lower dom-conditions-dom-blocks and... blob | commitdiff | raw | diff to current
2015-09-29 James Molloy[ValueTracking] Teach isKnownNonZero about monotonicall... blob | commitdiff | raw | diff to current
2015-09-28 Artur PilipenkoIntroduce !align metadata for load instruction blob | commitdiff | raw | diff to current
2015-09-25 Sanjay Patelmore space; NFC blob | commitdiff | raw | diff to current
2015-09-24 James Molloy[ValueTracking] Teach isKnownNonZero a new trick blob | commitdiff | raw | diff to current
2015-09-21 Philip ReamesFix for pr24866 blob | commitdiff | raw | diff to current
2015-09-18 Artur PilipenkoSupport align attribute for return values blob | commitdiff | raw | diff to current
2015-09-17 Sanjay Patelfix typo; NFC blob | commitdiff | raw | diff to current
2015-09-14 Chen Li[InstCombineCalls] Use isKnownNonNullAt() to check... blob | commitdiff | raw | diff to current
2015-09-03 Joseph Tremoulet[WinEH] Add cleanupendpad instruction blob | commitdiff | raw | diff to current
2015-09-02 James Molloy[ValueTracking] Look through casts when both operands... blob | commitdiff | raw | diff to current
2015-08-28 David MajnemerRevert r246232 and r246304. blob | commitdiff | raw | diff to current
2015-08-28 David Majnemer[CodeGen] isInTailCallPosition didn't consider readnone... blob | commitdiff | raw | diff to current
2015-08-27 David Majnemer[ValueTracking] readnone CallInsts are fair game for... blob | commitdiff | raw | diff to current
2015-08-27 Pete CooperisKnownNonNull needs to consider globals in non-zero... blob | commitdiff | raw | diff to current
2015-08-20 Jingyue Wu[ValueTracking] computeOverflowForSignedAdd and isKnown... blob | commitdiff | raw | diff to current
2015-08-17 Artur PilipenkoTake alignment into account in isSafeToSpeculativelyExe... blob | commitdiff | raw | diff to current
2015-08-12 James Molloy[ValueTracking] Tweak a comment slightly blob | commitdiff | raw | diff to current
2015-08-11 James MolloyAdd support for floating-point minnum and maxnum blob | commitdiff | raw | diff to current
2015-08-08 Benjamin KramerFix some comment typos. blob | commitdiff | raw | diff to current
2015-08-06 Quentin Colombet[Reassociation] Fix miscompile for va_arg arguments. blob | commitdiff | raw | diff to current
2015-07-31 David MajnemerNew EH representation for MSVC compatibility blob | commitdiff | raw | diff to current
2015-07-28 Jingyue Wu[SCEV] Apply NSW and NUW flags via poison value analysis blob | commitdiff | raw | diff to current
2015-07-05 Peter CollingbourneIR: Do not consider available_externally linkage to... blob | commitdiff | raw | diff to current
2015-06-15 Jingyue Wu[ValueTracking] do not overwrite analysis results alrea... blob | commitdiff | raw | diff to current
2015-06-08 Artur PilipenkoMinor refactoring of GEP handling in isDereferenceableP... blob | commitdiff | raw | diff to current
2015-05-20 James MolloyReapply r237539 with a fix for the Chromium build. blob | commitdiff | raw | diff to current
2015-05-19 Sanjoy DasDereferenceable, dereferenceable_or_null metadata for... blob | commitdiff | raw | diff to current
2015-05-18 Sanjoy DasExploit dereferenceable_or_null attribute in LICM pass blob | commitdiff | raw | diff to current
2015-05-15 James MolloyAllow min/max detection to see through casts. blob | commitdiff | raw | diff to current
2015-05-14 Jingyue Wu[ValueTracking] refactor: extract method haveNoCommonBi... blob | commitdiff | raw | diff to current
2015-05-12 Pete CooperConvert PHI getIncomingValue() to foreach over incoming... blob | commitdiff | raw | diff to current
2015-05-11 James MolloyRip min/max pattern matching out of InstCombine and... blob | commitdiff | raw | diff to current
2015-05-06 Sanjoy Das[Statepoint] Clean up Statepoint.h: accessor names. blob | commitdiff | raw | diff to current
2015-04-23 Adam Nemet[getUnderlyingOjbects] Analyze loop PHIs further to... blob | commitdiff | raw | diff to current
2015-04-23 Philip ReamesMove Value.isDereferenceablePointer to ValueTracking... blob | commitdiff | raw | diff to current
2015-04-10 Benjamin Kramer[CallSite] Make construction from Value* (or Instructio... blob | commitdiff | raw | diff to current
2015-04-10 Benjamin KramerReduce dyn_cast<> to isa<> or cast<> where possible. blob | commitdiff | raw | diff to current
2015-03-25 Sanjoy Das[ValueTracking] Fix PR23011. blob | commitdiff | raw | diff to current
2015-03-25 Benjamin Kramer[APInt] Add an isSplat helper and use it in some places. blob | commitdiff | raw | diff to current
2015-03-21 Benjamin KramerValueTracking: Forward getConstantStringInfo's TrimAtNu... blob | commitdiff | raw | diff to current
2015-03-10 Philip ReamesInfer known bits from dominating conditions blob | commitdiff | raw | diff to current
2015-03-10 Mehdi AminiDataLayout is mandatory, update the API to reflect... blob | commitdiff | raw | diff to current
2015-03-06 Nadav RotemTeach ComputeNumSignBits about signed reminder. blob | commitdiff | raw | diff to current
2015-03-03 Nadav RotemTeach ComputeNumSignBits about signed divisions. blob | commitdiff | raw | diff to current
2015-02-25 Sanjay PatelFix really obscure bug in CannotBeNegativeZero() (PR22688) blob | commitdiff | raw | diff to current
2015-02-07 Benjamin KramerValueTracking: Make isBytewiseValue simpler and more... blob | commitdiff | raw | diff to current
2015-02-01 David MajnemerValueTracking: Make isSafeToSpeculativelyExecute a... blob | commitdiff | raw | diff to current
2015-01-28 Elena DemikhovskyFold fcmp in cases where value is provably non-negative... blob | commitdiff | raw | diff to current
2015-01-14 Chandler Carruth[cleanup] Re-sort all the #include lines in LLVM using blob | commitdiff | raw | diff to current
2015-01-07 David MajnemerAnalysis: Reformulate WillNotOverflowUnsignedAdd for... blob | commitdiff | raw | diff to current
2015-01-04 Chandler Carruth[PM] Cleanup a const_cast and other machinery left... blob | commitdiff | raw | diff to current
2015-01-04 Michael KupersteinFix unused variable warning for non-asserts builds... blob | commitdiff | raw | diff to current
2015-01-04 Chandler Carruth[PM] Split the AssumptionTracker immutable pass into... blob | commitdiff | raw | diff to current
2015-01-04 David MajnemerValueTracking: ComputeNumSignBits should tolerate missh... blob | commitdiff | raw | diff to current
2015-01-03 David MajnemerValueTracking: Make computeKnownBits for Arguments... blob | commitdiff | raw | diff to current
2015-01-02 David MajnemerInstCombine: Detect when llvm.umul.with.overflow always... blob | commitdiff | raw | diff to current
2015-01-02 David MajnemerAnalysis: Reformulate WillNotOverflowUnsignedMul for... blob | commitdiff | raw | diff to current
2014-12-26 David MajnemerValueTracking: Small cleanup in ComputeNumSignBits blob | commitdiff | raw | diff to current
2014-12-23 Michael Kuperstein[ValueTracking] Move GlobalAlias handling to be after... blob | commitdiff | raw | diff to current
2014-12-12 David MajnemerValueTracking: Don't recurse too deeply in computeKnown... blob | commitdiff | raw | diff to current
2014-12-09 Duncan P. N. Exon... IR: Split Metadata from Value blob | commitdiff | raw | diff to current
2014-11-24 Philip ReamesFactor check for the assume intrinsic out of checks... blob | commitdiff | raw | diff to current
2014-11-19 David BlaikieUpdate SetVector to rely on the underlying set's insert... blob | commitdiff | raw | diff to current
2014-11-11 Duncan P. N. Exon... Revert "IR: MDNode => Value" blob | commitdiff | raw | diff to current
2014-11-06 Michael LiaoIndentation fixes blob | commitdiff | raw | diff to current
2014-11-05 Sanjay Patelremove extra breaks; NFC blob | commitdiff | raw | diff to current
2014-11-04 David MajnemerAnalysis: Make isSafeToSpeculativelyExecute fire less... blob | commitdiff | raw | diff to current
2014-11-04 Sanjay Patelremove function names from comments; NFC blob | commitdiff | raw | diff to current
2014-11-04 Sanjay Patelfix typo in comment blob | commitdiff | raw | diff to current
2014-11-01 Duncan P. N. Exon... IR: MDNode => Value: Instruction::getMetadata() blob | commitdiff | raw | diff to current
next
C/C++ LLVM-based compilers that forbids OOTA behaviors