RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-26 12:43:36 +01:00
Code Issues Projects Releases Wiki Activity
61,770 Commits 4 Branches 5 Tags 704 MiB
d4fc146cb3
Commit Graph

963 Commits

Author SHA1 Message Date
Victor Hernandez
f772c0b8b2 Revert 82694 "Auto-upgrade malloc instructions to malloc calls." because it causes regressions in the nightly tests. 
llvm-svn: 82784
 2009-09-25 18:11:52 +00:00
Victor Hernandez
ff8027ced6 Auto-upgrade malloc instructions to malloc calls. 
Reviewed by Devang Patel.

llvm-svn: 82694
 2009-09-24 17:47:49 +00:00
Daniel Dunbar
378331a13d Tabs -> spaces, and remove trailing whitespace. 
llvm-svn: 82355
 2009-09-20 02:20:51 +00:00
Devang Patel
d90471a00d Fix parsing of optional metadata for 'load', 'store' and 'alloc' instructions. 
llvm-svn: 82175
 2009-09-17 23:04:48 +00:00
Devang Patel
b3173a0dfb Parse debug info attached with an instruction. 
llvm-svn: 82063
 2009-09-16 18:18:06 +00:00
Dan Gohman
35984a8849 Use MemoryBuffer::getBufferIdentifier() in the AsmPrinter instead 
of requiring a name be passed in. This makes it use "<stdin>"
instead of "-" and makes it more consistent with the Bitcode reader.

llvm-svn: 81256
 2009-09-08 22:20:35 +00:00
Dan Gohman
1147a7ba87 Reappy r80998, now that the GlobalOpt bug that it exposed on MiniSAT is fixed. 
llvm-svn: 81172
 2009-09-07 23:54:19 +00:00
Daniel Dunbar
452643b58c Revert "Include optional subclass flags, such as inbounds, nsw, etc., ...", this 
breaks MiniSAT on x86_64.

llvm-svn: 81098
 2009-09-06 00:11:24 +00:00
Dan Gohman
8b386a0b63 Include optional subclass flags, such as inbounds, nsw, etc., in the 
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
 2009-09-04 12:08:11 +00:00
Dan Gohman
3f7a370991 Refactor common code from ParseAssemblyString and ParseAssemblyFile, 
to expose a low-level interface for parsing from an existing MemoryBuffer.

llvm-svn: 80803
 2009-09-02 17:18:19 +00:00
Nuno Lopes
fb0a20c04b plug another leak in LLParser::PerFunctionState::SetInstName() 
llvm-svn: 80792
 2009-09-02 15:02:57 +00:00
Nuno Lopes
f00826065d plug memory leak in LLParser::PerFunctionState::SetInstName() by deleting a value after replacing it 
llvm-svn: 80790
 2009-09-02 14:22:03 +00:00
Sandeep Patel
9c4e094e2a Retype from unsigned to CallingConv::ID accordingly. Approved by Bob Wilson. 
llvm-svn: 80773
 2009-09-02 08:44:58 +00:00
Dan Gohman
4fef698b89 Minor logic simplification. 
llvm-svn: 80453
 2009-08-29 23:37:49 +00:00
Devang Patel
fbaeda732e Reapply 79977. 
Use MDNodes to encode debug info in llvm IR.

llvm-svn: 80406
 2009-08-28 23:24:31 +00:00
Devang Patel
10c075a316 Revert 79977. It causes llvm-gcc bootstrap failures on some platforms. 
llvm-svn: 80073
 2009-08-26 05:01:18 +00:00
Dale Johannesen
f90fc6544b Add an 'inline hint' attribute to represent source 
code hints that it would be a good idea to inline
a function ("inline" keyword).  No functional change
yet; FEs do not emit this and inliner does not use it.

llvm-svn: 80063
 2009-08-26 01:08:21 +00:00
Dan Gohman
4d20610e6e Eliminate the unused Context argument on one of the ICmpInst and FCmpInst 
constructors.

llvm-svn: 80049
 2009-08-25 23:17:54 +00:00
Devang Patel
7d42bfab6c Update DebugInfo interface to use metadata, instead of special named llvm.dbg.... global variables, to encode debugging information in llvm IR. This is mostly a mechanical change that tests metadata support very well. 
This change speeds up llvm-gcc by more then 6% at "-O0 -g" (measured by compiling InstructionCombining.cpp!)

