Programming Languages Research Group: Git

2014-12-03	Philip Reames	Make the Verifier more strict about gc.statepoints	commit \| commitdiff \| tree
2014-12-02	Philip Reames	Restructure some assertion checking based on post commit...	commit \| commitdiff \| tree
2014-12-02	Philip Reames	[Statepoints 4/4] Statepoint infrastructure for garbage...	commit \| commitdiff \| tree
2014-12-02	Philip Reames	Appease a build bot complaining about an unused variable...	commit \| commitdiff \| tree
2014-12-02	Philip Reames	[Statepoints 3/4] Statepoint infrastructure for garbage...	commit \| commitdiff \| tree
2014-12-02	Philip Reames	Remove unneccessary code introduced with 223101.	commit \| commitdiff \| tree
2014-12-01	Philip Reames	Try to fix a bot failure due to a variable used only...	commit \| commitdiff \| tree
2014-12-01	Philip Reames	[Statepoints 2/4] Statepoint infrastructure for garbage...	commit \| commitdiff \| tree
2014-12-01	Philip Reames	[Statepoints 1/4] Statepoint infrastructure for garbage...	commit \| commitdiff \| tree
2014-11-24	Philip Reames	Factor check for the assume intrinsic out of checks...	commit \| commitdiff \| tree
2014-11-24	Philip Reames	Incorporate review comments from r221742	commit \| commitdiff \| tree
2014-11-24	Philip Reames	Clarify wording in the LangRef around !invariant.load	commit \| commitdiff \| tree
2014-11-18	Philip Reames	Tweak EarlyCSE to recognize series of dead stores	commit \| commitdiff \| tree
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