RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 20:23:11 +01:00
Code Issues Projects Releases Wiki Activity
2,579 Commits 4 Branches 5 Tags 704 MiB
e61bc07952
Commit Graph

1479 Commits

Author SHA1 Message Date
Chris Lattner
4a830e1a4a * Remove all cfg simplification stuff for a new cfg simplify pass (todo) 
* Convert to worklist instead of iterative algorithm

llvm-svn: 2510
 2002-05-07 04:24:11 +00:00
Chris Lattner
44c4a3f18f Mark analyses that only depend on the CFG of a function 
llvm-svn: 2507
 2002-05-06 19:32:07 +00:00
Chris Lattner
06c3ae573f Make functions that preserve the CFG not invalidate analyses that only depend 
on the CFG of a function

llvm-svn: 2506
 2002-05-06 19:31:52 +00:00
Chris Lattner
ca538273d4 Only do masking for unsigned values! 
llvm-svn: 2504
 2002-05-06 18:54:59 +00:00
Chris Lattner
66ff017174 * Eliminate dead code that should have been removed in last revision 
* Convert main constant propogation pass to be worklist driven instead of
  iterative.
* -constprop pass no longer "constant propogates" terminator instructions
   - CFG is now preserved!

llvm-svn: 2502
 2002-05-06 18:21:31 +00:00
Chris Lattner
24ebec1273 Handle X = phi Y --> X = Y 
llvm-svn: 2501
 2002-05-06 18:06:38 +00:00
Chris Lattner
e2242ebf8e Move code out of header file 
llvm-svn: 2498
 2002-05-06 17:54:27 +00:00
Chris Lattner
910ca80941 * Use simplified interface to constant propogation stuff. 
* Remove dead PHI case (which could not work due to getNumOperands rather than
  getNumIncomingValues.  This really belongs in InstCombine, anyway so we'll
  move it there.

llvm-svn: 2497
 2002-05-06 17:54:10 +00:00
Chris Lattner
47fb300c56 Add #include removed from ConstantHandling.h 
llvm-svn: 2496
 2002-05-06 17:53:10 +00:00
Chris Lattner
b40c1bf6f7 Clean up ADCE by removing extraneous wrapper class 
llvm-svn: 2494
 2002-05-06 17:27:57 +00:00
Chris Lattner
c5279917bc Combine not (not X) -> X 
llvm-svn: 2493
 2002-05-06 17:03:21 +00:00
Chris Lattner
24a94a50d8 Support more cases... 
llvm-svn: 2490
 2002-05-06 16:49:18 +00:00
Chris Lattner
8898eec72c Change usage of isPointerType to use isa 
llvm-svn: 2487
 2002-05-06 16:15:49 +00:00
Chris Lattner
fd8d5b852c Replace all usages of Type::isPointerType with isa<PointerType> 
llvm-svn: 2486
 2002-05-06 16:15:30 +00:00
Chris Lattner
17ac289374 Implement getPrimitiveSize() 
don't use isPointerType()

llvm-svn: 2485
 2002-05-06 16:14:39 +00:00
Chris Lattner
24ebdf3f74 Add many more instruction combination simplifications 
llvm-svn: 2484
 2002-05-06 16:14:14 +00:00
Chris Lattner
728a84e0f7 Remove dead code 
llvm-svn: 2473
 2002-05-06 03:03:09 +00:00
Chris Lattner
ef7f8fc474 Merge blocks like this: 
void "test3"(bool %T) {
        br bool %T, label %BB1, label %BB1
BB1:
        ret void
}

llvm-svn: 2472
 2002-05-06 03:02:02 +00:00
Chris Lattner
d12eac0b1b Implement constant propogation of shift instructions 
llvm-svn: 2471
 2002-05-06 03:01:37 +00:00
Chris Lattner
5b5663b806 Implement constant propogation of shifts 
llvm-svn: 2470
 2002-05-06 03:00:54 +00:00
Chris Lattner
dfb7d63b15 Print functions with curly braces instead of begin/end 
llvm-svn: 2469
 2002-05-06 03:00:40 +00:00
Chris Lattner
1d4e297a65 Implement two iterator remove method 
llvm-svn: 2467
 2002-05-06 02:59:34 +00:00
Chris Lattner
7c3c3eefcc Implement remainder 
Fix implementation of Not

llvm-svn: 2464
 2002-05-03 21:41:07 +00:00
Chris Lattner
0c91866478 Fix bug: test/Regression/Transforms/SCCP/2002-05-03-NotOperator.ll 
by using the ~ operator instead of !

llvm-svn: 2458
 2002-05-03 20:09:52 +00:00
Chris Lattner
beb2a36b9e Implement the NOT operator. 
llvm-svn: 2455
 2002-05-03 19:52:30 +00:00
Chris Lattner
5369a645e6 Allow open/closing curly braces instead of begin/end to define the body of a function 
llvm-svn: 2451
 2002-05-03 18:23:48 +00:00
Chris Lattner
9606fd4830 Ok, really it only takes me 3 times to get this right! 
Now use #if 0 instead of #ifdef 0

llvm-svn: 2448
 2002-05-02 21:49:50 +00:00
Chris Lattner
de442f70ac Oops, disable debugging code all the way. :) 
llvm-svn: 2447
 2002-05-02 21:47:40 +00:00
