summaryrefslogtreecommitdiffstats
path: root/llvm
Commit message (Collapse)AuthorAgeFilesLines
* Forgot to commit the ValueTracking header file along with r52396.Matthijs Kooijman2008-06-171-0/+7
| | | | llvm-svn: 52401
* Learn IPConstProp to propagate arguments that are directly returned. StrictlyMatthijs Kooijman2008-06-171-2/+11
| | | | | | | | speaking these are not constant values. However, when a function always returns one of its arguments, then from the point of view of each caller the return value is constant (or at least a known value) and can be replaced. llvm-svn: 52397
* Learn IPConstProp to look at individual return values and propagate themMatthijs Kooijman2008-06-172-62/+106
| | | | | | | | | | | individually. Also learn IPConstProp how returning first class aggregates work, in addition to old style multiple return instructions. Modify the return-constants testscase to confirm this behaviour. llvm-svn: 52396
* 80 column fixes.Matthijs Kooijman2008-06-171-3/+3
| | | | llvm-svn: 52391
* Use a SmallVector instead of an array, since auto_ptr doesn't handle arraysMatthijs Kooijman2008-06-171-11/+8
| | | | | | properly. llvm-svn: 52390
* add a new -enable-value-prop flag for llcbeta, that enables propagationChris Lattner2008-06-173-14/+141
| | | | | | | | | | | of value info (sign/zero ext info) from one MBB to another. This doesn't handle much right now because of two limitations: 1) only handles zext/sext, not random bit propagation (no assert exists for this) 2) doesn't handle phis. llvm-svn: 52383
* Fix spelling.Duncan Sands2008-06-171-1/+1
| | | | llvm-svn: 52381
* Rather than avoiding to wrap ISD::DECLARE GV operand in X86ISD::Wrapper, ↵Evan Cheng2008-06-172-3/+22
| | | | | | simply handle it at dagisel time with x86 specific isel code. llvm-svn: 52377
* Add a missing ~ (dtor became ctor) which caused crashes on a bunch of stuff.Chris Lattner2008-06-161-2/+5
| | | | llvm-svn: 52374
* Do not issue identity copies.Evan Cheng2008-06-162-13/+36
| | | | llvm-svn: 52373
* Refine the change in r52258 for avoiding use-before-def conditionsDan Gohman2008-06-163-12/+43
| | | | | | | | | when changing the stride of a comparison so that it's slightly more precise, by having it scan the instruction list to determine if there is a use of the condition after the point where the condition will be inserted. llvm-svn: 52371
* switch TypeHasCycleThroughItself from using an std::set to using a SmallPtrSet,Chris Lattner2008-06-161-5/+5
| | | | | | this speeds up the linking testcase in PR1860 by 44% (.379 -> 0.263) llvm-svn: 52365
* stop making PATypeHolder's so crazily.Chris Lattner2008-06-161-33/+33
| | | | llvm-svn: 52364
* Horizontal-add instructions are not commutative.Evan Cheng2008-06-162-12/+15
| | | | llvm-svn: 52363
* Switch over to SetVector to ensure same order of iterations do not vary ↵Evan Cheng2008-06-161-8/+9
| | | | | | across runs. llvm-svn: 52361
* Move some documentation from the header file into ProgrammersManual. About ↵Gabor Greif2008-06-162-169/+183
| | | | | | to improve. llvm-svn: 52360
* use a real associative container for type association instead of usingChris Lattner2008-06-161-8/+94
| | | | | | | a vector with a linear search. This speeds up the linking testcase in PR1860 from 0.965s to 0.385s on my system. llvm-svn: 52357
* - Add "Commutative" property to intrinsics. This allows tblgen to generate ↵Evan Cheng2008-06-167-92/+189
| | | | | | | | the commuted variants for dagisel matching code. - Mark lots of X86 intrinsics as "Commutative" to allow load folding. llvm-svn: 52353
* mpsadbw is commutable.Evan Cheng2008-06-161-1/+1
| | | | llvm-svn: 52352
* bail out sooner if we have two concrete but different types.Chris Lattner2008-06-161-0/+4
| | | | llvm-svn: 52351
* simplify some code.Chris Lattner2008-06-161-24/+21
| | | | llvm-svn: 52350
* Apply a patch from Nathan Keynes, which speeds up llvm-link onChris Lattner2008-06-161-1/+0
| | | | | | | the testcases in PR1860 from taking more than 1 hour (when I killed it) to taking 1s. llvm-svn: 52347
* Remove special case handling of empty MBBs now that we assign indices to them.Owen Anderson2008-06-161-8/+5
| | | | llvm-svn: 52345
* handle vectors. Any integers that got here would necessarily be different ↵Chris Lattner2008-06-161-8/+11
| | | | | | already. llvm-svn: 52341
* Simplify ResolveTypes by pulling the null case out into the one Chris Lattner2008-06-161-42/+30
| | | | | | | | | client that cares and simplifying its control flow. Remove the DestST argument to ResolveTypes and RecursiveResolveTypes* which are dead now. llvm-svn: 52340
* Iterating over SmallPtrSet is not deterministic.Evan Cheng2008-06-161-6/+6
| | | | llvm-svn: 52339
* simplify RecursiveResolveTypes and ResolveTypes by pulling the naming out ofChris Lattner2008-06-161-23/+20
| | | | | | ResolveTypes into the one place that needs it. llvm-svn: 52338
* Add a new flag that disables symbol lookup with dlsym when set. This allowsChris Lattner2008-06-162-36/+48
| | | | | | | a JIT client to completely control symbol lookup with the LazyFunctionCreator interface. llvm-svn: 52335
* Add support for icache invalidation on non-darwin ppc systems.Chris Lattner2008-06-161-2/+19
| | | | | | Patch by Gary Benson! llvm-svn: 52332
* Re-enable empty block indexing by default, since it doesn't seem to have anyOwen Anderson2008-06-161-21/+9
| | | | | | impact on code quality or compile time. llvm-svn: 52329
* Make BuildSubAggregate use FindInsertedElement again to prevent it fromMatthijs Kooijman2008-06-161-20/+48
| | | | | | | | inserting extractvalues. In particular, this prevents the insertion of extractvalues that can't be folded away later. Also add an example of when this stuff is needed. llvm-svn: 52328
* Make the InsertBefore argument to FindInsertedValue optional, so you can ↵Matthijs Kooijman2008-06-162-4/+12
| | | | | | find an inserted value without modifying the code. llvm-svn: 52319
* Pass around Instruction* instead of Instruction& in FindInsertedValue and ↵Matthijs Kooijman2008-06-163-7/+7
| | | | | | friends. llvm-svn: 52318
* Make testcase check for extractvalue instead of extractelement.Matthijs Kooijman2008-06-161-1/+1
| | | | llvm-svn: 52317
* 80 column fixes.Matthijs Kooijman2008-06-162-16/+33
| | | | llvm-svn: 52316
* Move FindScalarValue from InstructionCombining.cpp to ValueTracking.cpp. WhileMatthijs Kooijman2008-06-163-147/+138
| | | | | | | | | | I'm at it, rename it to FindInsertedValue. The only functional change is that newly created instructions are no longer added to instcombine's worklist, but that is not really necessary anyway (and I'll commit some improvements next that will completely remove the need). llvm-svn: 52315
* Store the result of multiple identical run lines in a temporary file.Matthijs Kooijman2008-06-161-5/+6
| | | | llvm-svn: 52314
* Add comment.Matthijs Kooijman2008-06-161-0/+3
| | | | llvm-svn: 52313
* Minor comment fix.Argyrios Kyrtzidis2008-06-161-1/+1
| | | | llvm-svn: 52312
* Fix PR numbers, I accidentally switched two digits.Matthijs Kooijman2008-06-165-5/+5
| | | | llvm-svn: 52311
* Allow these transforms for types like i256 whileDuncan Sands2008-06-162-8/+12
| | | | | | | | still excluding types like i1 (not byte sized) and i120 (loading an i120 requires loading an i64, an i32, an i16 and an i8, which is expensive). llvm-svn: 52310
* Fix read after free found by valgrind.Evan Cheng2008-06-161-15/+10
| | | | llvm-svn: 52309
* Add option to commuteInstruction() which forces it to create a new ↵Evan Cheng2008-06-166-13/+51
| | | | | | (commuted) instruction. llvm-svn: 52308
* Make indexing empty basic blocks an option for the moment.Owen Anderson2008-06-161-9/+21
| | | | llvm-svn: 52306
* add a const version of stripPointerCastsChris Lattner2008-06-161-0/+3
| | | | llvm-svn: 52305
* simplify some code by using a helper function. This really reallyChris Lattner2008-06-161-22/+16
| | | | | | wants a 'nocapture' predicate. llvm-svn: 52304
* move a bunch of predicates up into their own sectionChris Lattner2008-06-161-157/+171
| | | | | | in this file, no other changes. llvm-svn: 52303
* Other parts of this code treat noalias arguments as objects forChris Lattner2008-06-161-4/+8
| | | | | | the purposes of escape analysis. llvm-svn: 52302
* If we are checking to see if the result of a call aliases aChris Lattner2008-06-162-1/+44
| | | | | | | pointer derived from a local allocation, if the local allocation never escapes, the pointers can't alias. This implements PR2436 llvm-svn: 52301
* Assign indices to empty basic blocks. This will be necessary for ↵Owen Anderson2008-06-161-4/+9
| | | | | | StrongPHIElimination in the near future. llvm-svn: 52300
OpenPOWER on IntegriCloud