RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-25 05:52:53 +02:00
Code Issues Projects Releases Wiki Activity
55,707 Commits 4 Branches 5 Tags 704 MiB
7924aacfe4
Commit Graph

1248 Commits

Author SHA1 Message Date
Chris Lattner
9fc809ca55 fix a bug exposed by moving SRoA earlier which caused a crash building kc++ 
llvm-svn: 85786
 2009-11-02 04:37:17 +00:00
Chris Lattner
02e43b65d1 improve comment. 
llvm-svn: 85725
 2009-11-01 18:17:37 +00:00
Chris Lattner
c340ce422d change llvm::MergeBlockIntoPredecessor to not merge two blocks BB1->BB2 
when BB2 has its address taken.  Since it ends up doing BB2->rauw(BB1),
this can cause the address of the entry block to be taken.  Since it is
generally undesirable to nuke blocks whose address is taken, even when
we can, just unconditionally stop this xform.

llvm-svn: 85708
 2009-11-01 04:57:33 +00:00
Chris Lattner
e7dc33941b constant fold indirectbr(blockaddress(%bb)) -> br label %bb. 
llvm-svn: 85704
 2009-11-01 03:40:38 +00:00
Chris Lattner
2bbe57b2b8 Revert 85678/85680. The decision is to stay with the current form of 
indirectbr, thus we don't need "blockaddr(@func, null)".  Eliminate it
for simplicity.

llvm-svn: 85699
 2009-11-01 01:27:45 +00:00
Chris Lattner
43591a021a llvm::SplitEdge should refuse to split an edge from an indirectbr. 
Fix CodeGenPrepare to not try to split edges from indirectbr.

llvm-svn: 85690
 2009-10-31 22:04:43 +00:00
Chris Lattner
ea1bebaa65 update the comment above llvm::SplitCriticalEdge, and make 
it abort on IndirectBrInst as describe in the comment.

llvm-svn: 85688
 2009-10-31 21:51:10 +00:00
Chris Lattner
48de74645e adjust a couple xforms to work with null bb's in BlockAddress. 
llvm-svn: 85680
 2009-10-31 20:13:24 +00:00
Dan Gohman
61e806613f Revert r85667. LoopUnroll currently can't call utility functions which 
auto-update the DominatorTree because it doesn't keep the DominatorTree
current while it works.

llvm-svn: 85670
 2009-10-31 17:33:01 +00:00
Dan Gohman
cb32fa9e90 Remove redundant code. 
llvm-svn: 85668
 2009-10-31 16:16:41 +00:00
Dan Gohman
40cec16be1 Merge the enhancements from LoopUnroll's FoldBlockIntoPredecessor into 
MergeBlockIntoPredecessor. This makes SimplifyCFG slightly more aggressive,
and makes it unnecessary for LoopUnroll to have its own copy of this code.

llvm-svn: 85667
 2009-10-31 16:08:00 +00:00
Dan Gohman
14d0be4693 Simplify this code. 
llvm-svn: 85662
 2009-10-31 14:46:50 +00:00
Dan Gohman
793119ef88 Update CMakeLists for recent renames. 
llvm-svn: 85660
 2009-10-31 14:38:25 +00:00
Dan Gohman
0186fd092a Rename UnrollLoop.cpp to LoopUnroll.cpp, and LoopUnroll.cpp to 
LoopUnrollPass.cpp, for consistency with other passes which are
similarly split.

llvm-svn: 85659
 2009-10-31 14:37:31 +00:00
Dan Gohman
c8a5a5ece2 Add a comment about a missed opportunity. 
llvm-svn: 85635
 2009-10-30 23:15:43 +00:00
Dan Gohman
48f3169c77 Teach SimplifyCFG how to eliminate duplicate PHI nodes within a block. 
This reduces codesize on a variety of codes by 1-2% on x86-64. It also
helps clean up after SSAUpdater.

llvm-svn: 85626
 2009-10-30 22:39:04 +00:00