llvm-svn: 79977
 2009-08-25 05:24:07 +00:00
Duncan Sands
a769cf864c Fix the build with gcc-4.4 on linux: header needed 
for EOF.

llvm-svn: 79908
 2009-08-24 10:34:41 +00:00
Dan Gohman
6ec8176e22 Rename hasNoUnsignedOverflow and hasNoSignedOverflow to hasNoUnsignedWrap 
and hasNoSignedWrap, for consistency with the nuw and nsw properties.

llvm-svn: 79539
 2009-08-20 17:11:38 +00:00
Owen Anderson
dc11fe967d Actually privatize a IntegerTypes, and fix a few bugs exposed by this. 
llvm-svn: 78955
 2009-08-13 23:27:32 +00:00
Owen Anderson
9df206d02d Push LLVMContexts through the IntegerType APIs. 
llvm-svn: 78948
 2009-08-13 21:58:54 +00:00
Daniel Dunbar
3a5a25d5d5 Convert APint::{fromString,APInt,getBitsNeeded} to use StringRef. 
- Patch by Erick Tryzelaar, with some edits (and a bug fix) from me.

llvm-svn: 78885
 2009-08-13 02:33:34 +00:00
Dan Gohman
4ee8471442 Extend the AsmWriter to print unnamed numbered types as "%0 = type ..." 
and unnamed numbered global variables as "@0 = global ...". Extend the
AsmParser to recognize these forms.

llvm-svn: 78859
 2009-08-12 23:32:33 +00:00
Benjamin Kramer
9a590500ea Make LLVMContext and LLVMContextImpl classes instead of structs. 
llvm-svn: 78690
 2009-08-11 17:45:13 +00:00
Owen Anderson
3d0e1b855d Privatize the StructType table, which unfortunately involves routing contexts through a number of APIs. 
llvm-svn: 78258
 2009-08-05 23:16:16 +00:00
Owen Anderson
cf2c39dc30 Factor some of the constants+context related code out into a separate header, to make LLVMContextImpl.h 
not hideous.  Also, fix some MSVC compile errors.

llvm-svn: 78115
 2009-08-04 22:41:48 +00:00
Owen Anderson
034ab4f8b1 Move the metadata constructors back to 2.5 syntax. 
llvm-svn: 77733
 2009-07-31 21:35:40 +00:00
Owen Anderson
1dc40e205b Move a few more APIs back to 2.5 forms. The only remaining ones left to change back are 
metadata related, which I'm waiting on to avoid conflicting with Devang.

llvm-svn: 77721
 2009-07-31 20:28:14 +00:00
Owen Anderson
d0e6352c97 Move getTrue() and getFalse() to 2.5-like APIs. 
llvm-svn: 77685
 2009-07-31 17:39:07 +00:00
Owen Anderson
93ccaf5c60 Move more code back to 2.5 APIs. 
llvm-svn: 77635
 2009-07-30 23:03:37 +00:00
Owen Anderson
881d928f9b Move types back to the 2.5 API. 
llvm-svn: 77516
 2009-07-29 22:17:13 +00:00
Devang Patel
c8dfc60e5e There is no need to keep name ref in NamedMDNode. 
llvm-svn: 77511
 2009-07-29 21:58:56 +00:00
Owen Anderson
0ce2151b36 Move ConstantExpr to 2.5 API. 
llvm-svn: 77494
 2009-07-29 18:55:55 +00:00
Dan Gohman
a3af79a5c3 Minor code simplification. 
llvm-svn: 77459
 2009-07-29 15:58:36 +00:00
Devang Patel
127ab37209 Parse named metadata. 
llvm-svn: 77410
 2009-07-29 00:34:02 +00:00
Devang Patel
cb23671431 Rename MDNode.h header. It defines MDnode and other metadata classes. 
New name is Metadata.h.

llvm-svn: 77370
 2009-07-28 21:49:47 +00:00
Owen Anderson
390e9778d4 Return ConstantVector to 2.5 API. 
llvm-svn: 77366
 2009-07-28 21:19:26 +00:00
Owen Anderson
aa8c94b051 Change ConstantArray to 2.5 API. 
llvm-svn: 77347
 2009-07-28 18:32:17 +00:00
Owen Anderson
d729f993b8 Move ConstantStruct back to 2.5 API. 
llvm-svn: 77266
 2009-07-27 22:29:26 +00:00
