summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ValueTracking.cpp
Commit message (Expand)AuthorAgeFilesLines
* [IR] Remove terminatepadDavid Majnemer2015-12-141-1/+0
* [IR] Reformulate LLVM's EH funclet IRDavid Majnemer2015-12-121-2/+1
* [ValueTracking] Remove untested / unreachable code, NFCSanjoy Das2015-11-111-18/+5
* [ValueTracking] Teach isImpliedCondition a new bitwise trickSanjoy Das2015-11-101-0/+30
* [ValueTracking] Use m_APInt instead of m_ConstantInt, NFCSanjoy Das2015-11-101-7/+8
* [ValueTracking] Recognize that and(x, add (x, -1)) clears the low bitPhilip Reames2015-11-101-0/+16
* [ValueTracking] Add parameters to isImpliedCondition; NFCSanjoy Das2015-11-061-8/+22
* [ValueTracking] De-pessimize isImpliedCondition around unsigned comparesSanjoy Das2015-11-061-4/+4
* [ValueTracking] Add a framework for encoding implication rulesSanjoy Das2015-11-061-21/+67
* [ValueTracking] Expose `implies` via ValueTracking, NFCSanjoy Das2015-10-281-0/+40
* [ValueTracking] Use !range metadata more aggressively in KnownBitsSanjoy Das2015-10-281-9/+15
* [ValueTracking] Don't special case wrapped ConstantRanges; NFCISanjoy Das2015-10-271-3/+1
* [ValueTracking] Extend r251146 to catch a fairly common caseJames Molloy2015-10-261-2/+22
* Use all_of to simplify control flow. NFC.Benjamin Kramer2015-10-241-8/+2
* Extract out getConstantRangeFromMetadata; NFCSanjoy Das2015-10-241-0/+22
* Handle non-constant shifts in computeKnownBits, and use computeKnownBits for ...Hal Finkel2015-10-231-34/+111
* [ValueTracking] Add a new predicate: isKnownNonEqual()James Molloy2015-10-221-0/+56
* Silencing a -Wtype-limits warning; an unsigned value will always be >= 0; NFC.Aaron Ballman2015-10-151-1/+1
* Tighten known bits for ctpop based on zero input bitsPhilip Reames2015-10-141-2/+12
* [asan] Disabling speculative loads under asan. Patch by Mike AizatskyKostya Serebryany2015-10-141-1/+5
* Analysis: Remove implicit ilist iterator conversionsDuncan P. N. Exon Smith2015-10-101-9/+10
* ValueTracking: use getAlignment in isAlignedArtur Pilipenko2015-10-091-14/+1
* [ValueTracking] teach computeKnownBits that a fabs() clears sign bitsSanjay Patel2015-10-081-2/+10
* Teach computeKnownBits to use new align attribute/metadataArtur Pilipenko2015-10-071-3/+12
* Extend known bits to understand @llvm.bswapPhilip Reames2015-10-061-0/+6
* Refactor computeKnownBits alignment handling codeArtur Pilipenko2015-09-301-53/+38
* [ValueTracking] Lower dom-conditions-dom-blocks and dom-conditions-max-uses t...Igor Laevsky2015-09-291-2/+2
* [ValueTracking] Teach isKnownNonZero about monotonically increasing PHIsJames Molloy2015-09-291-0/+20
* Introduce !align metadata for load instructionArtur Pilipenko2015-09-281-0/+5
* more space; NFCSanjay Patel2015-09-251-0/+1
* [ValueTracking] Teach isKnownNonZero a new trickJames Molloy2015-09-241-0/+17
* Fix for pr24866Philip Reames2015-09-211-1/+8
* Support align attribute for return valuesArtur Pilipenko2015-09-181-0/+2
* fix typo; NFCSanjay Patel2015-09-171-1/+1
* [InstCombineCalls] Use isKnownNonNullAt() to check nullness of passing argume...Chen Li2015-09-141-0/+4
* [WinEH] Add cleanupendpad instructionJoseph Tremoulet2015-09-031-0/+1
* [ValueTracking] Look through casts when both operands are casts.James Molloy2015-09-021-5/+17
* Revert r246232 and r246304.David Majnemer2015-08-281-4/+39
* [CodeGen] isInTailCallPosition didn't consider readnone tailcallsDavid Majnemer2015-08-281-1/+2
* [ValueTracking] readnone CallInsts are fair game for speculationDavid Majnemer2015-08-271-39/+3
* isKnownNonNull needs to consider globals in non-zero address spaces.Pete Cooper2015-08-271-2/+5
* [ValueTracking] computeOverflowForSignedAdd and isKnownNonNegativeJingyue Wu2015-08-201-0/+69
* 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
OpenPOWER on IntegriCloud