Chris Lattner
a0e35cae82 teach various passes about blockaddress. We no longer 
crash on any clang tests.

llvm-svn: 85465
 2009-10-29 01:21:20 +00:00
Chris Lattner
0a782eec94 teach ValueMapper about BlockAddress', making bugpoint a lot more useful. 
llvm-svn: 85458
 2009-10-29 00:31:02 +00:00
Chris Lattner
8f70e602d3 unindent massive blocks, no functionality change. 
llvm-svn: 85457
 2009-10-29 00:28:30 +00:00
Devang Patel
b7572e3783 Factor out redundancy from clone() implementations. 
llvm-svn: 85327
 2009-10-27 22:16:29 +00:00
Victor Hernandez
0f662a7acf Rename MallocFreeHelper as MemoryBuiltins 
llvm-svn: 85286
 2009-10-27 20:05:49 +00:00
Chris Lattner
aecb9a4040 Fix a pretty serious misfeature of the inliner: if it inlines a function 
with multiple return values it inserts a PHI to merge them all together.
However, if the return values are all the same, it ends up with a pointless
PHI and this pointless PHI happens to really block SRoA from happening in 
at least a silly C++ example written by Doug, but probably others.  This 
fixes rdar://7339069.

llvm-svn: 85206
 2009-10-27 05:39:41 +00:00
Victor Hernandez
6c86b93663 Rename MallocHelper as MallocFreeHelper, since it now also identifies calls to free() 
llvm-svn: 85181
 2009-10-26 23:58:56 +00:00
Victor Hernandez
673c036bc7 Remove FreeInst. 
Remove LowerAllocations pass.
Update some more passes to treate free calls just like they were treating FreeInst.

llvm-svn: 85176
 2009-10-26 23:43:48 +00:00
Nick Lewycky
2b8400628d Remove includes of Support/Compiler.h that are no longer needed after the 
VISIBILITY_HIDDEN removal.

llvm-svn: 85043
 2009-10-25 06:57:41 +00:00
Nick Lewycky
711c726c97 Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces. 
Chris claims we should never have visibility_hidden inside any .cpp file but
that's still not true even after this commit.

llvm-svn: 85042
 2009-10-25 06:33:48 +00:00
Dan Gohman
07044648b2 MapValue doesn't needs its LLVMContext argument. 
llvm-svn: 85020
 2009-10-24 23:37:16 +00:00
Victor Hernandez
e8998896f5 Auto-upgrade free instructions to calls to the builtin free function. 
Update all analysis passes and transforms to treat free calls just like FreeInst.
Remove RaiseAllocations and all its tests since FreeInst no longer needs to be raised.

llvm-svn: 84987
 2009-10-24 04:23:03 +00:00
Chris Lattner
803539f022 alternate fix for PR5258 which avoids worklist problems, with reduced testcase. 
llvm-svn: 84667
 2009-10-20 20:27:49 +00:00
Torok Edwin
bdcd45a9d6 Fix PR5258, jump-threading creating invalid PHIs. 
When an incoming value for a PHI is updated, we must also updated all other
incoming values for the same BB to match, otherwise we create invalid PHIs.

llvm-svn: 84638
 2009-10-20 15:42:00 +00:00
Dan Gohman
d2e75c9ae0 Fix SplitBlockPredecessors' LoopInfo updating code to handle the case 
where a loop's header is being split and it has predecessors which are not
contained by the most-nested loop which contains the loop.
This fixes PR5235.

llvm-svn: 84505
 2009-10-19 16:04:50 +00:00
Dan Gohman
595545d2e7 Change instnamer to name arguments "arg" instead of "tmp" for clarity, and 
to name basic blocks "bb" instead of "BB", for consistency.

llvm-svn: 84502
 2009-10-19 14:47:32 +00:00
Chris Lattner
7f32b72975 Simplify some code (first hunk) and fix PR5208 (second hunk) by 
updating the callgraph when introducing a call.

llvm-svn: 84310
 2009-10-17 05:39:39 +00:00