Dan Gohman
490eb36e1d Add a new keyword 'inbounds' for use with getelementptr. See the 
LangRef.html changes for details.

llvm-svn: 77259
 2009-07-27 21:53:46 +00:00
Owen Anderson
256c2c250e Move ConstantFP construction back to the 2.5-ish API. 
llvm-svn: 77247
 2009-07-27 20:59:43 +00:00
Dan Gohman
39c0d3b10a Change the assembly syntax for nsw, nuw, and exact, putting them 
after their associated opcodes rather than before. This makes them
a little easier to read.

llvm-svn: 77194
 2009-07-27 16:11:46 +00:00
Benjamin Kramer
706c0b2b97 Test commit: fix typo 
llvm-svn: 77187
 2009-07-27 09:06:52 +00:00
Daniel Dunbar
9f50ab3c49 Finish migrating VMCore to StringRef/Twine based APIs. 
llvm-svn: 77051
 2009-07-25 06:02:13 +00:00
Eric Christopher
df9c86fc26 Move ExtractElementInst to ::Create instead of new. Update all uses. 
llvm-svn: 77044
 2009-07-25 02:28:41 +00:00
Owen Anderson
cc33e89571 Revert the ConstantInt constructors back to their 2.5 forms where possible, thanks to contexts-on-types. More to come. 
llvm-svn: 77011
 2009-07-24 23:12:02 +00:00
Eli Friedman
11e86150c4 Fix assert assembling zero-argument constant GEP. 
There's still a strict-aliasing violation here, but I don't feel like 
dealing with that right now...

llvm-svn: 77005
 2009-07-24 21:56:17 +00:00
Devang Patel
45ce5c2ac1 MDString 
- Rename member function size(). New name is length().
- Store string beginning and length. Earlier it used to store string end.

llvm-svn: 76841
 2009-07-23 02:00:51 +00:00
Devang Patel
63cece4454 Silence "uninitialized use" warning. 
llvm-svn: 76836
 2009-07-23 01:36:16 +00:00
Devang Patel
6b2162686a Derive MDNode from MetadataBase instead of Constant. Emit MDNodes into METADATA_BLOCK in bitcode file. 
llvm-svn: 76834
 2009-07-23 01:07:34 +00:00
Eric Christopher
973fc2d7ab Fix error message for correct opcode. 
llvm-svn: 76829
 2009-07-23 01:01:32 +00:00
Dan Gohman
001d777207 Rename the new unsigned and signed keywords to nuw and nsw, 
which stand for no-unsigned-wrap and no-signed-wrap.

llvm-svn: 76810
 2009-07-22 22:44:56 +00:00
Devang Patel
5794cb80ad Introduce MetadataBase, a base class for MDString and MDNode. 
Derive MDString directly from MetadataBase. 
Introduce new bitcode block to hold metadata.

llvm-svn: 76759
 2009-07-22 17:43:22 +00:00
Owen Anderson
7f61f8dc30 Rename getConstantInt{True|False} to get{True|False} at Chris' behest. 
llvm-svn: 76598
 2009-07-21 18:03:38 +00:00
Dan Gohman
d2ad3e183b Assembly and Bitcode support for unsigned/signed overflow flags and 
exact sdiv flags.

llvm-svn: 76475
 2009-07-20 21:19:07 +00:00
Devang Patel
25ea06491e Refactor metadata parsing routines into separate functions. 
llvm-svn: 76455
 2009-07-20 19:00:08 +00:00
