aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/ValueTracking
AgeCommit message (Expand)Author
2018-09-10InstCombine: move hasOneUse check to the top of foldICmpAddConstantTim Northover
2018-09-04[InstCombine] Fold icmp ugt/ult (add nuw X, C2), C --> icmp ugt/ult X, (C - C2)Nicola Zaghen
2018-07-25Fix llvm::ComputeNumSignBits with some operations and llvm.assumeStanislav Mekhanoshin
2018-07-12Simplify recursive launder.invariant.group and stripPiotr Padlewski
2018-07-06Revert "[InstCombine] Delay foldICmpUsingKnownBits until simple transforms ar...Max Kazantsev
2018-07-03[InstCombine] Delay foldICmpUsingKnownBits until simple transforms are doneMax Kazantsev
2018-07-02Implement strip.invariant.groupPiotr Padlewski
2018-05-23Fix aliasing of launder.invariant.groupPiotr Padlewski
2018-05-18Propagate nonnull and dereferenceable throught launderPiotr Padlewski
2018-04-27[IR] Do not assume that function pointers are alignedMikhail Maltsev
2018-01-24[ValueTracking] add recursion depth param to matchSelectPattern Sanjay Patel
2018-01-04[ValueTracking] Adding missed lit-test for commit r316208Nikolai Bozhenov
2017-12-20Give up on array allocas in getPointerDereferenceableBytesBjorn Steinbrink
2017-12-19Treat sret arguments as being dereferenceable in getPointerDereferenceableByt...Bjorn Steinbrink
2017-12-17Re-commit "Properly handle multi-element and dynamically sized allocas in get...Bjorn Steinbrink
2017-12-17Revert "Properly handle multi-element and dynamically sized allocas in getPoi...Bjorn Steinbrink
2017-12-17Properly handle byval arguments in getPointerDereferenceableBytes()Bjorn Steinbrink
2017-12-17Properly handle multi-element and dynamically sized allocas in getPointerDere...Bjorn Steinbrink
2017-10-12[ValueTracking] return zero when there's conflict in known bits of a shift (P...Sanjay Patel
2017-08-14[ValueTracking] Don't delete assumes of side-effectful instructionsHal Finkel
2017-08-14[ValueTracking] Revert r310583 which enabled functionality that still isChandler Carruth
2017-08-10[ValueTracking] Enabling ValueTracking patch by default (recommit). Part 2.Nikolai Bozhenov
2017-02-12[ValueTracking] use nonnull argument attribute to eliminate null checksSanjay Patel
2017-01-09[ValueTracking] regenerate checks; NFCSanjay Patel
2016-12-31[ValueTracking] add tests for known-nonnull-at; NFCSanjay Patel
2016-11-27[InstSimplify] allow integer vector types to use computeKnownBitsSanjay Patel
2016-11-27add tests to show missing analysis; NFCSanjay Patel
2016-11-21Fix known zero bits for addrspacecast.Yaxun Liu
2016-10-28[Loads] Fix crash in is isDereferenceableAndAlignedPointer()Tom Stellard
2016-10-07[ValueTracking] Fix crash in GetPointerBaseWithConstantOffset()Tom Stellard
2016-10-06[ValueTracking] Teach computeKnownBits and ComputeNumSignBits to look through...Bjorn Pettersson
2016-09-16auto-generate checksSanjay Patel
2016-08-24The patch improves ValueTracking on left shift with nsw flag.Evgeny Stupachenko
2016-08-22Remove missing file from r279433 reversalArtur Pilipenko
2016-08-15Revert "[ValueTracking] Improve ValueTracking on left shift with nsw flag"Sanjoy Das
2016-08-10[ValueTracking] An improvement to IR ValueTracking on Non-negative IntegersAndrew Kaylor
2016-08-09[ValueTracking] Improve ValueTracking on left shift with nsw flagAndrew Kaylor
2016-07-11Teach isDereferenceablePointer to look through returned-argument functionsHal Finkel
2016-06-01Reduce dependence on pointee types when deducing dereferenceabilitySanjoy Das
2016-04-27Use DL preferred alignment for alloca in Value::getPointerAlignmentArtur Pilipenko
2016-03-09InstCombine: Restrict computeKnownBits() on all Values to OptLevel > 2Matthias Braun
2016-03-03[ValueTracking] Remove dead code from an old experimentPhilip Reames
2016-01-14Revert "[ValueTracking] Understand more select patterns in ComputeKnownBits"James Molloy
2016-01-14[ValueTracking] Understand more select patterns in ComputeKnownBitsJames Molloy
2015-12-30[ValueTracking] fix bug computing isKnownToBeAPowerOfTwo() with arithmetic sh...Sanjay Patel
2015-12-26[gc.statepoint] Change gc.statepoint intrinsic's return type to token type in...Chen Li
2015-12-21[ValueTracking] Properly handle non-sized types in isAligned function.Michael Zolotukhin
2015-10-28[ValueTracking] Use !range metadata more aggressively in KnownBitsSanjoy Das
2015-10-26[ValueTracking] Extend r251146 to catch a fairly common caseJames Molloy
2015-10-22[ValueTracking] Add a new predicate: isKnownNonEqual()James Molloy
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-10 02:45:48 +0000