summaryrefslogtreecommitdiffstats
path: root/llvm/lib/AsmParser/LLParser.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* reject undef/zero labels. This fixes PR3281:crash0[56].ll with theseChris Lattner2009-01-051-1/+5
| | | | | | | | | | | | diagnostics: llvm-as: crash05.ll:1:14: invalid type for null constant global label zeroinitializer addrspace (75), section "c" ^ llvm-as: crash06.ll:2:14: invalid type for null constant udiv label zeroinitializer, @0 ^ llvm-svn: 61681
* add checking intentionally elided for vfcmp/vicmp since they should reallyChris Lattner2009-01-051-0/+4
| | | | | | | | | just be removed. However, this fixes PR3281:crash04.ll, diagnosing it with: lvm-as: crash04.ll:2:13: vfcmp requires vector floating point operands vfcmp uno double* undef, undef ^ llvm-svn: 61680
* diagnose PR3281:crash02.ll with:Chris Lattner2009-01-051-0/+3
| | | | | | | | llvm-as: crash02.ll:1:62: invalid function return type declare { <{ <{}>, void ([1898 x { void ()* }], opaque, ...) (), fp128 * }>, opaque } @t () ^ llvm-svn: 61679
* reject PR3281:crash01.ll with:Chris Lattner2009-01-051-1/+2
| | | | | | | | llvm-as: crash01.ll:1:9: invalid function return type declare opaque @t() ^ llvm-svn: 61678
* fix PR3281:accepted0[02].ll: represent empty arrays distinctly, andChris Lattner2009-01-051-1/+7
| | | | | | | | | | | | | | diagnose attempts to initialize non-empty arrays with them. This produces: llvm-as: accepted02.ll:1:28: invalid empty array initializer @"o" = global [5 x double] [] ^ llvm-as: accepted00.ll:1:32: invalid empty array initializer @"za" = thread_local global {} [] ^ [ llvm-svn: 61676
* PR3281:crash00.ll: produce this diagnostic instead of crashing:Chris Lattner2009-01-051-1/+5
| | | | | | | @t = global i8 0, align 3 ^ llvm-svn: 61675
* Refactor some parser interfaces to fix PR3278 and a FIXME:Chris Lattner2009-01-041-10/+3
| | | | | | | ParseAssemblyString with a specified module would not parse into the module, it would create and return a new one. llvm-svn: 61635
* Fix a really horrible typo, which caused undefined behavior.Chris Lattner2009-01-021-1/+1
| | | | llvm-svn: 61566
* minor cleanups and comment improvements.Chris Lattner2009-01-021-193/+140
| | | | llvm-svn: 61564
* Reimplement the old and horrible bison parser for .ll files with a niceChris Lattner2009-01-021-0/+3158
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
OpenPOWER on IntegriCloud