RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-28 06:22:51 +01:00
Code Issues Projects Releases Wiki Activity
38,906 Commits 4 Branches 5 Tags 704 MiB
744dad8004
Commit Graph

1744 Commits

Author SHA1 Message Date
Owen Anderson
3a92d35e62 When removing instructions from the analysis, be sure to check the confirmed 
flag when determining what to do with dependencies.

llvm-svn: 40079
 2007-07-20 06:16:07 +00:00
Devang Patel
45675e56ad Verify loop info. 
llvm-svn: 40062
 2007-07-19 18:02:32 +00:00
Duncan Sands
8c6657894f Replace mysterious code causing a g++-4.2 warning 
with hopefully correct code that pleases g++-4.2.

llvm-svn: 40051
 2007-07-19 09:42:01 +00:00
Owen Anderson
efc00e35cf Add support for walking up memory def chains, which enables finding many more 
dead stores on 400.perlbench.

llvm-svn: 39929
 2007-07-16 21:52:50 +00:00
Dan Gohman
ef7c87f4d8 Use ConstantFoldFP for folding all unary floating-point operations which may 
have an error, and refector out the code for binary operators into
ConstantFoldBinaryFP and use it for all binary floating-point operations
which may have an error. These functions still rely exclusively on errno
to detect errors though.

llvm-svn: 39923
 2007-07-16 15:26:22 +00:00
Dan Gohman
0ba554c0c8 Fix comments about vectors to use the current wording. 
llvm-svn: 39921
 2007-07-16 14:29:03 +00:00
Nick Lewycky
43e5fd5be7 Handle decrementing loops properly. Fixes PR1533. 
Always pass the constant as the second parameter to HowManyLessThans.

Remove obsolete "isSigned" parameter.

llvm-svn: 39893
 2007-07-16 02:08:00 +00:00
Owen Anderson
b6211f5b50 Let MemoryDependenceAnalysis take care of updating AliasAnalysis. 
llvm-svn: 39769
 2007-07-12 00:06:21 +00:00
Owen Anderson
bb0f7c00ab Calculate the size of a array allocation correctly. 
llvm-svn: 38511
 2007-07-10 20:48:38 +00:00
Owen Anderson
04b3497eb7 Fix a crasher when finding the dependency of a call. 
llvm-svn: 38510
 2007-07-10 20:39:07 +00:00
Owen Anderson
b11a2f3a32 Make this pass registration static as well. 
llvm-svn: 38509
 2007-07-10 20:21:08 +00:00
Owen Anderson
6c92149ce5 Handle vaarg instructions correctly. 
llvm-svn: 38504
 2007-07-10 18:43:15 +00:00
Owen Anderson
f4bea94dbd Volatile loads and stores depend on each other. 
llvm-svn: 38502
 2007-07-10 18:11:42 +00:00
Owen Anderson
1f5fb875b6 Add support for finding the dependencies of call and invoke instructions. 
llvm-svn: 38497
 2007-07-10 17:59:22 +00:00
Owen Anderson
1bd416b823 Fix the build, and fix the handling of pointer sizes. 
llvm-svn: 38494
 2007-07-10 17:25:03 +00:00
Owen Anderson
1fabbda503 Fix a bunch of things from Chris' feedback 
llvm-svn: 38493
 2007-07-10 17:08:11 +00:00
Dan Gohman
4e45063081 Move the APInt form of SCEVUnknown::getIntegerSCEV to SCEVConstant::get, and 
use SCEVConstant::get instead of SCEVUnknown::get when constructing a SCEV
for a ConstantInt.

llvm-svn: 38457
 2007-07-09 15:25:17 +00:00
Owen Anderson
23d5d3add4 A first stab at memory dependence analysis. This is an interface on top of 
alias analysis, adding caching and lazy computation of queries.  This will
be used in planned improvements to memory access optimizations.

llvm-svn: 37958
 2007-07-06 23:14:35 +00:00
Dan Gohman
048c6f805b Add explicit keywords. 
llvm-svn: 37839
 2007-07-02 14:53:37 +00:00
Devang Patel
593a23252d Add loop info verification mechanism. 
llvm-svn: 37822
 2007-06-29 23:13:42 +00:00
Devang Patel
0b2cb3ec61 CallGraphSCCPass manager may require other passes. 
Use schedulePass() to accomodate these requirement instead of directly
assigning a manager to new CallGraph PassManager.

llvm-svn: 37695
 2007-06-21 22:29:02 +00:00
Dan Gohman
bb705e230a Rename ScalarEvolution::deleteInstructionFromRecords to 
deleteValueFromRecords and loosen the types to all it to accept
Value* instead of just Instruction*, since this is what
ScalarEvolution uses internally anyway. This allows more flexibility
for future uses.

llvm-svn: 37657
 2007-06-19 14:28:31 +00:00
Dan Gohman
5db3ad4b32 In SCEVAddExpr::get, skip over any cast operands before looking for nested 
add operands after constant operands. The recent change to recognize
sign-extend expressions caused this to be exposed more often.

llvm-svn: 37628
 2007-06-18 19:30:09 +00:00
Anton Korobeynikov
76361958e8 Make BasicAliasAnalysis correctly register itself. Patch by Devang 
llvm-svn: 37627
 2007-06-18 17:13:29 +00:00
Dan Gohman
1c73ccb4d3 Fold a binary operator with constant operands when expanding code for a SCEV. 
llvm-svn: 37602
 2007-06-15 19:21:55 +00:00
Dan Gohman
838ba27094 Add a SCEV class and supporting code for sign-extend expressions. 
This created an ambiguity for expandInTy to decide when to use
sign-extension or zero-extension, but it turns out that most of its callers
don't actually need a type conversion, now that LLVM types don't have
explicit signedness. Drop expandInTy in favor of plain expand, and change
the few places that actually need a type conversion to do it themselves.

llvm-svn: 37591
 2007-06-15 14:38:12 +00:00
Devang Patel
ab4cb51479 Break DominatorTree from ETNode. 
Remove unused PostETForest.

llvm-svn: 37551
 2007-06-12 00:54:38 +00:00
Devang Patel
d544f5262e Use DominatorTree instead of ETForest. 
llvm-svn: 37507
 2007-06-08 00:17:13 +00:00
Devang Patel
67ede3d635 Use DominatorTree instead of ETForest. 
llvm-svn: 37505
 2007-06-07 23:53:38 +00:00
Devang Patel
babcd06827 Maintain ETNode as part of DomTreeNode. 
This adds redundancy for now.

llvm-svn: 37492
 2007-06-07 17:47:21 +00:00
Nick Lewycky
2897eb89d0 Optimize this test. Firstly, only Instructions may use other Instructions. 
Secondly, checking whether removal succeeded tells you whether it was in
the map to begin with.

llvm-svn: 37469
 2007-06-06 11:26:20 +00:00
