Programming Languages Research Group: Git

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