summaryrefslogtreecommitdiffstats
path: root/llvm/test/Assembler
Commit message (Collapse)AuthorAgeFilesLines
* Adjust testcases for msasm -> alignstack.Dale Johannesen2009-10-211-6/+6
| | | | llvm-svn: 84796
* Add an "msasm" flag to inline asm as suggested in PR 5125.Dale Johannesen2009-10-131-0/+36
| | | | | | | A little ugliness is accepted to keep the binary file format compatible. No functional change yet. llvm-svn: 84020
* Clean up the usage of evaluateICmpRelation's return value.Nick Lewycky2009-09-201-0/+1
| | | | | | | Add another line to the ConstantExprFold test to demonstrate the GEPs may not wrap around in either the signed or unsigned senses. llvm-svn: 82361
* fix PR4963: folding insertvalue would sometimes turn a packed struct intoChris Lattner2009-09-151-0/+6
| | | | | | an unpacked one. llvm-svn: 81845
* Fix this test to test what it was originally intended to test.Dan Gohman2009-09-111-1/+1
| | | | llvm-svn: 81539
* Change tests from "opt %s" to "opt < %s" so that opt doesn't see theDan Gohman2009-09-114-4/+4
| | | | | | | | input filename so that opt doesn't print the input filename in the output so that grep lines in the tests don't unintentionally match strings in the input filename. llvm-svn: 81537
* fix test to not get a moduleid that matches 'br'Chris Lattner2009-09-111-1/+1
| | | | llvm-svn: 81526
* Teach lib/VMCore/ConstantFold.cpp how to set the inbounds keyword andDan Gohman2009-09-111-1/+11
| | | | | | | | | | | | | how to fold notionally-out-of-bounds array getelementptr indices instead of just doing these in lib/Analysis/ConstantFolding.cpp, because it can be done in a fairly general way without TargetData, and because not all constants are visited by lib/Analysis/ConstantFolding.cpp. This enables more constant folding. Also, set the "inbounds" flag when the getelementptr indices are one-past-the-end. llvm-svn: 81483
* Use opt -S instead of piping bitcode output through llvm-dis.Dan Gohman2009-09-086-6/+6
| | | | llvm-svn: 81257
* Change these tests to feed the assembly files to opt directly, insteadDan Gohman2009-09-086-6/+6
| | | | | | of using llvm-as, now that opt supports this. llvm-svn: 81226
* Reappy r80998, now that the GlobalOpt bug that it exposed on MiniSAT is fixed.Dan Gohman2009-09-075-82/+68
| | | | llvm-svn: 81172
* Revert "Include optional subclass flags, such as inbounds, nsw, etc., ...", thisDaniel Dunbar2009-09-065-68/+82
| | | | | | breaks MiniSAT on x86_64. llvm-svn: 81098
* Fix spacing.Daniel Dunbar2009-09-061-1/+1
| | | | llvm-svn: 81097
* Include optional subclass flags, such as inbounds, nsw, etc., in theDan Gohman2009-09-045-82/+68
| | | | | | | | | | | | | | | | | Constant uniquing tables. This allows distinct ConstantExpr objects with the same operation and different flags. Even though a ConstantExpr "a + b" is either always overflowing or never overflowing (due to being a ConstantExpr), it's still necessary to be able to represent it both with and without overflow flags at the same time within the IR, because the safety of the flag may depend on the context of the use. If the constant really does overflow, it wouldn't ever be safe to use with the flag set, however the use may be in code that is never actually executed. This also makes it possible to merge all the flags tests into a single test. llvm-svn: 80998
* Remove obsolete -f flags.Dan Gohman2009-08-2541-41/+41
| | | | llvm-svn: 79992
* Various AsmWriter output cleanups. Use WriteAsOperand instead ofDan Gohman2009-08-131-3/+12
| | | | | | PrintUnmangledNameSafely. llvm-svn: 78878
* Extend the AsmWriter to print unnamed numbered types as "%0 = type ..."Dan Gohman2009-08-121-0/+42
| | | | | | | and unnamed numbered global variables as "@0 = global ...". Extend the AsmParser to recognize these forms. llvm-svn: 78859
* Add a new keyword 'inbounds' for use with getelementptr. See theDan Gohman2009-07-272-0/+24
| | | | | | LangRef.html changes for details. llvm-svn: 77259
* Change the assembly syntax for nsw, nuw, and exact, putting themDan Gohman2009-07-274-52/+52
| | | | | | | after their associated opcodes rather than before. This makes them a little easier to read. llvm-svn: 77194
* Fix assert assembling zero-argument constant GEP.Eli Friedman2009-07-241-0/+5
| | | | | | | There's still a strict-aliasing violation here, but I don't feel like dealing with that right now... llvm-svn: 77005
* Rename the new unsigned and signed keywords to nuw and nsw,Dan Gohman2009-07-224-54/+54
| | | | | | which stand for no-unsigned-wrap and no-signed-wrap. llvm-svn: 76810
* Assembly and Bitcode support for unsigned/signed overflow flags andDan Gohman2009-07-205-0/+202
| | | | | | exact sdiv flags. llvm-svn: 76475
* Apparently Darwin doesn't have /dev/full :-(.Dan Gohman2009-07-151-3/+0
| | | | llvm-svn: 75809
* Add a testcase for raw_ostream error checking.Dan Gohman2009-07-151-0/+3
| | | | llvm-svn: 75795
* Remove the vicmp and vfcmp instructions. Because we never had a release withNick Lewycky2009-07-081-6/+6
| | | | | | | these instructions, no autoupgrade or backwards compatibility support is provided. llvm-svn: 74991
* Split the Add, Sub, and Mul instruction opcodes into separateDan Gohman2009-06-042-2/+2
| | | | | | | | | | | | | | | integer and floating-point opcodes, introducing FAdd, FSub, and FMul. For now, the AsmParser, BitcodeReader, and IRBuilder all preserve backwards compatability, and the Core LLVM APIs preserve backwards compatibility for IR producers. Most front-ends won't need to change immediately. This implements the first step of the plan outlined here: http://nondot.org/sabre/LLVMNotes/IntegerOverflow.txt llvm-svn: 72897
* Revert this. There's no way to verifiy indirect calls, and an optimizer can turnTorok Edwin2009-05-221-9/+0
| | | | | | | indirect call into direct call, thus the verifier would reject something it previously accepted. llvm-svn: 72249
* Verify that calling conventions match function prototype.Torok Edwin2009-05-221-0/+9
| | | | | | | | | This only rejects mismatches between target specific calling convention and C/LLVM specific calling convention. There are too many fastcc/C, coldcc/cc42 mismatches in the testsuite, these are not reject by the verifier. llvm-svn: 72248
* Make this test slightly more strict.Dan Gohman2009-04-271-1/+1
| | | | llvm-svn: 70180
* Any size of integral indices are allowed in gep for indexing into sequential ↵Sanjiv Gupta2009-04-261-0/+12
| | | | | | types. Also adding a test case to check the indices type allowed into struct. llvm-svn: 70134
* add testcase for strange types of gep indicesChris Lattner2009-04-251-0/+12
| | | | llvm-svn: 70085
* testcase and asmparser fix for PR4066Chris Lattner2009-04-251-0/+8
| | | | llvm-svn: 70080
* Fix g++-4.4.0 warning, it was causing llvm-nm to fail on wrapped BC files:Torok Edwin2009-04-251-0/+9
| | | | | | | | | | | | Path.cpp:59: warning: case label value exceeds maximum value for type magic[0] is a (signed) char, but some case values are unsigned (e.g. 0xde). When magic[0] was 0xde, the switch has taken the default branch instead of case 0xde branch. Apparently this was the behaviour with older versions of gcc too, but not with g++. Now g++-4.4 behaves as gcc, and ignores unsigned case values out of range signed range. llvm-svn: 70038
* Fix a bug in our autoupgrade support: in an argument list to a functionChris Lattner2009-03-251-0/+11
| | | | | | | | | | | | call, we should treat "i64 zext" as the start of a constant expr, but "i64 0 zext" as an argument with an obsolete attribute on it (this form is already tested by test/Assembler/2007-07-30-AutoUpgradeZextSext.ll). Make the autoupgrade logic more discerning to avoid treating "i64 zext" as an old-style attribute, causing us to reject a valid constant expr. This fixes PR3876. llvm-svn: 67682
* Apply a patch by Micah Villmow to fix AsmParser to accept vectorDan Gohman2009-03-141-3/+14
| | | | | | | shift constant expressions, and add support for folding vector shift constant expressions. This fixes PR3802. llvm-svn: 67010
* Fix a pretty awesome bug that only happened in a strange case with anonymousChris Lattner2009-03-011-0/+8
| | | | | | types. This was reading the uint for the keyword after the token was advanced. llvm-svn: 65743
* Fix a long-standing bug and misfeature of the disassembler: when dealing with a Chris Lattner2009-03-011-0/+6
| | | | | | | | | | | | | | stripped .bc file, it didn't make any attempt to try to reuse anonymous types. This causes an amazing type explosion due to types getting duplicated everywhere they are referenced and other problems. This also caused correctness issues, because opaque types are unique for each time they are uttered in the file. This means that stripping a .bc file could produce a .ll file that could not be assembled (e.g. 2009-02-28-StripOpaqueName.ll). This patch fixes both of these issues. llvm-svn: 65738
* add proper asmwriter and asmparser support for anonymous functions.Chris Lattner2009-02-181-0/+26
| | | | llvm-svn: 64953
* Remove now-incorrect test.Nate Begeman2009-02-041-9/+0
| | | | llvm-svn: 63772
* Fix PR3372Chris Lattner2009-02-021-0/+6
| | | | llvm-svn: 63501
* Add the private linkage.Rafael Espindola2009-01-151-0/+9
| | | | llvm-svn: 62279
* this testcase is huge and hasn't regressed ever, I don't think it is worth ↵Chris Lattner2009-01-081-24452/+0
| | | | | | keeping. llvm-svn: 61931
* Don't spew bitcode to standard out if this testDuncan Sands2009-01-051-1/+1
| | | | | | fails, like it is right now. llvm-svn: 61690
* Reimplement the old and horrible bison parser for .ll files with a niceChris Lattner2009-01-0214-20/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | and clean recursive descent parser. This change has a couple of ramifications: 1. The parser code is about 400 lines shorter (in what we maintain, not including what is autogenerated). 2. The code should be significantly faster than the old code because we don't have to work around bison's poor handling of datatypes with ctors/dtors. This also makes the code much more resistant to memory leaks. 3. We now get caret diagnostics from the .ll parser, woo. 4. The actual diagnostics emited from the parser are completely different so a bunch of testcases had to be updated. 5. I now disallow "%ty = type opaque %ty = type i32". There was no good reason to support this, it was just an accident of the old implementation. I have no reason to think that anyone is actually using this. 6. The syntax for sticking a global variable has changed to make it unambiguous. I don't think anyone is depending on this since only clang supports this and it is not solid yet, so I'm not worried about anything breaking. 7. This gets rid of the last use of bison, and along with it the .cvs files. I'll prune this from the makefiles as a subsequent commit. There are a few minor cleanups that can be done after this commit (suggestions welcome!) but this passes dejagnu testing and is ready for its time in the limelight. llvm-svn: 61558
* Fix the .ll grammar rules to allow any type before an 'i32', not just anChris Lattner2008-10-151-0/+6
| | | | | | | integer type. Invalid things like 'float 42' are now rejected by the semantic analysis in the productions not the parser. This fixes PR2733. llvm-svn: 57560
* Prevent assert when using '"' in names (via hexadecimal).Daniel Dunbar2008-10-141-0/+3
| | | | | | Update LangRef to mention \xx quoting in names. llvm-svn: 57538
* Attributes noinline alwaysinline are incompatibleDevang Patel2008-10-011-2/+1
| | | | llvm-svn: 56939
* Don't leave an output file in the test directory.Dan Gohman2008-10-011-1/+1
| | | | llvm-svn: 56910
* Support inreg, zext and sext as return value attributes.Devang Patel2008-09-293-2/+15
| | | | llvm-svn: 56801
* Update tests.Devang Patel2008-09-272-4/+4
| | | | llvm-svn: 56730
OpenPOWER on IntegriCloud