Nick Lewycky
c667323382 Fix PR1487 and Transforms/IndVar/2007-06-06-DeleteDanglesPtr.ll 
llvm-svn: 37459
 2007-06-06 04:12:20 +00:00
Devang Patel
606fb412b0 Fix PR 1497 
Use separate pass id for CFGOnlyPrinter.

llvm-svn: 37439
 2007-06-05 20:24:36 +00:00
Devang Patel
2ef6caf14f s/llvm::DominatorTreeBase::DomTreeNode/llvm::DomTreeNode/g 
llvm-svn: 37407
 2007-06-04 00:32:22 +00:00
Devang Patel
d58b82f83a s/DominatorTreeBase::Node/DominatorTreeBase:DomTreeNode/g 
llvm-svn: 37403
 2007-06-03 06:26:14 +00:00
Chris Lattner
d339f51afd when merging two alias sets together, be sure to propagate the volatility of 
the inner set.  This fixes PR1435 and Transforms/LICM/2007-05-22-VolatileSink.ll

llvm-svn: 37305
 2007-05-23 06:36:35 +00:00
Dan Gohman
f704d8f166 Add passes -view-cfg and -view-cfg-only that are like -print-cfg and 
-print-cfg-only except they use the ViewCFG function, which displays the
CFG rendered with graphviz with gv.

llvm-svn: 37033
 2007-05-14 14:25:08 +00:00
Nick Lewycky
c2306ff5b4 Fix typo in comment. 
llvm-svn: 36873
 2007-05-06 13:37:16 +00:00
Devang Patel
cd45427a87 Drop 'const' 
llvm-svn: 36662
 2007-05-03 01:11:54 +00:00
Devang Patel
8ee9065162 Use 'static const char' instead of 'static const int'. 
Due to darwin gcc bug, one version of darwin linker coalesces
static const int, which defauts PassID based pass identification.

llvm-svn: 36652
 2007-05-02 21:39:20 +00:00
Lauro Ramos Venancio
57d03e112b Fix build error. 
llvm-svn: 36648
 2007-05-02 20:37:47 +00:00
Devang Patel
38a66bc82e Do not use typeinfo to identify pass in pass manager. 
llvm-svn: 36632
 2007-05-01 21:15:47 +00:00
Zhou Sheng
9339daf407 Make use of ConstantInt::isZero instead of ConstantInt::isNullValue. 
llvm-svn: 36261
 2007-04-19 05:39:12 +00:00
Devang Patel
ffbee86b8e Cache DT[*SI] lookup. 
llvm-svn: 36239
 2007-04-18 01:19:55 +00:00
Devang Patel
daba9f7064 Fix 
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20070416/047971.html

llvm-svn: 36236
 2007-04-18 00:53:01 +00:00
Chris Lattner
af290edea7 Be more careful when inserting reused instructions. This fixes CodeGen/Generic/2007-04-17-lsr-crash.ll 
llvm-svn: 36231
 2007-04-17 23:43:50 +00:00
Chris Lattner
e4323f863a Remove use of Instruction::getNext 
llvm-svn: 36201
 2007-04-17 17:52:45 +00:00
Anton Korobeynikov
f3e62a428a Removed tabs everywhere except autogenerated & external files. Add make 
target for tabs checking.

llvm-svn: 36146
 2007-04-16 18:10:23 +00:00
Reid Spencer
85f055a567 Revert last patch. It was already fixed. 
llvm-svn: 36102
 2007-04-16 02:24:41 +00:00
Reid Spencer
e411fd1f10 For PR1336: 
Fix a div-by-zero bug noticed by APInt. This fixes:
test/Transforms/IndVarsSimplify/exit_value_tests.llx

llvm-svn: 36099
 2007-04-16 01:48:37 +00:00
Owen Anderson
b371956400 Tabs -> Spaces 
llvm-svn: 36094
 2007-04-15 23:14:18 +00:00
Chris Lattner
c2762b5d83 Fix a nasty bug introduced when apint'ified. This fixes 
Transforms/IndVarsSimplify/exit_value_tests.llx

llvm-svn: 36081
 2007-04-15 19:52:49 +00:00
Owen Anderson
ea857029ea Remove ImmediateDominator analysis. The same information can be obtained from DomTree. A lot of code for 
constructing ImmediateDominator is now folded into DomTree construction.

This is part of the ongoing work for PR217.

llvm-svn: 36063
 2007-04-15 08:47:27 +00:00
Chris Lattner
335f1cb1f8 CSE simple binary expressions when they are inserted. This makes LSR produce 
less huge code that needs to be cleaned up by sdisel.

llvm-svn: 35959
 2007-04-13 05:04:18 +00:00
Zhou Sheng
c2cfa6111d Eliminate unnecessary APInt construction. 
llvm-svn: 35740
 2007-04-07 17:48:27 +00:00
Zhou Sheng
7bcd47dbc1 Make APInt variables do the computation stuffs instead of 
ConstantExpr::getXX if possible.

llvm-svn: 35738
 2007-04-07 17:40:57 +00:00
Zhou Sheng
21dfc2107a Eliminate unnecessary zext/trunc stuffs. 
llvm-svn: 35737
 2007-04-07 17:12:38 +00:00
Owen Anderson
85b0e20f2a Completely purge DomSet. This is the (hopefully) final patch for PR1171. 
llvm-svn: 35731
 2007-04-07 07:17:27 +00:00
Owen Anderson
5403a248af Expunge DomSet from LoadValueNumbering. This is part of the continuing 
work on PR1171.

llvm-svn: 35723
 2007-04-07 04:43:07 +00:00
Chris Lattner
6668db1331 Treat xor of signbit like an add. 
llvm-svn: 35586
 2007-04-02 05:41:38 +00:00
Reid Spencer
34b5a64f15 The bit counting intrinsics return i32 not the operand type. This fixes 
last night's regression in SingleSource/UnitTests/2005-05-11-Popcount-ffs-fls

llvm-svn: 35556
 2007-04-01 18:42:20 +00:00
Reid Spencer
88fb617695 For PR1297: 
Support overloaded intrinsics bswap, ctpop, cttz, ctlz.

llvm-svn: 35547
 2007-04-01 07:35:23 +00:00
Dan Gohman
d0a0ea9916 Change uses of Function::front to Function::getEntryBlock for readability. 
llvm-svn: 35265
 2007-03-22 16:38:57 +00:00
Devang Patel
6a56e3c1a0 Now IndVarSimplify is a LoopPass. 
llvm-svn: 35003
 2007-03-07 06:39:01 +00:00
Devang Patel
c35610b9f9 Now LoopUnswitch is a LoopPass. 
llvm-svn: 34992
 2007-03-07 00:26:10 +00:00
Devang Patel
bee9c51214 Insert loop into LQ before visiting children. 
llvm-svn: 34982
 2007-03-06 19:50:49 +00:00
Devang Patel
57322d0462 Use schedulePass() instead of assignPassManager() to add new LPPassManager. 
This ensures that require analysis info is available.

