2004-04-16 |
Chris Lattner | Make sure to check for a very bad class of errors:... |
blob | commitdiff | raw |
2004-04-14 |
John Criswell | Remove the return type check for llvm.readio. This... |
blob | commitdiff | raw | diff to current |
2004-04-14 |
John Criswell | Added code to verify that llvm.readio's pointer argumen... |
blob | commitdiff | raw | diff to current |
2004-04-14 |
John Criswell | Finish adding the llvm.readio and llvm.writeio intrinsics. |
blob | commitdiff | raw | diff to current |
2004-04-09 |
John Criswell | Reversed the order of the llvm.writeport() operands... |
blob | commitdiff | raw | diff to current |
2004-04-08 |
John Criswell | Added the llvm.readport and llvm.writeport intrinsics. |
blob | commitdiff | raw | diff to current |
2004-04-02 |
Chris Lattner | Make the verifier API more complete and useful. |
blob | commitdiff | raw | diff to current |
2004-03-29 |
Chris Lattner | Add another check |
blob | commitdiff | raw | diff to current |
2004-03-14 |
Chris Lattner | Catch some more cases of broken code. The loop extract... |
blob | commitdiff | raw | diff to current |
2004-03-14 |
Chris Lattner | verifyFunction has been broken for a long time now... |
blob | commitdiff | raw | diff to current |
2004-03-13 |
Chris Lattner | Rename the intrinsic enum values for llvm.va_* from... |
blob | commitdiff | raw | diff to current |
2004-03-12 |
Chris Lattner | Add support for checking the select instruction |
blob | commitdiff | raw | diff to current |
2004-03-02 |
Misha Brukman | Doxygenify comments. |
blob | commitdiff | raw | diff to current |
2004-02-27 |
Chris Lattner | Fix Regression/Assembler/2004-02-27-SelfUseAssertError.ll |
blob | commitdiff | raw | diff to current |
2004-02-24 |
Chris Lattner | Make the verifier a little more explicit about this... |
blob | commitdiff | raw | diff to current |
2004-02-14 |
Chris Lattner | Add llvm.memset/frameaddress/returnaddress intrinsics. |
blob | commitdiff | raw | diff to current |
2004-02-12 |
Chris Lattner | Add support for the llvm.memmove intrinsic |
blob | commitdiff | raw | diff to current |
2004-02-12 |
Chris Lattner | Implement the llvm.memcpy intrinsic |
blob | commitdiff | raw | diff to current |
2004-01-14 |
Chris Lattner | Fix check. PHI nodes must be handled specially, of... |
blob | commitdiff | raw | diff to current |
2004-01-14 |
Chris Lattner | Tighten up verifier checks. The result of an invoke... |
blob | commitdiff | raw | diff to current |
2004-01-06 |
Chris Lattner | Add support for new intrinsic |
blob | commitdiff | raw | diff to current |
2004-01-05 |
Chris Lattner | Add VMCore and code generator support for debugging... |
blob | commitdiff | raw | diff to current |
2003-11-21 |
Chris Lattner | Check return types of functions |
blob | commitdiff | raw | diff to current |
2003-11-21 |
Chris Lattner | Fix problem Reid was having with external globals and... |
blob | commitdiff | raw | diff to current |
2003-11-21 |
Chris Lattner | Finegrainify namespacification |
blob | commitdiff | raw | diff to current |
2003-11-21 |
Chris Lattner | Fix some problems with assertions printing |
blob | commitdiff | raw | diff to current |
2003-11-21 |
Chris Lattner | improve error message |
blob | commitdiff | raw | diff to current |
2003-11-16 |
Brian Gaeke | When failing a Verifier assertion, use WriteAsOperand... |
blob | commitdiff | raw | diff to current |
2003-11-13 |
Chris Lattner | Expose the verifier to opt |
blob | commitdiff | raw | diff to current |
2003-11-12 |
Chris Lattner | Detect problems with PHI node operands! |
blob | commitdiff | raw | diff to current |
2003-11-11 |
Brian Gaeke | Put all LLVM code into the llvm namespace, as per bug... |
blob | commitdiff | raw | diff to current |
2003-10-20 |
John Criswell | Added LLVM project notice to the top of every C++ sourc... |
blob | commitdiff | raw | diff to current |
2003-10-18 |
Chris Lattner | Add support for the new varargs intrinsics and instructions |
blob | commitdiff | raw | diff to current |
2003-10-10 |
Misha Brukman | Fix spelling/grammar. |
blob | commitdiff | raw | diff to current |
2003-10-05 |
Chris Lattner | Be more careful handling PHI nodes, which might be... |
blob | commitdiff | raw | diff to current |
2003-09-20 |
Chris Lattner | Rename Function::getEntryNode -> getEntryBlock |
blob | commitdiff | raw | diff to current |
2003-09-10 |
Brian Gaeke | Make createVerifierPass return a FunctionPass *. |
blob | commitdiff | raw | diff to current |
2003-09-08 |
Chris Lattner | Eliminate support for the llvm.unwind intrinisic, using... |
blob | commitdiff | raw | diff to current |
2003-08-25 |
Chris Lattner | As it turns out, things will be simpler than I first... |
blob | commitdiff | raw | diff to current |
2003-08-24 |
Chris Lattner | rethrow is really the language independent primitive... |
blob | commitdiff | raw | diff to current |
2003-08-24 |
Chris Lattner | Initial support for recognizing LLVM exception handling... |
blob | commitdiff | raw | diff to current |
2003-08-18 |
Chris Lattner | Add intrinsics for the llvm.sig(set|long)jmp functions |
blob | commitdiff | raw | diff to current |
2003-08-18 |
Misha Brukman | Spell `necessary' correctly. |
blob | commitdiff | raw | diff to current |
2003-08-06 |
Chris Lattner | Add a bunch of new Alpha Intrinsics for Rahul Joshi |
blob | commitdiff | raw | diff to current |
2003-07-28 |
Chris Lattner | Add support for Alpha intrinsics, contributed by Rahul... |
blob | commitdiff | raw | diff to current |
2003-06-05 |
Chris Lattner | Fix (bogus) possibly uninitialized warning |
blob | commitdiff | raw | diff to current |
2003-05-17 |
Chris Lattner | Add support for setjmp/longjmp primitives |
blob | commitdiff | raw | diff to current |
2003-05-08 |
Chris Lattner | llvm.va_start only takes on argument now |
blob | commitdiff | raw | diff to current |
2003-05-08 |
Chris Lattner | Add more support for intrinsic functions and for vararg... |
blob | commitdiff | raw | diff to current |
2003-05-08 |
Chris Lattner | Add support for the new va_arg instruction |
blob | commitdiff | raw | diff to current |
2003-04-19 |
Chris Lattner | Remove arbitrary limitation |
blob | commitdiff | raw | diff to current |
2003-04-16 |
Chris Lattner | Add code to verify correctly linkages |
blob | commitdiff | raw | diff to current |
2003-01-14 |
Chris Lattner | Fix bug Regression/Verifier/2002-11-05-GetelementptrPoi... |
blob | commitdiff | raw | diff to current |
2002-11-21 |
Chris Lattner | User defined operators are not supposed to live beyond... |
blob | commitdiff | raw | diff to current |
2002-11-20 |
Chris Lattner | - Eliminated the deferred symbol table stuff in Modul... |
blob | commitdiff | raw | diff to current |
2002-10-13 |
Chris Lattner | - Change Function's so that their argument list is... |
blob | commitdiff | raw | diff to current |
2002-10-06 |
Chris Lattner | Check that we don't have external varaibles with intern... |
blob | commitdiff | raw | diff to current |
2002-10-06 |
Chris Lattner | PHI nodes are not allowed to exist with zero incoming... |
blob | commitdiff | raw | diff to current |
2002-09-19 |
Chris Lattner | Make sure that we abort if an error happens as early... |
blob | commitdiff | raw | diff to current |
2002-09-10 |
Chris Lattner | Fix typeo in assertion message |
blob | commitdiff | raw | diff to current |
2002-09-09 |
Chris Lattner | Do not allow adds of pointer types, or many other opera... |
blob | commitdiff | raw | diff to current |
2002-08-22 |
Chris Lattner | Eliminated the MemAccessInst class, folding contents... |
blob | commitdiff | raw | diff to current |
2002-08-22 |
Chris Lattner | Load & StoreInst no longer derive from MemAccessInst... |
blob | commitdiff | raw | diff to current |
2002-08-08 |
Chris Lattner | - Cleaned up the interface to AnalysisUsage to take... |
blob | commitdiff | raw | diff to current |
2002-08-02 |
Chris Lattner | Implement dominator checking in the verifier, so that... |
blob | commitdiff | raw | diff to current |
2002-07-23 |
Chris Lattner | Register Verifier pass |
blob | commitdiff | raw | diff to current |
2002-07-18 |
Chris Lattner | Add a hack to check for a subset of true dominance... |
blob | commitdiff | raw | diff to current |
2002-06-25 |
Anand Shukla | changes for 64bit gcc |
blob | commitdiff | raw | diff to current |
2002-06-25 |
Chris Lattner | * Update to work with Megapatch |
blob | commitdiff | raw | diff to current |
2002-05-08 |
Chris Lattner | Verify that function call arguments match the function... |
blob | commitdiff | raw | diff to current |
2002-04-29 |
Chris Lattner | Eliminate duplicate or unneccesary #include's |
blob | commitdiff | raw | diff to current |
2002-04-29 |
Chris Lattner | Add new optional getPassName() virtual function that... |
blob | commitdiff | raw | diff to current |
2002-04-28 |
Chris Lattner | Tighten up the AnalysisUsage of lots of passes, primari... |
blob | commitdiff | raw | diff to current |
2002-04-28 |
Chris Lattner | Remove extra unused argument from CheckFailed method |
blob | commitdiff | raw | diff to current |
2002-04-28 |
Chris Lattner | The check to see if an external function was marked... |
blob | commitdiff | raw | diff to current |
2002-04-27 |
Chris Lattner | * Rename MethodPass class to FunctionPass |
blob | commitdiff | raw | diff to current |
2002-04-24 |
Chris Lattner | * Abort program on verification errors |
blob | commitdiff | raw | diff to current |
2002-04-18 |
Chris Lattner | Add some basic checks of CallInst's. |
blob | commitdiff | raw | diff to current |
2002-04-18 |
Chris Lattner | * Convert the verifier to use an InstVisitor to be... |
blob | commitdiff | raw | diff to current |
2002-04-13 |
Chris Lattner | * Fix bug: test/Regression/Verifier/2002-04-13-RetTypes.ll |
blob | commitdiff | raw | diff to current |
2002-04-12 |
Chris Lattner | Add new check of return value type matching ret instruc... |
blob | commitdiff | raw | diff to current |
2002-04-08 |
Chris Lattner | s/Method/Function |
blob | commitdiff | raw | diff to current |
2002-04-07 |
Chris Lattner | Remove some gross code by using the Value::dump method... |
blob | commitdiff | raw | diff to current |
2002-03-29 |
Chris Lattner | * s/Method/Function |
blob | commitdiff | raw | diff to current |
2002-03-15 |
Chris Lattner | Checkin new test for problem anand ran into |
blob | commitdiff | raw | diff to current |
2002-03-14 |
Chris Lattner | Add a check to ensure that only PHI nodes are self... |
blob | commitdiff | raw | diff to current |
2002-02-26 |
Chris Lattner | Expose more entry points to the verifier |
blob | commitdiff | raw | diff to current |
2002-02-24 |
Chris Lattner | Make it compile with GCC 3.0.4 |
blob | commitdiff | raw | diff to current |
2002-02-20 |
Chris Lattner | Actually implement some checking in the verifier. |
blob | commitdiff | raw | diff to current |
2002-01-31 |
Chris Lattner | Convert analyses to new pass structure |
blob | commitdiff | raw | diff to current |
2002-01-20 |
Chris Lattner | Changes to build successfully with GCC 3.02 |
blob | commitdiff | raw | diff to current |
2001-11-06 |
Chris Lattner | Add notes |
blob | commitdiff | raw | diff to current |
2001-09-07 |
Chris Lattner | Remove #include of nonexistant header file |
blob | commitdiff | raw | diff to current |
2001-06-29 |
Chris Lattner | Added a note about a new verification the verifier... |
blob | commitdiff | raw | diff to current |
2001-06-27 |
Chris Lattner | Miscellaneous cleanups: |
blob | commitdiff | raw | diff to current |
2001-06-06 |
Chris Lattner | Initial revision |
blob | commitdiff | raw | diff to current |
|