summaryrefslogtreecommitdiff
path: root/test/Verifier
AgeCommit message (Expand)AuthorFilesLines
2014-05-09Allow sret on the second parameter as well as the firstReid Kleckner1-0/+7
2014-04-30IR: Conservatively verify inalloca argumentsDavid Majnemer1-0/+13
2014-04-24Add 'musttail' marker to call instructionsReid Kleckner2-0/+91
2014-03-12Reject alias to undefined symbols in the verifier.Rafael Espindola1-0/+12
2014-03-09IR: Change inalloca's grammar a bitDavid Majnemer2-5/+5
2014-01-19[PM] Make the verifier work independently of any pass manager.Chandler Carruth1-3/+2
2014-01-17Add an inalloca flag to allocasReid Kleckner2-3/+21
2014-01-16Change inalloca rules to make it only apply to the last parameterReid Kleckner3-3/+15
2014-01-02Fix all the verifier tests I added for address spaces.Matt Arsenault10-10/+29
2013-12-19Begin adding docs and IR-level support for the inalloca attributeReid Kleckner2-0/+40
2013-12-13Grow the stackmap/patchpoint format to hold 64-bit IDs.Andrew Trick1-3/+3
2013-12-07Fix the segfault reported in PR 11990.Kaelyn Uhrain3-0/+37
2013-10-31Add Verifier test case for variable argument intrinsics.Andrew Trick1-0/+16
2013-10-16Add support for metadata representing .ident directives.Rafael Espindola3-0/+35
2013-08-16[tests] Cleanup initialization of test suffixes.Daniel Dunbar1-1/+0
2013-07-31Reject bitcasts between address spaces with different sizesMatt Arsenault9-0/+97
2013-07-22Fix typo in test.Jakub Staszak1-1/+1
2013-07-20Disallow global aliases to bitcast between address spacesMatt Arsenault1-0/+8
2013-07-19s/compiler_used/compiler.used/.Rafael Espindola1-2/+2
2013-04-22Also verify llvm.compiler_used.Rafael Espindola1-0/+6
2013-04-22Clarify that llvm.used can contain aliases.Rafael Espindola5-0/+28
2013-04-08Rewrite test/Verifier tests to use FileCheck instead of grepEli Bendersky13-19/+28
2013-01-16[IR] Add 'Append' and 'AppendUnique' module flag behaviors.Daniel Dunbar1-1/+10
2013-01-15[IR] Add verification for module flags with the "require" behavior.Daniel Dunbar1-2/+16
2013-01-15[IR] Add verifier support for llvm.module.flags.Daniel Dunbar1-0/+37
2012-08-17Assert that dominates is not given a multiple edge. Finding out if we haveRafael Espindola1-1/+0
2012-08-10The normal edge of an invoke is not allowed to branch to a block with aEli Friedman1-2/+17
2012-07-23Fix a typo (the the => the)Sylvestre Ledru1-1/+1
2012-07-02Fix the remaining TCL-style quotes found in the testsuite. This isChandler Carruth1-1/+1
2012-07-02Convert the uses of '|&' to use '2>&1 |' instead, which works on oldChandler Carruth16-16/+16
2012-07-02Convert all tests using TCL-style quoting to use shell-style quoting.Chandler Carruth11-11/+11
2012-07-02Make tests which first provide a negative assertion via 'not', thenChandler Carruth1-1/+2
2012-06-28make the verifier accept @llvm.donothing as the only intrinsic that can be in...Nuno Lopes3-24/+65
2012-06-18revert r158660, since Chris has some issues with this patch (namely using cod...Nuno Lopes2-67/+0
2012-06-18add the 'alloc' metadata node to represent the size of offset of buffers poin...Nuno Lopes2-0/+67
2012-06-01Use dominates(Instruction, Use) in the verifier.Rafael Espindola1-2/+2
2012-06-01Add some tests checking that the verifier rejects cases where a definitionRafael Espindola1-0/+57
2012-05-31Fix typos noticed by Benjamin Kramer.Rafael Espindola1-5/+29
2012-05-31Require intervals in the range metadata to be in a canonical form: They mustRafael Espindola2-0/+54
2012-05-27These tests used intrinsics with the wrong prototype. They weren't caught be...Chris Lattner1-2/+2
2012-04-16Remove support for the special 'fast' value for fpmath accuracy for the moment.Duncan Sands1-12/+0
2012-04-16Make it possible to indicate relaxed floating point requirements at the IR levelDuncan Sands1-6/+18
2012-04-14Rename "fpaccuracy" metadata to the more generic "fpmath". That's because I'mDuncan Sands2-31/+31
2012-04-10Express the number of ULPs in fpaccuracy metadata as a real rather than aDuncan Sands1-0/+31
2012-03-24First part of PR12251. Add documentation and verifier support for the rangeRafael Espindola2-0/+100
2012-02-16Replace all instances of dg.exp file with lit.local.cfg, since all tests are ...Eli Bendersky2-3/+1
2011-12-12Teach the verifier to reject all non-constant arguments to the secondChandler Carruth1-0/+16
2011-07-09Land the long talked about "type system rewrite" patch. ThisChris Lattner2-2/+2
2011-07-09more tests not making the jump into the brave new world.Chris Lattner1-4/+0
2011-06-17stop accepting begin/end around function bodies in the .ll parser, this isn't...Chris Lattner1-3/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-26 18:19:12 +0000