llvm-svn: 34980
 2007-03-06 19:11:25 +00:00
Devang Patel
b44e86318e Add LPPassManager::insertLoop(). 
llvm-svn: 34979
 2007-03-06 19:00:02 +00:00
Devang Patel
8490ffbcdc LPPassManager::deleteLoopFromQueue() add meat. Cut-n-paste code from 
LoopUnswitch pass.

llvm-svn: 34977
 2007-03-06 18:38:33 +00:00
Devang Patel
d3cf506865 LPPassManager. Implement preparePassManager() hook. 
llvm-svn: 34975
 2007-03-06 17:59:37 +00:00
Devang Patel
e3abf559e5 LPPassManager : Add initialization and finalizatino hooks. 
llvm-svn: 34968
 2007-03-06 16:59:03 +00:00
Devang Patel
e4da6fa801 Use std::deque to manage loop queue inside LPPassManager. 
llvm-svn: 34943
 2007-03-06 02:30:46 +00:00
Devang Patel
6668a341ae Avoid constructing std::strings unless pass debugging is ON. 
llvm-svn: 34933
 2007-03-05 20:01:30 +00:00
Jeff Cohen
98c99a3a02 Unbreak VC++ build. 
llvm-svn: 34917
 2007-03-05 00:00:42 +00:00
Chris Lattner
dec6a90a00 Speed up Loop::isLCSSAForm by using a hash table instead of a sorted vector. 
llvm-svn: 34900
 2007-03-04 04:06:39 +00:00
Reid Spencer
17000a40e2 Guard further against APInt operations with operands of unequal bit width. 
llvm-svn: 34897
 2007-03-04 01:25:35 +00:00
Reid Spencer
89154fbfff Fix an unequal bitwidth issue. 
llvm-svn: 34831
 2007-03-02 02:59:25 +00:00
Reid Spencer
1f970769e8 Prefer non-virtual calls to ConstantInt::isZero over virtual calls to 
Constant::isNullValue() in situations where it is possible.

llvm-svn: 34821
 2007-03-02 00:28:52 +00:00
Reid Spencer
ee77d22f26 Make it possible to create an SCEVUnknown from an APInt as well as an int. 
llvm-svn: 34816
 2007-03-01 22:28:51 +00:00
Reid Spencer
30758bbe85 Avoid a potential assert out if the loop increment is > 64 bits. 
llvm-svn: 34798
 2007-03-01 19:45:00 +00:00
Reid Spencer
288f1db60d Construct ConstantInt with simpler constructor. 
llvm-svn: 34795
 2007-03-01 19:32:33 +00:00
Reid Spencer
18d663b62c Fix last night's 445.gobmk breakage which was caused by comparison of 
APInt's of unequal bitwidth.

llvm-svn: 34790
 2007-03-01 17:17:21 +00:00
Reid Spencer
3f3487918c Remove the "isSigned" parameters from ConstantRange. It turns out they 
are not needed as the results are the same with or without it.

Patch by Nicholas Lewycky.

llvm-svn: 34782
 2007-03-01 07:54:15 +00:00
Reid Spencer
036051c002 APIntify various computations in ScalarEvolution 
llvm-svn: 34780
 2007-03-01 07:25:48 +00:00
Reid Spencer
67eedb21b7 For PR1205: 
Make GetConstantFactor compute its result using an APInt.

llvm-svn: 34765
 2007-02-28 23:31:17 +00:00
Reid Spencer
19e5279a38 For PR1205: 
Adjust to changes in ConstantRange interface.

llvm-svn: 34762
 2007-02-28 22:03:51 +00:00
Reid Spencer
f119927a6f Move ConstantRange class to lib/Support from lib/Analysis and make its 
interface not depend on Type or ICmpInst.

llvm-svn: 34761
 2007-02-28 22:02:48 +00:00
Reid Spencer
965067a054 For PR1205: 
Remove ConstantInt from ConstantRange interface and adjust its users to
compensate.

llvm-svn: 34758
 2007-02-28 19:57:34 +00:00
Reid Spencer
e2b4631435 For PR1205: 
First round of ConstantRange changes. This makes all CR constructors use
only APInt and not use ConstantInt. Clients are adjusted accordingly.

llvm-svn: 34756
 2007-02-28 18:57:32 +00:00
Reid Spencer
2b933467ad For PR1205: 
Convert ConstantRange class to use APInt internally as its value type for
the constant range, instead of ConstantInt.

llvm-svn: 34745
 2007-02-28 17:36:23 +00:00
Devang Patel
89791371ce Make getPassManagerType() const. 
llvm-svn: 34669
 2007-02-27 15:00:39 +00:00
Devang Patel
e0c0b3bea6 Fix thinko. 
llvm-svn: 34528
 2007-02-23 18:05:55 +00:00
Devang Patel
06b8983669 Loop passes are set up to accept pointer. 
llvm-svn: 34527
 2007-02-23 17:53:17 +00:00
Devang Patel
46cad14ab8 Teach LoopPass to assign itself one Loop Pass Manager. 
llvm-svn: 34510
 2007-02-23 00:36:57 +00:00
Devang Patel
9a7b18fa3d Add facility that allows LoopPass to re-insert a loop into 
Loop Pass Manager's queue.

llvm-svn: 34509
 2007-02-23 00:16:44 +00:00
Devang Patel
bbfd00e658 Add LPPassManager interface that LoopPass can use to skip 
rest of the passes in the queue for a loop.

llvm-svn: 34508
 2007-02-23 00:10:16 +00:00
Devang Patel
d7448faaed Populate and walk loop queue. 
llvm-svn: 34505
 2007-02-22 23:45:15 +00:00
Devang Patel
b170ebf833 Add LoopQueue. This is used by loop pass manager to manage loop nest. 
llvm-svn: 34504
 2007-02-22 23:30:07 +00:00
Devang Patel
aabb87cffe Add Loop Pass Manager. 
llvm-svn: 34487
 2007-02-22 08:56:17 +00:00
Reid Spencer
55e4e98a2a For PR1195: 
Rename PackedType -> VectorType, ConstantPacked -> ConstantVector, and
PackedTyID -> VectorTyID. No functional changes.

llvm-svn: 34293
 2007-02-15 02:26:10 +00:00
Nick Lewycky
b994bafc0f Fix comments to match names of functions. 
llvm-svn: 34173
 2007-02-11 00:58:49 +00:00
Chris Lattner
058257bdd2 Switch some std::vector's to SmallVectors. This speeds up -load-vn -gcse 
by 6% on tramp3d.

llvm-svn: 34167
 2007-02-10 22:15:31 +00:00
Chris Lattner
8dbca590f4 modify CheckGEPInstructions to take a pointer and size instead of a vector. 
llvm-svn: 34166
 2007-02-10 22:12:53 +00:00