Chris Lattner
7d4f3ed1f2 * Finish the implementation of isEdgeFeasible this fixes bug: 
test/Regression/Transforms/SCCP/2002-05-02-EdgeFailure.ll
* SCCP now preserves the CFG:  It leaves conditional branches the way they
  are in the program, not simplifying them.  A seperate pass should eliminate
  the potentially dead basic blocks and edges in the CFG.

llvm-svn: 2446
 2002-05-02 21:44:00 +00:00
Chris Lattner
b30088a50d * Enable SCCP debugging to be turned on with a simple change of #define 
* Change worklist to a set so that duplicates cannot happen
* Add support for the invoke instruction
* Avoid marking store and free instructions as overdefined, since they
  cannot produce a value anyway.
* Inline the OperandChangedState implementation
* Add isEdgeFeasible in preparation to fix a bug.  Right now it behaves
  exactly as before.
* Remove obsolete comment about constant pools

llvm-svn: 2445
 2002-05-02 21:18:01 +00:00
Chris Lattner
28a8acc476 * Simplify the code by not bothering to name the folded constant 
* Do not skip the instruction immediately after a folded instruction.  This
  was causing the testcase failure:
	test/Regression/Transforms/SCCP/2002-05-02-MissSecondInst.ll

llvm-svn: 2443
 2002-05-02 20:32:51 +00:00
Chris Lattner
dff0195064 Implement cast operations on booleans to allow casting bools to ints, f.e. 
llvm-svn: 2437
 2002-05-02 19:28:45 +00:00
Chris Lattner
8f309d920f * Fix a bug (test/Regression/Assembler/2002-05-02-InvalidForwardRef.ll) 
introduced in the 1.66 revision of this file.
* Convert a hard coded constant to a symbolic value.

llvm-svn: 2436
 2002-05-02 19:27:42 +00:00
Chris Lattner
bbd002a9ca The implementation keyword is no longer neccesary 
llvm-svn: 2434
 2002-05-02 19:11:29 +00:00
Chris Lattner
7af6cac869 The "implementation" is now allowed but not required by the parser. All type 
definitions must still occur before function bodies, but the wierd keyword is
no longer neccesary.

llvm-svn: 2433
 2002-05-02 19:11:13 +00:00
Chris Lattner
6212dd5c08 ExprTypeConvert will already do this transformation, no need to specialize 
it here.

llvm-svn: 2431
 2002-05-02 17:38:55 +00:00
Chris Lattner
2c44e5bca3 Be a little more efficient, do not generate loads and stores with indices in them. 
llvm-svn: 2430
 2002-05-02 17:38:14 +00:00
Chris Lattner
66f5b12141 Fix bug: test/Regression/Transforms/LevelRaise/2002-05-02-BadCastElimination.ll 
llvm-svn: 2429
 2002-05-02 17:37:34 +00:00
