aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-08-24The patch improves ValueTracking on left shift with nsw flag.Evgeny Stupachenko1-5/+23
2016-08-23[ValueTracking] Use a function_ref to avoid multiple instantiationsDavid Majnemer1-5/+5
2016-08-22Revert -r278267 [ValueTracking] An improvement to IR ValueTracking on Non-neg...Artur Pilipenko1-37/+1
2016-08-17Replace a few more "fall through" comments with LLVM_FALLTHROUGHJustin Bogner1-2/+3
2016-08-15Revert "[ValueTracking] Improve ValueTracking on left shift with nsw flag"Sanjoy Das1-13/+4
2016-08-13Constify ValueTracking. NFC.Pete Cooper1-99/+125
2016-08-12Refactor isValidAssumeForContext to reduce duplication and indentation. NFC.Pete Cooper1-27/+21
2016-08-11Remove unnecessary extra version of isValidAssumeForContext. NFC.Pete Cooper1-11/+5
2016-08-11Use range algorithms instead of unpacking begin/endDavid Majnemer1-3/+2
2016-08-10[ValueTracking] An improvement to IR ValueTracking on Non-negative IntegersAndrew Kaylor1-1/+37
2016-08-09[ValueTracking] Improve ValueTracking on left shift with nsw flagAndrew Kaylor1-4/+13
2016-08-06[ValueTracking] Teach computeKnownBits about [su]min/maxDavid Majnemer1-1/+50
2016-07-14[ValueTracking] Use Instruction::getFunction; NFCSanjoy Das1-4/+2
2016-07-11Teach computeKnownBits to look through returned-argument functionsHal Finkel1-3/+8
2016-07-11BasicAA should look through functions with returned argumentsHal Finkel1-0/+6
2016-07-02Remove dead TLI arg of isKnownNonNull and propagate deadness. NFC.Sean Silva1-7/+6
2016-06-29Revert "[ValueTracking] Teach computeKnownBits for PHI nodes to compute sign ...Craig Topper1-12/+0
2016-06-29[ValueTracking] Teach computeKnownBits for PHI nodes to compute sign bit for ...Craig Topper1-0/+12
2016-06-23[ValueTracking] simplify logic in ComputeNumSignBits (NFCI)Sanjay Patel1-16/+9
2016-06-22[ValueTracking] improve ComputeNumSignBits for vector constantsSanjay Patel1-4/+33
2016-06-14[ValueTracking] Calls to @llvm.assume always returnSanjoy Das1-1/+2
2016-06-11[LICM] Make isGuaranteedToExecute more accurate.Eli Friedman1-13/+39
2016-06-08Teach isGuarantdToTransferExecToSuccessor about debug info intrinsicsSanjoy Das1-3/+6
2016-06-08Avoid copies of std::strings and APInt/APFloats where we only read from itBenjamin Kramer1-1/+1
2016-06-02transform obscured FP sign bit ops into a fabs/fneg using TLI hookSanjay Patel1-10/+2
2016-05-29[SCEV] See through op.with.overflow intrinsics (re-apply)Sanjoy Das1-0/+61
2016-05-29[ValueTracking] ICmp instructions propagate poisonSanjoy Das1-0/+5
2016-05-24[ValueTracking, InstSimplify] extend isKnownNonZero() to handle vector constantsSanjay Patel1-1/+14
2016-05-23fix formatting; NFCSanjay Patel1-4/+2
2016-05-22use 'auto' with 'dyn_cast'; fix formatting; NFCSanjay Patel1-10/+8
2016-05-22[ValueTracking, InstCombine] extend isKnownToBeAPowerOfTwo() to handle vector...Sanjay Patel1-3/+4
2016-05-10[ValueTracking] Use guards to prove non-nullness of a valueSanjoy Das1-9/+11
2016-05-07[ValueTracking] Hoist some computation out of a loop; NFCSanjoy Das1-20/+11
2016-05-07Clean up comment; NFCSanjoy Das1-1/+1
2016-05-07Delete trailing whitespace; NFCSanjoy Das1-8/+8
2016-05-05[ValueTracking] Early exit when further analysis won't be fruitful.Chad Rosier1-15/+30
2016-05-05[ValueTracking] Improve isImpliedCondition for matching LHS and Imm RHSs.Chad Rosier1-0/+29
2016-05-04[ConstantFolding, ValueTracking] Fold constants involving bitcasts of Constan...David Majnemer1-2/+21
2016-04-29[ValueTracking] Make the code in lookThroughCastDavid Majnemer1-16/+9
2016-04-29[InstCombine] Determine the result of a select based on a dominating condition.Chad Rosier1-1/+4
2016-04-29[ValueTracking] matchSelectPattern needs to be more careful around FPDavid Majnemer1-19/+31
2016-04-27[TLI] Unify LibFunc signature checking. NFCI.Ahmed Bougacha1-60/+23
2016-04-25[ValueTracking] Improve isImpliedCondition when the dominating cond is false.Chad Rosier1-3/+6
2016-04-22Have isKnownNotFullPoison be smarter around control flowSanjoy Das1-14/+32
2016-04-21Address Philip's post-commit feedback for r266987. NFC.Chad Rosier1-2/+2
2016-04-21Refactor implied condition logic from ValueTracking directly into CmpInst. NFC.Chad Rosier1-52/+2
2016-04-21Add optimization for 'icmp slt (or A, B), A' and some related idioms based on...Nick Lewycky1-28/+8
2016-04-20[ValueTracking] Make isImpliedCondition return an Optional<bool>. NFC.Chad Rosier1-61/+52
2016-04-19[ValueTracking, VectorUtils] Refactor getIntrinsicIDForCallDavid Majnemer1-2/+149
2016-04-19[ValueTracking] Improve isImpliedCondition for conditions with matching opera...Chad Rosier1-5/+99
generated by cgit v1.1 at 2025-10-13 22:47:04 +0000