Chris Lattner
d47f00d794 eliminate use of TargetData::getIndexedOffset that takes a vector 
llvm-svn: 34163
 2007-02-10 20:35:22 +00:00
Chris Lattner
fd0d12756d completely eliminate a temporary vector 
llvm-svn: 34162
 2007-02-10 20:33:15 +00:00
Chris Lattner
9dafd9fe90 Privatize StructLayout::MemberOffsets, adding an accessor 
llvm-svn: 34156
 2007-02-10 19:55:17 +00:00
Reid Spencer
598f6d293b Make classes in anonymous namespaces use VISIBILITY_HIDDEN to help reduce 
LLVM's footprint and speed up linking.

llvm-svn: 33941
 2007-02-05 23:42:17 +00:00
Reid Spencer
591bfa1e0b Changes to support making the shift instructions be true BinaryOperators. 
This feature is needed in order to support shifts of more than 255 bits
on large integer types.  This changes the syntax for llvm assembly to
make shl, ashr and lshr instructions look like a binary operator:
   shl i32 %X, 1
instead of
   shl i32 %X, i8 1
Additionally, this should help a few passes perform additional optimizations.

llvm-svn: 33776
 2007-02-02 02:16:23 +00:00
Devang Patel
e5e4a44cca Dump function names when debug-pass=Executions is used. 
llvm-svn: 33772
 2007-02-01 22:38:33 +00:00
Devang Patel
015a474023 Pretty print pass manager 
llvm-svn: 33766
 2007-02-01 22:09:37 +00:00
Chris Lattner
46ce2a4cca Fix a minor bug in my patch yesterday that broken ConstProp/bswap.ll 
llvm-svn: 33704
 2007-01-31 18:04:55 +00:00
Chris Lattner
9888e0a048 elimiante a temporary vector 
llvm-svn: 33694
 2007-01-31 04:42:05 +00:00
Chris Lattner
be153e31f3 Move some symbolic constant folding code out of instcombine into a place 
it can be used by multiple clients.  This specifically allows the inliner
to constant fold symbolically.

llvm-svn: 33687
 2007-01-31 00:51:48 +00:00
Chris Lattner
937bf05f43 The local "ConstantFold" method is now just a watered down version of 
ConstantFoldInstOperands.  Switch to ConstantFoldInstOperands and remove
ConstantFold.

llvm-svn: 33683
 2007-01-30 23:52:44 +00:00
Chris Lattner
1765c2eed8 move a bunch of constant folding code f rom Transforms/Utils/Local.cpp into 
libanalysis/ConstantFolding.cpp.

llvm-svn: 33679
 2007-01-30 23:45:45 +00:00
Chris Lattner
116b82d058 adjust to constant folding api changes. 
llvm-svn: 33673
 2007-01-30 23:15:43 +00:00
Reid Spencer
19af04a142 For PR1136: Rename GlobalVariable::isExternal as isDeclaration to avoid 
confusion with external linkage types.

llvm-svn: 33663
 2007-01-30 20:08:39 +00:00
Devang Patel
3eb643f21e Use StartPassTimer() and StopPassManager() 
llvm-svn: 33640
 2007-01-29 23:29:54 +00:00
Devang Patel
dd0a7887fa Measure timings. 
llvm-svn: 33627
 2007-01-29 20:08:03 +00:00
Devang Patel
f1ef346a53 Remove dead code. 
CallGraphSCCPass does not need to implement runOnModule().
It supports runOnSCC().

llvm-svn: 33516
 2007-01-26 01:08:18 +00:00
Devang Patel
f8db9e212e Fix typo. 
llvm-svn: 33467
 2007-01-23 21:55:17 +00:00
Devang Patel
cfd7cfeccd Add CallGraphSCCPass::assignPassManager(). 
This enables CalLGraphPassManager.

llvm-svn: 33466
 2007-01-23 21:52:35 +00:00
Reid Spencer
e33c18f4d2 For PR970: 
Clean up handling of isFloatingPoint() and dealing with PackedType.
Patch by Gordon Henriksen!

llvm-svn: 33415
 2007-01-21 00:29:26 +00:00
Reid Spencer
14b42c0040 For PR1043: 
This is the final patch for this PR. It implements some minor cleanup
in the use of IntegerType, to wit:
1. Type::getIntegerTypeMask -> IntegerType::getBitMask
2. Type::Int*Ty changed to IntegerType* from Type*
3. ConstantInt::getType() returns IntegerType* now, not Type*

This also fixes PR1120.

Patch by Sheng Zhou.

llvm-svn: 33370
 2007-01-19 21:13:56 +00:00
Devang Patel
756af73d3a Add CGPassManager. 
llvm-svn: 33309
 2007-01-17 21:45:01 +00:00
Jeff Cohen
c4ab4ae3e1 Unbreak VC++ build. 
llvm-svn: 33242
 2007-01-15 20:27:18 +00:00
Chris Lattner
64205203a5 Constant fold llvm.powi.*. This speeds up tramp3d--v4 by 9.5% 
llvm-svn: 33229
 2007-01-15 06:27:37 +00:00
Chris Lattner
c5e1611848 rename Type::isIntegral to Type::isInteger, eliminating the old Type::isInteger. 
rename Type::getIntegralTypeMask to Type::getIntegerTypeMask.

This makes naming much more consistent.  For example, there are now no longer any
instances of IntegerType that are not considered isInteger! :)

llvm-svn: 33225
 2007-01-15 02:27:26 +00:00
Chris Lattner
4d7eed35ae Update code to eliminate calls to isInteger, calling isIntegral instead. 
llvm-svn: 33220
 2007-01-15 01:58:56 +00:00
Chris Lattner
32e75c19b5 Fix correlated exprs regressions 
llvm-svn: 33214
 2007-01-15 01:02:34 +00:00
Chris Lattner
b1b258fd1e fit to 80 cols. 
Remove now-extraneous checks for ptr->ptr bitcasts.

Fix PR1109 and Analysis/BasicAA/2007-01-13-BasePointerBadNoAlias.ll.  We
need to consider arbitrary sized objects when checking for nested GEP offsets.

llvm-svn: 33195
 2007-01-14 05:57:53 +00:00
Chris Lattner
5ddfa77636 Fix PR1101 and Analysis/ScalarEvolution/trip-count.ll 
llvm-svn: 33193
 2007-01-14 01:24:47 +00:00
Chris Lattner
39030b8d42 don't discriminate against bool 
llvm-svn: 33128
 2007-01-12 18:28:58 +00:00
Chris Lattner
be3dff7815 remove unneeded special cases 
llvm-svn: 33127
 2007-01-12 18:23:49 +00:00
Chris Lattner
c5a3d1064e GEP operands can't be bools 
llvm-svn: 33125
 2007-01-12 18:20:48 +00:00
Reid Spencer
3d986f6487 Implement review feedback for the ConstantBool->ConstantInt merge. Chris 
recommended that getBoolValue be replaced with getZExtValue and that
get(bool) be replaced by get(const Type*, uint64_t). This implements
those changes.

