aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)AuthorFilesLines
2012-11-01Revert the majority of the next patch in the address space series:Chandler Carruth1-4/+2
2012-10-26Fix a crash in SimpliftDemandedBits of vectors of pointers.Nadav Rotem1-6/+4
2012-10-25Revert 166726 because it may have broken a number of SPEC tests. PR14183.Nadav Rotem1-3/+2
2012-10-25Fix a crash in ValueTracking. Add support for vectors of pointers.Nadav Rotem1-2/+3
2012-10-15Resubmit the changes to llvm core to update the functions to support differen...Micah Villmow1-2/+4
2012-10-11Revert 165732 for further review.Micah Villmow1-4/+2
2012-10-11Add in the first iteration of support for llvm/clang/lldb to allow variable p...Micah Villmow1-2/+4
2012-10-08Move TargetData to DataLayout.Micah Villmow1-15/+15
2012-10-04The alignment of an sret parameter is known: it must be at least theDuncan Sands1-5/+14
2012-09-27Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. S...Sylvestre Ledru1-3/+3
2012-09-27Fix a typo 'iff' => 'if'Sylvestre Ledru1-3/+3
2012-08-24Fix integer undefined behavior due to signed left shift overflow in LLVM.Richard Smith1-1/+1
2012-07-03PHINode::hasConstantValue(): return undef if the PHI is fully recursive.Nuno Lopes1-1/+1
2012-05-10Teach DeadStoreElimination to eliminate exit-block stores with phi addresses.Dan Gohman1-0/+31
2012-04-30Just mark the sign bit as known zero, rather than any other irrelevant bitsDuncan Sands1-1/+1
2012-04-07Fix ValueTracking to conclude that debug intrinsics are safe toChandler Carruth1-0/+8
2012-04-04Always compute all the bits in ComputeMaskedBits.Rafael Espindola1-150/+95
2012-03-31Teach CodeGen's version of computeMaskedBits to understand the range metadata.Rafael Espindola1-2/+2
2012-03-30Add computeMaskedBitsLoad back, as it was the change to instsimplify thatRafael Espindola1-0/+26
2012-03-28Revert r153521 as it's causing large regressions on the nightly testers.Chad Rosier1-26/+0
2012-03-27Reapply r153423; the original commit was fine. The failing test, distray, had Chad Rosier1-0/+26
2012-03-26Revert r153423 as this is causing failures on our internal nightly testers.Chad Rosier1-26/+0
2012-03-26Use the new range metadata in computeMaskedBits and add a new optimization toRafael Espindola1-0/+26
2012-03-18Factor out the multiply analysis code in ComputeMaskedBits and apply it to theNick Lewycky1-62/+76
2012-03-09Factor out the analysis of addition and subtraction in ComputeMaskedBits. ReuseNick Lewycky1-83/+123
2012-03-07No functionality change. Type::isSized() can be expensive, so avoid calling itNick Lewycky1-8/+10
2012-03-05A few more cases of missing masking in ComputeMaskedBits; found by inspection.Eli Friedman1-3/+3
2012-03-05Make sure we don't return bits outside the mask in ComputeMaskedBits. PR12189.Eli Friedman1-2/+2
2012-02-06Remove some dead code and tidy things up now that vectors use ConstantDataVectorChris Lattner1-13/+2
2012-02-06[unwind removal] Remove all of the code for the dead 'unwind' instruction. ThereBill Wendling1-1/+0
2012-02-05reapply the patches reverted in r149470 that reenable ConstantDataArray,Chris Lattner1-136/+44
2012-02-01Revert Chris' commits up to r149348 that started causing VMCoreTests unit tes...Argyrios Kyrtzidis1-42/+137
2012-01-31remove the last vestiges of llvm::GetConstantStringInfo, in CodeGen.Chris Lattner1-10/+0
2012-01-31Change ConstantArray::get to form a ConstantDataArray when possible,Chris Lattner1-136/+51
2012-01-26progress making the world safe to ConstantDataVector. WhileChris Lattner1-16/+15
2012-01-25use Constant::getAggregateElement to simplify a bunch of code.Chris Lattner1-13/+6
2012-01-25Use the right method to get the # elements in a CDS.Chris Lattner1-1/+1
2012-01-24teach valuetracking about ConstantDataSequentialChris Lattner1-31/+47
2012-01-04Generalize isSafeToSpeculativelyExecute to work on arbitraryDan Gohman1-1/+5
2012-01-01PatternMatch: Introduce a matcher for instructions with the "exact" bit. Use ...Benjamin Kramer1-9/+5
2011-12-24ComputeMaskedBits: Make knownzero computation more aggressive for ctlz with u...Benjamin Kramer1-1/+8
2011-12-21Make some intrinsics safe to speculatively execute.Nick Lewycky1-4/+24
2011-12-14Move Instruction::isSafeToSpeculativelyExecute out of VMCore andDan Gohman1-0/+61
2011-12-06Probably not a good idea to convert a single vector load into a memcpy. WeChad Rosier1-0/+2
2011-12-05Add support for vectors of pointers.Nadav Rotem1-4/+6
2011-11-29Fix a theoretical problem (not seen in the wild): if different instances of aDuncan Sands1-1/+1
2011-11-28Make SelectionDAG::InferPtrAlignment use llvm::ComputeMaskedBits instead of d...Eli Friedman1-8/+10
2011-11-23Fix a crash in which a multiplication was being reported as being both negativeDuncan Sands1-2/+7
2011-10-28A shift of a power of two is a power of two or zero.Duncan Sands1-1/+6
2011-10-27Reapply commit 143028 with a fix: the problem was casting a ConstantExpr MulDuncan Sands1-7/+49