summaryrefslogtreecommitdiff
path: root/test/Verifier
Commit message (Expand)AuthorAge
* IR: Add COMDATs to the IRDavid Majnemer2014-06-27
* [ValueTracking] Extend range metadata to call/invokeJingyue Wu2014-06-19
* Move test for r210734 to Feature/aliases.ll.Bob Wilson2014-06-12
* Fix verifier for GlobalAliases to avoid recursing into global initializers.Bob Wilson2014-06-12
* Add a new attribute called 'jumptable' that creates jump-instruction tables f...Tom Roeder2014-06-05
* Allow alias to point to an arbitrary ConstantExpr.Rafael Espindola2014-06-03
* Add comdat key field to llvm.global_ctors and llvm.global_dtorsReid Kleckner2014-05-16
* Fix most of PR10367.Rafael Espindola2014-05-16
* musttail: Fix the verification of alignment attributesReid Kleckner2014-05-15
* Allow sret on the second parameter as well as the firstReid Kleckner2014-05-09
* IR: Conservatively verify inalloca argumentsDavid Majnemer2014-04-30
* Add 'musttail' marker to call instructionsReid Kleckner2014-04-24
* Reject alias to undefined symbols in the verifier.Rafael Espindola2014-03-12
* IR: Change inalloca's grammar a bitDavid Majnemer2014-03-09
* [PM] Make the verifier work independently of any pass manager.Chandler Carruth2014-01-19
* Add an inalloca flag to allocasReid Kleckner2014-01-17
* Change inalloca rules to make it only apply to the last parameterReid Kleckner2014-01-16
* Fix all the verifier tests I added for address spaces.Matt Arsenault2014-01-02
* Begin adding docs and IR-level support for the inalloca attributeReid Kleckner2013-12-19
* Grow the stackmap/patchpoint format to hold 64-bit IDs.Andrew Trick2013-12-13
* Fix the segfault reported in PR 11990.Kaelyn Uhrain2013-12-07
* Add Verifier test case for variable argument intrinsics.Andrew Trick2013-10-31
* Add support for metadata representing .ident directives.Rafael Espindola2013-10-16
* [tests] Cleanup initialization of test suffixes.Daniel Dunbar2013-08-16
* Reject bitcasts between address spaces with different sizesMatt Arsenault2013-07-31
* Fix typo in test.Jakub Staszak2013-07-22
* Disallow global aliases to bitcast between address spacesMatt Arsenault2013-07-20
* s/compiler_used/compiler.used/.Rafael Espindola2013-07-19
* Also verify llvm.compiler_used.Rafael Espindola2013-04-22
* Clarify that llvm.used can contain aliases.Rafael Espindola2013-04-22
* Rewrite test/Verifier tests to use FileCheck instead of grepEli Bendersky2013-04-08
* [IR] Add 'Append' and 'AppendUnique' module flag behaviors.Daniel Dunbar2013-01-16
* [IR] Add verification for module flags with the "require" behavior.Daniel Dunbar2013-01-15
* [IR] Add verifier support for llvm.module.flags.Daniel Dunbar2013-01-15
* Assert that dominates is not given a multiple edge. Finding out if we haveRafael Espindola2012-08-17
* The normal edge of an invoke is not allowed to branch to a block with aEli Friedman2012-08-10
* Fix a typo (the the => the)Sylvestre Ledru2012-07-23
* Fix the remaining TCL-style quotes found in the testsuite. This isChandler Carruth2012-07-02
* Convert the uses of '|&' to use '2>&1 |' instead, which works on oldChandler Carruth2012-07-02
* Convert all tests using TCL-style quoting to use shell-style quoting.Chandler Carruth2012-07-02
* Make tests which first provide a negative assertion via 'not', thenChandler Carruth2012-07-02
* make the verifier accept @llvm.donothing as the only intrinsic that can be in...Nuno Lopes2012-06-28
* revert r158660, since Chris has some issues with this patch (namely using cod...Nuno Lopes2012-06-18
* add the 'alloc' metadata node to represent the size of offset of buffers poin...Nuno Lopes2012-06-18
* Use dominates(Instruction, Use) in the verifier.Rafael Espindola2012-06-01
* Add some tests checking that the verifier rejects cases where a definitionRafael Espindola2012-06-01
* Fix typos noticed by Benjamin Kramer.Rafael Espindola2012-05-31
* Require intervals in the range metadata to be in a canonical form: They mustRafael Espindola2012-05-31
* These tests used intrinsics with the wrong prototype. They weren't caught be...Chris Lattner2012-05-27
* Remove support for the special 'fast' value for fpmath accuracy for the moment.Duncan Sands2012-04-16