summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ValueTracking.cpp
Commit message (Expand)AuthorAgeFilesLines
* Take alignment into account in isSafeToSpeculativelyExecute and isSafeToLoadU...Artur Pilipenko2015-08-171-35/+79
* [ValueTracking] Tweak a comment slightlyJames Molloy2015-08-121-2/+2
* Add support for floating-point minnum and maxnumJames Molloy2015-08-111-33/+130
* Fix some comment typos.Benjamin Kramer2015-08-081-3/+3
* [Reassociation] Fix miscompile for va_arg arguments.Quentin Colombet2015-08-061-0/+4
* New EH representation for MSVC compatibilityDavid Majnemer2015-07-311-1/+7
* [SCEV] Apply NSW and NUW flags via poison value analysisJingyue Wu2015-07-281-0/+161
* IR: Do not consider available_externally linkage to be linker-weak.Peter Collingbourne2015-07-051-1/+1
* [ValueTracking] do not overwrite analysis results already computedJingyue Wu2015-06-151-146/+160
* Minor refactoring of GEP handling in isDereferenceablePointerArtur Pilipenko2015-06-081-28/+15
* Reapply r237539 with a fix for the Chromium build.James Molloy2015-05-201-2/+9
* Dereferenceable, dereferenceable_or_null metadata for loadsSanjoy Das2015-05-191-0/+13
* Exploit dereferenceable_or_null attribute in LICM passSanjoy Das2015-05-181-17/+99
* Allow min/max detection to see through casts.James Molloy2015-05-151-14/+56
* [ValueTracking] refactor: extract method haveNoCommonBitsSetJingyue Wu2015-05-141-0/+15
* Convert PHI getIncomingValue() to foreach over incoming_values(). NFC.Pete Cooper2015-05-121-7/+7
* Rip min/max pattern matching out of InstCombine and intoJames Molloy2015-05-111-0/+81
* [Statepoint] Clean up Statepoint.h: accessor names.Sanjoy Das2015-05-061-1/+2
* [getUnderlyingOjbects] Analyze loop PHIs further to remove false positivesAdam Nemet2015-04-231-3/+43
* Move Value.isDereferenceablePointer to ValueTracking [NFC]Philip Reames2015-04-231-1/+141
* [CallSite] Make construction from Value* (or Instruction*) explicit.Benjamin Kramer2015-04-101-1/+1
* Reduce dyn_cast<> to isa<> or cast<> where possible.Benjamin Kramer2015-04-101-3/+2
* [ValueTracking] Fix PR23011.Sanjoy Das2015-03-251-7/+16
* [APInt] Add an isSplat helper and use it in some places.Benjamin Kramer2015-03-251-3/+1
* ValueTracking: Forward getConstantStringInfo's TrimAtNul param into recursive...Benjamin Kramer2015-03-211-2/+3
* Infer known bits from dominating conditionsPhilip Reames2015-03-101-0/+212
* DataLayout is mandatory, update the API to reflect it with references.Mehdi Amini2015-03-101-259/+213
* Teach ComputeNumSignBits about signed reminder.Nadav Rotem2015-03-061-1/+27
* Teach ComputeNumSignBits about signed divisions.Nadav Rotem2015-03-031-0/+17
* Fix really obscure bug in CannotBeNegativeZero() (PR22688)Sanjay Patel2015-02-251-1/+7
* ValueTracking: Make isBytewiseValue simpler and more powerful at the same time.Benjamin Kramer2015-02-071-19/+9
* ValueTracking: Make isSafeToSpeculativelyExecute a little cleanerDavid Majnemer2015-02-011-14/+14
* Fold fcmp in cases where value is provably non-negative. By Arch Robison.Elena Demikhovsky2015-01-281-0/+53
* [cleanup] Re-sort all the #include lines in LLVM usingChandler Carruth2015-01-141-1/+1
* Analysis: Reformulate WillNotOverflowUnsignedAdd for reusabilityDavid Majnemer2015-01-071-0/+29
* [PM] Cleanup a const_cast and other machinery left over in this codeChandler Carruth2015-01-041-2/+1
* Fix unused variable warning for non-asserts builds. NFC.Michael Kuperstein2015-01-041-2/+2
* [PM] Split the AssumptionTracker immutable pass into two separate APIs:Chandler Carruth2015-01-041-28/+32
* ValueTracking: ComputeNumSignBits should tolerate misshapen phi nodesDavid Majnemer2015-01-041-2/+5
* ValueTracking: Make computeKnownBits for Arguments a little more clearDavid Majnemer2015-01-031-0/+3
* InstCombine: Detect when llvm.umul.with.overflow always overflowsDavid Majnemer2015-01-021-7/+16
* Analysis: Reformulate WillNotOverflowUnsignedMul for reusabilityDavid Majnemer2015-01-021-0/+39
* ValueTracking: Small cleanup in ComputeNumSignBitsDavid Majnemer2014-12-261-2/+2
* [ValueTracking] Move GlobalAlias handling to be after the max depth check in ...Michael Kuperstein2014-12-231-15/+14
* ValueTracking: Don't recurse too deeply in computeKnownBitsFromAssumeDavid Majnemer2014-12-121-0/+4
* IR: Split Metadata from ValueDuncan P. N. Exon Smith2014-12-091-4/+8
* Factor check for the assume intrinsic out of checks in computeKnownBitsFromAs...Philip Reames2014-11-241-42/+39
* Update SetVector to rely on the underlying set's insert to return a pair<iter...David Blaikie2014-11-191-3/+3
* Revert "IR: MDNode => Value"Duncan P. N. Exon Smith2014-11-111-3/+3
* Indentation fixesMichael Liao2014-11-061-38/+38
OpenPOWER on IntegriCloud