Chris Lattner
b7df910c1a * Add ability to eliminate a bunch of different cascading cast variations 
* Allow elimination of getelementptr X, uint 0 (which is a noop)

llvm-svn: 2428
 2002-05-02 17:06:02 +00:00
Chris Lattner
8a6104c3cb Fixed bug: test/Regression/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll 
llvm-svn: 2423
 2002-05-01 15:38:23 +00:00
Chris Lattner
5879b0928b Remove unneccesary pass 
llvm-svn: 2420
 2002-04-30 20:52:49 +00:00
Chris Lattner
8eb37c77d6 Fix problem where subpasses would invalidate all analyses outstanding 
llvm-svn: 2418
 2002-04-30 18:50:17 +00:00
Chris Lattner
a6cb49c533 Add folding rules for mul X, 0 and mul X, 2 
llvm-svn: 2417
 2002-04-29 22:24:47 +00:00
Chris Lattner
5d1ac4dbc9 Significantly clean up SCCP pass. Now the two classes are merged and in 
an anonymous namespace where they belong.

llvm-svn: 2415
 2002-04-29 21:26:08 +00:00
Chris Lattner
48e73edf57 Range insertion now returns an iterator 
llvm-svn: 2414
 2002-04-29 21:25:34 +00:00
Chris Lattner
2716e9868c Make the range insert operation return an iterator, even though the STL 
range insert doesn't

llvm-svn: 2413
 2002-04-29 21:23:30 +00:00
Chris Lattner
5d17e49ad5 Remove unused files: This is the old induction varaible cannonicalization 
pass built on top of interval analysis

llvm-svn: 2411
 2002-04-29 20:18:00 +00:00
Chris Lattner
4968cc38aa Fix for problem when allocating something like this: 
malloc(100-i);

llvm-svn: 2409
 2002-04-29 20:09:21 +00:00
Chris Lattner
05a37c1dae Fix #include broken by iMemory.h not including DerivedTypes.h 
llvm-svn: 2407
 2002-04-29 18:56:45 +00:00
Chris Lattner
ba813cb36f Add neccesary #include 
llvm-svn: 2406
 2002-04-29 18:48:55 +00:00
Chris Lattner
f5d07697e6 changes because iMemory.h no longer #includes DerivedTypes.h 
This only requires Type.h anyway

llvm-svn: 2405
 2002-04-29 18:48:30 +00:00
Chris Lattner
a2c59f1302 Changes so that iMemory.h doesn't include DerivedTypes.h 
llvm-svn: 2404
 2002-04-29 18:46:50 +00:00
Chris Lattner
9468519f34 Fix bug: test/Regression/Other/2002-04-29-NameBinding.ll 
llvm-svn: 2402
 2002-04-29 18:25:33 +00:00
Chris Lattner
cfc512e714 Eliminate dead global variables 
llvm-svn: 2400
 2002-04-29 18:13:11 +00:00
Chris Lattner
96e0c48175 Eliminate duplicate or unneccesary #include's 
llvm-svn: 2397
 2002-04-29 17:42:12 +00:00
Chris Lattner
3909059b6a Remove broken assertion. 
llvm-svn: 2396
 2002-04-29 16:20:25 +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
6285ebca7d Add a new command line option for PassManager using utilities. 
Now for llc, gccas, analyze, opt, etc you can specify the -time-passes
command line option that outputs a timing summary report that indicates
how long each pass takes to execute.

llvm-svn: 2394
 2002-04-29 04:04:29 +00:00
Chris Lattner
56828a18c4 More cleanups 
llvm-svn: 2392
 2002-04-29 01:58:47 +00:00
Chris Lattner
a8688d69c5 Code cleanups 
llvm-svn: 2391
 2002-04-29 01:22:55 +00:00
Chris Lattner
4c9a3f11d3 Remove dead code 
llvm-svn: 2390
 2002-04-28 21:57:50 +00:00
Chris Lattner
9e194d76a1 FIXME removed: malloc/alloca ALWAYS have a size argument 
llvm-svn: 2389
 2002-04-28 21:57:33 +00:00
Chris Lattner
c760a6a4f4 Todo has been implemented, remove it 
llvm-svn: 2387
 2002-04-28 21:45:02 +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
