RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-26 04:32:44 +01:00
Code Issues Projects Releases Wiki Activity
29,134 Commits 4 Branches 5 Tags 704 MiB
f830aab43a
Commit Graph

186 Commits

Author SHA1 Message Date
Chris Lattner
aac1fc4581 Do not allow adds of pointer types, or many other operations on pointer types. 
llvm-svn: 3638
 2002-09-09 20:26:04 +00:00
Chris Lattner
20b85d96e4 Eliminated the MemAccessInst class, folding contents into GEP class. 
llvm-svn: 3487
 2002-08-22 23:37:20 +00:00
Chris Lattner
969c616d51 Load & StoreInst no longer derive from MemAccessInst, so we don't have 
to handle indexing anymore

llvm-svn: 3485
 2002-08-22 22:49:05 +00:00
Chris Lattner
91d4742562 - Cleaned up the interface to AnalysisUsage to take analysis class names 
instead of ::ID's.
 - Pass::getAnalysis<> now no longer takes an optional argument

llvm-svn: 3264
 2002-08-08 19:01:28 +00:00
Chris Lattner
e980c93ebc Implement dominator checking in the verifier, so that we check that all 
defintiions dominate their uses

llvm-svn: 3214
 2002-08-02 17:37:08 +00:00
Chris Lattner
f6ee6b24da Register Verifier pass 
llvm-svn: 3019
 2002-07-23 18:08:17 +00:00
Chris Lattner
9b1f5682b5 Add a hack to check for a subset of true dominance properties 
llvm-svn: 2947
 2002-07-18 00:13:42 +00:00
Anand Shukla
62f8f85b50 changes for 64bit gcc 
llvm-svn: 2801
 2002-06-25 22:07:38 +00:00
Chris Lattner
12075bfedd * Update to work with Megapatch 
* Add two new checks:
  * PHI nodes must be the first thing in a basic block, all grouped together
  * All basic blocks should only end with terminator insts, not contain them

llvm-svn: 2773
 2002-06-25 15:56:27 +00:00
Chris Lattner
6453305616 Verify that function call arguments match the function signature 
llvm-svn: 2553
 2002-05-08 19:49:50 +00:00
Chris Lattner
96e0c48175 Eliminate duplicate or unneccesary #include's 
llvm-svn: 2397
 2002-04-29 17:42:12 +00:00
Chris Lattner
589debc4ba Add new optional getPassName() virtual function that a Pass can override 
to make debugging output a lot nicer.

llvm-svn: 2395
 2002-04-29 14:57:45 +00:00
Chris Lattner
ec70d92221 Tighten up the AnalysisUsage of lots of passes, primarily to correctly indicate whether or not they invalidate the CFGA 
llvm-svn: 2386
 2002-04-28 21:27:06 +00:00
Chris Lattner
0431ac1783 Remove extra unused argument from CheckFailed method 
Remove extraneous \n's from assert strings

llvm-svn: 2367
 2002-04-28 16:06:24 +00:00
Chris Lattner
600135a049 The check to see if an external function was marked internal was not reachable! 
llvm-svn: 2366
 2002-04-28 16:04:26 +00:00
Chris Lattner
536cf1b13f * Rename MethodPass class to FunctionPass 
- Rename runOnMethod to runOnFunction
* Transform getAnalysisUsageInfo into getAnalysisUsage
  - Method is now const
  - It now takes one AnalysisUsage object to fill in instead of 3 vectors
    to fill in
  - Pass's now specify which other passes they _preserve_ not which ones
    they modify (be conservative!)
  - A pass can specify that it preserves all analyses (because it never
    modifies the underlying program)
* s/Method/Function/g in other random places as well

llvm-svn: 2333
 2002-04-27 06:56:12 +00:00
Chris Lattner
73791c9610 * Abort program on verification errors 
* Verify that load, store, and GEP instructions indices are correct, because
  they _continually_ bite me on this pool allocations stuff

llvm-svn: 2309
 2002-04-24 19:12:21 +00:00
Chris Lattner
bffa0990cf Add some basic checks of CallInst's. 
Assert now returns from the current function on error.

llvm-svn: 2308
 2002-04-18 22:11:52 +00:00
Chris Lattner
60f426703d * Convert the verifier to use an InstVisitor to be better structured 
* Implement checking that a binary operator's two sides are the same type
* Actually check that an instruction does not have a name if it has a void
  return type.

llvm-svn: 2305
 2002-04-18 20:37:37 +00:00
Chris Lattner
0bc26610af * Fix bug: test/Regression/Verifier/2002-04-13-RetTypes.ll 
* Check that arguments match the method types of the method they live in

llvm-svn: 2243
 2002-04-13 22:48:46 +00:00
Chris Lattner
ed2a2c0c57 Add new check of return value type matching ret instruction values types 
llvm-svn: 2230
 2002-04-12 18:20:49 +00:00
Chris Lattner
c8166cec07 s/Method/Function 
llvm-svn: 2180
 2002-04-08 22:03:57 +00:00
Chris Lattner
0b712a046b Remove some gross code by using the Value::dump method to do debug dumps 
llvm-svn: 2150
 2002-04-07 22:33:13 +00:00
Chris Lattner
c7df07c3f8 * s/Method/Function 
* Implement a check to make sure a function is not internal and external
  at the same time

llvm-svn: 2050
 2002-03-29 19:06:18 +00:00
Chris Lattner
ba358e8e65 Checkin new test for problem anand ran into 
llvm-svn: 1880
 2002-03-15 20:25:09 +00:00
Chris Lattner
1a4aac1060 Add a check to ensure that only PHI nodes are self referential. Code 
input to instruction combination was broken, which caused it to explode.

llvm-svn: 1870
 2002-03-14 16:53:48 +00:00
Chris Lattner
00ef917e01 Expose more entry points to the verifier 
llvm-svn: 1815
 2002-02-26 21:45:33 +00:00
Chris Lattner
b10862d793 Make it compile with GCC 3.0.4 
llvm-svn: 1786
 2002-02-24 23:01:21 +00:00
Chris Lattner
75c1ff0221 Actually implement some checking in the verifier. 
These specific problems were ones Anand ran into in his work and seem not
uncommon for beginners.

llvm-svn: 1781
 2002-02-20 17:55:43 +00:00
Chris Lattner
15c05486cc Convert analyses to new pass structure 
llvm-svn: 1603
 2002-01-31 00:42:27 +00:00
Chris Lattner
3dc9a2a61f Changes to build successfully with GCC 3.02 
llvm-svn: 1503
 2002-01-20 22:54:45 +00:00
Chris Lattner
d1cd54e437 Add notes 
llvm-svn: 1163
 2001-11-06 22:53:11 +00:00
Chris Lattner
fddd7fbc2c Remove #include of nonexistant header file 
llvm-svn: 443
 2001-09-07 16:32:10 +00:00
Chris Lattner
e445514d62 Added a note about a new verification the verifier should do 
Removed a redundant check

llvm-svn: 100
 2001-06-29 05:22:12 +00:00
Chris Lattner
d616582a7a Miscellaneous cleanups: 
* Convert post to pre-increment for for loops
  * Use generic programming more
  * Use new Value::cast* instructions
  * Use new Module, Method, & BasicBlock forwarding methods
  * Use new facilities in STLExtras.h
  * Use new Instruction::isPHINode() method

llvm-svn: 96
 2001-06-27 23:41:11 +00:00
Chris Lattner
e6b9b382e2 Initial revision 
llvm-svn: 2
 2001-06-06 20:29:01 +00:00