summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Add memoization for getSCEVAtScope results for instructionsDan Gohman2009-05-082-0/+20
| | | | | | | | | which are not analyzed with SCEV techniques, which can require brute-forcing through a large number of instructions. This fixes a massive compile-time issue on 400.perlbench (in particular, the loop in MD5Transform). llvm-svn: 71259
* Make the SCEV* form of getSCEVAtScope public, to allow ScalarEvolutionDan Gohman2009-05-082-18/+16
| | | | | | clients to use it. llvm-svn: 71258
* Minor clean ups. No functionality change.Bill Wendling2009-05-081-5/+4
| | | | llvm-svn: 71256
* Fix an error from r71252.Dan Gohman2009-05-081-4/+4
| | | | llvm-svn: 71255
* Print out nicer dump info for DIDescriptor.Bill Wendling2009-05-081-1/+2
| | | | llvm-svn: 71253
* Factor out the code for creating SCEVs for GEPs into aDan Gohman2009-05-082-33/+44
| | | | | | separate function. llvm-svn: 71252
* Darwin x86_32: Ignore arrays of empty structures inside records.Daniel Dunbar2009-05-082-3/+13
| | | | | | | - This eliminates 5/1000 failures on return-types-32, on the current ABITest config. llvm-svn: 71250
* Refactoring of my last patch.Fariborz Jahanian2009-05-083-27/+28
| | | | llvm-svn: 71248
* Implement several new SCEV folding rules for UDiv SCEVs.Dan Gohman2009-05-081-2/+54
| | | | | | This fixes an old FIXME, and is needed by some upcoming changes. llvm-svn: 71247
* ABITest: Move default set of test args into common makefile.Daniel Dunbar2009-05-086-3/+55
| | | | | | Also, tweak default list of bit-fields to try. llvm-svn: 71246
* Add a getExitBlock utility function to LoopInfo which returns theDan Gohman2009-05-081-0/+10
| | | | | | | exit block of a loop, if there is exactly one, similar to getExitingBlock. llvm-svn: 71245
* retain checker: Track the number of times a tracked object is sentTed Kremenek2009-05-081-15/+37
| | | | | | 'autorelease'. This isn't used yet to flag errors. llvm-svn: 71244
* More type checking for properties, accessors andFariborz Jahanian2009-05-084-10/+99
| | | | | | use of dot-syntax expression. This is to match gcc's. llvm-svn: 71243
* Don't align loop header unless the loop back edge is below the header.Evan Cheng2009-05-081-1/+17
| | | | llvm-svn: 71242
* Factor out cycle-finder code and make it generic.Anton Korobeynikov2009-05-083-110/+120
| | | | llvm-svn: 71241
* Do not emit bit tests if target does not support natively left shiftAnton Korobeynikov2009-05-081-0/+4
| | | | llvm-svn: 71240
* Allow 8 bit select in custom inserterAnton Korobeynikov2009-05-081-1/+2
| | | | llvm-svn: 71239
* Properly expand libcalls for urem / srem. Also make code more straightforward.Anton Korobeynikov2009-05-081-29/+40
| | | | llvm-svn: 71238
* TypoAnton Korobeynikov2009-05-081-1/+1
| | | | llvm-svn: 71237
* Expand UREM / SREM into libcallsAnton Korobeynikov2009-05-081-0/+2
| | | | llvm-svn: 71236
* Add 8 bit selectAnton Korobeynikov2009-05-081-0/+4
| | | | llvm-svn: 71235
* Provide dummy va_list typedef for msp430Anton Korobeynikov2009-05-081-1/+1
| | | | llvm-svn: 71233
* Fix PR4152: asm constraint validation happens before dag combine, so weChris Lattner2009-05-082-29/+45
| | | | | | need to work a bit to combine things like (x+c1+c2) into x+c3. llvm-svn: 71232
* Add some examples to show the difference betweenDuncan Sands2009-05-081-0/+17
| | | | | | the various notions of type size used in LLVM. llvm-svn: 71230
* further improvements to gnu objc EH stuff, patch by David Chisnall!Chris Lattner2009-05-081-15/+15
| | | | llvm-svn: 71227
* Change 'make install' to install tblgen, for better support of out-of-tree ↵Chris Lattner2009-05-083-4/+4
| | | | | | | | targets, patch by Mikael Lepistö! llvm-svn: 71226
* fix RewriteStoreUserOfWholeAlloca to use the correct type sizeChris Lattner2009-05-082-4/+18
| | | | | | | | | method, fixing a crash on PR4146. While the store will ultimately overwrite the "padded size" number of bits in memory, the stored value may be a subset of this size. This function only wants to handle the case where all bits are stored. llvm-svn: 71224
* "This patch fixes message sends to super in categories for the GNU runtime. ↵Chris Lattner2009-05-081-17/+31
| | | | | | | | This used to work, but I broke it when I modified the code to emit the same thing as GCC for message sends to super in classes." Patch by David Chisnall! llvm-svn: 71220
* Fix the atomics sema code to convert operands to the argument typesChris Lattner2009-05-083-10/+24
| | | | | | | | | of the underlying _N builtin, not the the type of the pointee of the actual type. This ensures that atomics involving pointers end up using the correct integer type when they are resolved, avoiding aborts in codegen. llvm-svn: 71218
* Remove experimental ownership attributes from Clang.Ted Kremenek2009-05-089-452/+0
| | | | llvm-svn: 71216
* Reverse branch condition only when there is a conditional branch.Evan Cheng2009-05-081-1/+2
| | | | llvm-svn: 71214
* Region store: when casting VarRegions, if the cast-to pointee type is Zhongxing Xu2009-05-082-1/+8
| | | | | | incomplete, do not compute its size and return the original region. llvm-svn: 71213
* reimplement __sync_* builtins to be variadic and to follow the sameChris Lattner2009-05-087-59/+444
| | | | | | | | | semantic rules that gcc and icc use. This implements the variadic and concrete versions as builtins and has sema do the disambiguation. There are probably a bunch of details to finish up but this seems like a large monotonic step forward :) llvm-svn: 71212
* Add explicit braces to disambiguate nested if/else. Removes a warning.Nick Lewycky2009-05-081-1/+2
| | | | llvm-svn: 71211
* This transform requires valid TargetData info. Wrap it in 'if (TD)' inNick Lewycky2009-05-081-25/+27
| | | | | | preparation for the day we use null TargetData when no target is specified. llvm-svn: 71210
* Optimize code placement in loop to eliminate unconditional branches or move ↵Evan Cheng2009-05-083-17/+371
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | unconditional branch to the outside of the loop. e.g. /// A: /// ... /// <fallthrough to B> /// /// B: --> loop header /// ... /// jcc <cond> C, [exit] /// /// C: /// ... /// jmp B /// /// ==> /// /// A: /// ... /// jmp B /// /// C: --> new loop header /// ... /// <fallthough to B> /// /// B: /// ... /// jcc <cond> C, [exit] llvm-svn: 71209
* Add missing #include for "strlen" which is used inline in this header. FixesNick Lewycky2009-05-081-0/+1
| | | | | | build under gcc 4.3. llvm-svn: 71208
* Moved pic16 naming functions to correct place.Sanjiv Gupta2009-05-083-84/+79
| | | | | | No functionality change. llvm-svn: 71207
* Replace the heuristic isSmallerThan with ASTContext::getTypeSize().Zhongxing Xu2009-05-083-10/+6
| | | | llvm-svn: 71206
* Replace getTypeWidth() with ASTContext::getTypeSize().Zhongxing Xu2009-05-081-44/+5
| | | | llvm-svn: 71205
* Revert r71079.Zhongxing Xu2009-05-082-4/+2
| | | | llvm-svn: 71202
* Add various other bits I use to run ABITest.Daniel Dunbar2009-05-088-1/+252
| | | | llvm-svn: 71201
* Fix <rdar://problem/6845148>. Signed integers compared against pointers shouldTed Kremenek2009-05-082-3/+32
| | | | | | | | implicitly be changed to unsigned values in GRSimpleVals.cpp. This can happen when the comparison involves logic in specialized transfer functions (e.g., OSAtomicCompareAndSwap). llvm-svn: 71200
* PR4123: don't crash when inlining a call which uses its own result.Eli Friedman2009-05-082-3/+30
| | | | llvm-svn: 71199
* initial support for ObjC exceptions with the GNU runtime:Chris Lattner2009-05-081-2/+229
| | | | | | | | | | | | | | "This patch is a first pass at adding support for exceptions for the GNU runtime. There are a few limitations at present: - @synchronized() is not yet supported at all. gcc currently emits calls to runtime library functions that don't exist for this directive. - Only id @catch statements are currently working. This is enough for NS_DURING and friends, but I need to spend more time reading the output from gcc -S to work out how it finds the class pointer to make arbitrary class type catch statements work. - I've tested it with a few common cases[1] and the clang test suite (which doesn't test exceptions for the GNU runtime, but shows I haven't broken anything else), but there are probably a lot of cases I've missed." Patch by David Chisnall! llvm-svn: 71198
* Fix pr4100. Do not remove no-op copies when they are dead. The registerBob Wilson2009-05-072-2/+16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | scavenger gets confused about register liveness if it doesn't see them. I'm not thrilled with this solution, but it only comes up when there are dead copies in the code, which is something that hopefully doesn't happen much. Here is what happens in pr4100: As shown in the following excerpt from the debug output of llc, the source of a move gets reloaded from the stack, inserting a new load instruction before the move. Since that source operand is a kill, the physical register is free to be reused for the destination of the move. The move ends up being a no-op, copying R3 to R3, so it is deleted. But, it leaves behind the load to reload %reg1028 into R3, and that load is not updated to show that it's destination operand (R3) is dead. The scavenger gets confused by that load because it thinks that R3 is live. Starting RegAlloc of: %reg1025<def,dead> = MOVr %reg1028<kill>, 14, %reg0, %reg0 Regs have values: Reloading %reg1028 into R3 Last use of R3[%reg1028], removing it from live set Assigning R3 to %reg1025 Register R3 [%reg1025] is never used, removing it from live set Alternative solutions might be either marking the load as dead, or zapping the load along with the no-op copy. I couldn't see an easy way to do either of those, though. llvm-svn: 71196
* Fix crash with constant initialization of bit-fields in unions.Eli Friedman2009-05-072-1/+3
| | | | llvm-svn: 71194
* Minor code cleanup in retain/release checker in preparation for someTed Kremenek2009-05-071-22/+14
| | | | | | | other changes. Instead of repeatedly checking for GC mode when getting the return effect, just do this computation once. llvm-svn: 71193
* Add to the house of cards that is ABITestGen.Daniel Dunbar2009-05-072-46/+136
| | | | | | - Support generating structures with bit-fields. llvm-svn: 71192
* Add a warning for a missing copy attribute on a property that is aMike Stump2009-05-073-0/+17
| | | | | | block pointer. Radar 6441502 llvm-svn: 71190
OpenPOWER on IntegriCloud