c74c58800a Move FunctionPass::doesNotModifyCFG to AnalysisUsage::preservesCFG() 
llvm-svn: 2384
 2002-04-28 21:25:41 +00:00
Chris Lattner
c64ef6740a * Add a stub to FunctionPass so that subclasses can declare that they do not 
modify the CFG.  It currently does nothing, but will in the future.
* Changes to make the public PassManager.h be MUCH smaller, and devoid of
  implementation details.  Now PassManager is just a Pimpl class that wraps
  PassManagerT<Module>, but lib/VMCore/Pass.cpp is now the only class that
  has to #include PassManagerT.h

llvm-svn: 2383
 2002-04-28 20:46:05 +00:00
Chris Lattner
f6c808bc29 Move include/llvm/PassManager.h to lib/VMCore/PassManagerT.h 
llvm-svn: 2382
 2002-04-28 20:42:50 +00:00
Chris Lattner
7102c8f2c9 Add #include that was removed from TargetMachine.h 
llvm-svn: 2381
 2002-04-28 20:40:59 +00:00
Chris Lattner
e7143ad386 Include appropriate file 
llvm-svn: 2379
 2002-04-28 20:40:16 +00:00
Chris Lattner
321a8cf4ba Split ConstantVals.h into Constant.h and Constants.h 
llvm-svn: 2378
 2002-04-28 19:55:58 +00:00
Chris Lattner
e20c7411d3 Simplify and update code a bit 
llvm-svn: 2376
 2002-04-28 19:20:10 +00:00
Chris Lattner
50a089867d Eliminate the PromoteInstance class, incorporating it into the PromotePass 
class.

llvm-svn: 2375
 2002-04-28 19:12:38 +00:00
Chris Lattner
b8ade8715e Eliminate visited, CurrentValue, and WriteSets as instance variables of 
PromoteInstance.  Make them local variables that are passed around as
appropriate.  Especially in the case of CurrentValue, this makes the
code simpler.

llvm-svn: 2374
 2002-04-28 18:54:01 +00:00
Chris Lattner
1d9e63dca0 * Fix bug: test/Regression/Transforms/Mem2Reg/2002-03-28-UninitializedVal.ll 
* Minor cleanup that was missed in last patch

llvm-svn: 2373
 2002-04-28 18:39:46 +00:00
Chris Lattner
246083577b This huge changeset is a strictly cleanup change 
Bugfixes will come in the next revision so that the diff is obvious.

llvm-svn: 2372
 2002-04-28 18:27:55 +00:00
Chris Lattner
07fe96ca98 Eliminate the cfg namespace, moving LoopInfo, Dominators, Interval* classes 
to the global namespace

llvm-svn: 2370
 2002-04-28 16:21:30 +00:00
Chris Lattner
f043c4baac Remove all contents of the cfg namespace to the global namespace 
llvm-svn: 2369
 2002-04-28 16:19:42 +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
e5d8bd9baf Be careful not to make "external" function internal 
llvm-svn: 2363
 2002-04-28 05:48:34 +00:00
Chris Lattner
23e713d49d Initial checkin of new "Internalize" pass for GCCLD 
llvm-svn: 2362
 2002-04-28 05:43:27 +00:00
Chris Lattner
514c7b752e Minor changes to allow Modules (which are no longer Values) to work 
llvm-svn: 2361
 2002-04-28 05:14:06 +00:00
Chris Lattner
a903875f0f Eliminate use of SymTabValue class 
llvm-svn: 2357
 2002-04-28 04:55:14 +00:00
Chris Lattner
38e114c016 The contents of the SymTabValue class have been incorporated into the 
Module and Function classes directly.

llvm-svn: 2356
 2002-04-28 04:52:28 +00:00
Chris Lattner
602655926c * Incorporate the contents of SymTabValue into Function and Module 
* Module no longer subclasses Value

llvm-svn: 2355
 2002-04-28 04:51:51 +00:00
Chris Lattner
07da09cd34 Module's are no longer values 
llvm-svn: 2354
 2002-04-28 04:51:09 +00:00
