RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-22 20:43:44 +02:00
Code Issues Projects Releases Wiki Activity
56,033 Commits 4 Branches 5 Tags 704 MiB
d6b351119b
Commit Graph

3280 Commits

Author SHA1 Message Date
Victor Hernandez
4d7283f82c Autoupgrade malloc insts to malloc calls. 
Update testcases that rely on malloc insts being present.

Also prematurely remove MallocInst handling from IndMemRemoval and RaiseAllocations to help pass tests in this incremental step.

llvm-svn: 84292
 2009-10-17 00:00:19 +00:00
Devang Patel
95b6efe972 Add copyMD to copy metadata from one instruction to another instruction. 
llvm-svn: 84113
 2009-10-14 17:02:49 +00:00
Duncan Sands
4fcf6123dd I don't see any point in having both eh.selector.i32 and eh.selector.i64, 
so get rid of eh.selector.i64 and rename eh.selector.i32 to eh.selector.
Likewise for eh.typeid.for.  This aligns us with gcc, which always uses a
32 bit value for the selector on all platforms.  My understanding is that
the register allocator used to assert if the selector intrinsic size didn't
match the pointer size, and this was the reason for introducing the two
variants.  However my testing shows that this is no longer the case (I
fixed some bugs in selector lowering yesterday, and some more today in the
fastisel path; these might have caused the original problems).

llvm-svn: 84106
 2009-10-14 16:11:37 +00:00
Dale Johannesen
7db511a23e Add an "msasm" flag to inline asm as suggested in PR 5125. 
A little ugliness is accepted to keep the binary file format
compatible.  No functional change yet.

llvm-svn: 84020
 2009-10-13 20:46:56 +00:00
Devang Patel
729589a539 Copy metadata when value is RAUW'd. It is debatable whether this is the right approach for custom metadata data in general. However, right now the only custom data user, "dbg", expects this behavior while FE is constructing llvm IR with debug info. 
llvm-svn: 83977
 2009-10-13 17:00:54 +00:00
Nick Lewycky
ee0c1726d8 Force memory use markers to have a ConstantInt for the size argument. 
llvm-svn: 83960
 2009-10-13 07:57:33 +00:00
Jeffrey Yasskin
7d85d5a366 Fix http://llvm.org/PR5160, to let CallbackVHs modify other ValueHandles on the 
same Value without breaking things.

llvm-svn: 83861
 2009-10-12 17:43:32 +00:00
Chris Lattner
b2e0e6c46b add some more hooks to the C bindings, patch by Kenneth Uildriks! 
llvm-svn: 83821
 2009-10-12 04:01:02 +00:00
Dan Gohman
68e044e81a Add a form of addPreserved which takes a string argument, to allow passes 
to declare that they preserve other passes without needing to pull in
additional header file or library dependencies. Convert MachineFunctionPass
and CodeGenLICM to make use of this.

llvm-svn: 83555
 2009-10-08 17:00:02 +00:00
Devang Patel
c411175393 Do not assume that the module is set. 
llvm-svn: 83462
 2009-10-07 16:37:55 +00:00
Duncan Sands
27cb155f76 Make getPointerTo return a const PointerType* rather than 
an unqualified PointerType* because it seems more correct.

llvm-svn: 83454
 2009-10-07 07:35:19 +00:00
Duncan Sands
2400ad7236 Introduce and use convenience methods for getting pointer types 
where the element is of a basic builtin type.  For example, to get
an i8* use getInt8PtrTy.

llvm-svn: 83379
 2009-10-06 15:40:36 +00:00
Chris Lattner
a3cf123e86 strength reduce a ton of type equality tests to check the typeid (Through 
the new predicates I added) instead of going through a context and doing a
pointer comparison.  Besides being cheaper, this allows a smart compiler
to turn the if sequence into a switch.

llvm-svn: 83297
 2009-10-05 05:54:46 +00:00
Nick Lewycky
5bf0eb2dd5 Requires element types in a constant initializer to match the element types of 
of the constant. This reverts r6544 and r7428.

llvm-svn: 83270
 2009-10-03 19:30:43 +00:00
Devang Patel
43ce9e3e75 Check for null MDNode element while printing comment. 
llvm-svn: 83172
 2009-09-30 21:26:51 +00:00
Jeffrey Yasskin
2d4f3f6704 Assert that ConstantArrays are created with correctly-typed elements. 
llvm-svn: 83168
 2009-09-30 21:08:08 +00:00
Devang Patel
24270e88cc Print tag name for MDNodes that are used to encode debug info. 
llvm-svn: 83160
 2009-09-30 20:16:54 +00:00
Devang Patel
c1e370a29c Lookup handler name only when assertions are enabled. 
llvm-svn: 83114
 2009-09-29 22:05:52 +00:00
Devang Patel
39b5b72d74 Add removeMD(). 
llvm-svn: 83107
 2009-09-29 20:42:25 +00:00
Devang Patel
292bcd8ca1 Only one custom meadata of each kind can be attached with an instruction. 
llvm-svn: 83105
 2009-09-29 20:30:57 +00:00
Devang Patel
351585921d Use assertion instead of early exit to catch malformed custom metadata store. 
llvm-svn: 83102
 2009-09-29 20:01:19 +00:00
Devang Patel
629ad89954 Parse custom metadata attached with an instruction. 
llvm-svn: 83033
 2009-09-29 00:01:14 +00:00
Dan Gohman
74e63461d2 Add C API calls for building FNeg operations. Patch by KS Sreeram! 
llvm-svn: 83021
 2009-09-28 21:51:41 +00:00
Devang Patel
1070b7a713 s/class Metadata/class MetadataContext/g 
llvm-svn: 83019
 2009-09-28 21:41:20 +00:00
Devang Patel
d836a7d651 Do not use global typedef for MDKindID. 
llvm-svn: 83016
 2009-09-28 21:14:55 +00:00
Devang Patel
9e2af6ed0b Do not hardcode metadata names. 
llvm-svn: 83010
 2009-09-28 20:56:00 +00:00
Devang Patel
5a52b71500 Remove dead code. 
llvm-svn: 82999
 2009-09-28 18:31:56 +00:00
Dan Gohman
584645dfe8 Remove temporary debugging hack. 
llvm-svn: 82953
 2009-09-28 00:44:15 +00:00
