aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/CorrelatedValuePropagation
AgeCommit message (Expand)Author
2018-08-24[CVP] Extend tests to illustrate an old patch isn't neededPhilip Reames
2018-07-09llvm: Add support for "-fno-delete-null-pointer-checks"Manoj Gupta
2018-05-30[ValueTracking] Fix endless recursion in isKnownNonZero()Karl-Johan Karlsson
2018-05-21[CVP] Require DomTree for new Pass ManagerDavid Green
2018-04-10[CVP] simplify phi with constant incoming values that match common variable e...Sanjay Patel
2018-03-21Re-re-land: Teach CorrelatedValuePropagation to reduce the width of udiv/urem...Justin Lebar
2018-03-12Back out "Re-land: Teach CorrelatedValuePropagation to reduce the width of ud...Justin Lebar
2018-03-07Re-land: Teach CorrelatedValuePropagation to reduce the width of udiv/urem in...Justin Lebar
2018-03-07Revert rL326898: "Teach CorrelatedValuePropagation to reduce the width of udi...Justin Lebar
2018-03-07Teach CorrelatedValuePropagation to reduce the width of udiv/urem instructions.Justin Lebar
2018-01-29[CVP] Don't Replace incoming values from unreachable blocks with undef.Davide Italiano
2018-01-19Remove alignment argument from memcpy/memmove/memset in favour of alignment a...Daniel Neilson
2018-01-08[CVP] Replace incoming values from unreachable blocks with undef.Davide Italiano
2017-12-05[CVP] Remove some {s|u}sub.with.overflow checks.Joel Galenson
2017-11-10[CVP] Remove some {s|u}add.with.overflow checks.Sanjoy Das
2017-10-12[CVP] Process binary operations even when def is localAnna Thomas
2017-08-03[LVI] Constant-propagate a zero extension of the switch condition value throu...Hiroshi Yamauchi
2017-08-01Revert r309415: "[LVI] Constant-propagate a zero extension of the switch cond...Daniel Jasper
2017-07-28[LVI] Constant-propagate a zero extension of the switch condition value throu...Hiroshi Yamauchi
2017-06-23[LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ...Craig Topper
2017-04-10Add address space mangling to lifetime intrinsicsMatt Arsenault
2017-03-26[IR] Make SwitchInst::CaseIt almost a normal iterator.Chandler Carruth
2017-02-23Revert r282872 "CVP. Turn marking adds as no wrap on by default"Hans Wennborg
2016-12-19Revert @llvm.assume with operator bundles (r289755-r289757)Daniel Jasper
2016-12-15Make processing @llvm.assume more efficient by using operand bundlesHal Finkel
2016-11-29[CVP] Remove use of removed flag (-cvp-dont-process-adds) from the testArtur Pilipenko
2016-10-21[LVI] Fix a bug with a guard being the very first instruction in a BB not tak...Artur Pilipenko
2016-10-12[CVP] Convert an AShr to a LShr if 1st operand is known to be nonnegative.Chad Rosier
2016-09-15llvm/test/Transforms/CorrelatedValuePropagation/alloca.ll REQUIRES +Asserts.NAKAMURA Takumi
2016-09-15Add some shortcuts in LazyValueInfo to reduce compile time of Correlated Valu...Wei Mi
2016-08-18CVP. Turn marking adds as no wrap (introduced by r278107) off by defaultArtur Pilipenko
2016-08-12[LVI] Take guards into accountArtur Pilipenko
2016-08-12[LVI] Fix potential memory corruption in getValueFromConditionArtur Pilipenko
2016-08-12[LVI] Take range metadata into account while calculating icmp condition const...Artur Pilipenko
2016-08-12[LVI] Handle any predicate in comparisons like icmp <pred> (add Val, Offset),...Artur Pilipenko
2016-08-10[LVI] Handle conditions in the form of (cond1 && cond2)Artur Pilipenko
2016-08-10Add a test case for r278217 "[LVI] Relax the assertion about LVILatticeVal ty...Artur Pilipenko
2016-08-10Teach CorrelatedValuePropagation to mark adds as no wrapArtur Pilipenko
2016-08-09[LVI] Make LVI smarter about comparisons with non-constantsArtur Pilipenko
2016-08-09Revert 278107 which causes buildbot failures and in addition has wrong commit...Artur Pilipenko
2016-08-09Teach CorrelatedValuePropagation to mark adds as no wrapArtur Pilipenko
2016-08-03Revert "Teach CorrelatedValuePropagation to mark adds as no wrap"Renato Golin
2016-08-03Teach CorrelatedValuePropagation to mark adds as no wrapArtur Pilipenko
2016-07-14This converts a signed remainder instruction to unsigned remainder, whichSjoerd Meijer
2016-07-06[PM] Port CorrelatedValuePropagationSean Silva
2016-05-02Remove extra whitespace. NFC.Chad Rosier
2016-04-27[LVI] Reduce compile time by lazily scanning blocks if neededPhilip Reames
2016-04-26[LVI] Apply transfer rule for overdefine inputs for binary operatorsPhilip Reames
2016-04-26[LVI] A better fix for the assertion error introduced by 267609Philip Reames
2016-04-26[LVI] Infer local facts from unary expressionsPhilip Reames