summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ValueTracking.cpp
Commit message (Expand)AuthorAgeFilesLines
* [APInt] Rename getSignBit to getSignMaskCraig Topper2017-04-201-3/+3
* [APInt] Cast calls to add/sub/mul overflow methods to void if only their over...Craig Topper2017-04-191-2/+2
* [APInt] Use lshrInPlace to replace lshr where possibleCraig Topper2017-04-181-8/+13
* Introduce APInt::isSignBitSet/isSignBitClear. Use in place isSignBitSet in pl...Craig Topper2017-04-171-34/+34
* [InstCombine][ValueTracking] When computing known bits for Srem make sure we ...Craig Topper2017-04-161-8/+5
* [ValueTracking] Calculate the KnownZeros for Intrinsic::ctpop without using a...Craig Topper2017-04-141-5/+2
* [ValueTracking] Use APInt::isNegative(). NFCCraig Topper2017-04-141-1/+1
* [ValueTracking] Use APInt::sext instead of zext and setBitsFrom. NFCCraig Topper2017-04-141-7/+2
* [ValueTracking] Remove duplicate call to computeKnownBits for the operands of...Craig Topper2017-04-131-5/+1
* [ValueTracking] Prevent a call to computeKnownBits if we already know the sta...Craig Topper2017-04-131-7/+8
* [ValueTracking] Move a temporary APInt instead of copying it.Craig Topper2017-04-131-1/+1
* [ValueTracking] Teach GetUnderlyingObject to stop when it reachs an alloca in...Craig Topper2017-04-121-0/+3
* [APInt] Remove shift functions from APIntOps namespace. Replace the few users...Craig Topper2017-03-311-4/+4
* Revert r298711 "[InstCombine] Provide a way to calculate KnownZero/One for Ad...Craig Topper2017-03-241-35/+21
* [InstCombine] Provide a way to calculate KnownZero/One for Add/Sub in Simplif...Craig Topper2017-03-241-21/+35
* [ValueTracking] Use uint64_t for CarryIn in computeKnownBitsAddSub instead of...Craig Topper2017-03-241-2/+2
* [ValueTracking] Convert more places to use setHighBits/setLowBits/setSignBit....Craig Topper2017-03-241-7/+6
* [ValueTracking] Use APInt::isNegative instead of using operator[BitWidth-1]. ...Craig Topper2017-03-231-7/+7
* [ValueTracking] Use setAllBits/setSignBit/setLowBits/setHighBits. NFCICraig Topper2017-03-231-20/+22
* [ValueTracking] Make sure we keep range metadata information when calculating...Craig Topper2017-03-221-2/+2
* [ValueTracking] use setLowBits/setHighBits/setBitsFrom to replace |= getHighB...Craig Topper2017-03-221-16/+13
* [ValueTracking] Remove deadish code from computeKnownBitsAddSub.Craig Topper2017-03-181-24/+0
* [ValueTracking] Add APInt::setSignBit and use it to replace ORing with getSig...Craig Topper2017-03-181-6/+6
* [ValueTracking] Out of range shifts might be undefOliver Stannard2017-03-141-0/+8
* Handle UnreachableInst in isGuaranteedToTransferExecutionToSuccessorSebastian Pop2017-03-081-0/+2
* [ValueTracking] Don't do an unchecked shift in ComputeNumSignBitsSanjoy Das2017-02-251-2/+21
* [ValueTracking] Make poison propagation more aggressiveSanjoy Das2017-02-221-49/+3
* [ValueTracking] clang-format a section I'm about to touch; NFCSanjoy Das2017-02-211-64/+64
* [ValueTracking] use nonnull argument attribute to eliminate null checksSanjay Patel2017-02-121-5/+17
* [ValueTracking] emit a remark when we detect a conflicting assumption (PR31809)Sanjay Patel2017-02-061-12/+23
* [ValueTracking] remove a FIXME for something we don't want to do; NFCSanjay Patel2017-02-011-4/+0
* [ValueTracking] avoid crashing from bad assumptions (PR31809)Sanjay Patel2017-02-011-0/+17
* [ValueTracking] clean up lookThroughCast; NFCISanjay Patel2017-01-291-42/+48
* [ValueTracking] Add comment that CannotBeOrderedLessThanZero does the wrong t...Justin Lebar2017-01-271-0/+19
* [ValueTracking] Implement SignBitMustBeZero correctly for sqrt.Justin Lebar2017-01-261-4/+12
* Mark @llvm.powi.* as safe to speculatively execute.whitequark2017-01-251-0/+4
* [Analysis] Add LibFunc_ prefix to enums in TargetLibraryInfo. (NFC)David L. Jones2017-01-231-58/+58
* [ValueTracking] tighten up matchMinMax(); NFCISanjay Patel2017-01-211-40/+14
* [ValueTracking] recognize variations of 'clamp' to improve codegen (PR31693)Sanjay Patel2017-01-201-1/+39
* [ValueTracking] recognize a 'not' of an assumed condition as falseSanjay Patel2017-01-171-0/+7
* [ValueTracking] Extend known bits to understand @llvm.bitreverse.Chad Rosier2017-01-171-0/+5
* Remove unused lambda captures. NFCMalcolm Parsons2017-01-131-3/+3
* Make processing @llvm.assume more efficient - Add affected values to the assu...Hal Finkel2017-01-111-1/+4
* InstSimplify: Eliminate fabs on known positiveMatt Arsenault2017-01-111-20/+51
* Intrinsic::Bitreverse is safe to speculateXin Tong2017-01-091-0/+1
* [ValueTracking] remove stale comments; NFCSanjay Patel2017-01-021-6/+0
* Fix an issue with isGuaranteedToTransferExecutionToSuccessorSanjoy Das2016-12-311-6/+20
* Avoid const_cast; NFCSanjoy Das2016-12-311-2/+3
* [ValueTracking] make dominator tree requirement explicit for isKnownNonNullFr...Sanjay Patel2016-12-311-1/+6
* Use MaxDepth instead of repeating its valueMatt Arsenault2016-12-201-3/+3
OpenPOWER on IntegriCloud