emscripten-fastcomp/test/Verifier, branch master LLVM with the emscripten fastcomp javascript backend https://git.amat.us/emscripten-fastcomp/atom/test/Verifier?h=master 2013-04-22T15:16:51Z Also verify llvm.compiler_used. 2013-04-22T15:16:51Z Rafael Espindola rafael.espindola@gmail.com 2013-04-22T15:16:51Z urn:sha1:97bf57d488a1bfcf7128cc2dbc695f6901ae9be7 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@180020 91177308-0d34-0410-b5e6-96231b3b80d8 Clarify that llvm.used can contain aliases. 2013-04-22T14:58:02Z Rafael Espindola rafael.espindola@gmail.com 2013-04-22T14:58:02Z urn:sha1:cde25b435a907e7741da0c0d18953850936277c4 Also add a check for llvm.used in the verifier and simplify clients now that they can assume they have a ConstantArray. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@180019 91177308-0d34-0410-b5e6-96231b3b80d8 Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08T18:33:51Z Eli Bendersky eliben@google.com 2013-04-08T18:33:51Z urn:sha1:c3d5c1cb338f3929f868f6130a2d036ff22e9e1c git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@179036 91177308-0d34-0410-b5e6-96231b3b80d8 [IR] Add 'Append' and 'AppendUnique' module flag behaviors. 2013-01-16T21:38:56Z Daniel Dunbar daniel@zuster.org 2013-01-16T21:38:56Z urn:sha1:5db391c67d0922f4ab2ba57c07def19759c801a4 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@172659 91177308-0d34-0410-b5e6-96231b3b80d8 [IR] Add verification for module flags with the "require" behavior. 2013-01-15T20:52:06Z Daniel Dunbar daniel@zuster.org 2013-01-15T20:52:06Z urn:sha1:12bfff440700c58bc67e9f9d8f99121632022cf1 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@172549 91177308-0d34-0410-b5e6-96231b3b80d8 [IR] Add verifier support for llvm.module.flags. 2013-01-15T01:22:53Z Daniel Dunbar daniel@zuster.org 2013-01-15T01:22:53Z urn:sha1:8dd938ed179267b2a3a5206c78e89530967f45a5 - Also, update the LangRef documentation on module flags to match the implementation. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@172498 91177308-0d34-0410-b5e6-96231b3b80d8 Assert that dominates is not given a multiple edge. Finding out if we have 2012-08-17T18:21:28Z Rafael Espindola rafael.espindola@gmail.com 2012-08-17T18:21:28Z urn:sha1:d5118c8f78a05ad0b426b6032138d1d934b77c8d multiple edges between two blocks is linear. If the caller is iterating all edges leaving a BB that would be a square time algorithm. It is more efficient to have the callers handle that case. Currently the only callers are: * GVN: already avoids the multiple edge case. * Verifier: could only hit this assert when looking at an invalid invoke. Since it already rejects the invoke, just avoid computing the dominance for it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@162113 91177308-0d34-0410-b5e6-96231b3b80d8 The normal edge of an invoke is not allowed to branch to a block with a 2012-08-10T20:55:20Z Eli Friedman eli.friedman@gmail.com 2012-08-10T20:55:20Z urn:sha1:6b951b25c35f739ee0a1b5a4615718220830817d landingpad. Enforce it in the verifier, and fix the regression tests to match. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@161697 91177308-0d34-0410-b5e6-96231b3b80d8 Fix a typo (the the => the) 2012-07-23T08:51:15Z Sylvestre Ledru sylvestre@debian.org 2012-07-23T08:51:15Z urn:sha1:c8e41c591741b3da1077f7000274ad040bef8002 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@160621 91177308-0d34-0410-b5e6-96231b3b80d8 Fix the remaining TCL-style quotes found in the testsuite. This is 2012-07-02T19:09:46Z Chandler Carruth chandlerc@gmail.com 2012-07-02T19:09:46Z urn:sha1:1de43ede8904e08de37f601c9bab0b70f71156e1 another mechanical change accomplished though the power of terrible Perl scripts. I have manually switched some "s to 's to make escaping simpler. While I started this to fix tests that aren't run in all configurations, the massive number of tests is due to a really frustrating fragility of our testing infrastructure: things like 'grep -v', 'not grep', and 'expected failures' can mask broken tests all too easily. Essentially, I'm deeply disturbed that I can change the testsuite so radically without causing any change in results for most platforms. =/ git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159547 91177308-0d34-0410-b5e6-96231b3b80d8