RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-04-12 12:33:17 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
56,146 Commits 6 Branches 6 Tags
Commit Graph

432 Commits

Author SHA1 Message Date
Chris Lattner
4104b0bccd reject some invalid IR. We already assert and reject this from the 
.ll parser, but PR6070 wants it in the verifier too.

llvm-svn: 93756
 2010-01-18 19:50:32 +00:00
Victor Hernandez
c1b5223e76 Improve llvm.dbg.declare intrinsic by referring directly to the storage in its first argument, via function-local metadata (instead of via a bitcast). 
This patch also cleans up code that expects there to be a bitcast in the first argument and testcases that call llvm.dbg.declare.
It also strips old llvm.dbg.declare intrinsics that did not pass metadata as the first argument.

llvm-svn: 93531
 2010-01-15 19:04:09 +00:00
Victor Hernandez
97d7107d5e Revert r93504 because older uses of llvm.dbg.declare intrinsics need to be auto-upgraded 
llvm-svn: 93515
 2010-01-15 17:36:47 +00:00
Victor Hernandez
aee71b4e81 Improve llvm.dbg.declare intrinsic by referring directly to the storage in its first argument, via function-local metadata (instead of via a bitcast). 
This patch also cleans up code that expects there to be a bitcast in the first argument and testcases that call llvm.dbg.declare.

llvm-svn: 93504
 2010-01-15 03:37:48 +00:00
David Greene
053abe1bdb Change errs() to dbgs(). 
llvm-svn: 92649
 2010-01-05 01:29:14 +00:00
Chris Lattner
c12382b7c8 rename "elements" of metadata to "operands". "Elements" are 
things that occur in types.  "operands" are things that occur
in values.

llvm-svn: 92322
 2009-12-31 01:22:29 +00:00
Chris Lattner
14d3bc91c4 Rewrite the function-local validation logic for MDNodes (most of r91708). 
Among other benefits, this doesn't leak the SmallPtrSet, has the verifier
code in the verifier pass, actually does the verification at the end,
and is considerably simpler.

llvm-svn: 92217
 2009-12-28 09:07:21 +00:00
Victor Hernandez
44652ca549 Formalize MDNode's function-localness: 
- an MDNode is designated as function-local when created, and continues to be even if its operands are modified not to refer to function-local IR
- function-localness is designated via lowest bit in SubclassData
- getLocalFunction() descends MDNode tree to see if it is consistently function-local

Add verification of MDNodes to checks that MDNodes are consistently function-local.
Update AsmWriter to use isFunctionLocal().

llvm-svn: 91708
 2009-12-18 20:09:14 +00:00
Nick Lewycky
deb3d7dfbc Start catching LLVMContext misuse in the verifier. 
llvm-svn: 89646
 2009-11-23 04:52:00 +00:00
Chris Lattner
a3457e6bae Reject duplicate case values in a switch, PR5450. 
llvm-svn: 86846
 2009-11-11 17:37:02 +00:00
Chris Lattner
55a53e4e79 the verifier shouldn't modify the IR. 
llvm-svn: 85722
 2009-11-01 18:11:50 +00:00
Chris Lattner
baa216cd33 fix an issue where the verifier would reject a function whose entry 
block had its address taken even if the blockaddress was dead.

llvm-svn: 85706
 2009-11-01 04:08:01 +00:00
Chris Lattner
5b38f2ec49 it isn't valid to take the address of the entry block. 
llvm-svn: 85621
 2009-10-30 22:15:48 +00:00
Nick Lewycky
2b8400628d Remove includes of Support/Compiler.h that are no longer needed after the 
VISIBILITY_HIDDEN removal.

llvm-svn: 85043
 2009-10-25 06:57:41 +00:00
Nick Lewycky
711c726c97 Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces. 
Chris claims we should never have visibility_hidden inside any .cpp file but
that's still not true even after this commit.

llvm-svn: 85042
 2009-10-25 06:33:48 +00:00
Victor Hernandez
8428eb5720 Remove AllocationInst. Since MallocInst went away, AllocaInst is the only subclass of AllocationInst, so it no longer is necessary. 
llvm-svn: 84969
 2009-10-23 21:09:37 +00:00
Nick Lewycky
92413b8e2e Emit newlines at the end of instructions too. 
llvm-svn: 84348
 2009-10-17 19:43:45 +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
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
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
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
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
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
444bd61976 reject attempts to take the address of an intrinsic, PR4949. 
llvm-svn: 81530
 2009-09-11 17:05:29 +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
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
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
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
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
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
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
2d541e612d switch a couple things off std::ostream 
llvm-svn: 79816
 2009-08-23 04:02:03 +00:00
Owen Anderson
9df206d02d Push LLVMContexts through the IntegerType APIs. 
llvm-svn: 78948
 2009-08-13 21:58:54 +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
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
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
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
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
Nate Begeman
72315231bc Typo 
llvm-svn: 77568
 2009-07-30 02:00:06 +00:00
Owen Anderson
881d928f9b Move types back to the 2.5 API. 
llvm-svn: 77516
 2009-07-29 22:17:13 +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
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
Daniel Dunbar
251177c96e Initial update to VMCore to use Twines for string arguments. 
- The only meat here is in Value.{h,cpp} the rest is essential 'const
   std::string &' -> 'const Twine &'.

llvm-svn: 77048
 2009-07-25 04:41:11 +00:00