summaryrefslogtreecommitdiffstats
path: root/llvm/lib/AsmParser/LLParser.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* Create FunctionType::isValidArgumentType to go along with isValidReturnType.Nick Lewycky2009-06-071-5/+11
| | | | | | | | | | | | | | | Also create isValidElementType for ArrayType, PointerType, StructType and VectorType. Make LLParser use them. This closes up some holes like an assertion failure on: %x = type {label} but largely doesn't change any semantics. The only thing we accept now which we didn't before is vectors of opaque type such as "<4 x opaque>". The opaque can be resolved to an int or float when linking. llvm-svn: 73016
* Refuse metadata* type for function arguments.Nick Lewycky2009-06-071-1/+3
| | | | llvm-svn: 73010
* Add new function attribute - noimplicitfloatDevang Patel2009-06-051-19/+20
| | | | | | | Update code generator to use this attribute and remove NoImplicitFloat target option. Update llc to set this attribute when -no-implicit-float command line option is used. llvm-svn: 72959
* Split the Add, Sub, and Mul instruction opcodes into separateDan Gohman2009-06-041-2/+10
| | | | | | | | | | | | | | | 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
* Add new function attribute - noredzone. Devang Patel2009-06-041-1/+1
| | | | | | | Update code generator to use this attribute and remove DisableRedZone target option. Update llc to set this attribute when -disable-red-zone command line option is used. llvm-svn: 72894
* Use v.data() instead of &v[0] when SmallVector v might be empty.Jay Foad2009-05-211-9/+9
| | | | llvm-svn: 72210
* Make MDNode use CallbackVH. Also change MDNode to store Value* instead ofNick Lewycky2009-05-101-9/+17
| | | | | | | Constant* in preperation of a future change to support holding non-Constants in an MDNode. llvm-svn: 71407
* testcase and asmparser fix for PR4066Chris Lattner2009-04-251-2/+5
| | | | llvm-svn: 70080
* Fix warning in .ll parser, detect and reject available_externally on functionNick Lewycky2009-04-131-0/+1
| | | | | | declarations. llvm-svn: 68944
* Add a new "available_externally" linkage type. This is intendedChris Lattner2009-04-131-0/+3
| | | | | | | | to support C99 inline, GNU extern inline, etc. Related bugzilla's include PR3517, PR3100, & PR2933. Nothing uses this yet, but it appears to work. llvm-svn: 68940
* Add support for embedded metadata to LLVM. This introduces two new types ofNick Lewycky2009-04-041-1/+42
| | | | | | | | Constant, MDString and MDNode which can only be used by globals with a name that starts with "llvm." or as arguments to a function with the same naming restriction. llvm-svn: 68420
* Fix a bug in our autoupgrade support: in an argument list to a functionChris Lattner2009-03-251-4/+8
| | | | | | | | | | | | 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
* It makes no sense to have a ODR version of commonDuncan Sands2009-03-111-6/+2
| | | | | | linkage, so remove it. llvm-svn: 66690
* Remove the one-definition-rule version of extern_weakDuncan Sands2009-03-111-13/+7
| | | | | | | linkage: this linkage type only applies to declarations, but ODR is only relevant to globals with definitions. llvm-svn: 66650
* Fix two classes of bugs. First:Chris Lattner2009-03-091-15/+33
| | | | | | | | | | | | | | | | | | | | | | | | | | | validate an invariant so that the asmparser rejects a bad construct instead of the verifier. Before: llvm-as: assembly parsed, but does not verify as correct! Invalid struct return type! i64 (%struct.Type*, %struct.Type*)* @foo after: llvm-as: t.ll:5:8: functions with 'sret' argument must return void define i64 @foo(%struct.Type* noalias nocapture sret %agg.result, %struct.Type* nocapture byval %t) nounwind { ^ Second, check that void is only used where allowed (in function return types) not in arbitrary places, fixing PR3747 - Crash in llvm-as with void field in struct. We now reject that example with: $ llvm-as t.ll llvm-as: t.ll:1:12: struct element can not have void type %x = type {void} ^ llvm-svn: 66394
* Introduce new linkage types linkonce_odr, weak_odr, common_odrDuncan Sands2009-03-071-21/+40
| | | | | | | | | | | | | | | | | | | | | and extern_weak_odr. These are the same as the non-odr versions, except that they indicate that the global will only be overridden by an *equivalent* global. In C, a function with weak linkage can be overridden by a function which behaves completely differently. This means that IP passes have to skip weak functions, since any deductions made from the function definition might be wrong, since the definition could be replaced by something completely different at link time. This is not allowed in C++, thanks to the ODR (One-Definition-Rule): if a function is replaced by another at link-time, then the new function must be the same as the original function. If a language knows that a function or other global can only be overridden by an equivalent global, it can give it the weak_odr linkage type, and the optimizers will understand that it is alright to make deductions based on the function body. The code generators on the other hand map weak and weak_odr linkage to the same thing. llvm-svn: 66339
* Fix a pretty awesome bug that only happened in a strange case with anonymousChris Lattner2009-03-011-8/+11
| | | | | | types. This was reading the uint for the keyword after the token was advanced. llvm-svn: 65743
* reject 0 element vectors with:Chris Lattner2009-02-281-0/+2
| | | | | | | | | @a = internal constant void bitcast(<0 x i8> <> to void) ^ Fixes PR3685 llvm-svn: 65698
* add proper asmwriter and asmparser support for anonymous functions.Chris Lattner2009-02-181-3/+13
| | | | llvm-svn: 64953
* Pacify gcc-4.3 (thinks IsConstant may be usedDuncan Sands2009-02-101-1/+3
| | | | | | uninitialized). llvm-svn: 64220
* Use slightly more correct grammar in error messages.Dan Gohman2009-02-091-2/+2
| | | | llvm-svn: 64148
* fix typoChris Lattner2009-02-081-1/+1
| | | | llvm-svn: 64091
* reject void pointers with a nice error:Chris Lattner2009-02-081-1/+5
| | | | | | | | | | llvm-as: t.ll:2:15: pointers to void are invalid, use i8* instead %X = type void* ^ instead of asserting and dying. llvm-svn: 64089
* Reapply 63765. Patches for clang and llvm-gcc to follow.Dale Johannesen2009-02-051-9/+0
| | | | llvm-svn: 63812
* Reverting 63765. This broke the build of both clangDale Johannesen2009-02-041-0/+9
| | | | | | and llvm-gcc. llvm-svn: 63786
* New feature: add support for target intrinsics being defined in theNate Begeman2009-02-041-9/+0
| | | | | | | | | target directories themselves. This also means that VMCore no longer needs to know about every target's list of intrinsics. Future work will include converting the PowerPC target to this interface as an example implementation. llvm-svn: 63765
* Fix PR3372Chris Lattner2009-02-021-2/+3
| | | | llvm-svn: 63501
* Add the private linkage.Rafael Espindola2009-01-151-1/+6
| | | | llvm-svn: 62279
* one more crash from PR3281, we now diagnose:Chris Lattner2009-01-081-2/+9
| | | | | | | llvm-as: t.ll:2:39: function may not return opaque type %"bwmoyl" = tail call coldcc opaque @g() ^ llvm-svn: 61933
* fix wordoChris Lattner2009-01-051-1/+1
| | | | llvm-svn: 61728
* Remove redundant ValID::ValID:: scoping (doesn't compile on Windows).Steve Naroff2009-01-051-1/+1
| | | | llvm-svn: 61727
* Reject PR3281:accepted03.ll with:Chris Lattner2009-01-051-5/+10
| | | | | | | | llvm-as: accepted03.ll:1:35: invalid unresolved type up reference declare void @r({ \7, opaque, \10 } %su) ^ llvm-svn: 61725
* reject PR3281:crash11.ll with:Chris Lattner2009-01-051-2/+8
| | | | | | | | llvm-as: crash11.ll:2:27: function may not return return opaque type "xw" = tail call opaque @608(label %31) ^ llvm-svn: 61722
* reject PR3281:crash10.ll with:Chris Lattner2009-01-051-0/+5
| | | | | | | llvm-as: crash10.ll:3:35: floating point constant does not have type 'ppc_fp128' "dumy" = fcmp ult ppc_fp128 "j",9209.4 ^ llvm-svn: 61721
* reject PR3281:crash09.ll with this diagnostic:Chris Lattner2009-01-051-0/+6
| | | | | | | | llvm-as: crash09.ll:3:1: self referential type is invalid type %0 ^ llvm-svn: 61720
* allow opaque undefs. This resolves PR3282 and fixesChris Lattner2009-01-051-1/+2
| | | | | | test/Assembler/2005-05-05-OpaqueUndefValues.ll llvm-svn: 61719
* produce the same diagnostics for vicmp constant exprs as vicmp instructions.Chris Lattner2009-01-051-1/+7
| | | | llvm-svn: 61685
* Fix PR3281:crash08.ll with this diagnostic:Chris Lattner2009-01-051-9/+23
| | | | | | | | llvm-as: crash08.ll:3:15: invalid operand type for instruction "qp" = sdiv fp128 0x1, %30 ^ llvm-svn: 61684
* reject PR3281:crash07.ll with:Chris Lattner2009-01-051-5/+9
| | | | | | | llvm-as: crash07.ll:2:32: va_arg requires operand with first class type %y = va_arg [52 x <{}>] %43, double (...) sspreq ^ llvm-svn: 61683
* 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