RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-26 06:22:56 +02:00
Code Issues Projects Releases Wiki Activity
47,206 Commits 4 Branches 5 Tags 704 MiB
7d2d5c974e
Commit Graph

2660 Commits

Author SHA1 Message Date
Owen Anderson
7d2d5c974e Fix the double checked locking in this file too. 
llvm-svn: 73703
 2009-06-18 16:17:42 +00:00
Owen Anderson
a74e3d8a1c As pointed out by Duncan, I accidentally dropped the first MemoryFence of the 
double-checked locking pattern here.

llvm-svn: 73701
 2009-06-18 16:08:27 +00:00
Nick Lewycky
bd1de19b3f Add braces to clarify if/else structure and remove warning. 
llvm-svn: 73673
 2009-06-18 03:01:42 +00:00
Owen Anderson
00e7ebbc38 Reapply r73647 in a non-broken form. 
llvm-svn: 73662
 2009-06-17 23:49:06 +00:00
Owen Anderson
66eb50a125 Use double-checked locking for this lazy initialization. 
llvm-svn: 73653
 2009-06-17 22:53:57 +00:00
Owen Anderson
0e2a78e820 Protect the GC table in Function.cpp 
llvm-svn: 73647
 2009-06-17 22:23:31 +00:00
Owen Anderson
2db8ec3635 Use atomic increment here. 
llvm-svn: 73643
 2009-06-17 22:01:09 +00:00
Owen Anderson
327464c4d3 Thread-safe (and ManagedStatic-ized) LeakDetector! 
llvm-svn: 73642
 2009-06-17 21:56:05 +00:00
Owen Anderson
4874790cb9 Guard mutation of the timing info global. 
llvm-svn: 73639
 2009-06-17 21:28:54 +00:00
Owen Anderson
a4471607bc We need to use double-checked locking for lazy initialization in this case when running multithreaded. 
llvm-svn: 73636
 2009-06-17 21:16:20 +00:00
Owen Anderson
b43a8ba8e5 Factor out some common code. 
llvm-svn: 73631
 2009-06-17 20:43:39 +00:00
Owen Anderson
f8776799ec Add an RAII ScopedWriter, which allows one to acquire a writer lock for the duration of a scope. Simplify a lot of uses of 
writer locks in Constants.cpp by using it.

llvm-svn: 73630
 2009-06-17 20:34:43 +00:00
Owen Anderson
3bf7bd1297 Simplify the locking on the Constants tables, and make it more efficient, by pushing it into the ValueMap from the callers. 
Document those ValueMap functions that are _not_ locked, so that callers are aware that they need to do the locking themselves.

llvm-svn: 73628
 2009-06-17 20:10:08 +00:00
Owen Anderson
fedb566872 Type safety for Constants.cpp! Some of this is temporary, as I'm planning to push some of the R/W locking into FoldingSet. 
llvm-svn: 73624
 2009-06-17 18:40:29 +00:00
Owen Anderson
d7312aff32 Protect the ValueHandle table. 
llvm-svn: 73620
 2009-06-17 17:36:57 +00:00
Owen Anderson
5b8615fcbd We need to guard reads of the AbstractTypeUsers list, as well as writes to it. While it would be nice to use a R/W lock here, 
we can't, because it HAS to be recursive.

llvm-svn: 73617
 2009-06-17 17:13:54 +00:00
Owen Anderson
179a1f49dc Type safety for TypeSymbolTable! 
llvm-svn: 73614
 2009-06-17 16:56:27 +00:00
Owen Anderson
b34766ddc8 Add locking around the accessors for AbstractTypeUsers. 
llvm-svn: 73586
 2009-06-17 00:12:30 +00:00
Owen Anderson
d1fbbd8273 Use a reader-writer lock to guard large portions of the Type infrastructure, including abstract type refinement. 
There's still some more work to be done here, such as guarding removeAbstractTypeUser() and the printers.

llvm-svn: 73575
 2009-06-16 22:51:18 +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
0b9e2dc359 Use Type::isIntOrIntVector and Type::isFPOrFPVector. 
llvm-svn: 73433
 2009-06-15 22:25:12 +00:00
Dan Gohman
2e737ac21f Support vector casts in more places, fixing a variety of assertion 
failures.

To support this, add some utility functions to Type to help support
vector/scalar-independent code. Change ConstantInt::get and
ConstantFP::get to support vector types, and add an overload to
ConstantInt::get that uses a static IntegerType type, for
convenience.

Introduce a new getConstant method for ScalarEvolution, to simplify
common use cases.

llvm-svn: 73431
 2009-06-15 22:12:54 +00:00
