Programming Languages Research Group: Git - oota-llvm.git/history

[oota-llvm.git] / lib / Analysis / ValueTracking.cpp

2015-04-10	Benjamin Kramer	[CallSite] Make construction from Value* (or Instructio...	blob \| commitdiff \| raw
2015-04-10	Benjamin Kramer	Reduce dyn_cast<> to isa<> or cast<> where possible.	blob \| commitdiff \| raw \| diff to current
2015-03-25	Sanjoy Das	[ValueTracking] Fix PR23011.	blob \| commitdiff \| raw \| diff to current
2015-03-25	Benjamin Kramer	[APInt] Add an isSplat helper and use it in some places.	blob \| commitdiff \| raw \| diff to current
2015-03-21	Benjamin Kramer	ValueTracking: Forward getConstantStringInfo's TrimAtNu...	blob \| commitdiff \| raw \| diff to current
2015-03-10	Philip Reames	Infer known bits from dominating conditions	blob \| commitdiff \| raw \| diff to current
2015-03-10	Mehdi Amini	DataLayout is mandatory, update the API to reflect...	blob \| commitdiff \| raw \| diff to current
2015-03-06	Nadav Rotem	Teach ComputeNumSignBits about signed reminder.	blob \| commitdiff \| raw \| diff to current
2015-03-03	Nadav Rotem	Teach ComputeNumSignBits about signed divisions.	blob \| commitdiff \| raw \| diff to current
2015-02-25	Sanjay Patel	Fix really obscure bug in CannotBeNegativeZero() (PR22688)	blob \| commitdiff \| raw \| diff to current
2015-02-07	Benjamin Kramer	ValueTracking: Make isBytewiseValue simpler and more...	blob \| commitdiff \| raw \| diff to current
2015-02-01	David Majnemer	ValueTracking: Make isSafeToSpeculativelyExecute a...	blob \| commitdiff \| raw \| diff to current
2015-01-28	Elena Demikhovsky	Fold fcmp in cases where value is provably non-negative...	blob \| commitdiff \| raw \| diff to current
2015-01-14	Chandler Carruth	[cleanup] Re-sort all the #include lines in LLVM using	blob \| commitdiff \| raw \| diff to current
2015-01-07	David Majnemer	Analysis: Reformulate WillNotOverflowUnsignedAdd for...	blob \| commitdiff \| raw \| diff to current
2015-01-04	Chandler Carruth	[PM] Cleanup a const_cast and other machinery left...	blob \| commitdiff \| raw \| diff to current
2015-01-04	Michael Kuperstein	Fix unused variable warning for non-asserts builds...	blob \| commitdiff \| raw \| diff to current
2015-01-04	Chandler Carruth	[PM] Split the AssumptionTracker immutable pass into...	blob \| commitdiff \| raw \| diff to current
2015-01-04	David Majnemer	ValueTracking: ComputeNumSignBits should tolerate missh...	blob \| commitdiff \| raw \| diff to current
2015-01-03	David Majnemer	ValueTracking: Make computeKnownBits for Arguments...	blob \| commitdiff \| raw \| diff to current
2015-01-02	David Majnemer	InstCombine: Detect when llvm.umul.with.overflow always...	blob \| commitdiff \| raw \| diff to current
2015-01-02	David Majnemer	Analysis: Reformulate WillNotOverflowUnsignedMul for...	blob \| commitdiff \| raw \| diff to current
2014-12-26	David Majnemer	ValueTracking: Small cleanup in ComputeNumSignBits	blob \| commitdiff \| raw \| diff to current
2014-12-23	Michael Kuperstein	[ValueTracking] Move GlobalAlias handling to be after...	blob \| commitdiff \| raw \| diff to current
2014-12-12	David Majnemer	ValueTracking: Don't recurse too deeply in computeKnown...	blob \| commitdiff \| raw \| diff to current
2014-12-09	Duncan P. N. Exon...	IR: Split Metadata from Value	blob \| commitdiff \| raw \| diff to current
2014-11-24	Philip Reames	Factor check for the assume intrinsic out of checks...	blob \| commitdiff \| raw \| diff to current
2014-11-19	David Blaikie	Update SetVector to rely on the underlying set's insert...	blob \| commitdiff \| raw \| diff to current
2014-11-11	Duncan P. N. Exon...	Revert "IR: MDNode => Value"	blob \| commitdiff \| raw \| diff to current
2014-11-06	Michael Liao	Indentation fixes	blob \| commitdiff \| raw \| diff to current
2014-11-05	Sanjay Patel	remove extra breaks; NFC	blob \| commitdiff \| raw \| diff to current
2014-11-04	David Majnemer	Analysis: Make isSafeToSpeculativelyExecute fire less...	blob \| commitdiff \| raw \| diff to current
2014-11-04	Sanjay Patel	remove function names from comments; NFC	blob \| commitdiff \| raw \| diff to current
2014-11-04	Sanjay Patel	fix typo in comment	blob \| commitdiff \| raw \| diff to current
2014-11-01	Duncan P. N. Exon...	IR: MDNode => Value: Instruction::getMetadata()	blob \| commitdiff \| raw \| diff to current
2014-10-30	Philip Reames	Add handling for range metadata in ValueTracking isKnow...	blob \| commitdiff \| raw \| diff to current
2014-10-21	Matt Arsenault	Add minnum / maxnum intrinsics	blob \| commitdiff \| raw \| diff to current
2014-10-21	Philip Reames	Introduce enum values for previously defined metadata...	blob \| commitdiff \| raw \| diff to current
2014-10-20	Philip Reames	Introduce a 'nonnull' metadata on Load instructions.	blob \| commitdiff \| raw \| diff to current
2014-10-19	Chandler Carruth	Move previously dead code to handle computing the known...	blob \| commitdiff \| raw \| diff to current
2014-09-12	Benjamin Kramer	Fix an ODR violation consisting of two 'struct Query...	blob \| commitdiff \| raw \| diff to current
2014-09-07	Hal Finkel	Add additional patterns for @llvm.assume in ValueTracking	blob \| commitdiff \| raw \| diff to current
2014-09-07	Hal Finkel	Make use of @llvm.assume in ValueTracking (computeKnown...	blob \| commitdiff \| raw \| diff to current
2014-08-29	Matt Arsenault	Make fabs safe to speculatively execute	blob \| commitdiff \| raw \| diff to current
2014-08-22	David Majnemer	ValueTracking: Figure out more bits when looking at...	blob \| commitdiff \| raw \| diff to current
2014-08-21	Craig Topper	Repace SmallPtrSet with SmallPtrSetImpl in function...	blob \| commitdiff \| raw \| diff to current
2014-08-18	Craig Topper	Revert "Repace SmallPtrSet with SmallPtrSetImpl in...	blob \| commitdiff \| raw \| diff to current
2014-08-17	Craig Topper	Repace SmallPtrSet with SmallPtrSetImpl in function...	blob \| commitdiff \| raw \| diff to current
2014-07-22	Hal Finkel	Make use of the align parameter attribute for all point...	blob \| commitdiff \| raw \| diff to current
2014-07-18	Hal Finkel	Add a dereferenceable attribute	blob \| commitdiff \| raw \| diff to current
2014-07-15	Matt Arsenault	Teach computeKnownBits to look through addrspacecast.	blob \| commitdiff \| raw \| diff to current
2014-07-15	Matt Arsenault	Teach GetUnderlyingObject / BasicAA about addrspacecast	blob \| commitdiff \| raw \| diff to current
2014-07-14	Matt Arsenault	Look through addrspacecast in GetPointerBaseWithConstan...	blob \| commitdiff \| raw \| diff to current
2014-07-10	Hal Finkel	Allow isDereferenceablePointer to look through some...	blob \| commitdiff \| raw \| diff to current
2014-07-06	Sanjay Patel	fixed typos in comments	blob \| commitdiff \| raw \| diff to current
2014-06-19	Jingyue Wu	[ValueTracking] Extend range metadata to call/invoke	blob \| commitdiff \| raw \| diff to current
2014-05-20	Nick Lewycky	Teach isKnownNonNull that a nonnull return is not null...	blob \| commitdiff \| raw \| diff to current
2014-05-20	Nick Lewycky	Add 'nonnull', a new parameter and return attribute...	blob \| commitdiff \| raw \| diff to current
2014-05-15	Jay Foad	Instead of littering asserts throughout the code after...	blob \| commitdiff \| raw \| diff to current
2014-05-14	Jay Foad	Rename ComputeMaskedBits to computeKnownBits. "Masked...	blob \| commitdiff \| raw \| diff to current
2014-05-14	Jay Foad	Update the comments for ComputeMaskedBits, which lost...	blob \| commitdiff \| raw \| diff to current
2014-04-15	Craig Topper	[C++11] More 'nullptr' conversion. In some cases just...	blob \| commitdiff \| raw \| diff to current
2014-03-09	Chandler Carruth	[C++11] Add range based accessors for the Use-Def chain...	blob \| commitdiff \| raw \| diff to current
2014-03-04	Chandler Carruth	[Modules] Move the ConstantRange class into the IR...	blob \| commitdiff \| raw \| diff to current
2014-03-04	Chandler Carruth	[Modules] Move the LLVM IR pattern match header into...	blob \| commitdiff \| raw \| diff to current
2014-03-04	Chandler Carruth	[Modules] Move GetElementPtrTypeIterator into the IR...	blob \| commitdiff \| raw \| diff to current
2014-01-31	Matt Arsenault	Allow speculating llvm.sqrt, fma and fmuladd	blob \| commitdiff \| raw \| diff to current
2014-01-28	Reid Kleckner	Update optimization passes to handle inalloca arguments	blob \| commitdiff \| raw \| diff to current
2013-11-21	Kostya Serebryany	Don't speculate loads under ThreadSanitizer	blob \| commitdiff \| raw \| diff to current
2013-10-15	Craig Topper	Remove x86_sse42_crc32_64_8 intrinsic. It has no functi...	blob \| commitdiff \| raw \| diff to current
2013-09-24	Benjamin Kramer	Teach MemoryBuiltins and InstructionSimplify that opera...	blob \| commitdiff \| raw \| diff to current
2013-08-19	Matt Arsenault	Fix assert with GEP ptr vector indexing structs	blob \| commitdiff \| raw \| diff to current
2013-08-10	Matt Arsenault	Teach ValueTracking about address spaces	blob \| commitdiff \| raw \| diff to current
2013-07-30	David Majnemer	isKnownToBeAPowerOfTwo: Strengthen isKnownToBeAPowerOfT...	blob \| commitdiff \| raw \| diff to current
2013-07-11	Craig Topper	Use SmallVectorImpl& instead of SmallVector to avoid...	blob \| commitdiff \| raw \| diff to current
2013-07-09	David Majnemer	ValueTracking: Fix bugs in isKnownToBeAPowerOfTwo	blob \| commitdiff \| raw \| diff to current
2013-07-06	David Majnemer	isKnownToBeAPowerOfTwo: Fix a typo in a comment	blob \| commitdiff \| raw \| diff to current
2013-06-29	David Majnemer	ValueTracking: Teach isKnownToBeAPowerOfTwo about ...	blob \| commitdiff \| raw \| diff to current
2013-05-24	Michael J. Spencer	Replace Count{Leading,Trailing}Zeros_{32,64} with count...	blob \| commitdiff \| raw \| diff to current
2013-05-18	David Majnemer	isKnownToBeAPowerOfTwo: (X & Y) + Y is a power of 2...	blob \| commitdiff \| raw \| diff to current
2013-03-18	Manman Ren	Check whether a pointer is non-null (isKnownNonNull...	blob \| commitdiff \| raw \| diff to current
2013-03-06	Jakub Staszak	Use dyn_cast instead of isa && cast. No functionality...	blob \| commitdiff \| raw \| diff to current
2013-01-31	Dan Gohman	Move isKnownNonNull out of AliasAnalysis.h and into...	blob \| commitdiff \| raw \| diff to current
2013-01-31	Dan Gohman	Change GetPointerBaseWithConstantOffset's DataLayout...	blob \| commitdiff \| raw \| diff to current
2013-01-13	Dmitri Gribenko	Remove redundant 'llvm::' qualifications	blob \| commitdiff \| raw \| diff to current
2013-01-02	Chandler Carruth	Move all of the header files which are involved in...	blob \| commitdiff \| raw \| diff to current
2012-12-31	Nuno Lopes	reimplement GetPointerBaseWithConstantOffset().	blob \| commitdiff \| raw \| diff to current
2012-12-22	Craig Topper	Remove trailing whitespace.	blob \| commitdiff \| raw \| diff to current
2012-12-19	Nadav Rotem	Fix a bug that was found by building clang with -fsanitize.	blob \| commitdiff \| raw \| diff to current
2012-12-14	Nadav Rotem	Fix a crash in ValueTracking on vectors of pointers.	blob \| commitdiff \| raw \| diff to current
2012-12-13	Rafael Espindola	Rename isPowerOfTwo to isKnownToBeAPowerOfTwo.	blob \| commitdiff \| raw \| diff to current
2012-12-12	Rafael Espindola	The TargetData is not used for the isPowerOfTwo determi...	blob \| commitdiff \| raw \| diff to current
2012-12-07	Chandler Carruth	Add support to ValueTracking for determining that a...	blob \| commitdiff \| raw \| diff to current
2012-12-06	Michael Ilseman	Have CannotBeNegativeZero() be aware of the nsz fast...	blob \| commitdiff \| raw \| diff to current
2012-12-03	Chandler Carruth	Use the new script to sort the includes of every file...	blob \| commitdiff \| raw \| diff to current
2012-11-01	Chandler Carruth	Revert the majority of the next patch in the address...	blob \| commitdiff \| raw \| diff to current
2012-10-26	Nadav Rotem	Fix a crash in SimpliftDemandedBits of vectors of pointers.	blob \| commitdiff \| raw \| diff to current
2012-10-25	Nadav Rotem	Revert 166726 because it may have broken a number of...	blob \| commitdiff \| raw \| diff to current
2012-10-25	Nadav Rotem	Fix a crash in ValueTracking. Add support for vectors...	blob \| commitdiff \| raw \| diff to current
2012-10-15	Micah Villmow	Resubmit the changes to llvm core to update the functio...	blob \| commitdiff \| raw \| diff to current
next

C/C++ LLVM-based compilers that forbids OOTA behaviors

RSS Atom