summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Optimize memmove and memset into the LLVM builtins. Note that these Eli Friedman2008-11-303-4/+81
| | | | | | only show up in code from front-ends besides llvm-gcc, like clang. llvm-svn: 60287
* A couple small cleanups, plus a new potential optimization.Eli Friedman2008-11-301-3/+29
| | | | llvm-svn: 60286
* Moving potential optimizations out of PR2330 into lib/Target/README.txt. Eli Friedman2008-11-301-0/+262
| | | | | | Hopefully this isn't too much stuff to dump into this file. llvm-svn: 60285
* Followup to r60283: optimize arbitrary width signed divisions as well Eli Friedman2008-11-302-71/+44
| | | | | | as unsigned divisions. Same caveats as before. llvm-svn: 60284
* Fix for PR2164: allow transforming arbitrary-width unsigned divides intoEli Friedman2008-11-303-96/+76
| | | | | | | | | | | multiplies. Some more cleverness would be nice, though. It would be nice if we could do this transformation on illegal types. Also, we would prefer a narrower constant when possible so that we can use a narrower multiply, which can be cheaper. llvm-svn: 60283
* remove a test case that causes compiler warning.Zhongxing Xu2008-11-301-1/+0
| | | | llvm-svn: 60282
* Add test for initializing array with string literal.Zhongxing Xu2008-11-301-0/+7
| | | | llvm-svn: 60281
* Add support for initializing array with string literal.Zhongxing Xu2008-11-302-5/+34
| | | | | | | This fixes PR3127 http://llvm.org/bugs/show_bug.cgi?id=3127 llvm-svn: 60280
* Don't make TwoToExp signed by default.Bill Wendling2008-11-301-2/+1
| | | | llvm-svn: 60279
* From Hacker's Delight:Bill Wendling2008-11-301-8/+10
| | | | | | | | | | "For signed integers, the determination of overflow of x*y is not so simple. If x and y have the same sign, then overflow occurs iff xy > 2**31 - 1. If they have opposite signs, then overflow occurs iff xy < -2**31." In this case, x == -1. llvm-svn: 60278
* APIntify a test which is potentially unsafe otherwise, and fix the Eli Friedman2008-11-303-4/+33
| | | | | | | | | nearby FIXME. I'm not sure what the right way to fix the Cell test was; if the approach I used isn't okay, please let me know. llvm-svn: 60277
* Strengthen check for div inst-combining.Bill Wendling2008-11-301-1/+1
| | | | llvm-svn: 60276
* Instcombine was illegally transforming -X/C into X/-C when either X or CBill Wendling2008-11-304-9/+52
| | | | | | | | overflowed on negation. This commit checks to make sure that neithe C nor X overflows. This requires that the RHS of X (a subtract instruction) be a constant integer. llvm-svn: 60275
* Two changes: Make getDependency remove QueryInst for a dirty record'sChris Lattner2008-11-302-22/+33
| | | | | | | | | | | ReverseLocalDeps when we update it. This fixes a regression test failure from my last commit. Second, for each non-local cached information structure, keep a bit that indicates whether it is dirty or not. This saves us a scan over the whole thing in the common case when it isn't dirty. llvm-svn: 60274
* Fix a link issue I ran into trying compiling LLVM on MinGW with CMake. Eli Friedman2008-11-301-1/+1
| | | | | | | Hopefully this doesn't break anyone else's build... it shouldn't unless the MinGW variable means something other than compiling with MinGW. llvm-svn: 60273
* introduce a typedef, no functionality change.Chris Lattner2008-11-302-17/+19
| | | | llvm-svn: 60272
* Change NonLocalDeps to be a densemap of pointers to densemapChris Lattner2008-11-302-35/+60
| | | | | | | | | | | | instead of containing them by value. This increases the density (!) of NonLocalDeps as well as making the reallocation case faster. This speeds up gvn on 403.gcc by 2% and makes room for future improvements. I'm not super thrilled with having to explicitly manage the new/delete of the map, but it is necesary for the next change. llvm-svn: 60271
* Fix for PR2969: generate a memcpy from a constant for constant Eli Friedman2008-11-301-8/+17
| | | | | | | | initializers. llvm-gcc appears to be more aggressive, but incorrect, for constructs like "const int a[] = {1,2,3};"; that said, current optimizers will do the appropriate optimizations when safe. llvm-svn: 60270
* Minor update to CMake build system.Eli Friedman2008-11-301-0/+1
| | | | llvm-svn: 60269
* calls never depend on allocations.Chris Lattner2008-11-301-12/+5
| | | | llvm-svn: 60268
* Fix a fixme by making memdep's handling of allocations more logical.Chris Lattner2008-11-302-35/+22
| | | | | | | | If we see that a load depends on the allocation of its memory with no intervening stores, we now return a 'None' depedency instead of "Normal". This tweaks GVN to do its optimization with the new result. llvm-svn: 60267
* implement a fixme by introducing a new getDependencyFromInternalChris Lattner2008-11-302-36/+32
| | | | | | | method that returns its result as a DepResultTy instead of as a MemDepResult. This reduces conversion back and forth. llvm-svn: 60266
* Move the getNonLocalDependency method to a more logical place inChris Lattner2008-11-301-90/+89
| | | | | | the file, no functionality change. llvm-svn: 60265
* REmove an old fixme, resolve another fixme by adding liberalChris Lattner2008-11-302-3/+12
| | | | | | comments about what this class does. llvm-svn: 60264
* remove a bit of incorrect code that tried to be tricky about speeding up Chris Lattner2008-11-301-49/+24
| | | | | | | | | | | | | | | | | | | | | | | | | dependencies. The basic situation was this: consider if we had: store1 ... store2 ... store3 Where memdep thinks that store3 depends on store2 and store2 depends on store1. The problem happens when we delete store2: The code in question was updating dep info for store3 to be store1. This is a spiffy optimization, but is not safe at all, because aliasing isn't transitive. This bug isn't exposed today with DSE because DSE will only zap store2 if it is identifical to store 3, and in this case, it is safe to update it to depend on store1. However, memcpyopt is not so fortunate, which is presumably why the "dropInstruction" code used to exist. Since this doesn't actually provide a speedup in practice, just rip the code out. llvm-svn: 60263
* fix indentation. std::pair is "isPod" if the first/second are both isPod.Chris Lattner2008-11-301-16/+17
| | | | llvm-svn: 60262
* Remove warning about declaration does not declare anything. This class wasNick Lewycky2008-11-301-1/+0
| | | | | | already declared in the other headers. llvm-svn: 60261
* Eliminate the dropInstruction method, which is not needed any more.Chris Lattner2008-11-293-87/+35
| | | | | | Fix a subtle iterator invalidation bug I introduced in the last commit. llvm-svn: 60258
* Add protected visibility to libLTO.Nick Lewycky2008-11-292-1/+4
| | | | llvm-svn: 60257
* implement some fixme's: when deleting an instruction withChris Lattner2008-11-292-23/+67
| | | | | | | | | | | | | an entry in the nonlocal deps map, don't reset entries referencing that instruction to [dirty, null], instead, set them to [dirty,next] where next is the instruction after the deleted one. Use this information in the non-local deps code to avoid rescanning entire blocks. This speeds up GVN slightly by avoiding pointless work. On 403.gcc this makes GVN 1.5% faster. llvm-svn: 60256
* Change MemDep::getNonLocalDependency to return its results asChris Lattner2008-11-293-13/+13
| | | | | | | a smallvector instead of a DenseMap. This speeds up GVN by 5% on 403.gcc. llvm-svn: 60255
* move MemoryDependenceAnalysis::verifyRemoved to the end of the file,Chris Lattner2008-11-291-32/+32
| | | | | | no functionality/code change. llvm-svn: 60254
* reimplement getNonLocalDependency with a simpler worklistChris Lattner2008-11-293-148/+104
| | | | | | | formulation that is faster and doesn't require nonLazyHelper. Much less code. llvm-svn: 60253
* don't require GVN to work on dead values, just make the Chris Lattner2008-11-291-5/+4
| | | | | | test return the loaded value. llvm-svn: 60252
* Fix a thinko that manifested as a crash on clamav last night.Chris Lattner2008-11-292-2/+29
| | | | llvm-svn: 60251
* Fix spelling mistake.Nick Lewycky2008-11-291-1/+1
| | | | llvm-svn: 60250
* CXXFunctionalCastExpr inherits from ExplicitCastExpr.Anders Carlsson2008-11-291-1/+1
| | | | llvm-svn: 60249
* To be consistent, make the index of the ElementRegion always signed.Zhongxing Xu2008-11-292-2/+6
| | | | llvm-svn: 60248
* tidy up some variable names.Chris Lattner2008-11-291-5/+4
| | | | llvm-svn: 60243
* rename some maps.Chris Lattner2008-11-292-43/+43
| | | | llvm-svn: 60242
* rename some variables.Chris Lattner2008-11-291-21/+21
| | | | llvm-svn: 60241
* eliminate a bunch of code in favor of using AliasAnalysis::getModRefInfo.Chris Lattner2008-11-291-47/+45
| | | | | | | Put a some code back to handle buggy behavior that GVN expects: it wants loads to depend on each other, and accesses to depend on their allocations. llvm-svn: 60240
* protect against negative values that would exceed allowed bit widthTorok Edwin2008-11-291-1/+1
| | | | llvm-svn: 60239
* simplify some code and rename some variables. Reduce nesting.Chris Lattner2008-11-291-64/+64
| | | | | | | Use getTypeStoreSize instead of ABITypeSize for in-memory size in a couple places. llvm-svn: 60238
* apparently GCC doesn't believe that I understand C Chris Lattner2008-11-291-2/+2
| | | | | | precedence rules. Pacify it. llvm-svn: 60237
* Typo fix.Duncan Sands2008-11-291-1/+1
| | | | llvm-svn: 60236
* Implement the GNU __null extensionDouglas Gregor2008-11-299-2/+89
| | | | llvm-svn: 60235
* Split getDependency into getDependency and getDependencyFrom, the Chris Lattner2008-11-294-131/+94
| | | | | | | former does caching, the later doesn't. This dramatically simplifies the logic in getDependency and getDependencyFrom. llvm-svn: 60234
* Temporarily revert r60195. It's causing an optimized bootstrap of llvm-gcc ↵Bill Wendling2008-11-291-20/+21
| | | | | | to fail. llvm-svn: 60233
* Now that DepType is private, we can start cleaning up some of its uses:Chris Lattner2008-11-292-84/+81
| | | | | | | | | | | | | | Document the Dirty value more precisely, use it for the uninitialized DepResultTy value. Change reverse mappings to be from an instruction* instead of DepResultTy, and stop tracking other forms. This makes it more clear that we only care about the instruction cases. Eliminate a DepResultTy,bool pair by using Dirty in the local case as well, shrinking the map and simplifying the code. This speeds up GVN by ~3% on 403.gcc. llvm-svn: 60232
OpenPOWER on IntegriCloud