Dan Gohman
111f127d23 Fix old-style type names in comments. 
llvm-svn: 73362
 2009-06-14 23:30:43 +00:00
Dan Gohman
43f66023c3 Give Instruction::isSameOperationAs a corresponding comment to note 
the relationship with MergeFunctions.cpp's isEquivalentOperation,
and make a trivial code reordering so that the two functions are
easier to compare.

Fix the name of Instruction::isSameOperationAs in MergeFunction.cpp's
isEquivalentOperation's comment, and fix a nearby 80-column violation.

llvm-svn: 73241
 2009-06-12 19:03:05 +00:00
Duncan Sands
9b5e3effef Cosmetic changes to parameter attribute verification. 
llvm-svn: 73188
 2009-06-11 08:11:03 +00:00
Jay Foad
5affd7b2c9 Implement and use new method Function::hasAddressTaken(). 
llvm-svn: 73164
 2009-06-10 08:41:11 +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
a96000f2bf Remove cyclic MDNode detection. Any attempt to create a cyclic MDNode will 
crash LLVM first.

llvm-svn: 73011
 2009-06-07 04:03:01 +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
23c22e9da0 Fix a copy+pasto in an assertion string that Jay Foad noticed. 
llvm-svn: 72953
 2009-06-05 18:34:16 +00:00
Dan Gohman
947f4aca22 Update the Verifier to be aware of the difference between Add and FAdd, etc. 
llvm-svn: 72946
 2009-06-05 16:10:00 +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
Bill Wendling
8235a05c1a Untabification. 
llvm-svn: 72604
 2009-05-30 01:09:53 +00:00
Duncan Sands
f4fe76d46b Dan noticed that the verifier wasn't thoroughly checking uses of 
invoke results (see the testcases).  Tighten up the checking.

llvm-svn: 72586
 2009-05-29 19:39:36 +00:00
Nick Lewycky
1637afae75 Audit the type constructors. Previously it was possible to create [0 x void] 
or use labels as members of structures for example. Also included a couple of
whitespace fixes.

llvm-svn: 72402
 2009-05-25 21:28:11 +00:00
Duncan Sands
5be81a26da Always verify dominfo if expensive checking is enabled. 
llvm-svn: 72253
 2009-05-22 08:52:53 +00:00
Torok Edwin
9b75edbd14 Revert this. There's no way to verifiy indirect calls, and an optimizer can turn 
indirect call into direct call, thus the verifier would reject something it
previously accepted.

llvm-svn: 72249
 2009-05-22 07:12:05 +00:00
Torok Edwin
8c1af7f5be Verify that calling conventions match function prototype. 
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
 2009-05-22 06:41:43 +00:00
Dan Gohman
67af546881 Update an assertion string to new-style type names. 
llvm-svn: 72239
 2009-05-22 00:40:35 +00:00
Eli Friedman
d4f9668eb7 Fix some incorrect logic in DominanceFrontier::splitBlock. Part of 
PR4238.

llvm-svn: 72223
 2009-05-21 20:40:30 +00:00
Duncan Sands
316352b541 Add a getAlignOf helper for getting the ABI alignment of a 
type as a target independent constant expression.  I confess
that I didn't check that this method works as intended (though
I did test the equivalent hand-written IR a little).  But what
could possibly go wrong!

llvm-svn: 72213
 2009-05-21 15:52:21 +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
Dan Gohman
a21c85512e Revert r72025. It is possible for clients to convert between signed types 
and pointer types safely if they only do so when the sizes are the same.
llvm-gcc is such a client.

llvm-svn: 72029
 2009-05-18 18:55:39 +00:00
Dan Gohman
20650de700 Add assertions to CastInst::getCastOpcode to catch attempted conversions 
between integers and pointers when the source type is marked signed,
since inttoptr and ptrtoint always use zero-extension when the destination
is larger than the source.

llvm-svn: 72025
 2009-05-18 18:18:57 +00:00
Bill Wendling
eb4b041ea1 Needed #includes. Thanks Fritz van Bommel! 
llvm-svn: 71413
 2009-05-10 23:27:41 +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
Duncan Sands
28e07fdaa2 OCaml parameter attribute bindings from PR2752. 
Incomplete, but better than nothing.

llvm-svn: 71081
 2009-05-06 12:21:17 +00:00
Duncan Sands
880eaf5278 Allow readonly functions to unwind exceptions. Teach 
the optimizers about this.  For example, a readonly
function with no uses cannot be removed unless it is
also marked nounwind.

llvm-svn: 71071
 2009-05-06 06:49:50 +00:00