| Commit message (Expand) | Author | Age | Files | Lines |
* | Add Verifier test case for variable argument intrinsics. | Andrew Trick | 2013-10-31 | 1 | -0/+16 |
* | Add support for metadata representing .ident directives. | Rafael Espindola | 2013-10-16 | 3 | -0/+35 |
* | [tests] Cleanup initialization of test suffixes. | Daniel Dunbar | 2013-08-16 | 1 | -1/+0 |
* | Reject bitcasts between address spaces with different sizes | Matt Arsenault | 2013-07-31 | 9 | -0/+97 |
* | Fix typo in test. | Jakub Staszak | 2013-07-22 | 1 | -1/+1 |
* | Disallow global aliases to bitcast between address spaces | Matt Arsenault | 2013-07-20 | 1 | -0/+8 |
* | s/compiler_used/compiler.used/. | Rafael Espindola | 2013-07-19 | 1 | -2/+2 |
* | Also verify llvm.compiler_used. | Rafael Espindola | 2013-04-22 | 1 | -0/+6 |
* | Clarify that llvm.used can contain aliases. | Rafael Espindola | 2013-04-22 | 5 | -0/+28 |
* | Rewrite test/Verifier tests to use FileCheck instead of grep | Eli Bendersky | 2013-04-08 | 13 | -19/+28 |
* | [IR] Add 'Append' and 'AppendUnique' module flag behaviors. | Daniel Dunbar | 2013-01-16 | 1 | -1/+10 |
* | [IR] Add verification for module flags with the "require" behavior. | Daniel Dunbar | 2013-01-15 | 1 | -2/+16 |
* | [IR] Add verifier support for llvm.module.flags. | Daniel Dunbar | 2013-01-15 | 1 | -0/+37 |
* | Assert that dominates is not given a multiple edge. Finding out if we have | Rafael Espindola | 2012-08-17 | 1 | -1/+0 |
* | The normal edge of an invoke is not allowed to branch to a block with a | Eli Friedman | 2012-08-10 | 1 | -2/+17 |
* | Fix a typo (the the => the) | Sylvestre Ledru | 2012-07-23 | 1 | -1/+1 |
* | Fix the remaining TCL-style quotes found in the testsuite. This is | Chandler Carruth | 2012-07-02 | 1 | -1/+1 |
* | Convert the uses of '|&' to use '2>&1 |' instead, which works on old | Chandler Carruth | 2012-07-02 | 16 | -16/+16 |
* | Convert all tests using TCL-style quoting to use shell-style quoting. | Chandler Carruth | 2012-07-02 | 11 | -11/+11 |
* | Make tests which first provide a negative assertion via 'not', then | Chandler Carruth | 2012-07-02 | 1 | -1/+2 |
* | make the verifier accept @llvm.donothing as the only intrinsic that can be in... | Nuno Lopes | 2012-06-28 | 3 | -24/+65 |
* | revert r158660, since Chris has some issues with this patch (namely using cod... | Nuno Lopes | 2012-06-18 | 2 | -67/+0 |
* | add the 'alloc' metadata node to represent the size of offset of buffers poin... | Nuno Lopes | 2012-06-18 | 2 | -0/+67 |
* | Use dominates(Instruction, Use) in the verifier. | Rafael Espindola | 2012-06-01 | 1 | -2/+2 |
* | Add some tests checking that the verifier rejects cases where a definition | Rafael Espindola | 2012-06-01 | 1 | -0/+57 |
* | Fix typos noticed by Benjamin Kramer. | Rafael Espindola | 2012-05-31 | 1 | -5/+29 |
* | Require intervals in the range metadata to be in a canonical form: They must | Rafael Espindola | 2012-05-31 | 2 | -0/+54 |
* | These tests used intrinsics with the wrong prototype. They weren't caught be... | Chris Lattner | 2012-05-27 | 1 | -2/+2 |
* | Remove support for the special 'fast' value for fpmath accuracy for the moment. | Duncan Sands | 2012-04-16 | 1 | -12/+0 |
* | Make it possible to indicate relaxed floating point requirements at the IR level | Duncan Sands | 2012-04-16 | 1 | -6/+18 |
* | Rename "fpaccuracy" metadata to the more generic "fpmath". That's because I'm | Duncan Sands | 2012-04-14 | 2 | -31/+31 |
* | Express the number of ULPs in fpaccuracy metadata as a real rather than a | Duncan Sands | 2012-04-10 | 1 | -0/+31 |
* | First part of PR12251. Add documentation and verifier support for the range | Rafael Espindola | 2012-03-24 | 2 | -0/+100 |
* | Replace all instances of dg.exp file with lit.local.cfg, since all tests are ... | Eli Bendersky | 2012-02-16 | 2 | -3/+1 |
* | Teach the verifier to reject all non-constant arguments to the second | Chandler Carruth | 2011-12-12 | 1 | -0/+16 |
* | Land the long talked about "type system rewrite" patch. This | Chris Lattner | 2011-07-09 | 2 | -2/+2 |
* | more tests not making the jump into the brave new world. | Chris Lattner | 2011-07-09 | 1 | -4/+0 |
* | stop accepting begin/end around function bodies in the .ll parser, this isn't... | Chris Lattner | 2011-06-17 | 1 | -3/+2 |
* | manually upgrade a bunch of tests to modern syntax, and remove some that | Chris Lattner | 2011-06-17 | 1 | -7/+0 |
* | Reject unrepresentable pointer types in intrinsics. Fixes PR7316. | Nick Lewycky | 2010-08-08 | 1 | -0/+21 |
* | Reapply address space patch after fixing an issue in MemCopyOptimizer. | Mon P Wang | 2010-04-04 | 1 | -1/+1 |
* | Revert r100191 since it breaks objc in clang | Mon P Wang | 2010-04-02 | 1 | -1/+1 |
* | Reapply address space patch after fixing an issue in MemCopyOptimizer. | Mon P Wang | 2010-04-02 | 1 | -1/+1 |
* | Revert Mon Ping's change 99928, since it broke all the llvm-gcc buildbots. | Bob Wilson | 2010-03-30 | 1 | -1/+1 |
* | Added support for address spaces and added a isVolatile field to memcpy, memm... | Mon P Wang | 2010-03-30 | 1 | -1/+1 |
* | Delete useless trailing semicolons. | Dan Gohman | 2010-01-05 | 1 | -1/+1 |
* | Remove obsolete -f flags. | Dan Gohman | 2009-08-25 | 6 | -6/+6 |
* | Dan noticed that the verifier wasn't thoroughly checking uses of | Duncan Sands | 2009-05-29 | 3 | -0/+50 |
* | Revert this. There's no way to verifiy indirect calls, and an optimizer can turn | Torok Edwin | 2009-05-22 | 1 | -11/+0 |
* | Verify that calling conventions match function prototype. | Torok Edwin | 2009-05-22 | 1 | -0/+11 |