Victor Hernandez
a25a2890fa Remove MallocInst from LLVM Instructions. 
llvm-svn: 84299
 2009-10-17 01:18:07 +00:00
Duncan Sands
4cde5474aa Strip trailing white space. 
llvm-svn: 84256
 2009-10-16 15:20:13 +00:00
Ted Kremenek
dd5d38175d Update CMake file. 
llvm-svn: 84001
 2009-10-13 18:48:07 +00:00
Dan Gohman
81218aa90e Commit the removal of this file, which is now moved to lib/Analysis. 
llvm-svn: 83999
 2009-10-13 18:37:20 +00:00
Dan Gohman
f277c57aad Start refactoring the inline cost estimation code so that it can be used 
for purposes other than inlining.

llvm-svn: 83997
 2009-10-13 18:24:11 +00:00
Chris Lattner
26c670aa44 change simplifycfg to not duplicate 'unwind' instructions. Hopefully 
this will increase the likelihood of common code getting sunk towards
the unwind.

llvm-svn: 83996
 2009-10-13 18:13:05 +00:00
Chris Lattner
8b521613d3 rewrite LCSSA to use SSAUpdate, to only return true if it modifies 
the IR, and to implement the FIXME'd optimization.

llvm-svn: 83748
 2009-10-11 02:53:37 +00:00
Chris Lattner
1b8c1d1d29 clean up and simplify some code. Don't use setvector when things will be 
inserted only once, just use vector.  Don't compute ExitBlocks unless we
need it, change std::sort to array_pod_sort.

llvm-svn: 83747
 2009-10-11 01:07:15 +00:00
Chris Lattner
0aa320ae4d add a simple helper method. 
llvm-svn: 83745
 2009-10-10 23:41:48 +00:00
Chris Lattner
acf73d9839 add ability for clients of SSAUpdater to find out about the 
PHI nodes inserted.

llvm-svn: 83744
 2009-10-10 23:15:24 +00:00
Chris Lattner
db4d523cca add the ability to get a rewritten value from the middle of a block, 
not just at the end.  Add a big comment explaining when this could
be useful (which never happens for jump threading).

llvm-svn: 83741
 2009-10-10 23:00:11 +00:00
Chris Lattner
9899ce267c rename GetValueInBlock -> GetValueAtEndOfBlock to better reflect 
what it does.

llvm-svn: 83740
 2009-10-10 22:41:58 +00:00
Chris Lattner
0561804097 use a typedef instead of spelling out an insane type. Yay for auto someday. 
llvm-svn: 83707
 2009-10-10 09:09:20 +00:00
Chris Lattner
9c5aa00411 Implement an efficient and fully general SSA update mechanism that 
works on unstructured CFGs.  This implements PR217, our oldest open PR.

llvm-svn: 83705
 2009-10-10 09:04:27 +00:00
Chris Lattner
317eb8ff20 random tidying 
llvm-svn: 83701
 2009-10-10 06:22:45 +00:00
Dale Johannesen
7691b73da0 Use names instead of numbers for some of the magic 
constants used in inlining heuristics (especially
those used in more than one file).  No functional change.

llvm-svn: 83675
 2009-10-09 21:42:02 +00:00
Eric Christopher
e6bebc66a7 Add FreeInst to the "is a call" check for Insts that are calls, but 
not intrinsics.

llvm-svn: 83441
 2009-10-07 00:54:08 +00:00
Eric Christopher
8720c9ca69 While we still have a MallocInst treat it as a call like any other 
for inlining.

When MallocInst goes away this code will be subsumed as part of
calls and work just fine...

llvm-svn: 83434
 2009-10-07 00:02:18 +00:00
Duncan Sands
2400ad7236 Introduce and use convenience methods for getting pointer types 
where the element is of a basic builtin type.  For example, to get
an i8* use getInt8PtrTy.

llvm-svn: 83379
 2009-10-06 15:40:36 +00:00