llvm-svn: 33110
 2007-01-12 04:24:46 +00:00
Reid Spencer
f3265181e2 Rename BoolTy as Int1Ty. Patch by Sheng Zhou. 
llvm-svn: 33076
 2007-01-11 18:21:29 +00:00
Zhou Sheng
23d24526b2 For PR1043: 
Merge ConstantIntegral and ConstantBool into ConstantInt.
Remove ConstantIntegral and ConstantBool from LLVM.

llvm-svn: 33073
 2007-01-11 12:24:14 +00:00
Reid Spencer
d876f05c66 Fix a bug in an assert that would never trigger. 
llvm-svn: 33005
 2007-01-08 05:34:39 +00:00
Reid Spencer
372c53dfbf Convert uses of getPrimitiveSize that should be getPrimitiveSizeInBits. 
llvm-svn: 33003
 2007-01-08 01:26:33 +00:00
Chris Lattner
ce03b9209c remove llvm.isunordered 
llvm-svn: 32991
 2007-01-07 08:19:47 +00:00
Chris Lattner
b76478fd3d Fix PR1015 and Transforms/IndVarsSimplify/2007-01-06-TripCount.ll, a 
miscompilation of Qt.

llvm-svn: 32974
 2007-01-07 02:24:26 +00:00
Chris Lattner
adc6319e45 cast of int to bool no longer does a compare, rendering this fixme 
obsolete

llvm-svn: 32972
 2007-01-07 02:05:20 +00:00
Reid Spencer
0fb7fa82d4 For PR950: 
This patch replaces signed integer types with signless ones:
1. [US]Byte -> Int8
2. [U]Short -> Int16
3. [U]Int   -> Int32
4. [U]Long  -> Int64.
5. Removal of isSigned, isUnsigned, getSignedVersion, getUnsignedVersion
   and other methods related to signedness. In a few places this warranted
   identifying the signedness information from other sources.

llvm-svn: 32785
 2006-12-31 05:48:39 +00:00
Reid Spencer
4428c3483b For PR950: 
This patch removes the SetCC instructions and replaces them with the ICmp
and FCmp instructions. The SetCondInst instruction has been removed and
been replaced with ICmpInst and FCmpInst.

llvm-svn: 32751
 2006-12-23 06:05:41 +00:00
Reid Spencer
bf23c40f9f Add a FIXME about signedness. 
llvm-svn: 32732
 2006-12-21 18:59:16 +00:00
Reid Spencer
480dd02b45 Add some comments about things that can go away once signless types are in. 
llvm-svn: 32727
 2006-12-21 06:43:46 +00:00
Chris Lattner
03b59d4218 eliminate static ctors from Statistics 
llvm-svn: 32697
 2006-12-19 22:30:33 +00:00
Chris Lattner
28c15ed860 Fix a bug in GetConstantFactor for affine expressions, in which the existing 
code was wrong for things like 3+4*i.

llvm-svn: 32662
 2006-12-19 01:16:02 +00:00
Bill Wendling
7f6a73eb5c Added an automatic cast to "std::ostream*" etc. from OStream. We then can 
rework the hacks that had us passing OStream in. We pass in std::ostream*
instead, check for null, and then dispatch to the correct print() method.

llvm-svn: 32636
 2006-12-17 05:15:13 +00:00
John Criswell
edc020ec46 Changed from PARALLEL_DIRS to DIRS since we're only building one directory. 
Thanks Reid.

llvm-svn: 32551
 2006-12-13 19:42:54 +00:00
John Criswell
e6f8bb4ee2 Remove DSA. 
llvm-svn: 32550
 2006-12-13 19:41:57 +00:00
John Criswell
165218fb87 Remove DSA. 
llvm-svn: 32542
 2006-12-13 16:54:24 +00:00
Reid Spencer
ad772bfec3 Change the interface to SCEVExpander::InsertCastOfTo to take a cast opcode 
so the decision of which opcode to use is pushed upward to the caller.
Adjust the callers to pass the expected opcode.

llvm-svn: 32535
 2006-12-13 08:06:42 +00:00
Reid Spencer
0e981c9088 Replace inferred getCast(V,Ty) calls with more strict variants. 
Rename getZeroExtend and getSignExtend to getZExt and getSExt to match
the the casting mnemonics in the rest of LLVM.

llvm-svn: 32514
 2006-12-12 23:36:14 +00:00
Reid Spencer
04710becf5 Get even more accurate on the casting. 
llvm-svn: 32478
 2006-12-12 09:17:50 +00:00
Reid Spencer
562b83c7df Change inferred getCast into specific getCast. Passes all tests. 
llvm-svn: 32469
 2006-12-12 05:05:00 +00:00
Chris Lattner
51c27947c6 teach scev to analyze X*4|1 like X*4+c. This allows us to produce: 
LBB1_1: #bb
        movdqa (%esi), %xmm2
        movaps %xmm2, %xmm3
        punpcklbw %xmm0, %xmm3
        movaps %xmm3, %xmm4
        punpcklwd %xmm0, %xmm4
        cvtdq2ps %xmm4, %xmm4
        mulps %xmm1, %xmm4
        movaps %xmm4, (%edi)
        leal 1(,%eax,4), %ebx
        shll $4, %ebx
        punpckhwd %xmm0, %xmm3
        cvtdq2ps %xmm3, %xmm3
        mulps %xmm1, %xmm3
        movaps %xmm3, (%edx,%ebx)
        leal 2(,%eax,4), %ebx
        shll $4, %ebx
        punpckhbw %xmm0, %xmm2
        movaps %xmm2, %xmm3
        punpcklwd %xmm0, %xmm3
        cvtdq2ps %xmm3, %xmm3
        mulps %xmm1, %xmm3
        movaps %xmm3, (%edx,%ebx)
        leal 3(,%eax,4), %ebx
        shll $4, %ebx
        punpckhwd %xmm0, %xmm2
        cvtdq2ps %xmm2, %xmm2
        mulps %xmm1, %xmm2
        movaps %xmm2, (%edx,%ebx)
        addl $64, %edi
        incl %eax
        addl $16, %esi
        cmpl %ecx, %eax
        jne LBB1_1      #bb

instead of:

