summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ValueTracking.cpp
Commit message (Expand)AuthorAgeFilesLines
* [ValueTracking] Improve ValueTracking on left shift with nsw flagAndrew Kaylor2016-08-091-4/+13
* [ValueTracking] Teach computeKnownBits about [su]min/maxDavid Majnemer2016-08-061-1/+50
* [ValueTracking] Use Instruction::getFunction; NFCSanjoy Das2016-07-141-4/+2
* Teach computeKnownBits to look through returned-argument functionsHal Finkel2016-07-111-3/+8
* BasicAA should look through functions with returned argumentsHal Finkel2016-07-111-0/+6
* Remove dead TLI arg of isKnownNonNull and propagate deadness. NFC.Sean Silva2016-07-021-7/+6
* Revert "[ValueTracking] Teach computeKnownBits for PHI nodes to compute sign ...Craig Topper2016-06-291-12/+0
* [ValueTracking] Teach computeKnownBits for PHI nodes to compute sign bit for ...Craig Topper2016-06-291-0/+12
* [ValueTracking] simplify logic in ComputeNumSignBits (NFCI)Sanjay Patel2016-06-231-16/+9
* [ValueTracking] improve ComputeNumSignBits for vector constantsSanjay Patel2016-06-221-4/+33
* [ValueTracking] Calls to @llvm.assume always returnSanjoy Das2016-06-141-1/+2
* [LICM] Make isGuaranteedToExecute more accurate.Eli Friedman2016-06-111-13/+39
* Teach isGuarantdToTransferExecToSuccessor about debug info intrinsicsSanjoy Das2016-06-081-3/+6
* Avoid copies of std::strings and APInt/APFloats where we only read from itBenjamin Kramer2016-06-081-1/+1
* transform obscured FP sign bit ops into a fabs/fneg using TLI hookSanjay Patel2016-06-021-10/+2
* [SCEV] See through op.with.overflow intrinsics (re-apply)Sanjoy Das2016-05-291-0/+61
* [ValueTracking] ICmp instructions propagate poisonSanjoy Das2016-05-291-0/+5
* [ValueTracking, InstSimplify] extend isKnownNonZero() to handle vector constantsSanjay Patel2016-05-241-1/+14
* fix formatting; NFCSanjay Patel2016-05-231-4/+2
* use 'auto' with 'dyn_cast'; fix formatting; NFCSanjay Patel2016-05-221-10/+8
* [ValueTracking, InstCombine] extend isKnownToBeAPowerOfTwo() to handle vector...Sanjay Patel2016-05-221-3/+4
* [ValueTracking] Use guards to prove non-nullness of a valueSanjoy Das2016-05-101-9/+11
* [ValueTracking] Hoist some computation out of a loop; NFCSanjoy Das2016-05-071-20/+11
* Clean up comment; NFCSanjoy Das2016-05-071-1/+1
* Delete trailing whitespace; NFCSanjoy Das2016-05-071-8/+8
* [ValueTracking] Early exit when further analysis won't be fruitful.Chad Rosier2016-05-051-15/+30
* [ValueTracking] Improve isImpliedCondition for matching LHS and Imm RHSs.Chad Rosier2016-05-051-0/+29
* [ConstantFolding, ValueTracking] Fold constants involving bitcasts of Constan...David Majnemer2016-05-041-2/+21
* [ValueTracking] Make the code in lookThroughCastDavid Majnemer2016-04-291-16/+9
* [InstCombine] Determine the result of a select based on a dominating condition.Chad Rosier2016-04-291-1/+4
* [ValueTracking] matchSelectPattern needs to be more careful around FPDavid Majnemer2016-04-291-19/+31
* [TLI] Unify LibFunc signature checking. NFCI.Ahmed Bougacha2016-04-271-60/+23
* [ValueTracking] Improve isImpliedCondition when the dominating cond is false.Chad Rosier2016-04-251-3/+6
* Have isKnownNotFullPoison be smarter around control flowSanjoy Das2016-04-221-14/+32
* Address Philip's post-commit feedback for r266987. NFC.Chad Rosier2016-04-211-2/+2
* Refactor implied condition logic from ValueTracking directly into CmpInst. NFC.Chad Rosier2016-04-211-52/+2
* Add optimization for 'icmp slt (or A, B), A' and some related idioms based on...Nick Lewycky2016-04-211-28/+8
* [ValueTracking] Make isImpliedCondition return an Optional<bool>. NFC.Chad Rosier2016-04-201-61/+52
* [ValueTracking, VectorUtils] Refactor getIntrinsicIDForCallDavid Majnemer2016-04-191-2/+149
* [ValueTracking] Improve isImpliedCondition for conditions with matching opera...Chad Rosier2016-04-191-5/+99
* Simplify strlen to a subtraction for certain cases.David L Kreitzer2016-04-131-13/+21
* [InstCombine] We folded an fcmp to an i1 instead of a vector of i1David Majnemer2016-04-131-51/+50
* This reverts commit r265913 and r265912Sanjoy Das2016-04-111-61/+0
* [SCEV] See through op.with.overflow intrinsicsSanjoy Das2016-04-101-0/+61
* Don't IPO over functions that can be de-refinedSanjoy Das2016-04-081-3/+3
* Mark some FP intrinsics as safe to speculatively executePeter Zotov2016-04-031-4/+16
* [InstCombine] Fix incorrect rule from rL236202Sanjoy Das2016-03-311-1/+2
* Delete trailing whitespaceSanjoy Das2016-03-311-1/+1
* [ValueTracking] Extract isKnownPositive [NFCI]Philip Reames2016-03-091-0/+12
* [ValueTracking] "constant fold" an experimental hidden optionPhilip Reames2016-03-031-7/+0
OpenPOWER on IntegriCloud