Dan Gohman
176e47a413 Remove an unnnecessary LLVMContext argument in 
ConstantFoldLoadThroughGEPConstantExpr.

llvm-svn: 83311
 2009-10-05 16:36:26 +00:00
Owen Anderson
412df08b59 Do away with the strange use of BitVectors in SSI, and just use normal sets. This makes the code much more C++/LLVM-ish. 
llvm-svn: 83286
 2009-10-04 18:49:55 +00:00
Owen Anderson
cadab85644 Fix a typo in the comment. 
llvm-svn: 83283
 2009-10-04 17:52:13 +00:00
Owen Anderson
18cecec6a0 SSI needs to require DT and DF transitively, since it uses them outside of its runOnFunction. 
Similarly, it can be marked setPreservesAll, since it does no work in its runOnFunction.

llvm-svn: 83282
 2009-10-04 17:47:39 +00:00
Dan Gohman
2ecc146f0c Fix this code so that it doesn't try to iterate through a std::vector 
while calling changeImmediateDominator, which removes elements from the
vector. This fixes PR5097.

llvm-svn: 83166
 2009-09-30 20:54:16 +00:00
Dan Gohman
9776ad2192 Remove a redundant #ifndef and add an assertion string. 
llvm-svn: 82991
 2009-09-28 14:38:19 +00:00
Dan Gohman
f31dae3931 Convert LoopSimplify and LoopExtractor from FunctionPass to LoopPass. 
llvm-svn: 82990
 2009-09-28 14:37:51 +00:00
Chris Lattner
bb29bb4e16 calls are already handled, malloc doesn't need a special case. 
llvm-svn: 82931
 2009-09-27 21:33:46 +00:00
Nick Lewycky
d21c325f09 Instruction::clone does not need to take an LLVMContext&. Remove that and 
update all the callers.

llvm-svn: 82889
 2009-09-27 07:38:41 +00:00
Dale Johannesen
1b76c2ca48 A minor improvment in accuracy to inline cost 
computation, and some cosmetics.

llvm-svn: 82660
 2009-09-23 22:05:24 +00:00
Chris Lattner
f5afe18457 tidy up 
llvm-svn: 82488
 2009-09-21 22:26:02 +00:00
Victor Hernandez
fe5347d782 Enhance transform passes so that they apply the same tranforms to malloc calls as to MallocInst. 
Reviewed by Dan Gohman.

llvm-svn: 82300
 2009-09-18 22:35:49 +00:00
Victor Hernandez
065bc44d01 Update malloc call creation code (AllocType is now the element type of the malloc, not the resulting type). 
In getMallocArraySize(), fix bug in the case that array size is the product of 2 constants.

Extend isArrayMalloc() and getMallocArraySize() to handle case where malloc is used as char array.

Ensure that ArraySize in LowerAllocations::runOnBasicBlock() is correct type.

Extend Instruction::isSafeToSpeculativelyExecute() to handle malloc calls.

Add verification for malloc calls.

Reviewed by Dan Gohman.

llvm-svn: 82257
 2009-09-18 19:20:02 +00:00
Andreas Neustifter
3c9b4c4c75 Preserve ProfileInfo during CodeGenPrepare. 
llvm-svn: 82034
 2009-09-16 09:26:52 +00:00
Nick Lewycky
d347108b4d Correctly handle the case where a comparison is created in one BasicBlock and 
used by a terminator in another.

llvm-svn: 81437
 2009-09-10 07:02:09 +00:00
Evan Cheng
78182244f1 Add malloc call utility functions. Patch by Victor Hernandez. 
llvm-svn: 81426
 2009-09-10 04:36:43 +00:00
Dan Gohman
0357e0117e Fix SplitCriticalEdge to properly update LCSSA form when splitting a 
loop exit edge -- new PHIs may be needed not only for the additional
splits that are made to preserve LoopSimplify form, but also for the
original split. Factor out the code that inserts new PHIs so that it
can be used for both. Remove LoopRotation.cpp's code for manually
updating LCSSA form, as it is now redundant. This fixes PR4934.

