Programming Languages Research Group: Git

2014-11-12	Philip Reames	Extend intrinsic name mangling to support arrays, named...	commit \| commitdiff \| tree
2014-11-11	Philip Reames	Canonicalize an assume(load != null) into !nonnull...	commit \| commitdiff \| tree
2014-10-30	Philip Reames	Add handling for range metadata in ValueTracking isKnownNonZero	commit \| commitdiff \| tree
2014-10-22	Philip Reames	Preserving 'nonnull' metadata in SimplifyCFG	commit \| commitdiff \| tree
2014-10-21	Philip Reames	Teach combineMetadata how to merge 'nonnull' metadata.	commit \| commitdiff \| tree
2014-10-21	Philip Reames	Preserve 'nonnull' when changing type of the load.	commit \| commitdiff \| tree
2014-10-21	Philip Reames	Extend the verifier to check usage of 'nonnull' metadata.	commit \| commitdiff \| tree
2014-10-21	Philip Reames	Introduce enum values for previously defined metadata...	commit \| commitdiff \| tree
2014-10-20	Philip Reames	Extend the verifier to validate range metadata on calls...	commit \| commitdiff \| tree
2014-10-20	Philip Reames	Introduce a 'nonnull' metadata on Load instructions.	commit \| commitdiff \| tree
2014-08-21	Philip Reames	Minor refactor to make applying patches from 'Add a...	commit \| commitdiff \| tree
2014-08-21	Philip Reames	Whitespace change to reduce diff in future patch.	commit \| commitdiff \| tree
2014-08-21	Philip Reames	[X86] Split out the logic to select the stack probe...	commit \| commitdiff \| tree
2014-08-05	Philip Reames	Remove dead zero store to calloc initialized memory	commit \| commitdiff \| tree
2014-08-01	Philip Reames	Add support for StackMap section for ELF/Linux systems	commit \| commitdiff \| tree
2014-08-01	Philip Reames	Explicitly report runtime stack realignment in StackMap...	commit \| commitdiff \| tree

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

RSS Atom