Chris Lattner
7b48239cc1 Simplify code 
Remove unneccesary getID variant for module's

llvm-svn: 2353
 2002-04-28 04:50:54 +00:00
Chris Lattner
efd4654268 Remove unneccesary #include 
llvm-svn: 2352
 2002-04-28 04:50:19 +00:00
Chris Lattner
d7e179b25f Module's are no longer Value subclasses 
llvm-svn: 2351
 2002-04-28 04:50:00 +00:00
Chris Lattner
e6d056f520 Fix signed/unsigned comparison warning 
llvm-svn: 2350
 2002-04-28 04:49:43 +00:00
Chris Lattner
0bd57e6e99 Initial checkin of simple&fast SSA based GCSE algorithm 
llvm-svn: 2338
 2002-04-28 00:47:11 +00:00
Chris Lattner
741453dd60 Change the Dominator info and LoopInfo classes to keep track of BasicBlock's, not 
const BasicBlocks

llvm-svn: 2337
 2002-04-28 00:15:57 +00:00
Chris Lattner
2f0ee1833d s/Method/Function 
llvm-svn: 2336
 2002-04-27 07:27:19 +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
0c04e4d1ef Changes because the Terminator::getSuccessor function now FAILS if successor 
IDX is out of range instead of returning null.

llvm-svn: 2332
 2002-04-27 03:15:45 +00:00
Chris Lattner
0196db7833 Use the cast<> operator in favor of C style casts 
llvm-svn: 2331
 2002-04-27 03:14:39 +00:00
Chris Lattner
1e7147c9e9 * Change Constant::getNullConstant to Constant::getNullValue 
* Add support for pool allocating array allocations of varying size

llvm-svn: 2329
 2002-04-27 02:29:32 +00:00
Chris Lattner
3f7a62a960 Add support for tracking array allocations 
llvm-svn: 2328
 2002-04-27 02:28:41 +00:00
Chris Lattner
4e52f71340 Allow the inline limit to be modified on the commandline for debugging 
llvm-svn: 2327
 2002-04-27 02:27:48 +00:00
Chris Lattner
543ab06854 Trivial simplification of code 
llvm-svn: 2325
 2002-04-27 02:26:03 +00:00
Chris Lattner
83819833b1 * Change Constant::getNullConstant to Constant::getNullValue 
* Remove some unused code

llvm-svn: 2324
 2002-04-27 02:25:43 +00:00
Chris Lattner
078d292f4c Change Constant::getNullConstant to Constant::getNullValue 
llvm-svn: 2323
 2002-04-27 02:25:14 +00:00
Chris Lattner
dfdfae42df Simplify code a bit 
llvm-svn: 2322
 2002-04-27 02:24:17 +00:00
Vikram S. Adve
95b080aca1 Don't record instructions for copying method arguments in the 
AddedInstrns sets for the first machine instruction.  It is hard
to ensure that the right order is preserved, and sure enough, the
order was broken.  Instead, use a separate set for the function entry.

llvm-svn: 2318
 2002-04-25 04:46:28 +00:00
Vikram S. Adve
1004ba9d5f Don't pad spills and temp. stack areas for alignment. 
Freeze auto vars and spill areas when their sizes are used
for computing other offsets.

llvm-svn: 2317
 2002-04-25 04:43:45 +00:00
Vikram S. Adve
a9037d5d60 Major changes to how int and FP arguments are handled. Varargs 
function calls were simply wrong; other functions were just not
using all available registers.

llvm-svn: 2316
 2002-04-25 04:42:21 +00:00
Vikram S. Adve
10ba17d6fe Added functions to compute which register, if any, to use 
for a particular argument in a list of arguments.

llvm-svn: 2315
 2002-04-25 04:40:24 +00:00
Vikram S. Adve
9995ae21c2 Insert copy operations for FP arguments to a varargs function, 
to copy the FP arg. to an integer.  Necessary so that the
register allocator has two different live ranges for the FP value
and the int. argument.

llvm-svn: 2314
 2002-04-25 04:37:51 +00:00