llvm-svn: 81363
 2009-09-09 18:18:18 +00:00
Andreas Neustifter
e4a3a33579 Preserve ProfileInfo. 
llvm-svn: 81360
 2009-09-09 17:53:39 +00:00
Dan Gohman
cdaa08e706 Re-apply r80926, with fixes: keep the domtree informed of new blocks 
that get created during loop unswitching, and fix SplitBlockPredecessors'
LCSSA updating code to create new PHIs instead of trying to just move
existing ones.

Also, optimize Loop::verifyLoop, since it gets called a lot. Use
searches on a sorted list of blocks instead of calling the "contains"
function, as is done in other places in the Loop class, since "contains"
does a linear search. Also, don't call verifyLoop from LoopSimplify or
LCSSA, as the PassManager is already calling verifyLoop as part of
LoopInfo's verifyAnalysis.

llvm-svn: 81221
 2009-09-08 15:45:00 +00:00
Eric Christopher
6acdc39b86 Fix comment. 
llvm-svn: 81138
 2009-09-06 22:20:54 +00:00
Evan Cheng
a191202da5 Revert r80926. It causes loop unswitch assertion and slow down some JIT tests significantly. 
llvm-svn: 81101
 2009-09-06 02:26:10 +00:00
Dan Gohman
7296225414 Add a verifyAnalysis to LoopInfo, LoopSimplify, and LCSSA form that verify 
that these passes are properly preserved.

Fix several transformation passes that claimed to preserve LoopSimplify
form but weren't.

llvm-svn: 80926
 2009-09-03 16:31:42 +00:00
Dan Gohman
66c853f17f Change PHINode::hasConstantValue to have a DominatorTree argument 
instead of a bool argument, and to do the dominator check itself.
This makes it eaiser to use when DominatorTree information is
available.

llvm-svn: 80920
 2009-09-03 15:34:35 +00:00
Gabor Greif
4604e0739b back out my recent commit (r80858), it seems to break self-hosting buildbot's stage 2 configure 
llvm-svn: 80871
 2009-09-03 02:02:59 +00:00
Gabor Greif
68c4f27e59 re-commit r66920 (which has been backed out in r66953) I may have more luck this time. I'll back out if needed... 
llvm-svn: 80858
 2009-09-03 00:18:58 +00:00
Chris Lattner
e4173b39bd remove a bunch of explicit code previously needed to update the 
callgraph.  This is now dead because RAUW does the job.

llvm-svn: 80703
 2009-09-01 18:44:06 +00:00
Chris Lattner
53698d7fd7 Change CallGraphNode to maintain it's Function as an AssertingVH 
for sanity.  This didn't turn up any bugs.

Change CallGraphNode to maintain its "callsite" information in the 
call edges list as a WeakVH instead of as an instruction*.  This fixes
a broad class of dangling pointer bugs, and makes CallGraph have a number
of useful invariants again.  This fixes the class of problem indicated
by PR4029 and PR3601.

llvm-svn: 80663
 2009-09-01 06:31:31 +00:00
Devang Patel
fbaeda732e Reapply 79977. 
Use MDNodes to encode debug info in llvm IR.

llvm-svn: 80406
 2009-08-28 23:24:31 +00:00