Bill Wendling
1a10a060cb Add plumbing for the `linker_private' linkage type. This type is meant for 
"private" symbols which the assember shouldn't strip, but which the linker may
remove after evaluation. This is mostly useful for Objective-C metadata.

This is plumbing, so we don't have a use of it yet. More to come, etc.

llvm-svn: 76385
 2009-07-20 01:03:30 +00:00
Anton Korobeynikov
60f7bd3562 Add support for naked functions 
llvm-svn: 76198
 2009-07-17 18:07:26 +00:00
Owen Anderson
4483fbda5e Revert yesterday's change by removing the LLVMContext parameter to AllocaInst and MallocInst. 
llvm-svn: 75863
 2009-07-15 23:53:25 +00:00
Owen Anderson
8c85061ee6 Move EVER MORE stuff over to LLVMContext. 
llvm-svn: 75703
 2009-07-14 23:09:55 +00:00
Torok Edwin
f955a6ef49 llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable. 
This adds location info for all llvm_unreachable calls (which is a macro now) in
!NDEBUG builds.
In NDEBUG builds location info and the message is off (it only prints
"UREACHABLE executed").

llvm-svn: 75640
 2009-07-14 16:55:14 +00:00
Torok Edwin
ae8a3ff177 assert(0) -> LLVM_UNREACHABLE. 
Make llvm_unreachable take an optional string, thus moving the cerr<< out of
line.
LLVM_UNREACHABLE is now a simple wrapper that makes the message go away for
NDEBUG builds.

llvm-svn: 75379
 2009-07-11 20:10:48 +00:00
Owen Anderson
49226b1075 This started as a small change, I swear. Unfortunately, lots of things call the [I|F]CmpInst constructors. Who knew!? 
llvm-svn: 75200
 2009-07-09 23:48:35 +00:00
Devang Patel
61c3f7bd41 Fix thinko. 
llvm-svn: 75061
 2009-07-08 22:25:56 +00:00
Devang Patel
23e55694c5 Drop "constant" from 
!0 = constant metadata !{...}

llvm-svn: 75057
 2009-07-08 21:57:07 +00:00
Devang Patel
530fc78aec Support MDNode forward reference. 
llvm-svn: 75031
 2009-07-08 19:23:54 +00:00
Owen Anderson
332aae685b Switch GlobalVariable ctors to a sane API, where *either* a context or a module is required. 
llvm-svn: 75025
 2009-07-08 19:03:57 +00:00
Nick Lewycky
d46a7b2d22 Remove the vicmp and vfcmp instructions. Because we never had a release with 
these instructions, no autoupgrade or backwards compatibility support is
provided.

llvm-svn: 74991
 2009-07-08 03:04:38 +00:00
Owen Anderson
7a1f69e433 Push LLVMContext through GlobalVariables and IRBuilder. 
llvm-svn: 74985
 2009-07-08 01:26:06 +00:00
Owen Anderson
33df2f9812 Use LLVMContext in the LLLexer. 
llvm-svn: 74934
 2009-07-07 18:44:11 +00:00
Chris Lattner
d49e5380ec switch the .ll parser to use SourceMgr. 
llvm-svn: 74735
 2009-07-02 23:08:13 +00:00
Chris Lattner
739a32b190 switch the .ll parser into SMDiagnostic. 
llvm-svn: 74734
 2009-07-02 22:46:18 +00:00
Owen Anderson
4c1647bc63 Use LLVMContext for generating MDStrings too. 
llvm-svn: 74710
 2009-07-02 17:28:30 +00:00
Owen Anderson
ea0b9b58ae Use LLVMContext to generate metadata constants. 
llvm-svn: 74708
 2009-07-02 17:20:28 +00:00
Owen Anderson
bd328c24a0 Use LLVMContext for generating UndefValue constants too! 
llvm-svn: 74703
 2009-07-02 17:04:01 +00:00
Owen Anderson
110917b453 Try again at converting the LLParser to use LLVMContext, without massive breakage this time. 
llvm-svn: 74671
 2009-07-01 23:57:11 +00:00
Owen Anderson
4fa7e54329 Make the use of const with respect to LLVMContext sane. Hopefully this is the last time, for the 
moment, that I will need to make far-reaching changes.

llvm-svn: 74655
 2009-07-01 23:13:44 +00:00
Bill Wendling
cbd3f64f54 --- Reverse-merging (from foreign repository) r74648 into '.': 
U    include/llvm/LLVMContext.h
U    lib/VMCore/LLVMContext.cpp
U    lib/AsmParser/LLParser.cpp
U    lib/AsmParser/LLParser.h

Temporarily reverting r74648. It was causing massive failures in release mode.

llvm-svn: 74653
 2009-07-01 22:33:26 +00:00
Owen Anderson
b70b5ab513 Convert LLParser to use LLVMContext for creating constants. 
llvm-svn: 74648
 2009-07-01 21:57:44 +00:00
Owen Anderson
cf112e59c3 Hold the LLVMContext by reference rather than by pointer. 
llvm-svn: 74640
 2009-07-01 21:22:36 +00:00
Devang Patel
905d32435c Support stand alone metadata syntax. 
!0 = constant metadata !{i32 21, i32 22}
@llvm.blah = constant metadata !{i32 1000, i16 200, metadata !0}

llvm-svn: 74630
 2009-07-01 19:21:12 +00:00
Owen Anderson
81b8dabb53 Add a pointer to the owning LLVMContext to Module. This requires threading LLVMContext through a lot 
of the bitcode reader and ASM parser APIs, as well as supporting it in all of the tools.

Patches for Clang and LLVM-GCC to follow.

llvm-svn: 74614
 2009-07-01 16:58:40 +00:00
Chris Lattner
4bdaace06e improve the APIs for creating struct and function types with no arguments/elements 
to not have to create a temporary vector (in the API at least).  Patch by Jay Foad!

llvm-svn: 74584
 2009-07-01 04:13:31 +00:00
Anton Korobeynikov
cc8d0058e2 Address review comments: add 3 ARM calling conventions. 
Dispatch C calling conv. to one of these conventions based on
target triple and subtarget features.

llvm-svn: 73530
 2009-06-16 18:50:49 +00:00
Dan Gohman
1fdd9a7c08 Fix a typo in a diagnostic. 
llvm-svn: 73429
 2009-06-15 21:52:11 +00:00
Dan Gohman
111f127d23 Fix old-style type names in comments. 
llvm-svn: 73362
 2009-06-14 23:30:43 +00:00
Nick Lewycky
71dc3c5d85 Create FunctionType::isValidArgumentType to go along with isValidReturnType. 
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
 2009-06-07 07:26:46 +00:00
Nick Lewycky
3a8ea63343 Refuse metadata* type for function arguments. 
llvm-svn: 73010
 2009-06-07 01:45:11 +00:00
Devang Patel
8d170194e8 Add new function attribute - noimplicitfloat 
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
 2009-06-05 21:57:13 +00:00
Dan Gohman
5f6f8101d5 Split the Add, Sub, and Mul instruction opcodes into separate 
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
 2009-06-04 22:49:04 +00:00
Devang Patel
9757e4f9f3 Add new function attribute - noredzone. 
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
 2009-06-04 22:05:33 +00:00
Nick Lewycky
a9de2f1c81 Give embedded metadata its own type instead of relying on EmptyStructTy. 
llvm-svn: 72610
 2009-05-30 05:06:04 +00:00
Jay Foad
16d48d2595 Use v.data() instead of &v[0] when SmallVector v might be empty. 
llvm-svn: 72210
 2009-05-21 09:52:38 +00:00
Nick Lewycky
f417462ddf Make MDNode use CallbackVH. Also change MDNode to store Value* instead of 
Constant* in preperation of a future change to support holding non-Constants
in an MDNode.

llvm-svn: 71407
 2009-05-10 20:57:05 +00:00
Chris Lattner
f795b63fb2 testcase and asmparser fix for PR4066 
llvm-svn: 70080
 2009-04-25 21:26:00 +00:00
Nick Lewycky
ecd6602046 Fix warning in .ll parser, detect and reject available_externally on function 
declarations.

llvm-svn: 68944
 2009-04-13 07:02:02 +00:00
Chris Lattner
c1bfdc9bb2 Add a new "available_externally" linkage type. This is intended 
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
 2009-04-13 05:44:34 +00:00
Nick Lewycky
eea5412e19 Add support for embedded metadata to LLVM. This introduces two new types of 
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
 2009-04-04 07:22:01 +00:00
Chris Lattner
e7eed82209 Fix a bug in our autoupgrade support: in an argument list to a function 
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
 2009-03-25 06:36:36 +00:00
Dale Johannesen
34123aba43 Fix internal representation of fp80 to be the 
same as a normal i80 {low64, high16} rather
than its own {high64, low16}.  A depressing number
of places know about this; I think I got them all.
Bitcode readers and writers convert back to the old
form to avoid breaking compatibility.

llvm-svn: 67562
 2009-03-23 21:16:53 +00:00
Duncan Sands
b27c523449 It makes no sense to have a ODR version of common 
linkage, so remove it.

llvm-svn: 66690
 2009-03-11 20:14:15 +00:00
Duncan Sands
aadb34c357 Remove the one-definition-rule version of extern_weak 
linkage: this linkage type only applies to declarations,
but ODR is only relevant to globals with definitions.

llvm-svn: 66650
 2009-03-11 08:08:06 +00:00
Chris Lattner
2db6dc1753 Fix two classes of bugs. First: 
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
 2009-03-09 04:49:14 +00:00
Duncan Sands
5ab54d488f Introduce new linkage types linkonce_odr, weak_odr, common_odr 
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
 2009-03-07 15:45:40 +00:00
Chris Lattner
a9611661b0 Fix a pretty awesome bug that only happened in a strange case with anonymous 
types.  This was reading the uint for the keyword after the token was advanced.

llvm-svn: 65743
 2009-03-01 00:53:13 +00:00
Chris Lattner
af8467a57f reject 0 element vectors with: 
@a = internal constant void bitcast(<0 x i8> <> to void)
                                     ^

Fixes PR3685

llvm-svn: 65698
 2009-02-28 18:12:41 +00:00
Chris Lattner
fc11ee35c5 add proper asmwriter and asmparser support for anonymous functions. 
llvm-svn: 64953
 2009-02-18 21:48:13 +00:00
Duncan Sands
e0f1fe111b Pacify gcc-4.3 (thinks IsConstant may be used 
uninitialized).

llvm-svn: 64220
 2009-02-10 16:24:55 +00:00
Dan Gohman
b7e521e39d Use slightly more correct grammar in error messages. 
llvm-svn: 64148
 2009-02-09 17:41:21 +00:00
Chris Lattner
f6b4b170b6 fix typo 
llvm-svn: 64091
 2009-02-08 20:00:15 +00:00
Chris Lattner
803ee40d44 reject void pointers with a nice error: 
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
 2009-02-08 19:56:22 +00:00
Dale Johannesen
fa28929927 Reapply 63765. Patches for clang and llvm-gcc to follow. 
llvm-svn: 63812
 2009-02-05 01:49:45 +00:00
Dale Johannesen
f6e1822ccd Reverting 63765. This broke the build of both clang 
and llvm-gcc.

llvm-svn: 63786
 2009-02-04 22:47:25 +00:00
Nate Begeman
66f10b55ed New feature: add support for target intrinsics being defined in the 
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
 2009-02-04 19:47:21 +00:00
Chris Lattner
11cfab6d5b Fix PR3372 
llvm-svn: 63501
 2009-02-02 07:24:28 +00:00
Rafael Espindola
0aba6c9435 Add the private linkage. 
llvm-svn: 62279
 2009-01-15 20:18:42 +00:00
Misha Brukman
71c7e40966 Removed trailing whitespace from Makefiles. 
llvm-svn: 61991
 2009-01-09 16:44:42 +00:00
Dan Gohman
ff89414349 61949 accidentally introduced an escaped newline. Fix this by making 
the comment a little more verbose.

llvm-svn: 61959
 2009-01-08 23:51:48 +00:00
Dan Gohman
88a0d4277d Fix the comment for lltok::backslash. 
llvm-svn: 61949
 2009-01-08 22:18:13 +00:00
Dan Gohman
831bc48415 Fix the path to llvm/Assembly/Parser.h in a comment. 
llvm-svn: 61948
 2009-01-08 22:17:05 +00:00
Chris Lattner
e16e141b70 one more crash from PR3281, we now diagnose: 
llvm-as: t.ll:2:39: function may not return opaque type
  %"bwmoyl" = tail call coldcc opaque @g()
                                      ^
llvm-svn: 61933
 2009-01-08 19:05:36 +00:00
Chris Lattner
b01c512756 fix wordo 
llvm-svn: 61728
 2009-01-05 18:56:52 +00:00
Steve Naroff
767201ceb7 Remove redundant ValID::ValID:: scoping (doesn't compile on Windows). 
llvm-svn: 61727
 2009-01-05 18:48:47 +00:00
Chris Lattner
f543d03f11 Reject PR3281:accepted03.ll with: 
llvm-as: accepted03.ll:1:35: invalid unresolved type up reference
declare void @r({ \7, opaque, \10 } %su)
                                  ^

llvm-svn: 61725
 2009-01-05 18:34:07 +00:00
Chris Lattner
2f04085542 reject PR3281:crash11.ll with: 
llvm-as: crash11.ll:2:27: function may not return return opaque type
  "xw" = tail call opaque @608(label %31)
                          ^

llvm-svn: 61722
 2009-01-05 18:27:50 +00:00
Chris Lattner
069abb5938 reject PR3281:crash10.ll with: 
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
 2009-01-05 18:24:23 +00:00
Chris Lattner
67e73e6d75 reject PR3281:crash09.ll with this diagnostic: 
llvm-as: crash09.ll:3:1: self referential type is invalid
type %0
^

llvm-svn: 61720
 2009-01-05 18:19:46 +00:00
Chris Lattner
a87b200aae allow opaque undefs. This resolves PR3282 and fixes 
test/Assembler/2005-05-05-OpaqueUndefValues.ll

llvm-svn: 61719
 2009-01-05 18:12:21 +00:00
Dan Gohman
8271066844 Tidy up #includes, deleting a bunch of unnecessary #includes. 
llvm-svn: 61715
 2009-01-05 17:59:02 +00:00
Chris Lattner
9bc5db2fa4 produce the same diagnostics for vicmp constant exprs as vicmp instructions. 
llvm-svn: 61685
 2009-01-05 08:26:05 +00:00
Chris Lattner
f6df8b7ec7 Fix PR3281:crash08.ll with this diagnostic: 
llvm-as: crash08.ll:3:15: invalid operand type for instruction
  "qp" = sdiv fp128 0x1, %30
              ^

llvm-svn: 61684
 2009-01-05 08:24:46 +00:00
Chris Lattner
8de7fa4840 reject PR3281:crash07.ll with: 
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
 2009-01-05 08:18:44 +00:00
Chris Lattner
6bbcc64cc0 reject undef/zero labels. This fixes PR3281:crash0[56].ll with these 
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
 2009-01-05 08:13:38 +00:00
Chris Lattner
6488ba2b78 add checking intentionally elided for vfcmp/vicmp since they should really 
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
 2009-01-05 08:09:48 +00:00
Chris Lattner
706b194790 diagnose PR3281:crash02.ll with: 
llvm-as: crash02.ll:1:62: invalid function return type
declare { <{ <{}>, void ([1898 x { void ()* }], opaque, ...) (), fp128 * }>, opaque } @t ()
                                                             ^

llvm-svn: 61679
 2009-01-05 08:04:33 +00:00
Chris Lattner
121105b8d7 reject PR3281:crash01.ll with: 
llvm-as: crash01.ll:1:9: invalid function return type
declare opaque @t()
        ^

llvm-svn: 61678
 2009-01-05 08:00:30 +00:00
Chris Lattner
4269844a07 fix PR3281:accepted0[02].ll: represent empty arrays distinctly, and 
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
 2009-01-05 07:52:51 +00:00
Chris Lattner
92af77f45c PR3281:crash00.ll: produce this diagnostic instead of crashing: 
@t = global i8 0, align 3
                        ^

llvm-svn: 61675
 2009-01-05 07:46:05 +00:00
Chris Lattner
a76e94a12e Refactor some parser interfaces to fix PR3278 and a FIXME: 
ParseAssemblyString with a specified module would not parse
into the module, it would create and return a new one.

llvm-svn: 61635
 2009-01-04 20:44:11 +00:00
Misha Brukman
45c8a4df20 Alphabetized #includes. 
llvm-svn: 61595
 2009-01-02 22:49:28 +00:00
Misha Brukman
8d90975ba9 Down with trailing whitespace! 
llvm-svn: 61594
 2009-01-02 22:46:48 +00:00
Daniel Dunbar
eedbd9ee1b Remove comma at end of enumerator list. 
llvm-svn: 61585
 2009-01-02 16:32:55 +00:00
Daniel Dunbar
2c89c6ebae Remove bison specific Makefile bits for AsmParser. 
llvm-svn: 61584
 2009-01-02 16:29:09 +00:00
Chris Lattner
f90c958115 Fix a really horrible typo, which caused undefined behavior. 
llvm-svn: 61566
 2009-01-02 08:49:06 +00:00
Chris Lattner
1af2113e10 minor cleanups and comment improvements. 
llvm-svn: 61564
 2009-01-02 08:05:26 +00:00
Chris Lattner
2950e29626 add a #include to hopefully get the x86-64-linux buildbot building. 
llvm-svn: 61563
 2009-01-02 07:18:46 +00:00
Chris Lattner
2d37a9be23 update the cmakefile. This is a "best guess", I haven't tested this. 
llvm-svn: 61561
 2009-01-02 07:14:23 +00:00
Chris Lattner
f28c74870f Reimplement the old and horrible bison parser for .ll files with a nice 
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
 2009-01-02 07:01:27 +00:00