LBB1_1: #bb
        movdqa (%esi), %xmm2
        movaps %xmm2, %xmm3
        punpcklbw %xmm0, %xmm3
        movaps %xmm3, %xmm4
        punpcklwd %xmm0, %xmm4
        cvtdq2ps %xmm4, %xmm4
        mulps %xmm1, %xmm4
        movaps %xmm4, (%edi)
        leal 1(,%eax,4), %ebx
        shll $4, %ebx
        punpckhwd %xmm0, %xmm3
        cvtdq2ps %xmm3, %xmm3
        mulps %xmm1, %xmm3
        movaps %xmm3, (%edx,%ebx)
        leal 2(,%eax,4), %ebx
        shll $4, %ebx
        punpckhbw %xmm0, %xmm2
        movaps %xmm2, %xmm3
        punpcklwd %xmm0, %xmm3
        cvtdq2ps %xmm3, %xmm3
        mulps %xmm1, %xmm3
        movaps %xmm3, (%edx,%ebx)
        leal 3(,%eax,4), %ebx
        shll $4, %ebx
        punpckhwd %xmm0, %xmm2
        cvtdq2ps %xmm2, %xmm2
        mulps %xmm1, %xmm2
        movaps %xmm2, (%edx,%ebx)
        addl $64, %edi
        incl %eax
        addl $16, %esi
        cmpl %ecx, %eax
        jne LBB1_1      #bb

for a testcase.

llvm-svn: 32463
 2006-12-12 02:26:09 +00:00
Chris Lattner
e31f99af99 clarify some comments, simplify some checks, fix: 
Regression/Transforms/IndVarsSimplify/2006-12-10-BitCast.ll

llvm-svn: 32420
 2006-12-11 00:12:31 +00:00
Bill Wendling
4d1444725b Removed more <iostream> includes 
llvm-svn: 32321
 2006-12-07 20:28:15 +00:00
Bill Wendling
a3246c4272 Changed llvm_ostream et all to OStream. llvm_cerr, llvm_cout, llvm_null, are 
now cerr, cout, and NullStream resp.

llvm-svn: 32298
 2006-12-07 01:30:32 +00:00
Reid Spencer
166f4dd036 Adjust to new ConstantIntegral interface for Max/Min tests. 
llvm-svn: 32289
 2006-12-06 20:45:15 +00:00
Chris Lattner
a531ce882e Detemplatize the Statistic class. The only type it is instantiated with 
is 'unsigned'.

llvm-svn: 32279
 2006-12-06 17:46:33 +00:00
Chris Lattner
5c252d195f Simplify code 
llvm-svn: 32270
 2006-12-06 06:35:25 +00:00
Chris Lattner
3d1758e08c Remove the 'printname' argument to WriteAsOperand. It is always true, and 
passing false would make the asmprinter fail anyway.

llvm-svn: 32264
 2006-12-06 06:16:21 +00:00
Reid Spencer
980b8e4169 Finally get the casting right in this file. Also, remove some unnecessary 
casting because sdiv doesn't require operand signs to match any more.

llvm-svn: 32240
 2006-12-05 22:39:58 +00:00
Chris Lattner
1dc35111f1 straighten out various memory ownership issues in the callgraph stuff. 
This fixes Regression/Other/2002-01-31-CallGraph.ll.

llvm-svn: 32237
 2006-12-05 19:46:12 +00:00
Reid Spencer
c87c3e5a70 Bail on the getInferredCast idea. Remove the function and convert 
remaining uses to more specific casts.

llvm-svn: 32231
 2006-12-05 19:14:13 +00:00
Reid Spencer
9161e033cd Fix comment grammaro 
llvm-svn: 32198
 2006-12-04 21:33:23 +00:00
Chris Lattner
1eaa3ef5b3 Add a comment and fix a memory leak. Thanks to Vikram for pointing this out. 
llvm-svn: 32196
 2006-12-04 21:22:45 +00:00
Reid Spencer
e7de1b3255 Fix inferred casts. 
llvm-svn: 32180
 2006-12-04 17:05:42 +00:00
Reid Spencer
01a0443bdd Fix 80 cols violation 
llvm-svn: 32179
 2006-12-04 17:04:44 +00:00
Reid Spencer
0668975146 Change inferred casts to explicit casts. 
llvm-svn: 32165
 2006-12-04 02:46:44 +00:00
Jeff Cohen
f99052befb Unbreak VC++ build. 
llvm-svn: 32113
 2006-12-02 02:22:01 +00:00
Bill Wendling
a5c00d4c4f WTF? These weird newlines got in there... 
llvm-svn: 31998
 2006-11-29 01:14:00 +00:00
Bill Wendling
4effa38086 Replacing std::iostreams with llvm iostreams. Some of these changes involve 
adding a temporary wrapper around the ostream to make it friendly to
functions expecting an LLVM stream. This should be fixed in the future.

llvm-svn: 31990
 2006-11-29 00:19:40 +00:00
Bill Wendling
2477c0ac3d Convert to using llvm streams instead of iostreams. 
llvm-svn: 31989
 2006-11-28 23:33:06 +00:00
Bill Wendling
040a60d22d Removed some of the iostream #includes. Moved towards converting to using 
llvm streams

llvm-svn: 31983
 2006-11-28 22:46:12 +00:00
Reid Spencer
992d9788b3 For PR950: 
The long awaited CAST patch. This introduces 12 new instructions into LLVM
to replace the cast instruction. Corresponding changes throughout LLVM are
provided. This passes llvm-test, llvm/test, and SPEC CPUINT2000 with the
exception of 175.vpr which fails only on a slight floating point output
difference.

llvm-svn: 31931
 2006-11-27 01:05:10 +00:00
Reid Spencer
6e34ef887b For PR950: 
First in a series of patches to convert SetCondInst into ICmpInst and
FCmpInst using only two opcodes and having the instructions contain their
predicate value. Nothing uses these classes yet. More patches to follow.

llvm-svn: 31867
 2006-11-20 01:22:35 +00:00
Bill Wendling
2f40f19e0d Needed <iostream> for now. 
llvm-svn: 31816
 2006-11-17 09:44:28 +00:00
Bill Wendling
42b8ad7362 Needs the iostream include. 
llvm-svn: 31815
 2006-11-17 09:38:03 +00:00