Dan Gohman
bd50ec69e4 Move the dominator verification code out of special code embedded within 
the PassManager code into a regular verifyAnalysis method.

Also, reorganize loop verification. Make the LoopPass infrastructure
call verifyLoop as needed instead of having LoopInfo::verifyAnalysis
check every loop in the function after each looop pass. Add a new
command-line argument, -verify-loop-info, to enable the expensive
full checking.

llvm-svn: 82952
 2009-09-28 00:27:48 +00:00
Dan Gohman
09f5f7f190 Extend the StartPassTimer and StopPassTimer functions so that the 
code that stops the timer doesn't have to search to find the timer
object before it stops the timer. This avoids a lock acquisition
and a few other things done with the timer running.

llvm-svn: 82949
 2009-09-28 00:07:05 +00:00
Dan Gohman
fdd9a2ee96 Extract the code for releasing a pass into a separate function, and 
tidy it up a little.

llvm-svn: 82944
 2009-09-27 23:38:27 +00:00
Nick Lewycky
04cea17209 Remove the "metadata*" type and simplify the code it complicated. This was only 
used to support GlobalVariables storing MDNodes, back when they were derived
from Constant before the introduction of NamedMDNode, but never removed.

llvm-svn: 82943
 2009-09-27 23:27:42 +00:00
Nick Lewycky
81504d2150 Round out the API for the new optimization flags. 
llvm-svn: 82930
 2009-09-27 21:33:04 +00:00
Dan Gohman
eb9dbb2bd2 Micro-optimize DerivedType::dropAllTypeUses. 
llvm-svn: 82900
 2009-09-27 15:32:21 +00:00
Nick Lewycky
676778014b Remove dead code from this function and optimize. Update its corresponding 
LangRef entry too.

llvm-svn: 82890
 2009-09-27 07:55:32 +00:00
Nick Lewycky
d21c325f09 Instruction::clone does not need to take an LLVMContext&. Remove that and 
update all the callers.

llvm-svn: 82889
 2009-09-27 07:38:41 +00:00
Duncan Sands
ec5d64fdd5 For the NSWSub support in the builder to actually be useable, 
there need to be corresponding changes to the constant folders,
done in this patch.

llvm-svn: 82862
 2009-09-26 15:35:35 +00:00
Dan Gohman
d585364b0b Rename ConstantFP's getInf to getInfinity. 
llvm-svn: 82823
 2009-09-25 23:40:21 +00:00
Dan Gohman
01b2c857ed Add a ConstantFP::getInf utility function for creating infinity ConstantFPs. 
llvm-svn: 82818
 2009-09-25 23:00:48 +00:00
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
Devang Patel
2b6906a18d Move parent assertion check before metadata deletion. 
llvm-svn: 82692
 2009-09-24 16:19:11 +00:00
Devang Patel
6709bea96c Delete attached metadata when an instruction is deleted. 
llvm-svn: 82647
 2009-09-23 20:33:51 +00:00
Devang Patel
18dae0848f Do not leave behind metadata while cloning an instruction. 
llvm-svn: 82638
 2009-09-23 18:32:25 +00:00
Dan Gohman
8b2d3ef326 Give MachineMemOperand an operator<<, factoring out code from 
two different places for printing MachineMemOperands.

Drop the virtual from Value::dump and instead give Value a
protected virtual hook that can be overridden by subclasses
to implement custom printing. This lets printing be more
consistent, and simplifies printing of PseudoSourceValue
values.

llvm-svn: 82599
 2009-09-23 01:33:16 +00:00
Victor Hernandez
d2cc74eb2d No need to verify that malloc's return type is i8*. 
llvm-svn: 82561
 2009-09-22 18:50:03 +00:00
Daniel Dunbar
34413e6018 Fix commento. 
llvm-svn: 82544
 2009-09-22 10:30:34 +00:00
