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

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

2015-10-14	Philip Reames	Tighten known bits for ctpop based on zero input bits	blob \| commitdiff \| raw
2015-10-14	Kostya Serebryany	[asan] Disabling speculative loads under asan. Patch...	blob \| commitdiff \| raw \| diff to current
2015-10-10	Duncan P. N. Exon...	Analysis: Remove implicit ilist iterator conversions	blob \| commitdiff \| raw \| diff to current
2015-10-09	Artur Pilipenko	ValueTracking: use getAlignment in isAligned	blob \| commitdiff \| raw \| diff to current
2015-10-08	Sanjay Patel	[ValueTracking] teach computeKnownBits that a fabs...	blob \| commitdiff \| raw \| diff to current
2015-10-07	Artur Pilipenko	Teach computeKnownBits to use new align attribute/metadata	blob \| commitdiff \| raw \| diff to current
2015-10-06	Philip Reames	Extend known bits to understand @llvm.bswap	blob \| commitdiff \| raw \| diff to current
2015-09-30	Artur Pilipenko	Refactor computeKnownBits alignment handling code	blob \| commitdiff \| raw \| diff to current
2015-09-29	Igor Laevsky	[ValueTracking] Lower dom-conditions-dom-blocks and...	blob \| commitdiff \| raw \| diff to current
2015-09-29	James Molloy	[ValueTracking] Teach isKnownNonZero about monotonicall...	blob \| commitdiff \| raw \| diff to current
2015-09-28	Artur Pilipenko	Introduce !align metadata for load instruction	blob \| commitdiff \| raw \| diff to current
2015-09-25	Sanjay Patel	more space; NFC	blob \| commitdiff \| raw \| diff to current
2015-09-24	James Molloy	[ValueTracking] Teach isKnownNonZero a new trick	blob \| commitdiff \| raw \| diff to current
2015-09-21	Philip Reames	Fix for pr24866	blob \| commitdiff \| raw \| diff to current
2015-09-18	Artur Pilipenko	Support align attribute for return values	blob \| commitdiff \| raw \| diff to current
2015-09-17	Sanjay Patel	fix typo; NFC	blob \| commitdiff \| raw \| diff to current
2015-09-14	Chen Li	[InstCombineCalls] Use isKnownNonNullAt() to check...	blob \| commitdiff \| raw \| diff to current
2015-09-03	Joseph Tremoulet	[WinEH] Add cleanupendpad instruction	blob \| commitdiff \| raw \| diff to current
2015-09-02	James Molloy	[ValueTracking] Look through casts when both operands...	blob \| commitdiff \| raw \| diff to current
2015-08-28	David Majnemer	Revert r246232 and r246304.	blob \| commitdiff \| raw \| diff to current
2015-08-28	David Majnemer	[CodeGen] isInTailCallPosition didn't consider readnone...	blob \| commitdiff \| raw \| diff to current
2015-08-27	David Majnemer	[ValueTracking] readnone CallInsts are fair game for...	blob \| commitdiff \| raw \| diff to current
2015-08-27	Pete Cooper	isKnownNonNull needs to consider globals in non-zero...	blob \| commitdiff \| raw \| diff to current
2015-08-20	Jingyue Wu	[ValueTracking] computeOverflowForSignedAdd and isKnown...	blob \| commitdiff \| raw \| diff to current
2015-08-17	Artur Pilipenko	Take alignment into account in isSafeToSpeculativelyExe...	blob \| commitdiff \| raw \| diff to current
2015-08-12	James Molloy	[ValueTracking] Tweak a comment slightly	blob \| commitdiff \| raw \| diff to current
2015-08-11	James Molloy	Add support for floating-point minnum and maxnum	blob \| commitdiff \| raw \| diff to current
2015-08-08	Benjamin Kramer	Fix some comment typos.	blob \| commitdiff \| raw \| diff to current
2015-08-06	Quentin Colombet	[Reassociation] Fix miscompile for va_arg arguments.	blob \| commitdiff \| raw \| diff to current
2015-07-31	David Majnemer	New EH representation for MSVC compatibility	blob \| commitdiff \| raw \| diff to current
2015-07-28	Jingyue Wu	[SCEV] Apply NSW and NUW flags via poison value analysis	blob \| commitdiff \| raw \| diff to current
2015-07-05	Peter Collingbourne	IR: Do not consider available_externally linkage to...	blob \| commitdiff \| raw \| diff to current
2015-06-15	Jingyue Wu	[ValueTracking] do not overwrite analysis results alrea...	blob \| commitdiff \| raw \| diff to current
2015-06-08	Artur Pilipenko	Minor refactoring of GEP handling in isDereferenceableP...	blob \| commitdiff \| raw \| diff to current
2015-05-20	James Molloy	Reapply r237539 with a fix for the Chromium build.	blob \| commitdiff \| raw \| diff to current
2015-05-19	Sanjoy Das	Dereferenceable, dereferenceable_or_null metadata for...	blob \| commitdiff \| raw \| diff to current
2015-05-18	Sanjoy Das	Exploit dereferenceable_or_null attribute in LICM pass	blob \| commitdiff \| raw \| diff to current
2015-05-15	James Molloy	Allow min/max detection to see through casts.	blob \| commitdiff \| raw \| diff to current
2015-05-14	Jingyue Wu	[ValueTracking] refactor: extract method haveNoCommonBi...	blob \| commitdiff \| raw \| diff to current
2015-05-12	Pete Cooper	Convert PHI getIncomingValue() to foreach over incoming...	blob \| commitdiff \| raw \| diff to current
2015-05-11	James Molloy	Rip min/max pattern matching out of InstCombine and...	blob \| commitdiff \| raw \| diff to current
2015-05-06	Sanjoy Das	[Statepoint] Clean up Statepoint.h: accessor names.	blob \| commitdiff \| raw \| diff to current
2015-04-23	Adam Nemet	[getUnderlyingOjbects] Analyze loop PHIs further to...	blob \| commitdiff \| raw \| diff to current
2015-04-23	Philip Reames	Move Value.isDereferenceablePointer to ValueTracking...	blob \| commitdiff \| raw \| diff to current
2015-04-10	Benjamin Kramer	[CallSite] Make construction from Value* (or Instructio...	blob \| commitdiff \| raw \| diff to current
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
next

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

RSS Atom