Vikram S. Adve
1837d86a85 Implementation of class MachineFrameInfo. 
llvm-svn: 2313
 2002-04-25 04:35:27 +00:00
Vikram S. Adve
f69db4f795 Don't record instructions for copying method arguments in the 
AddedInstrns sets for the first machine instruction.  It is hard
to ensure that the right order is preserved, and sure enough, the
order was broken.  Instead, use a separate set for the function entry.

llvm-svn: 2312
 2002-04-25 04:34:15 +00:00
Vikram S. Adve
ad382a01be Improve printing during dumps. 
llvm-svn: 2311
 2002-04-25 04:31:18 +00:00
Vikram S. Adve
9f9392ec24 Optional args are no longer allocated as they are discovered. 
(This can be improved to avoid making the initial pass over the method.)
Also, ensure automatic vars and reg. spills areas are not extended
if their sizes are used for computing some other offset.

llvm-svn: 2310
 2002-04-25 04:30:43 +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
039edb92f3 Programs that actually free memory were broken 
llvm-svn: 2307
 2002-04-18 22:11:30 +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
37c9e90c89 Add new api for basic signal handling for tools 
llvm-svn: 2302
 2002-04-18 19:53:53 +00:00
Chris Lattner
8f81cd7da6 Move asmwriter/getStrValue cruft into AsmWriter.cpp file. 
llvm-svn: 2300
 2002-04-18 18:53:33 +00:00
Chris Lattner
f1dee31d23 Pull all of the getStrValue implementation cruft out of Constants.cpp and 
put it into the AsmWriter.  This code is kinda gross and could probably be
cleaned up, but not now.

llvm-svn: 2299
 2002-04-18 18:53:13 +00:00
Chris Lattner
8e2b6edf87 Add a fixme so that we don't forget this is broken. 
llvm-svn: 2298
 2002-04-18 18:52:03 +00:00
Chris Lattner
2789c27277 * getAsString requires that the input array is string compatible, so 
assert it.
* Use WriteAsOperand instead of getStringValue for constants

llvm-svn: 2296
 2002-04-18 18:15:38 +00:00
Chris Lattner
f43286a1e4 Make debugging code not use getStrValue 
llvm-svn: 2295
 2002-04-18 18:14:56 +00:00
Chris Lattner
e935ad94d0 Just use << isntead of forcing getStrValue 
llvm-svn: 2294
 2002-04-18 18:14:40 +00:00
Chris Lattner
bde9202648 Print argument scalars as ellipses instead of boxes 
llvm-svn: 2293
 2002-04-18 18:14:19 +00:00
Chris Lattner
a392a80a60 Significantly rework InstructionCombining to work better and to be cleaner. 
We now use an InstVisitor to delegate to different cases that we are
interested in handling.  We also fix the FIXME's by adding users to the
worklist when appropriate.

llvm-svn: 2292
 2002-04-18 17:39:14 +00:00
Chris Lattner
bb60c83409 Convert SCCP over to use InstVisitor instead of hand crafted switch 
llvm-svn: 2286
 2002-04-18 15:13:15 +00:00
Chris Lattner
e2f1e01fc1 Remove gep::isStructSelector 
CTor's do not allow names anymore for StoreInst objects

llvm-svn: 2285
 2002-04-18 14:44:53 +00:00
Chris Lattner
b736829547 GEP instructions can never be constant propogated. 
llvm-svn: 2284
 2002-04-18 14:44:13 +00:00
Chris Lattner
5e7d6d8066 Store instructions always return void, so they never get a name 
llvm-svn: 2283
 2002-04-18 14:43:54 +00:00
Chris Lattner
eee0e3f1f7 Correctly transform dependant arguments, allowing the perimeter bm to work. 
llvm-svn: 2282
 2002-04-18 14:43:30 +00:00
Chris Lattner
e4f2e7ecf4 Fix a bug printing out %c formated characters. 
llvm-svn: 2277
 2002-04-17 17:43:01 +00:00
Chris Lattner
a4add093c6 Inline indirect function calls that are only capable of calling one function 
llvm-svn: 2275
 2002-04-17 03:42:51 +00:00
