Programming Languages Research Group: Git

2007-04-08	Nick Lewycky	Don't crash when encountering a BasicBlock that hasn...	commit \| commitdiff \| tree
2007-04-07	Nick Lewycky	Add support for cast instructions.	commit \| commitdiff \| tree
2007-04-07	Nick Lewycky	Add signExtend to ConstantRange, to complement zeroExtend...	commit \| commitdiff \| tree
2007-04-07	Nick Lewycky	Support NE inequality in ValueRanges.	commit \| commitdiff \| tree
2007-04-07	Nick Lewycky	Cleanup. Refactor out the applying of value ranges...	commit \| commitdiff \| tree
2007-04-07	Nick Lewycky	Use TargetData to find the size of a type.	commit \| commitdiff \| tree
2007-04-07	Nick Lewycky	Strengthen icmp snuggling by doing 'compare-or-equal...	commit \| commitdiff \| tree
2007-04-01	Nick Lewycky	Implement union of wrapped sets.	commit \| commitdiff \| tree
2007-03-22	Nick Lewycky	Fix broken optimization disabled by a logic bug.	commit \| commitdiff \| tree
2007-03-18	Nick Lewycky	Clean up this code and fix subtract miscompile.	commit \| commitdiff \| tree
2007-03-18	Nick Lewycky	This is implemented. We now generate:	commit \| commitdiff \| tree
2007-03-18	Nick Lewycky	Propagate ValueRanges across equality.	commit \| commitdiff \| tree
2007-03-16	Nick Lewycky	Add more comments and update to new asm syntax.	commit \| commitdiff \| tree
2007-03-10	Nick Lewycky	Add value ranges. Currently inefficient in both execution...	commit \| commitdiff \| tree
2007-03-10	Nick Lewycky	Add getter methods for the extremes of a ConstantRange.	commit \| commitdiff \| tree
2007-03-03	Nick Lewycky	Emit low/high immediate loads properly for Linux/PPC.	commit \| commitdiff \| tree
2007-03-03	Nick Lewycky	Translate bit operations to English.	commit \| commitdiff \| tree
2007-03-02	Nick Lewycky	Implement unionWith.	commit \| commitdiff \| tree
2007-02-11	Nick Lewycky	Fix comments to match names of functions.	commit \| commitdiff \| tree
2007-02-04	Nick Lewycky	Fix indenting, remove tabs.	commit \| commitdiff \| tree
2007-01-29	Nick Lewycky	Simplify names of lattice values. SGTUNE becomes SGT...	commit \| commitdiff \| tree
2007-01-28	Nick Lewycky	Drop CSRET from here too.	commit \| commitdiff \| tree
2007-01-28	Nick Lewycky	Fix compile error "jump to case label crosses initialization".	commit \| commitdiff \| tree
2007-01-19	Nick Lewycky	Needed to build on PPC Linux.	commit \| commitdiff \| tree
2007-01-15	Nick Lewycky	Don't print address of ETNode. Print the DFSNumIn which...	commit \| commitdiff \| tree
2007-01-13	Nick Lewycky	"Default context" blocks can occur after a non-default...	commit \| commitdiff \| tree
2007-01-12	Nick Lewycky	If we know that it's a constant being casted, propagate...	commit \| commitdiff \| tree
2007-01-12	Nick Lewycky	Clean up logic after ConstantBool removal.	commit \| commitdiff \| tree
2007-01-11	Nick Lewycky	Quiet compiler warning. The only reason the function...	commit \| commitdiff \| tree
2007-01-11	Nick Lewycky	New predicate simplifier!	commit \| commitdiff \| tree
2006-12-31	Nick Lewycky	Typo.	commit \| commitdiff \| tree
2006-12-01	Nick Lewycky	Remove extra header.	commit \| commitdiff \| tree
2006-12-01	Nick Lewycky	Fix opt -o option. Don't pass a pointer to an auto...	commit \| commitdiff \| tree
2006-11-22	Nick Lewycky	Update to new predicate simplifier VRP design. Fixes...	commit \| commitdiff \| tree
2006-11-13	Nick Lewycky	Cute example from Chris Lattner.	commit \| commitdiff \| tree
2006-11-05	Nick Lewycky	Remove commented line from earlier debugging.	commit \| commitdiff \| tree
2006-10-29	Nick Lewycky	Remove spurious case. EXTLOAD is not one of the node...	commit \| commitdiff \| tree
2006-10-28	Nick Lewycky	Emitting raw bytecode is awfully rude. Add -disable...	commit \| commitdiff \| tree
2006-10-26	Nick Lewycky	Fix 2006-10-25-AddSetCC. A relational operator (like...	commit \| commitdiff \| tree
2006-10-26	Nick Lewycky	Handling of setlt/le/gt/ge is broken at the moment...	commit \| commitdiff \| tree
2006-10-26	Nick Lewycky	This testcase was logically wrong! Fixing, and including...	commit \| commitdiff \| tree
2006-10-25	Nick Lewycky	Resurrect r1.25.	commit \| commitdiff \| tree
2006-10-23	Nick Lewycky	Remove the Backwards operation. Resolving now works...	commit \| commitdiff \| tree
2006-10-22	Nick Lewycky	Fix similar missing optimization opportunity in XOR.	commit \| commitdiff \| tree
2006-10-22	Nick Lewycky	Whoops! Add missing NULL check.	commit \| commitdiff \| tree
2006-10-22	Nick Lewycky	Handle "if ((x\|y) != 0)" for ints like we do for bools...	commit \| commitdiff \| tree
2006-10-22	Nick Lewycky	AllocaInst can't return a null pointer. Fixes missed...	commit \| commitdiff \| tree
2006-10-12	Nick Lewycky	Replace custom dispatch code with two uses of InstVisitor...	commit \| commitdiff \| tree
2006-10-09	Nick Lewycky	Fix usage example.	commit \| commitdiff \| tree
2006-10-03	Nick Lewycky	Simplify logic further.	commit \| commitdiff \| tree
2006-10-03	Nick Lewycky	Simplify, now that predsimplify depends on break-crit...	commit \| commitdiff \| tree
2006-10-03	Nick Lewycky	Move break-crit-edges before the predicate simplifier...	commit \| commitdiff \| tree
2006-09-24	Nick Lewycky	Enable 'predsimplify' optimization.	commit \| commitdiff \| tree
2006-09-23	Nick Lewycky	Style changes only. Remove dead code, fix a comment.	commit \| commitdiff \| tree
2006-09-21	Nick Lewycky	Fix compile error.	commit \| commitdiff \| tree
2006-09-21	Nick Lewycky	Don't rewrite ConstantExpr::get.	commit \| commitdiff \| tree
2006-09-20	Nick Lewycky	Once we're down to "setcc type constant1, constant2...	commit \| commitdiff \| tree
2006-09-20	Nick Lewycky	Use a total ordering to compare instructions.	commit \| commitdiff \| tree
2006-09-19	Nick Lewycky	Enable dejagnu tests for predicate simplifier.	commit \| commitdiff \| tree
2006-09-18	Nick Lewycky	Walk down the dominator tree instead of the control...	commit \| commitdiff \| tree
2006-09-18	Nick Lewycky	Fix findCaseDest to return null when BB is both the...	commit \| commitdiff \| tree
2006-09-18	Nick Lewycky	Add a new helper method to SwitchInst. Useful when...	commit \| commitdiff \| tree
2006-09-17	Nick Lewycky	Explain change with a comment.	commit \| commitdiff \| tree
2006-09-17	Nick Lewycky	Fix PR912. The input to erase() must not be a reference...	commit \| commitdiff \| tree
2006-09-14	Nick Lewycky	Document new --enable-valgrind option.	commit \| commitdiff \| tree
2006-09-14	Nick Lewycky	Fix --enable-valgrind. Add room for the new arguments...	commit \| commitdiff \| tree
2006-09-14	Nick Lewycky	Add --enable-valgrind option to run optimizations through...	commit \| commitdiff \| tree
2006-09-13	Nick Lewycky	Add some more consistency checks.	commit \| commitdiff \| tree
2006-09-13	Nick Lewycky	Fix unionSets so that it can merge correctly.	commit \| commitdiff \| tree
2006-09-13	Nick Lewycky	Erase dead instructions.	commit \| commitdiff \| tree
2006-09-12	Nick Lewycky	Add ability to remove nodes from DominatorTree, for...	commit \| commitdiff \| tree
2006-09-11	Nick Lewycky	Skip the linear search if the answer is already known.	commit \| commitdiff \| tree
2006-09-10	Nick Lewycky	Replace EquivalenceClasses with a custom-built data...	commit \| commitdiff \| tree
2006-09-02	Nick Lewycky	Improve handling of SelectInst.	commit \| commitdiff \| tree
2006-09-01	Nick Lewycky	Don't confuse canonicalize and lookup. Fixes predsimplify...	commit \| commitdiff \| tree
2006-08-31	Nick Lewycky	This program crashes the PredicateSimplifier. Not marked...	commit \| commitdiff \| tree
2006-08-31	Nick Lewycky	Properties where both Values weren't in the union ...	commit \| commitdiff \| tree
2006-08-30	Nick Lewycky	Move to using the EquivalenceClass ADT. Removes SynSets.	commit \| commitdiff \| tree
2006-08-29	Nick Lewycky	The list is sorted by name.	commit \| commitdiff \| tree
2006-08-28	Nick Lewycky	Add PredicateSimplifier pass. Collapses equal variables...	commit \| commitdiff \| tree

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

RSS Atom