maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
50,234 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

341 Commits

Author SHA1 Message Date
Chris Lattner 149376dee5 - Change Function's so that their argument list is populated when they are 
constructed.  Before, external functions would have an empty argument list,
    now a Function ALWAYS has a populated argument list.

llvm-svn: 4149
 2002-10-13 20:57:00 +00:00
Chris Lattner 78bc0fa29f Check that we don't have external varaibles with internal linkage 
llvm-svn: 4051
 2002-10-06 22:47:32 +00:00
Chris Lattner 4cd9df88a7 PHI nodes are not allowed to exist with zero incoming values, check that 
there aren't any like this.

llvm-svn: 4044
 2002-10-06 21:00:31 +00:00
Chris Lattner a450397247 Make sure that we abort if an error happens as early as neccesary. Before 
it was possible for the passmanager to continue running passes after the
verifier even if the module was not well formed.

llvm-svn: 3820
 2002-09-19 16:12:19 +00:00
Chris Lattner 80a2568f9b Fix typeo in assertion message 
llvm-svn: 3641
 2002-09-10 04:52:59 +00:00
Chris Lattner 1f41925300 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 dfb3a2cd07 Eliminated the MemAccessInst class, folding contents into GEP class. 
llvm-svn: 3487
 2002-08-22 23:37:20 +00:00
Chris Lattner cd709cbf53 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 40eb9dafed - 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 8e72d6f6e9 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 00fb26cf4d Register Verifier pass 
llvm-svn: 3019
 2002-07-23 18:08:17 +00:00
Chris Lattner 7af3ee9840 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 8c37789a33 changes for 64bit gcc 
llvm-svn: 2801
 2002-06-25 22:07:38 +00:00
Chris Lattner 069a795940 * 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 338a462110 Verify that function call arguments match the function signature 
llvm-svn: 2553
 2002-05-08 19:49:50 +00:00
Chris Lattner d5a847057b Eliminate duplicate or unneccesary #include's 
llvm-svn: 2397
 2002-04-29 17:42:12 +00:00
Chris Lattner 37104aace8 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 f12cc842b3 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 412d277f4a 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 9713b840cf 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 c8e665431b * 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 d46bb6e933 * 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 21ea83bb3e 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 0e851daf53 * 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 af95e589df * 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 486302a0e6 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 f739fa8541 s/Method/Function 
llvm-svn: 2180
 2002-04-08 22:03:57 +00:00
Chris Lattner 3d381bb4d9 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 3e6e3e6bce * 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 fbf5be52c3 Checkin new test for problem anand ran into 
llvm-svn: 1880
 2002-03-15 20:25:09 +00:00
Chris Lattner 7704e9f337 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 b67f732b8c Expose more entry points to the verifier 
llvm-svn: 1815
 2002-02-26 21:45:33 +00:00
Chris Lattner 43373a6868 Make it compile with GCC 3.0.4 
llvm-svn: 1786
 2002-02-24 23:01:21 +00:00
Chris Lattner d02f08dec9 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 ccf571a408 Convert analyses to new pass structure 
llvm-svn: 1603
 2002-01-31 00:42:27 +00:00
Chris Lattner 7f74a56e24 Changes to build successfully with GCC 3.02 
llvm-svn: 1503
 2002-01-20 22:54:45 +00:00
Chris Lattner 68289f0b89 Add notes 
llvm-svn: 1163
 2001-11-06 22:53:11 +00:00
Chris Lattner dea211ea67 Remove #include of nonexistant header file 
llvm-svn: 443
 2001-09-07 16:32:10 +00:00
Chris Lattner d77f3c0cbd 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 4cee8d8ffb 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 2f7c963559 Initial revision 
llvm-svn: 2
 2001-06-06 20:29:01 +00:00