Daniel Dunbar
6d5513977b Add a TrackingVH value handle. 
This is designed for tracking a value even when it might move (like WeakVH), but it is an error to delete the referenced value (unlike WeakVH0. TrackingVH is templated like AssertingVH on the tracked Value subclass, it is an error to RAUW a tracked value to an incompatible type.

For implementation reasons the latter error is only diagnosed on accesses to a mis-RAUWed TrackingVH, because we don't want a virtual interface in a templated class.

The former error is also only diagnosed on access, so that clients are allowed to delete a tracked value, as long as they don't use it. This makes it easier for the client to reason about destruction.

llvm-svn: 82506
 2009-09-22 02:02:33 +00:00
Chris Lattner
611a14fce0 Fix PR5023: The instruction form of DominatorTree::dominates did not 
take into consideration that the result of an invoke is only valid in
the normal dest, not the unwind dest.  This caused 'PHINode::hasConstantValue'
to return true in an invalid situation, causing mem2reg to delete a phi that
was actually needed.  This caused a crash building 483.xalancbmk.

llvm-svn: 82491
 2009-09-21 22:39:35 +00:00
Chris Lattner
1ceac42392 move DominatorTree::dominates for instructions out of line, 
no functionality change.

llvm-svn: 82490
 2009-09-21 22:30:50 +00:00
Chris Lattner
78d19af97a tidy up 
llvm-svn: 82489
 2009-09-21 22:27:34 +00:00
Nuno Lopes
cdb4b7116b initialize SymbolsCanStartWithDigit to false by default 
llvm-svn: 82454
 2009-09-21 14:11:56 +00:00
Nick Lewycky
ecb17d4648 Peer through zext and sext to eliminate them when it is safe to do so. 
llvm-svn: 82389
 2009-09-20 07:31:25 +00:00
Nick Lewycky
991c5185bb Fold 'icmp eq (icmp), true' into an xor(icmp). 
llvm-svn: 82386
 2009-09-20 07:21:39 +00:00
Nick Lewycky
cd6475ebe9 Correct the comment; this applies to fcmp too. 
llvm-svn: 82380
 2009-09-20 06:27:35 +00:00
Nick Lewycky
13510f330b Remove tab, again. 
llvm-svn: 82379
 2009-09-20 06:26:34 +00:00
Nick Lewycky
5cbc7c4ae9 Teach the constant folder how to not a cmpinst. 
llvm-svn: 82378
 2009-09-20 06:24:51 +00:00
Nick Lewycky
93d1111b1c Try turning icmp(bitcast(x), bitcast(y)) into icmp(bitcast(bitcast(x)), y) in 
the hopes that the two bitcasts will merge.

llvm-svn: 82371
 2009-09-20 05:48:50 +00:00
Nick Lewycky
b96f9df101 Remove tabs I added. 
llvm-svn: 82369
 2009-09-20 05:47:45 +00:00
Nick Lewycky
42065f1555 Clean up the usage of evaluateICmpRelation's return value. 
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
 2009-09-20 04:27:06 +00:00
Daniel Dunbar
4e33798de0 Strip trailing whitespace. 
llvm-svn: 82359
 2009-09-20 04:03:34 +00:00
Nick Lewycky
261d7a49b1 Remove dead store by taking a guess at what Chris meant. I wasn't able to 
design a testcase that would tickle this behaviour.

llvm-svn: 82357
 2009-09-20 03:48:46 +00:00
Daniel Dunbar
378331a13d Tabs -> spaces, and remove trailing whitespace. 
llvm-svn: 82355
 2009-09-20 02:20:51 +00:00
Nick Lewycky
79db45a852 Delete dead code. sext and zext can not turn integers into pointers. Further, 
the optimization described in the comment is only valid with target data.

llvm-svn: 82353
 2009-09-20 02:11:47 +00:00
Nick Lewycky
ca1f29ee1b Value* were never meant to be const. Removing constness from the constant 
folder removes a lot of const_casting and requires no changes to clang or
llvm-gcc.

llvm-svn: 82349
 2009-09-20 01:35:59 +00:00
Nick Lewycky
6ad3b51864 Teach the constant folder how to handle a few simple i1 cases. 
llvm-svn: 82340
 2009-09-20 00:04:02 +00:00
Devang Patel
c195f74dee Write and read metadata attachments. 
llvm-svn: 82259
 2009-09-18 19:26:43 +00:00
Victor Hernandez
065bc44d01 Update malloc call creation code (AllocType is now the element type of the malloc, not the resulting type). 
In getMallocArraySize(), fix bug in the case that array size is the product of 2 constants.

Extend isArrayMalloc() and getMallocArraySize() to handle case where malloc is used as char array.

Ensure that ArraySize in LowerAllocations::runOnBasicBlock() is correct type.

Extend Instruction::isSafeToSpeculativelyExecute() to handle malloc calls.

Add verification for malloc calls.

Reviewed by Dan Gohman.

llvm-svn: 82257
 2009-09-18 19:20:02 +00:00
Anton Korobeynikov
fb7ac49d96 Allow symbols to start from the digit if target requests it. This allows, e.g. pinning 
variables to specified absolute address. Make use of this feature for MSP430.
This unbreaks PR4776.

llvm-svn: 82227
 2009-09-18 16:57:42 +00:00
Benjamin Kramer
b1d15dcefe Initialize HasMetadata to zero. 
llvm-svn: 82145
 2009-09-17 14:51:57 +00:00
Devang Patel
f15eea3399 Print debug info attached with an instruction. 
llvm-svn: 82075
 2009-09-16 20:21:17 +00:00
Devang Patel
253aa4d192 Add llvm::Metadata to manage metadata used in a context. 
This interface will be used to attach metadata with an instruction.

llvm-svn: 82060
 2009-09-16 18:09:00 +00:00
Dan Gohman
ccdb00720e Fix an accidental inversion of the inbounds flag. 
llvm-svn: 81862
 2009-09-15 16:00:30 +00:00
Dan Gohman
18a3644dde When a constant's type is refined, update the constant in place 
instead of cloning and RAUWing it.

 - Make AbstractTypeUser a friend of Value so that it can offer
   its subclasses a way to update a Value's type in place. This
   is better than a universally visible setType method on Value,
   and it's sufficient for the immediate need.

 - Eliminate the constant "convert" functions. This eliminates a
   lot of logic duplication, and fixes a complicated bug where a
   constant can't actually be cloned during the type refinement
   process because some of the types that its folder needs are
   half-destroyed, being in the middle of refinement themselves.

 - Move the getValType functions from being static overloaded
   functions in Constants.cpp to be members of class template
   specializations in ConstantsContext.h. This means that the
   code ends up getting instantiated twice, however it also
   makes it possible to eliminate all "convert" functions, so
   it's not a big net code size increase. And if desired, the
   duplicate instantiations could be eliminated with some
   reorganization.

llvm-svn: 81861
 2009-09-15 15:58:07 +00:00
Nick Lewycky
554eac4066 Forbid arrays of function-type and structures with function-typed fields. 
While I'm there, change code that does:
  SomeTy == Type::getFooType(Context)
into:
  SomeTy->getTypeID() == FooTyID
to decrease the amount of useless type creation which may involve locking, etc.

llvm-svn: 81846
 2009-09-15 06:28:26 +00:00
Chris Lattner
cf3281f7d0 fix PR4963: folding insertvalue would sometimes turn a packed struct into 
an unpacked one.

llvm-svn: 81845
 2009-09-15 06:28:12 +00:00
Chris Lattner
50438771c0 make -debug-pass=Executions show information about what call graph nodes 
are in the SCC for each execution of a CGSCC pass.

llvm-svn: 81838
 2009-09-15 05:03:04 +00:00
Chris Lattner
d7ba993f2e add some missing quotes in debug output 
llvm-svn: 81836
 2009-09-15 04:45:26 +00:00
Nick Lewycky
65180a9be4 Fix a pair of comment typos. 
llvm-svn: 81750
 2009-09-14 02:25:34 +00:00
Nick Lewycky
02986c78c5 Fifth time's a charm! Remove ourselves as abstract type listeners once we've 
been told that the type is no longer abstract.

llvm-svn: 81749
 2009-09-14 02:25:19 +00:00
Nick Lewycky
e38e763387 Don't leak! Always remove oneself as a listener after adding oneself. 
llvm-svn: 81736
 2009-09-14 00:36:52 +00:00
Nick Lewycky
c4bde40e87 Actually remove old types from the set. 
Also break the type verification stuff into its own TypeSet to keep the
Verifier pass from becoming an AbstractTypeUser.

llvm-svn: 81729
 2009-09-13 23:45:39 +00:00
Nick Lewycky
9b6c23aba0 Storing a set of PATypeHolders is a bad idea because their sort order will 
change as types are refined. Remove abstract types from CheckedTypes when they
we're informed that they have been refined. The only way types get refined in
the verifier is when later function passes start optimizing. Fixes PR4970.

llvm-svn: 81716
 2009-09-13 21:07:59 +00:00
Chris Lattner
e26af94cd4 Make the MC symbol printer and llvm::Mangler exactly agree on mangling 
for systems that don't support quoting (PR4966).

llvm-svn: 81682
 2009-09-13 18:04:46 +00:00
Dan Gohman
3e27bc3e89 Preserve the inbounds flag, so that the constant folder doesn't 
recompute it.

llvm-svn: 81634
 2009-09-12 22:02:17 +00:00
Dan Gohman
cd6e7a1460 Fix the build when DEBUG_SYMBOL_TABLE is set. 
llvm-svn: 81633
 2009-09-12 21:56:48 +00:00
Daniel Dunbar
fc94e2d90d Fix -Asserts warning. 
llvm-svn: 81580
 2009-09-11 22:07:31 +00:00
Chris Lattner
444bd61976 reject attempts to take the address of an intrinsic, PR4949. 
llvm-svn: 81530
 2009-09-11 17:05:29 +00:00
Chris Lattner
5e72c863e0 fix prefix ordering, it's L_foo not _Lfoo 
llvm-svn: 81506
 2009-09-11 05:51:29 +00:00
Chris Lattner
36550f7606 add a new Mangler::getNameWithPrefix API which returns the 
(uniqued if unnamed) global variable name with the prefix that
it is supposed to get.  It doesn't do "mangling" in the sense of
adding quotes and hacking on bad characters.

llvm-svn: 81505
 2009-09-11 05:40:42 +00:00
Dan Gohman
9040a3526e Fix indentation. 
llvm-svn: 81484
 2009-09-11 00:05:10 +00:00
Dan Gohman
aa66e3d968 Teach lib/VMCore/ConstantFold.cpp how to set the inbounds keyword and 
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
 2009-09-11 00:04:14 +00:00
Dan Gohman
58a0550024 Factor out the code for checking that all indices in a getelementptr are 
within the notional bounds of the static type of the getelementptr (which
is not the same as "inbounds") from GlobalOpt into a utility routine,
and use it in ConstantFold.cpp to check whether there are any mis-behaved
indices.

llvm-svn: 81478
 2009-09-10 23:37:55 +00:00
Devang Patel
e55527b3f2 Fix whitespaces. 
llvm-svn: 81468
 2009-09-10 22:36:12 +00:00
Benjamin Kramer
200a6693fb Add some braces to make newer GCCs happy and update CMakeLists. 
llvm-svn: 81443
 2009-09-10 11:31:39 +00:00
Evan Cheng
78182244f1 Add malloc call utility functions. Patch by Victor Hernandez. 
llvm-svn: 81426
 2009-09-10 04:36:43 +00:00
Devang Patel
2cbc3ef1e9 Take lock before removing a node from MDNodeSet. 
llvm-svn: 81356
 2009-09-09 17:44:26 +00:00
Devang Patel
2898d3cb86 Enable MDNode uniquing. 
llvm-svn: 81355
 2009-09-09 17:30:04 +00:00
Devang Patel
a12b2d35a0 Gracefully destroy MDNodes. 
llvm-svn: 81353
 2009-09-09 17:07:07 +00:00
Devang Patel
55eb4bffab Remove dead code. 
llvm-svn: 81235
 2009-09-08 18:14:36 +00:00
Nick Lewycky
9cbe7a0090 Hoist out the test+insert to CheckedTypes. This doesn't seem to affect 
performance.

llvm-svn: 81193
 2009-09-08 05:46:15 +00:00
Nick Lewycky
8d3fc4bfab Simplify from my last change. Assert1 is a macro that makes its caller return, 
so "Assert1(isa<>); cast<>" is a valid idiom.

Actually check the PHI node's odd-numbered operands for BasicBlock-ness, like
the comment said.

llvm-svn: 81182
 2009-09-08 02:02:39 +00:00
Nick Lewycky
5536fa68c5 Verify types. Invalid types can be constructed when assertions are off. 
Make the verifier more robust by avoiding unprotected cast<> calls. Notably,
Assert1(isa<>); cast<> is not safe as Assert1 does not terminate the program.

llvm-svn: 81179
 2009-09-08 01:23:52 +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
Nick Lewycky
1528b90211 Express this in the canonical way. 
llvm-svn: 81157
 2009-09-07 21:50:24 +00:00
Nick Lewycky
1bde81d01d Homogenize whitespace. 
llvm-svn: 81156
 2009-09-07 20:44:51 +00:00
Daniel Dunbar
b258ff7cee Disable MDNode uniquing. 
- Hopefully this unbreaks some llvm-gcc bootstraps.

llvm-svn: 81141
 2009-09-07 04:05:49 +00:00
Duncan Sands
750b1f5de2 Public and private corrections, warned about by icc (#304). 
Patch by Erick Tryzelaar.

llvm-svn: 81107
 2009-09-06 08:55:57 +00:00
Duncan Sands
10c1356bad Remove some unused variables and methods warned about by 
icc (#177, partial).  Patch by Erick Tryzelaar.

llvm-svn: 81106
 2009-09-06 08:33:48 +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
Devang Patel
40a0a72be8 While replacing an MDNode elment, properly update MDNode's operand list. 
MDNode's operand list does not include all elements.

llvm-svn: 81045
 2009-09-04 21:32:05 +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
b9b2864a49 Revert 80959. It isn't sufficient to solve the full problem. And it 
introduced regressions in the Ocaml bindings tests.

llvm-svn: 80969
 2009-09-03 23:34:49 +00:00
Dan Gohman
e5ec3c1a26 Remove the API for creating ConstantExprs with the nsw, nuw, inbounds, 
and exact flags. Because ConstantExprs are uniqued, creating an
expression with this flag causes all expressions with the same operands
to have the same flag, which may not be safe. Add, sub, mul, and sdiv
ConstantExprs are usually folded anyway, so the main interesting flag
here is inbounds, and the constant folder already knows how to set the
inbounds flag automatically in most cases, so there isn't an urgent need
for the API support.

This can be reconsidered in the future, but for now just removing these
API bits eliminates a source of potential trouble with little downside.

llvm-svn: 80959
 2009-09-03 22:17:40 +00:00
Devang Patel
f9fc98aece Use WeakVH to hold dead mdnodes. Check use_empty() before deleting a node. 
llvm-svn: 80928
 2009-09-03 17:03:47 +00:00
Dan Gohman
66c853f17f Change PHINode::hasConstantValue to have a DominatorTree argument 
instead of a bool argument, and to do the dominator check itself.
This makes it eaiser to use when DominatorTree information is
available.

llvm-svn: 80920
 2009-09-03 15:34:35 +00:00
Gabor Greif
4604e0739b back out my recent commit (r80858), it seems to break self-hosting buildbot's stage 2 configure 
llvm-svn: 80871
 2009-09-03 02:02:59 +00:00
Devang Patel
27616c3c80 Now Bitcode reader bug is fixed. Reapply 80839. 
Use CallbackVH, instead of WeakVH, to hold MDNode elements.
Use FoldingSetNode to unique MDNodes in a context.
Use CallbackVH hooks to update context's MDNodeSet appropriately.

llvm-svn: 80868
 2009-09-03 01:39:20 +00:00
Gabor Greif
68c4f27e59 re-commit r66920 (which has been backed out in r66953) I may have more luck this time. I'll back out if needed... 
llvm-svn: 80858
 2009-09-03 00:18:58 +00:00
Devang Patel
317ab82083 Revert 80839 for now. It causes test failures. 
llvm-svn: 80841
 2009-09-02 21:49:26 +00:00
Devang Patel
c4be6559c4 Use CallbackVH, instead of WeakVH, to hold MDNode elements. 
Use FoldingSetNode to unique MDNodes in a context.
Use CallbackVH hooks to update context's MDNodeSet appropriately.

llvm-svn: 80839
 2009-09-02 21:22:09 +00:00
Torok Edwin
c394ef4a39 Opaque types didn't work if llvm_is_multithreaded(). 
AlwaysOpaqueTy is always NULL at this point, and it causes an assertion failure.
Fix it by using the just constructed tmp instead.

llvm-svn: 80780
 2009-09-02 12:23:05 +00:00
Torok Edwin
31cf28eefd Fix DbgStopPointInst->getFileName/getDirectory, broken by the MDNodification in 
r80406, and readd a -print-dbginfo test.

llvm-svn: 80778
 2009-09-02 11:13:56 +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
Devang Patel
2d78fddeb4 For now disable MDNode uniquing. This fixes llvm-gcc bootstrap failure on certain Mac OS X 10.5. I am working on a proper fix. 
llvm-svn: 80738
 2009-09-01 23:56:42 +00:00
Torok Edwin
097a206969 Free the constants that have no uses in ~LLVMContext. 
This fixes leaks from LLVMContext in multithreaded apps.
Since constants are only deleted if they have no uses, it is safe to not delete
a Module on shutdown, as many single-threaded tools do.
Multithreaded apps should however delete the Module before destroying the
Context to ensure that there are no leaks (assuming they use a different context
for each thread).

llvm-svn: 80590
 2009-08-31 16:14:59 +00:00
Dan Gohman
e0697de4c6 Cleanup whitespace and indentation. 
llvm-svn: 80451
 2009-08-29 23:35:16 +00:00
Dan Gohman
e5f1c4a5c2 Remove some unused fields. 
llvm-svn: 80450
 2009-08-29 23:34:14 +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
Dan Gohman
fd3cfaae35 Teach getUnderlyingObject and skipPointerCasts about GlobalAliases. 
llvm-svn: 80265
 2009-08-27 17:55:13 +00:00
Devang Patel
0ac8889288 Remove an entry from ValueMap before removing elements. 
llvm-svn: 80247
 2009-08-27 15:32:38 +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
1497a679f2 Fix the InsertAtEnd form of ShuffleVectorInst constructor to use 
the correct type.

llvm-svn: 80050
 2009-08-25 23:27:45 +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
Dan Gohman
6f3742a16a Use covariant return types for Instruction::clone, and eliminate 
the forms of ExtractElementInst and InsertElementInst that are
equivalent to clone.

llvm-svn: 80041
 2009-08-25 22:29:08 +00:00
Dan Gohman
c13cb35d32 This should use isIndenticalToWhenDefined. 
llvm-svn: 80039
 2009-08-25 22:24:20 +00:00
Dan Gohman
cce6c79d6d Rename Instruction::isIdenticalTo to Instruction::isIdenticalToWhenDefined, 
and introduce a new Instruction::isIdenticalTo which tests for full
identity, including the SubclassOptionalData flags. Also, fix the
Instruction::clone implementations to preserve the SubclassOptionalData
flags. Finally, teach several optimizations how to handle
SubclassOptionalData correctly, given these changes.

This fixes the counterintuitive behavior of isIdenticalTo not comparing
the full value, and clone not returning an identical clone, as well as
some subtle bugs that could be caused by these.

Thanks to Nick Lewycky for reporting this, and for an initial patch!

llvm-svn: 80038
 2009-08-25 22:11:20 +00:00
Dan Gohman
4af3f9b57d Allocate the basic types inside the LLVMContextImpl instance, 
rather than separately with new. Move the members above the
TypeMap members to avoid destruction order issues. This fixes
a leak of these objects, and eliminates an extra level of
indirection in Type::getInt32Ty and friends.

llvm-svn: 79997
 2009-08-25 16:00:35 +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
Benjamin Kramer
e5458c19a2 Kill off more cerr/cout uses and prune includes a bit. 
llvm-svn: 79852
 2009-08-23 11:37:21 +00:00
Chris Lattner
1c0452caeb Change Pass::print to take a raw ostream instead of std::ostream, 
update all code that this affects.

llvm-svn: 79830
 2009-08-23 06:03:38 +00:00
Chris Lattner
ea2bfd7a9f eliminate the std::ostream form of WriteAsOperand and update clients. 
This also updates dominator related stuff.

llvm-svn: 79825
 2009-08-23 05:17:37 +00:00
Chris Lattner
8500c36f86 remove the std::ostream version of module and type printing. 
llvm-svn: 79823
 2009-08-23 04:52:46 +00:00
Chris Lattner
1ee1fc42c0 remove some DOUTs 
llvm-svn: 79821
 2009-08-23 04:44:11 +00:00
Chris Lattner
01dae858b6 eliminate the "Value" printing methods that print to a std::ostream. 
This required converting a bunch of stuff off DOUT and other cleanups.

llvm-svn: 79819
 2009-08-23 04:37:46 +00:00
Owen Anderson
95bdea8255 Use standard LLVM-style headers. 
llvm-svn: 79817
 2009-08-23 04:24:24 +00:00
Chris Lattner
2d541e612d switch a couple things off std::ostream 
llvm-svn: 79816
 2009-08-23 04:02:03 +00:00
Chris Lattner
17429a9abe switch from std::ostream to raw ostream, fix file header. 
llvm-svn: 79815
 2009-08-23 03:56:06 +00:00
Owen Anderson
9e7081dd58 Reduce contention on the Attributes lock by using atomic operations for reference counting rather than locking. 
llvm-svn: 79560
 2009-08-20 19:03:20 +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
Daniel Dunbar
446d29370f Add a fast path for setName("") on an unnamed value. 
llvm-svn: 79492
 2009-08-19 23:37:23 +00:00
Owen Anderson
d0438546ef AttrListPtr operations need to be atomic. 
llvm-svn: 79486
 2009-08-19 22:58:34 +00:00
Daniel Dunbar
2411847839 Change ValueSymbolTable to use raw_svector_ostream for string concatenation. 
llvm-svn: 79449
 2009-08-19 19:22:52 +00:00
Owen Anderson
9e0bb1bd44 Reapply my less-lock-contention-in-leak-detector patch, now with new files 
actually added.

llvm-svn: 79429
 2009-08-19 17:07:46 +00:00
Daniel Dunbar
b606fc6b6c Make a SmallVector size more reasonable. 
llvm-svn: 79403
 2009-08-19 05:08:06 +00:00
Owen Anderson
bd652bf082 Revert my last patch temporarily. 
llvm-svn: 79388
 2009-08-19 00:52:13 +00:00
Owen Anderson
69a97af0b7 Privatize part of the leak detector mechanism, which turned out to be heavily contended 
when trying to run opt in parallel.  This lets parallel opt crunch 403.gcc in about a third
of the time.

llvm-svn: 79387
 2009-08-19 00:37:02 +00:00
Owen Anderson
73825c1f37 Privatize the ValueHandle global map. Because this is used so heavily throughout the code base, locking all accesses to 
it is not practical performance-wise.

llvm-svn: 79355
 2009-08-18 18:28:58 +00:00
Devang Patel
98fb10c182 Add prefix only if it is needed. 
llvm-svn: 79289
 2009-08-17 23:17:17 +00:00
Owen Anderson
c7e733e4fe Privatize the last bits of static type state. 
llvm-svn: 79258
 2009-08-17 17:59:35 +00:00
Owen Anderson
5d27af4989 Move the TypeMap lock to a member on LLVMContextImpl. 
llvm-svn: 79256
 2009-08-17 17:34:27 +00:00
Owen Anderson
43d358bde0 Add locking around the attributes list. 
llvm-svn: 79255
 2009-08-17 17:10:58 +00:00
Chris Lattner
0ed3ef52af the MinPad argument to PadToColumn only really makes sense to be 1, 
just remove the argument and replace it with 1.

llvm-svn: 79246
 2009-08-17 15:48:08 +00:00
Dan Gohman
1749b4bb8a Fix printing of instructions with null operands. 
llvm-svn: 79243
 2009-08-17 15:28:08 +00:00
Dan Gohman
6c4c30550e Always print at least one space before adding a comment. 
llvm-svn: 79242
 2009-08-17 15:27:30 +00:00
Erick Tryzelaar
f9173af0b5 Expose creating constant ints and floats from strings in llvm-c. 
llvm-svn: 79213
 2009-08-16 23:36:46 +00:00
Erick Tryzelaar
d7980d95e8 Add helper functions to ConstantInt and ConstantFP to accept strings. 
llvm-svn: 79212
 2009-08-16 23:36:33 +00:00
Dan Gohman
a7f21f1767 Add a getOffsetOf, for building a target-independent expression for 
offsetof, similar to getSizeOf for sizeof.

llvm-svn: 79208
 2009-08-16 21:26:11 +00:00
Erick Tryzelaar
175dd821cc Add an llvm-c function that lets you insert an instruction with a name. 
llvm-svn: 79163
 2009-08-16 02:20:57 +00:00
Erick Tryzelaar
c0815ef591 Expose most of the Constant creation functions to llvm-c. 
llvm-svn: 79160
 2009-08-16 02:20:12 +00:00
Erick Tryzelaar
a439c22dbf Expose most of the rest of IRBuilder's functions to llvm-c. 
llvm-svn: 79159
 2009-08-16 02:19:59 +00:00
Chris Lattner
c807a76334 switch DominanceFrontier::splitBlock to use a smallvector for 
the pred list instead of a vector, saving a boat load of malloc/free's.

llvm-svn: 79062
 2009-08-15 01:39:28 +00:00
Erick Tryzelaar
f5b44db848 Expose LLVMContext to llvm-c. 
llvm-svn: 78964
 2009-08-14 00:01:31 +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
Dan Gohman
f55822e7cd Make formatted_raw_ostream restore the buffer settings of the 
underlying stream when it is finished, so that clients don't
have to do this manually.

llvm-svn: 78952
 2009-08-13 23:16:59 +00:00
Dan Gohman
4d57894a63 Take the fast path for any named value and any GlobalValue, which doesn't 
need TypePrinting despite being a subclass of Constant. This fixes
compile-time problems especially visible on 403.gcc when -asm-verbose is
enabled.

llvm-svn: 78951
 2009-08-13 23:07:11 +00:00
Owen Anderson
9df206d02d Push LLVMContexts through the IntegerType APIs. 
llvm-svn: 78948
 2009-08-13 21:58:54 +00:00
Dan Gohman
d559e66749 Fix a 4x slowdown in llc -asm-verbose caused by the use of 
WriteAsOperand in more places.

Now that more things are using WriteAsOperand, its behavior of
constructing a TypePrinting object and populating it with strings for all
the numbered types in the Module on each call is a significant bottleneck.
Fancier solutions could be pursued here, but for now, just bypass the
TypePrinting overhead in obvious cases.

llvm-svn: 78906
 2009-08-13 15:27:57 +00:00
Dan Gohman
ea15a77701 Change the indentation for LLVM Assembly files from 1 tab to 2 spaces. 
This is vaguely consistent with LLVM's own source code, but more
importantly it lets more lines stay within 80 columns.

llvm-svn: 78879
 2009-08-13 01:41:52 +00:00
Dan Gohman
9c9c3f30bd Now that numbered types have their number printed, it's no longer 
interesting to print the number in a comment. Numbered instructions
don't need their number in a comment either.

Also, tidy up newline printing.

llvm-svn: 78865
 2009-08-12 23:54:22 +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
Dan Gohman
9b4700f3ce Make AsmWriter more careful with formatted_raw_ostream so that 
it doesn't leave the underlying stream in unbuffered mode when
the stream was originally buffered.

Also, change WriteAsOperand back to plain raw_ostream. This
lets it work for either formatted_raw_ostream or plain
raw_ostream, so that it doesn't have to force a buffer flush
on a plain raw_ostream.

llvm-svn: 78837
 2009-08-12 20:56:03 +00:00
Dan Gohman
9f80d2be6b Make LLVM Assembly dramatically easier to read by aligning the comments, 
using formatted_raw_ostream's PadToColumn.

Before:

bb1:            ; preds = %bb
  %2 = sext i32 %i.01 to i64            ; <i64> [#uses=1]
  %3 = getelementptr double* %p, i64 %2         ; <double*> [#uses=1]
  %4 = load double* %3, align 8         ; <double> [#uses=1]
  %5 = fmul double %4, 1.100000e+00             ; <double> [#uses=1]
  %6 = sext i32 %i.01 to i64            ; <i64> [#uses=1]
  %7 = getelementptr double* %p, i64 %6         ; <double*> [#uses=1]

After:

bb1:                                        ; preds = %bb
  %2 = sext i32 %i.01 to i64                ; <i64> [#uses=1]
  %3 = getelementptr double* %p, i64 %2     ; <double*> [#uses=1]
  %4 = load double* %3, align 8             ; <double> [#uses=1]
  %5 = fmul double %4, 1.100000e+00         ; <double> [#uses=1]
  %6 = sext i32 %i.01 to i64                ; <i64> [#uses=1]
  %7 = getelementptr double* %p, i64 %6     ; <double*> [#uses=1]

Several tests required whitespace adjustments.

llvm-svn: 78816
 2009-08-12 17:23:50 +00:00
Dan Gohman
9a6b2f19e5 Remove a bunch more now-unnecessary Context arguments. 
llvm-svn: 78809
 2009-08-12 16:23:25 +00:00
Owen Anderson
dbf9a912fb Add contexts to some of the MVT APIs. No functionality change yet, just the infrastructure work needed to get the contexts to where they need to be first. 
llvm-svn: 78759
 2009-08-12 00:36:31 +00:00
Dan Gohman
33d1456220 Simplify this code, and use an in-bounds GEP. 
llvm-svn: 78755
 2009-08-12 00:32:55 +00:00
Owen Anderson
48f2f0ae72 Split EVT into MVT and EVT, the former representing _just_ a primitive type, while 
the latter is capable of representing either a primitive or an extended type.

llvm-svn: 78713
 2009-08-11 20:47:22 +00:00
Dan Gohman
b0c54f532c Add convenience functions for creating nsw add operators. 
llvm-svn: 78707
 2009-08-11 20:20:39 +00:00
Dan Gohman
76887b6f2b Don't set the isexact flag if an sdiv operator has been folded into 
something else.

llvm-svn: 78702
 2009-08-11 19:56:00 +00:00
Daniel Dunbar
490f80eb1c Simplify ConstantExpr::getInBoundsGetElementPtr and fix a possible crash, if 
constant folding eliminated the GEP instruction.
 - clang was hitting this on its test suite (for x86_64, at least).

llvm-svn: 78698
 2009-08-11 18:28:09 +00:00
Daniel Dunbar
952aa01cb9 Revert 78680 until I figure out why it completely broke things. 
llvm-svn: 78697
 2009-08-11 18:11:15 +00:00
Devang Patel
df6d338da2 Link NamedMDNodes. 
llvm-svn: 78696
 2009-08-11 18:01:24 +00:00
Dan Gohman
aed57ee5b0 Add convenience functions for creating inbounds GEPs. 
llvm-svn: 78695
 2009-08-11 17:57:01 +00:00
Benjamin Kramer
9a590500ea Make LLVMContext and LLVMContextImpl classes instead of structs. 
llvm-svn: 78690
 2009-08-11 17:45:13 +00:00
Daniel Dunbar
92bda7b2e0 Remove some unnecessary LoadInst constructors, missed during Twinification. 
llvm-svn: 78689
 2009-08-11 17:38:47 +00:00
Dan Gohman
82b3823bb7 Add convenience functions for creating exact sdiv operators, and 
use them in CreatePtrDiff.

llvm-svn: 78682
 2009-08-11 17:05:24 +00:00
Dan Gohman
24939b2c4f Tidy #includes. 
llvm-svn: 78677
 2009-08-11 16:02:12 +00:00
Dan Gohman
31d5a5e718 Fix a typo in an assertion string. 
llvm-svn: 78671
 2009-08-11 15:53:15 +00:00
Devang Patel
4609ecd4bd Remove dead metadata. 
llvm-svn: 78651
 2009-08-11 06:31:57 +00:00
Bob Wilson
4a3ccbda6a Add a new overloaded EVT::vAny type for use in TableGen to allow intrinsic 
arguments that are vectors of any size and element type.

llvm-svn: 78631
 2009-08-11 01:14:02 +00:00
Devang Patel
d59b85298b Remove MDNode from ValueMap when MDNode is destroyed. 
llvm-svn: 78612
 2009-08-10 22:59:46 +00:00
Owen Anderson
b4bce99769 Rename MVT to EVT, in preparation for splitting SimpleValueType out into its own struct type. 
llvm-svn: 78610
 2009-08-10 22:56:29 +00:00
Devang Patel
7c51e1fb95 Rename MDNodeSet as MDNodes. 
llvm-svn: 78607
 2009-08-10 22:31:31 +00:00
Daniel Dunbar
d71d99853c Rename ConvertType to ConvertConstant to avoid a name conflict on llvm-gcc. 
llvm-svn: 78596
 2009-08-10 20:56:46 +00:00
Devang Patel
762e9641fd We are not using FoldingSet for metadata uniquing anymore. 
llvm-svn: 78585
 2009-08-10 18:59:07 +00:00
Benjamin Kramer
2d14670d93 g++ 4.0 doesn't have std::vector::data. 
llvm-svn: 78579
 2009-08-10 18:27:33 +00:00
Owen Anderson
4cd02c843b Change the MDNode uniquing to a ValueMap, at Devang's request. 
llvm-svn: 78577
 2009-08-10 18:16:08 +00:00
Dan Gohman
1c41d60c4a Fix a bunch of namespace pollution. 
llvm-svn: 78363
 2009-08-07 01:32:21 +00:00
Daniel Dunbar
5cce0d81d1 Don't search the entire type table just to delete a type by name. 
- This also fixes the ENABLE_EXPENSIVE_CHECKS failure on vmcore.ml.

llvm-svn: 78287
 2009-08-06 06:04:35 +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
bfcf39cec6 Privatize the FunctionType table. 
llvm-svn: 78221
 2009-08-05 18:13:27 +00:00
Chris Lattner
94f55a81bd common globals may also not be marked constant. 
llvm-svn: 78169
 2009-08-05 05:41:44 +00:00
Chris Lattner
19d238562d Clarify common linkage and the requirements on it. Enforce 
them in the verifier.

llvm-svn: 78160
 2009-08-05 05:21:07 +00:00
Owen Anderson
a5347b5aca Privatize the PointerType factory. 
llvm-svn: 78130
 2009-08-05 00:15:12 +00:00
Owen Anderson
fc36f154f0 Privatize the VectorType uniquing. 
llvm-svn: 78125
 2009-08-04 23:47:44 +00:00
Owen Anderson
1e9c498548 Begin the process of privatizing the type uniquing tables. No API changes yet, but there will be in the near future. 
llvm-svn: 78122
 2009-08-04 23:33:01 +00:00
Chris Lattner
46f946526c revert r78048, it isn't worth using assertingvh here. 
llvm-svn: 78119
 2009-08-04 23:07:12 +00:00
Benjamin Kramer
3e1cc79a16 Update CMakeLists. 
llvm-svn: 78118
 2009-08-04 23:02:53 +00:00
Owen Anderson
6d699fa39d It helps if I remember to actually add the file... 
llvm-svn: 78116
 2009-08-04 22:55:26 +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
762987e14b Privatize the last bit of Constant-creation state. 
llvm-svn: 78097
 2009-08-04 20:25:11 +00:00
Chris Lattner
43d32f0969 switch ValueMap to using AssertingVH. This is an old patch I had laying 
around in a tree I forgot about.

llvm-svn: 78048
 2009-08-04 04:31:02 +00:00
Devang Patel
b7c719fbcf Keep track of metadata used by other metadata. 
llvm-svn: 78012
 2009-08-03 22:51:10 +00:00
Dan Gohman
39f93f6443 Add a new Constant::getIntegerValue helper function, and convert a 
few places in InstCombine to use it, to fix problems handling pointer
types. This fixes the recent llvm-gcc bootstrap error.

llvm-svn: 78005
 2009-08-03 22:07:33 +00:00
Devang Patel
b770039c5b Add NamedMDNode destructor. 
llvm-svn: 77959
 2009-08-03 06:19:01 +00:00
Edward O'Callaghan
db24e89295 One two many newlines at end of file LLVMContextImpl.cpp 
llvm-svn: 77911
 2009-08-02 20:06:26 +00:00
Edward O'Callaghan
51bfa293c8 Fix no newline at end of LLVMContextImpl.cpp 
llvm-svn: 77907
 2009-08-02 19:38:12 +00:00
Owen Anderson
5370346117 Privatize all but one of the remaining constant tables. 
llvm-svn: 77748
 2009-07-31 22:45:43 +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
Dan Gohman
6bec53e39d Fix printing of Alloca instructions with null operands. 
llvm-svn: 77697
 2009-07-31 18:23:24 +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
Devang Patel
343bc16228 Add getOrInsertNamedMetadata(). 
llvm-svn: 77646
 2009-07-30 23:59:04 +00:00
Owen Anderson
93ccaf5c60 Move more code back to 2.5 APIs. 
llvm-svn: 77635
 2009-07-30 23:03:37 +00:00
Devang Patel
788d39ffd4 Do not use getNamedValue() to lookup NamedMDNode. NamedMDNode is not a GlobalValue. 
Thanks Benjamin Kramer!

llvm-svn: 77619
 2009-07-30 18:46:29 +00:00
Benjamin Kramer
85fa67c3c5 fix a unitialized pointer in NamedMDNode (and reenable unittest) 
llvm-svn: 77597
 2009-07-30 15:35:55 +00:00
Nate Begeman
72315231bc Typo 
llvm-svn: 77568
 2009-07-30 02:00:06 +00:00
Devang Patel
efd06c46c7 Check null NameMDNode elements. 
llvm-svn: 77559
 2009-07-30 01:02:04 +00:00
Devang Patel
ee25ed96f5 print single NamedMDNode. 
llvm-svn: 77549
 2009-07-30 00:02:57 +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
d788af24ac Print named metadata. 
llvm-svn: 77513
 2009-07-29 22:04:47 +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
Devang Patel
6bc0c66630 Keep track of named mdnodes in a Module using an ilist. 
llvm-svn: 77476
 2009-07-29 17:16:17 +00:00
Bob Wilson
2f023d87ee Fix an assumption that there is a single return value when verifying 
overloaded types for intrinsic parameters.

llvm-svn: 77466
 2009-07-29 16:25:56 +00:00
Devang Patel
8ed4662148 Add NamedMDNode. 
llvm-svn: 77409
 2009-07-29 00:33:07 +00:00
Devang Patel
b784b514a3 Remove unused method. 
llvm-svn: 77378
 2009-07-28 22:04:55 +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