Chris Lattner
61d49fed23 unbreak the build, yay for symlinks + makefiles. :( 
llvm-svn: 80205
 2009-08-27 04:43:05 +00:00
Chris Lattner
becb2e9534 enhance InlineFunction to be able to optionally return 
a the list of static allocas that it inlined.

llvm-svn: 80203
 2009-08-27 04:20:52 +00:00
Chris Lattner
7fbde3dedf smallvectorize the list of returns built by CloneAndPruneFunctionInto. 
llvm-svn: 80202
 2009-08-27 04:02:30 +00:00
Chris Lattner
8b277ab324 remove CloneTrace, which appears to be dead since 2004. 
llvm-svn: 80201
 2009-08-27 03:56:43 +00:00
Chris Lattner
71e787d93b reduce inlining factor some stuff out to a static helper function, 
and other code cleanups.  No functionality change.

llvm-svn: 80199
 2009-08-27 03:51:50 +00:00
Devang Patel
10c075a316 Revert 79977. It causes llvm-gcc bootstrap failures on some platforms. 
llvm-svn: 80073
 2009-08-26 05:01:18 +00:00
Dan Gohman
4d20610e6e Eliminate the unused Context argument on one of the ICmpInst and FCmpInst 
constructors.

llvm-svn: 80049
 2009-08-25 23:17:54 +00:00
Dan Gohman
cce6c79d6d Rename Instruction::isIdenticalTo to Instruction::isIdenticalToWhenDefined, 
and introduce a new Instruction::isIdenticalTo which tests for full
identity, including the SubclassOptionalData flags. Also, fix the
Instruction::clone implementations to preserve the SubclassOptionalData
flags. Finally, teach several optimizations how to handle
SubclassOptionalData correctly, given these changes.

This fixes the counterintuitive behavior of isIdenticalTo not comparing
the full value, and clone not returning an identical clone, as well as
some subtle bugs that could be caused by these.

Thanks to Nick Lewycky for reporting this, and for an initial patch!

llvm-svn: 80038
 2009-08-25 22:11:20 +00:00
Owen Anderson
2f84faae31 Comment-ify. 
llvm-svn: 80009
 2009-08-25 17:42:07 +00:00
Owen Anderson
fe7348b43e Switch to SmallVector. 
llvm-svn: 80007
 2009-08-25 17:35:37 +00:00
Owen Anderson
66ea4dea86 Pull out this predicate loop into a helper function. 
llvm-svn: 80006
 2009-08-25 17:26:32 +00:00
Devang Patel
7d42bfab6c Update DebugInfo interface to use metadata, instead of special named llvm.dbg.... global variables, to encode debugging information in llvm IR. This is mostly a mechanical change that tests metadata support very well. 
This change speeds up llvm-gcc by more then 6% at "-O0 -g" (measured by compiling InstructionCombining.cpp!)

llvm-svn: 79977
 2009-08-25 05:24:07 +00:00
Owen Anderson
af732792b7 Handle a corner case when extracing code regions where one of the immediate successor 
of an extracted block contains a PHI using a value defined in the extracted region.

With this patch, the partial inliner now passes MultiSource/Applications.

llvm-svn: 79963
 2009-08-25 00:54:39 +00:00
Owen Anderson
7113af190c When extracting SEME regions of code, the extractor needs to update the dominator tree for split return blocks. 
llvm-svn: 79957
 2009-08-24 23:32:14 +00:00
Daniel Dunbar
40ba5f6f58 Fix -Asserts warnings. 
llvm-svn: 79849
 2009-08-23 10:29:55 +00:00
Chris Lattner
1c0452caeb Change Pass::print to take a raw ostream instead of std::ostream, 
update all code that this affects.

llvm-svn: 79830
 2009-08-23 06:03:38 +00:00
Chris Lattner
01dae858b6 eliminate the "Value" printing methods that print to a std::ostream. 
This required converting a bunch of stuff off DOUT and other cleanups.

llvm-svn: 79819
 2009-08-23 04:37:46 +00:00
Nick Lewycky
47bc7e0bd0 Fix up PHI nodes correctly in the presence of unreachable BBs, part two. Also 
delete a newed pointer, and improve readability a little bit.

llvm-svn: 79411
 2009-08-19 07:16:57 +00:00
Nick Lewycky
ed3dcdbdb8 Be more careful when modifying PHI nodes. Patch by Andre Tavares. 
llvm-svn: 79407
 2009-08-19 06:24:33 +00:00
Dan Gohman
e78d27bcf9 Update comments to new-style syntax. 
llvm-svn: 79263
 2009-08-17 18:45:31 +00:00