aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-04-13Simplify strlen to a subtraction for certain cases.David L Kreitzer1-13/+21
2016-04-13[InstCombine] We folded an fcmp to an i1 instead of a vector of i1David Majnemer1-51/+50
2016-04-11This reverts commit r265913 and r265912Sanjoy Das1-61/+0
2016-04-10[SCEV] See through op.with.overflow intrinsicsSanjoy Das1-0/+61
2016-04-08Don't IPO over functions that can be de-refinedSanjoy Das1-3/+3
2016-04-03Mark some FP intrinsics as safe to speculatively executePeter Zotov1-4/+16
2016-03-31[InstCombine] Fix incorrect rule from rL236202Sanjoy Das1-1/+2
2016-03-31Delete trailing whitespaceSanjoy Das1-1/+1
2016-03-09[ValueTracking] Extract isKnownPositive [NFCI]Philip Reames1-0/+12
2016-03-03[ValueTracking] "constant fold" an experimental hidden optionPhilip Reames1-7/+0
2016-03-03[ValueTracking] Remove dead code from an old experimentPhilip Reames1-208/+2
2016-02-24NFC. Move isDereferenceable to Loads.h/cppArtur Pilipenko1-202/+1
2016-02-24NFC. Move getAlignment helper function from ValueTracking to Value class. Artur Pilipenko1-42/+2
2016-02-18Remove uses of builtin comma operator.Richard Trieu1-3/+6
2016-02-01[ValueTracking] Improve isKnownNonZero for PHI of non-zero constantsJun Bum Lim1-0/+6
2016-01-28ValueTracking: Use fixed array for assumption exclude set in Query.Matthias Braun1-15/+27
2016-01-19[opaque pointer types] [NFC] GEP: replace get(Pointer)ElementType uses with g...Eduard Burtescu1-6/+4
2016-01-18[opaque pointer types] Alloca: use getAllocatedType() instead of getType()->g...Eduard Burtescu1-1/+1
2016-01-16GlobalValue: use getValueType() instead of getType()->getPointerElementType().Manuel Jacob1-1/+1
2016-01-15ValueTracking: Put DataLayout reference into the Query structure, NFC.Matthias Braun1-257/+250
2016-01-14Revert "[ValueTracking] Understand more select patterns in ComputeKnownBits"James Molloy1-39/+1
2016-01-14[ValueTracking] Understand more select patterns in ComputeKnownBitsJames Molloy1-1/+39
2016-01-12CannotBeOrderedLessThanZero: add some missing casesFiona Glaser1-0/+12
2016-01-05[Statepoints] Refactor GCRelocateOperands into an intrinsic wrapper. NFC.Manuel Jacob1-6/+3
2016-01-04[MemoryBuiltins] Remove isOperatorNewLike by consolidating non-null inference...Philip Reames1-4/+0
2016-01-04Fix a horrible infloop in value tracking in the face of dead code.Chandler Carruth1-1/+6
2015-12-30[ValueTracking] fix bug computing isKnownToBeAPowerOfTwo() with arithmetic sh...Sanjay Patel1-2/+3
2015-12-21[ValueTracking] Properly handle non-sized types in isAligned function.Michael Zolotukhin1-1/+5
2015-12-14[IR] Remove terminatepadDavid Majnemer1-1/+0
2015-12-12[IR] Reformulate LLVM's EH funclet IRDavid Majnemer1-2/+1
2015-11-11[ValueTracking] Remove untested / unreachable code, NFCSanjoy Das1-18/+5
2015-11-10[ValueTracking] Teach isImpliedCondition a new bitwise trickSanjoy Das1-0/+30
2015-11-10[ValueTracking] Use m_APInt instead of m_ConstantInt, NFCSanjoy Das1-7/+8
2015-11-10[ValueTracking] Recognize that and(x, add (x, -1)) clears the low bitPhilip Reames1-0/+16
2015-11-06[ValueTracking] Add parameters to isImpliedCondition; NFCSanjoy Das1-8/+22
2015-11-06[ValueTracking] De-pessimize isImpliedCondition around unsigned comparesSanjoy Das1-4/+4
2015-11-06[ValueTracking] Add a framework for encoding implication rulesSanjoy Das1-21/+67
2015-10-28[ValueTracking] Expose `implies` via ValueTracking, NFCSanjoy Das1-0/+40
2015-10-28[ValueTracking] Use !range metadata more aggressively in KnownBitsSanjoy Das1-9/+15
2015-10-27[ValueTracking] Don't special case wrapped ConstantRanges; NFCISanjoy Das1-3/+1
2015-10-26[ValueTracking] Extend r251146 to catch a fairly common caseJames Molloy1-2/+22
2015-10-24Use all_of to simplify control flow. NFC.Benjamin Kramer1-8/+2
2015-10-24Extract out getConstantRangeFromMetadata; NFCSanjoy Das1-0/+22
2015-10-23Handle non-constant shifts in computeKnownBits, and use computeKnownBits for ...Hal Finkel1-34/+111
2015-10-22[ValueTracking] Add a new predicate: isKnownNonEqual()James Molloy1-0/+56
2015-10-15Silencing a -Wtype-limits warning; an unsigned value will always be >= 0; NFC.Aaron Ballman1-1/+1
2015-10-14Tighten known bits for ctpop based on zero input bitsPhilip Reames1-2/+12
2015-10-14[asan] Disabling speculative loads under asan. Patch by Mike AizatskyKostya Serebryany1-1/+5
2015-10-10Analysis: Remove implicit ilist iterator conversionsDuncan P. N. Exon Smith1-9/+10
2015-10-09ValueTracking: use getAlignment in isAlignedArtur Pilipenko1-14/+1
generated by cgit v1.1 at 2025-10-17 18:59:46 +0000