Bill Wendling
e4bdd79300 Replaced DEBUG(std::cerr with DOUT. 
llvm-svn: 31812
 2006-11-17 07:36:54 +00:00
Bill Wendling
ccae1fe7c7 Replace DEBUG(std::cerr with DOUT. Removed some iostream #includes. 
llvm-svn: 31811
 2006-11-17 07:33:59 +00:00
Bill Wendling
3244a7dc35 Removed unneeded <iostream> #include. 
llvm-svn: 31810
 2006-11-17 07:10:51 +00:00
Andrew Lenharth
6bf99e12a8 A shim over other AA impls to catch incorrect uses 
llvm-svn: 31724
 2006-11-14 05:21:04 +00:00
Chris Lattner
d23cc47b59 remove redundant code 
llvm-svn: 31697
 2006-11-13 01:10:12 +00:00
Jim Laskey
28fec74f1b Remove redundant <cmath>. 
llvm-svn: 31561
 2006-11-08 19:16:44 +00:00
Reid Spencer
da1f5b882a For PR950: 
This patch converts the old SHR instruction into two instructions,
AShr (Arithmetic) and LShr (Logical). The Shr instructions now are not
dependent on the sign of their operands.

llvm-svn: 31542
 2006-11-08 06:47:33 +00:00
Andrew Lenharth
a79b273ca9 Optionally allow comparison operations from affect DSGraphs 
llvm-svn: 31511
 2006-11-07 20:39:05 +00:00
Andrew Lenharth
9182b69155 Allow loop detection during debug in forwarding nodes, and revert auxcall patch as it make 176.gcc untenable 
llvm-svn: 31510
 2006-11-07 20:36:02 +00:00
Andrew Lenharth
0bab81d9e2 debug type for DSA TD 
llvm-svn: 31509
 2006-11-07 20:35:11 +00:00
Chris Lattner
bbc4261790 Fix BasicAA/2006-11-03-BasicAAVectorCrash.ll by handling out-of-range 
vector accesses like we handle out-of-range array accesses.

llvm-svn: 31427
 2006-11-03 21:58:48 +00:00
Andrew Lenharth
8a81e9e264 Split the External and Intrinsic handling into seperate functions. This 
improves readability of the call handling code significantly, as well as
makes it clear which parts are hacky (externals) and which parts are good
(call handling).

No functionality change.

llvm-svn: 31415
 2006-11-03 17:43:19 +00:00
Reid Spencer
4bafa71dc1 For PR786: 
Turn on -Wunused and -Wno-unused-parameter. Clean up most of the resulting
fall out by removing unused variables. Remaining warnings have to do with
unused functions (I didn't want to delete code without review) and unused
variables in generated code. Maintainers should clean up the remaining
issues when they see them. All changes pass DejaGnu tests and Olden.

llvm-svn: 31380
 2006-11-02 20:25:50 +00:00
Reid Spencer
1abf69e923 For PR950: 
Replace the REM instruction with UREM, SREM and FREM.

llvm-svn: 31369
 2006-11-02 01:53:59 +00:00
Reid Spencer
198701d5ec Make ScalarEvolution actually use a ZeroExtend expression instead of 
having SCZeroExtendExpr be equivalent to SCTruncate

llvm-svn: 31355
 2006-11-01 21:53:12 +00:00
Chris Lattner
44b3550217 add a method 
llvm-svn: 31249
 2006-10-28 01:24:05 +00:00
Reid Spencer
6833ffe8b8 For PR950: 
Make necessary changes to support DIV -> [SUF]Div. This changes llvm to
have three division instructions: signed, unsigned, floating point. The
bytecode and assembler are bacwards compatible, however.

llvm-svn: 31195
 2006-10-26 06:15:43 +00:00
Andrew Lenharth
67fc2c366f Make these hack flags hidden, like other dsa hack flags 
llvm-svn: 31136
 2006-10-23 19:55:24 +00:00
Andrew Lenharth
20f5c4f47d Revert the aggressive inlining for now, it doesn't handle external correctly 
llvm-svn: 31135
 2006-10-23 19:53:37 +00:00
Jim Laskey
0eeabf8ff5 [SU]int update - inactive code may get activated someday 
llvm-svn: 31128
 2006-10-23 14:39:22 +00:00
Reid Spencer
d414793dbc For PR950: 
This patch implements the first increment for the Signless Types feature.
All changes pertain to removing the ConstantSInt and ConstantUInt classes
in favor of just using ConstantInt.

llvm-svn: 31063
 2006-10-20 07:07:24 +00:00
Andrew Lenharth
254a2fbcd0 Move some warnings to debug mode. 
llvm-svn: 30933
 2006-10-13 17:38:22 +00:00
Chris Lattner
0c057ef048 Fix a bug pointed out by Zhongxing Xu 
llvm-svn: 30831
 2006-10-09 17:28:13 +00:00
Chris Lattner
d55928d5f6 Fix more static dtor issues 
llvm-svn: 30725
 2006-10-04 21:52:35 +00:00
Chris Lattner
de1ba6dc70 Fix some more static dtor issues. 
llvm-svn: 30724
 2006-10-04 21:49:37 +00:00
Jim Laskey
3d44b337d9 Add ability to annotate (color) nodes in a viewGraph. 
llvm-svn: 30686
 2006-10-02 12:26:53 +00:00
Chris Lattner
06ed0910e5 Fixme is already done 
llvm-svn: 30685
 2006-10-01 22:46:33 +00:00
Chris Lattner
f0c3081939 Teach globalsmodref-aa to track scalar pointer global variables which point 
to unaliased allocations.  Use this information to disambiguate pointers loaded
from them.  This is a very common case, so it's worthwhile to handle efficiently.

This implements Analysis/GlobalsModRef/indirect-global.ll

llvm-svn: 30684
 2006-10-01 22:36:45 +00:00
Chris Lattner
155e6b8403 Eliminate ConstantBool::True and ConstantBool::False. Instead, provide 
ConstantBool::getTrue() and ConstantBool::getFalse().

llvm-svn: 30666
 2006-09-28 23:36:21 +00:00
Chris Lattner
7851529456 Simplify some code 
llvm-svn: 30658
 2006-09-28 23:14:29 +00:00
Devang Patel
7604cbd117 Fix DFS walk. 
Fix http://llvm.org/bugs/show_bug.cgi?id=923

llvm-svn: 30630
 2006-09-27 17:18:05 +00:00
Nick Lewycky
8fbfe60cee Explain change with a comment. 
llvm-svn: 30443
 2006-09-17 17:51:00 +00:00
Nick Lewycky
22b1a725ae Fix PR912. The input to erase() must not be a reference to the data 
being erased.

llvm-svn: 30442
 2006-09-17 16:23:36 +00:00
Devang Patel
2e8547542f Untabify. 
llvm-svn: 30168
 2006-09-07 23:29:19 +00:00
Devang Patel
6971b40067 Use iterative do-while loop instead of recursive DFSPass calls to 
reduce amount of stack space used at runtime.

llvm-svn: 30167
 2006-09-07 23:22:37 +00:00
Devang Patel
a5bb9b49d3 Do not rely on std::sort and std::erase to get list of unique 
exit blocks. The output is dependent on addresses of basic block.

Add and use Loop::getUniqueExitBlocks.

llvm-svn: 29966
 2006-08-29 22:29:16 +00:00
Reid Spencer
2567610703 For PR387: 
Close out this long standing bug by removing the remaining overloaded
virtual functions in LLVM. The -Woverloaded-virtual option is now turned on.

llvm-svn: 29934
 2006-08-28 01:02:49 +00:00
Chris Lattner
8a59e8be23 simplify AnalysisGroup registration, eliminating one typeid call. 
llvm-svn: 29932
 2006-08-28 00:42:29 +00:00
Chris Lattner
a39dcb5377 eliminate RegisterOpt. It does the same thing as RegisterPass. 
llvm-svn: 29925
 2006-08-27 22:42:52 +00:00
Chris Lattner
dda3f0344e Fit to 80 cols 
llvm-svn: 29922
 2006-08-27 22:31:12 +00:00
Chris Lattner
f530302eda Eliminate RegisterAnalysis. RegisterPass now does all that is necessary. 
llvm-svn: 29921
 2006-08-27 22:30:17 +00:00
Chris Lattner
33bd5dcfb7 s|llvm/Support/Visibility.h|llvm/Support/Compiler.h| 
llvm-svn: 29911
 2006-08-27 12:54:02 +00:00
Chris Lattner
0ad370eeb7 Fix PR885 
llvm-svn: 29794
 2006-08-21 17:20:01 +00:00
Chris Lattner
9781d44b6e Make Loop::getExitBlocks significantly faster for large loops. Instead of 
pounding on Loop::contains (which is O(n) in the size of the loop), use a
sorted vector, which is O(log(N)) for each query.  This speeds up Duraid's
horrible testcase from ~72s to ~31s in a debug build.

llvm-svn: 29645
 2006-08-12 05:02:03 +00:00
Chris Lattner
a21497f1b8 Speed up Loop::isLCSSAForm by using a binary search and single-entry cache. 
This reduces LCSSA pass time from 1.5s to 0.96s when run on eon in release+asserts mode.

llvm-svn: 29464
 2006-08-02 00:14:16 +00:00
Chris Lattner
e5e2e8d917 Change the callgraph representation to store the callsite along with the 
target CG node.  This allows the inliner to properly update the callgraph
when using the pruning inliner.  The pruning inliner may not copy over all
call sites from a callee to a caller, so the edges corresponding to those
call sites should not be copied over either.

This fixes PR827 and Transforms/Inline/2006-07-12-InlinePruneCGUpdate.ll

llvm-svn: 29120
 2006-07-12 18:29:36 +00:00
Jim Laskey
d19ba2cf6c It was pointed out that DEBUG() is only available with -debug. 
llvm-svn: 29106
 2006-07-11 18:25:13 +00:00
Jim Laskey
4c0d841280 Ensure that dump calls that are associated with asserts are removed from 
non-debug build.

llvm-svn: 29105
 2006-07-11 17:58:07 +00:00
Chris Lattner
496bd3fbf6 Use hidden visibility to make symbols in an anonymous namespace get 
dropped.  This shrinks libllvmgcc.dylib another 67K

llvm-svn: 28975
 2006-06-28 23:17:24 +00:00
Andrew Lenharth
24a9a6df27 add some missing externals 
llvm-svn: 28955
 2006-06-28 01:16:06 +00:00
Chris Lattner
fb34ed6ed4 Handle alias sets that have been unified, and thus can have other references 
to them.  This fixes a regression in my previous checkin.

llvm-svn: 28951
 2006-06-27 23:56:13 +00:00
Chris Lattner
a3a29d82b6 Don't implement AliasSetTracker::remove in terms of deleteValue. deleteValue 
causes the pointer to be removed from the underlying alias analysis
implementation as well.  This impl of remove is also significantly faster than
the old one.  This fixes:
Regression/Transforms/DeadStoreElimination/2006-06-27-AST-Remove.ll

llvm-svn: 28950
 2006-06-27 23:48:59 +00:00
Reid Spencer
938be45012 For PR801: 
Refactor the Graph writing code to use a common implementation which is
now in lib/Support/GraphWriter.cpp. This completes the PR.

Patch by Anton Korobeynikov. Thanks, Anton!

llvm-svn: 28925
 2006-06-27 16:49:46 +00:00
Chris Lattner
e2d4b2f3e2 Fix a stale pointer issue that caused 300.twolf to fail to build on zion 
last night.

llvm-svn: 28916
 2006-06-26 19:20:48 +00:00
Andrew Lenharth
f0ecdbe7ef Do partial inlining in BU. This resolves more call sites. Also add options to merge in globals during recursion and to back annotate DSNodes when function pointers are resolved. This makes PA work for a whole lot more things (unresolved call sites being what has been killing various DSA based passes) 
llvm-svn: 28859
 2006-06-19 18:23:36 +00:00
Andrew Lenharth
3ab1711306 Fix a bug, don't drop indirect call sites, especially if there is nothing known about them yet, and restore a simple version of a removed function 
llvm-svn: 28857
 2006-06-19 15:42:47 +00:00
Chris Lattner
9d028c26c8 Constant fold sqrtf 
llvm-svn: 28853
 2006-06-17 18:17:52 +00:00
Andrew Lenharth
9f4587fa50 Add a error message to cbu to match bu 
llvm-svn: 28819
 2006-06-16 14:43:36 +00:00
Andrew Lenharth
71d1cfa5c4 move header 
llvm-svn: 28818
 2006-06-16 14:33:53 +00:00
Owen Anderson
fab2186a2f Update isLCSSAForm to handle PHI nodes specially for live-out detection. This 
is the same as the recent patch to LCSSA.cpp.

llvm-svn: 28773
 2006-06-13 20:45:22 +00:00
Owen Anderson
15b85dbfa5 Re-commit the safe parts of my 6/9 patch. Still working on fixing the unsafe parts. 
llvm-svn: 28748
 2006-06-11 19:22:28 +00:00
Evan Cheng
d99c8e2e5f Back out Owen's 6/9 changes. They broke MultiSource/Benchmarks/Prolangs-C/bison (and perhaps others). 
llvm-svn: 28747
 2006-06-11 09:32:57 +00:00
Owen Anderson
6c2f7512a6 Make Loop able to verify that it is in LCSSA-form, and have the LCSSA pass assert 
on this.

llvm-svn: 28738
 2006-06-09 18:33:30 +00:00
Reid Spencer
560366562b For PR780: 
1. Fix the macros in IncludeFile.h to put everything in the llvm namespace
2. Replace the previous explicit mechanism in all the .h and .cpp files
   with the macros in IncludeFile.h
This gets us a consistent mechanism throughout LLVM for ensuring linkage.
Next step is to make sure its used in enough places.

llvm-svn: 28715
 2006-06-07 22:00:26 +00:00
Reid Spencer
3832b7f9c4 For PR780: 
Break the "IncludeFile" mechanism into its own header file and adjust other
files accordingly. Use this facility for the IntrinsicInst problem which
was the subject of PR800.
More to follow on this.

llvm-svn: 28709
 2006-06-07 20:00:19 +00:00
Reid Spencer
d9e9ae6b64 For PR798: 
Add support for Graphviz. Patch contributed by Anton Korobeynikov.

llvm-svn: 28684
 2006-06-05 15:44:46 +00:00
Chris Lattner
3d631893f9 Fix -pedantic warning 
llvm-svn: 28634
 2006-06-01 17:17:46 +00:00
Reid Spencer
2c6d390a60 Change from using a stub function to a stub variable for passing to the 
IncludeFile hack to ensure linkage of analysis passes. This works around
some -pedantic warnings about assigning an object to a function.

llvm-svn: 28621
 2006-06-01 07:02:51 +00:00