Chris Lattner
59927296e4 Make data structure acurately get ALL edges, even loads of null fields of 
nodes that are not shadow nodes

This fixes em3d to be _correct_ if not optimial

llvm-svn: 2274
 2002-04-17 03:24:59 +00:00
Chris Lattner
04437c9749 Add casts for documentation 
llvm-svn: 2272
 2002-04-16 22:10:52 +00:00
Chris Lattner
68c032623c * Clean up the code a bit 
* Allow structs with negative offsets.  This enables the em3d benchmark to
  be made typesafe.  In this case, the struct had an array as the first
  element, so a negative index was ok (the expr was -8 + 8x)

llvm-svn: 2271
 2002-04-16 22:10:36 +00:00
Chris Lattner
f1dd584bbe Remove old frivolous uses of getStrValue in a debugging statement 
llvm-svn: 2270
 2002-04-16 21:36:59 +00:00
Chris Lattner
c43b279e94 Remove unneccesary cast 
llvm-svn: 2269
 2002-04-16 21:36:29 +00:00
Chris Lattner
10c22c6970 Changes to: 
* Fix bug printing method types (oops when converting previous code)
* Move some of the code from Constant::getStrValue implementations here.
  This allows us to do a MUCH MUCH better job printing out complex constant
  values (think an array of structure pointers), because we print symbolic
  type names instead of structural.  The assistance when debugging is immense

Eventually, Constant::getStrValue should be removed (it existed before because
the asmwriter file was not in VMCore), and everyone should go through the
asmwriter that want's equivalent functionality.

llvm-svn: 2268
 2002-04-16 21:36:08 +00:00
Chris Lattner
0cda7182ba * Remove the concept of a critical shadow node 
* Make the function pointer argument explicit for a call nodes
* Eliminate unreachable global values
* Merge call nodes that are identical

llvm-svn: 2266
 2002-04-16 20:39:59 +00:00
Chris Lattner
11f9ff83ec * Eliminate ArgDSNode's completely, now rely on scalar map 
* Fold call nodes that are indistinguishable for each other.  This is a big
  win for external functions like sqrt, which would multiply dramatically
  before.
* Global nodes with no edges to or from them are now eliminated from the graph.

llvm-svn: 2257
 2002-04-16 03:44:03 +00:00
Chris Lattner
c004e8f534 run an extra pass after a function has been transformed to eliminate 
obviously duplicate loads of the pool base.

llvm-svn: 2255
 2002-04-15 22:42:23 +00:00
Chris Lattner
9799e40136 Only print debug message if DEBUG_RA is on 
llvm-svn: 2254
 2002-04-15 22:41:48 +00:00
Chris Lattner
572d298aa6 Only emit message if DEBUG_RA is on 
llvm-svn: 2252
 2002-04-15 20:36:15 +00:00
Chris Lattner
1923a5cfaa Eliminate cast of same type instructions. 
llvm-svn: 2251
 2002-04-15 19:45:29 +00:00
Chris Lattner
2e20403fad * s/Method/Function 
* Fix bug where the character after a % was being discarded

llvm-svn: 2248
 2002-04-14 06:15:24 +00:00
Chris Lattner
983272ba58 Turn off debug output 
llvm-svn: 2247
 2002-04-14 06:14:41 +00:00
Chris Lattner
3b7f72e4e4 * Allow datasize to be specified on the commandline 
* Build new datatypes correctly
* Transform instructions that return null pointers from functions to return
  a null index.

llvm-svn: 2244
 2002-04-13 23:13:18 +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
c0505e8d4e Minor bugfix for previous checkin 
llvm-svn: 2241
 2002-04-13 21:11:04 +00:00
Chris Lattner
5496a44cc2 * Remove obselete code for unsized arrays 
* Add new function printTypeAtLeastOneLevel used to...
* Print the symbol table *WITH SYMBOLIC TYPES*.  Now we get:
       %tree = type { int, %tree*, %tree* }
  in the type definition section of the disassembled output instead of
       %tree = type { int, \2*, \2* }
  the different for the health benchmark and power are simply amazing.

llvm-svn: 2240
 2002-04-13 20:53:41 +00:00