Programming Languages Research Group: Git

2015-10-09	Artur Pilipenko	Add verification for align, dereferenceable, dereferenceable...	commit \| commitdiff \| tree
2015-10-09	Artur Pilipenko	ValueTracking: use getAlignment in isAligned	commit \| commitdiff \| tree
2015-10-07	Artur Pilipenko	Teach computeKnownBits to use new align attribute/metadata	commit \| commitdiff \| tree
2015-09-30	Artur Pilipenko	Refactor computeKnownBits alignment handling code	commit \| commitdiff \| tree
2015-09-28	Artur Pilipenko	Introduce !align metadata for load instruction	commit \| commitdiff \| tree
2015-09-18	Artur Pilipenko	Support align attribute for return values	commit \| commitdiff \| tree
2015-09-18	Artur Pilipenko	Nit cleanup in LangRef about dereferenceable metadata	commit \| commitdiff \| tree
2015-08-17	Artur Pilipenko	Take alignment into account in isSafeToSpeculativelyExecute...	commit \| commitdiff \| tree
2015-08-03	Artur Pilipenko	Currently string attributes on function arguments/return...	commit \| commitdiff \| tree
2015-06-25	Artur Pilipenko	Take alignment into account in isSafeToLoadUnconditionally	commit \| commitdiff \| tree
2015-06-08	Artur Pilipenko	Minor refactoring of GEP handling in isDereferenceablePointer	commit \| commitdiff \| tree
2015-06-01	Artur Pilipenko	Add isConstant argument to MDBuilder::createTBAAStructTagNode	commit \| commitdiff \| tree
2015-05-21	Artur Pilipenko	Fix memory-dereferenceable.ll test	commit \| commitdiff \| tree
2015-05-21	Artur Pilipenko	Test commit. Fix typo in MemDerefPrinter.cpp comment.	commit \| commitdiff \| tree

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