mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-02 09:56:07 +00:00
Code Issues Projects Releases Wiki Activity
9,212 Commits 1,258 Branches 288 Tags
Commit Graph

73 Commits

Author SHA1 Message Date
Chris Lattner
dcdc371522 Fix problem Reid was having with external globals and nonexternal linkage 
llvm-svn: 10133
 2003-11-21 20:33:27 +00:00
Chris Lattner
189d19fb04 Finegrainify namespacification 
llvm-svn: 10131
 2003-11-21 20:23:48 +00:00
Chris Lattner
7e5e456d96 Fix some problems with assertions printing 
llvm-svn: 10129
 2003-11-21 17:35:51 +00:00
Chris Lattner
9d72c2f229 improve error message 
llvm-svn: 10128
 2003-11-21 17:06:29 +00:00
Brian Gaeke
9f47927b28 When failing a Verifier assertion, use WriteAsOperand to print out the 
offending types and/or values.

llvm-svn: 10041
 2003-11-16 23:07:42 +00:00
Chris Lattner
ef901291c6 Expose the verifier to opt 
llvm-svn: 9984
 2003-11-13 19:47:29 +00:00
Chris Lattner
3b93c91836 Detect problems with PHI node operands! 
llvm-svn: 9916
 2003-11-12 07:13:37 +00:00
Brian Gaeke
960707c335 Put all LLVM code into the llvm namespace, as per bug 109. 
llvm-svn: 9903
 2003-11-11 22:41:34 +00:00
John Criswell
482202a601 Added LLVM project notice to the top of every C++ source file. 
Header files will be on the way.

llvm-svn: 9298
 2003-10-20 19:43:21 +00:00
Chris Lattner
5b33748497 Add support for the new varargs intrinsics and instructions 
llvm-svn: 9226
 2003-10-18 05:57:43 +00:00
Misha Brukman
fa100531e1 Fix spelling/grammar. 
llvm-svn: 9023
 2003-10-10 17:54:14 +00:00
Chris Lattner
df9779c5c2 Be more careful handling PHI nodes, which might be of potentially high degree. 
This reduces the time to verify a function from eon with a large number of
large PHI nodes from 22996s (6.38 hours) to 10.5499s

llvm-svn: 8866
 2003-10-05 17:44:18 +00:00
Chris Lattner
5dac64f629 Rename Function::getEntryNode -> getEntryBlock 
llvm-svn: 8625
 2003-09-20 14:39:18 +00:00
Brian Gaeke
ff713ae819 Make createVerifierPass return a FunctionPass *. 
llvm-svn: 8449
 2003-09-10 19:37:04 +00:00
Chris Lattner
04ecefe232 Eliminate support for the llvm.unwind intrinisic, using the Unwind instruction instead 
llvm-svn: 8411
 2003-09-08 19:44:26 +00:00
Chris Lattner
ea9891311a As it turns out, things will be simpler than I first expected. We no longer 
need any exception handling intrinsics beyond llvm.unwind. (yaay)

llvm-svn: 8145
 2003-08-25 22:35:01 +00:00
Chris Lattner
7da3571af9 rethrow is really the language independent primitive here. "throw" can be written 
in terms of it and llvm.exc.setcurrent.

Rework the intrinsics.

llvm-svn: 8110
 2003-08-24 12:24:08 +00:00
Chris Lattner
ade9410c99 Initial support for recognizing LLVM exception handling intrinsics 
llvm-svn: 8102
 2003-08-24 05:30:29 +00:00
Chris Lattner
748e9e143b Add intrinsics for the llvm.sig(set|long)jmp functions 
llvm-svn: 7949
 2003-08-18 15:41:24 +00:00
Misha Brukman
7eb05a170a Spell `necessary' correctly. 
llvm-svn: 7944
 2003-08-18 14:43:39 +00:00
Chris Lattner
4159fdaef2 Add a bunch of new Alpha Intrinsics for Rahul Joshi 
llvm-svn: 7646
 2003-08-06 20:08:25 +00:00
Chris Lattner
60104f00c7 Add support for Alpha intrinsics, contributed by Rahul Joshi 
llvm-svn: 7373
 2003-07-28 21:20:57 +00:00
Chris Lattner
d295d99664 Fix (bogus) possibly uninitialized warning 
llvm-svn: 6634
 2003-06-05 21:01:26 +00:00
Chris Lattner
192623ec93 Add support for setjmp/longjmp primitives 
Patch checked in for Bill Wendling :)

llvm-svn: 6241
 2003-05-17 22:26:33 +00:00
Chris Lattner
bad4b4a52b llvm.va_start only takes on argument now 
Verify that va_start doesn't occur in functions with no varargs

llvm-svn: 6038
 2003-05-08 15:55:31 +00:00
Chris Lattner
bb346d07b5 Add more support for intrinsic functions and for varargs stuff 
llvm-svn: 6035
 2003-05-08 03:47:33 +00:00
Chris Lattner
f70da10697 Add support for the new va_arg instruction 
llvm-svn: 6029
 2003-05-08 02:44:12 +00:00
Chris Lattner
534952b0d5 Remove arbitrary limitation 
llvm-svn: 5818
 2003-04-19 00:50:37 +00:00
Chris Lattner
3ac483bc89 Add code to verify correctly linkages 
llvm-svn: 5788
 2003-04-16 20:42:40 +00:00
Chris Lattner
6a61d257d6 Fix bug Regression/Verifier/2002-11-05-GetelementptrPointers.ll 
llvm-svn: 5273
 2003-01-14 22:19:44 +00:00
Chris Lattner
903a25d225 User defined operators are not supposed to live beyond the lifetime of the 
pass.  Detect and flag them.

llvm-svn: 4801
 2002-11-21 16:54:22 +00:00
Chris Lattner
98cf1f5d64 - Eliminated the deferred symbol table stuff in Module & Function, it really 
wasn't an optimization and it was causing lots of bugs.

llvm-svn: 4779
 2002-11-20 18:36:02 +00:00
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