summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* Add APIs to manage scope using DebugInfo interface.Devang Patel2009-01-081-0/+297
| | | | | | This is a shameless copy of similar APIs from MachineModuleInfo. The copy from MMI will be deleted in near future. llvm-svn: 61908
* * Fixed spelling of "sentinel"Misha Brukman2009-01-081-23/+23
| | | | | | * Removed trailing whitespace llvm-svn: 61907
* Use VIM's built-in shorthand for whitespace in regex.Misha Brukman2009-01-081-1/+1
| | | | llvm-svn: 61906
* Be sure to ignore the end-of-line character when considering trailingMisha Brukman2009-01-081-2/+2
| | | | | | whitespace. llvm-svn: 61905
* Removed trailing whitespace.Misha Brukman2009-01-082-48/+48
| | | | llvm-svn: 61904
* Fix failure messages in Verifier::PerformTypeCheck. The argument numbersBob Wilson2009-01-081-47/+42
| | | | | | | | | | | passed in to this function changed to support multiple return values, leading to some incorrect argument numbers in the failure messages. With this change, the ArgNo values used for return values and parameters are disjoint, and the new IntrinsicParam function translates those ArgNo values to strings that can be used in the messages. This also fixes a few places where PerformTypeCheck did not return false following calls to CheckFailed. llvm-svn: 61903
* Refactor CacheTokens to use a PTHWriter class that creates and manages most ↵Ted Kremenek2009-01-081-96/+138
| | | | | | of the PTH generation data structures. No functionality change. llvm-svn: 61902
* Objc's compatibility-alias semantics and codeFariborz Jahanian2009-01-083-1/+18
| | | | | | gen issue fix. llvm-svn: 61901
* CMake: removed lib/VMCore/DebugInfoBuilder.cpp.Oscar Fuentes2009-01-081-1/+0
| | | | llvm-svn: 61900
* Assert that VectorType::getTruncatedElementVectorType is not used withBob Wilson2009-01-072-4/+12
| | | | | | odd bit-width vector elements. Add a check in the verifier for this also. llvm-svn: 61899
* remove DebugInfoBuilder, it has been subsumed by Analysis/DebugInfo.hChris Lattner2009-01-072-425/+0
| | | | llvm-svn: 61898
* Fix off-by-one error in traversing an array; this fixes a test.Misha Brukman2009-01-072-3/+1
| | | | | | The error was reported by gcc-4.3.0 during compilation. llvm-svn: 61896
* revert to functionally equivalent formulationGabor Greif2009-01-071-1/+1
| | | | llvm-svn: 61895
* Update some doxygen comments to be more rich. Remove ↵Ted Kremenek2009-01-073-29/+40
| | | | | | StoreManager::GetRegionSVal. llvm-svn: 61894
* use the obvious gettersGabor Greif2009-01-071-3/+3
| | | | llvm-svn: 61893
* Remove redundant 'else's. No functionality change.Dan Gohman2009-01-071-7/+6
| | | | llvm-svn: 61891
* Add empty() methods for register def lists.Dan Gohman2009-01-071-0/+8
| | | | llvm-svn: 61890
* Refactor MemRegionManager instance variable into parent class. No ↵Ted Kremenek2009-01-073-10/+15
| | | | | | functionality change. llvm-svn: 61888
* Fix PR clang/3291Douglas Gregor2009-01-072-4/+16
| | | | llvm-svn: 61886
* Fix printing of member references to avoid displaying implicitly-generated ↵Douglas Gregor2009-01-074-8/+29
| | | | | | member references, e.g., for anonymous struct/unions or implicit 'this' in member functions llvm-svn: 61885
* Minor cleanup for unittest:Misha Brukman2009-01-071-3/+3
| | | | | | | | | * Fixed {copy,assignment} constructor test names * s/EXPECT_EQ(true, ...)/ASSERT_TRUE(...)/ Patch by Talin. llvm-svn: 61883
* Don't ICE when messaging on 'super' receiver when classFariborz Jahanian2009-01-073-3/+21
| | | | | | of category implementation is undeclared. Issue error instead. llvm-svn: 61882
* Another nasty code gen. bug with trivial fix. Calling classFariborz Jahanian2009-01-072-1/+22
| | | | | | | method on 'super' receiver in a category implementation. Other simpler cases were working by accident. llvm-svn: 61880
* Whitespace - correct formatting.Duncan Sands2009-01-071-2/+2
| | | | llvm-svn: 61879
* Finished semantic analysis of anonymous unions in C++.Douglas Gregor2009-01-0710-69/+170
| | | | | | | | | Duplicate-member checking within classes is still a little messy, and anonymous unions are still completely broken in C. We'll need to unify the handling of fields in C and C++ to make this code applicable in both languages. llvm-svn: 61878
* Remove alloca tracking from nocapture analysis. Not onlyDuncan Sands2009-01-072-87/+25
| | | | | | | | | | was it not very helpful, it was also wrong! The problem is shown in the testcase: the alloca might be passed to a nocapture callee which dereferences it and returns the original pointer. But because it was a nocapture call we think we don't need to track its uses, but we do. llvm-svn: 61876
* CMake: replace `rm' with portable invocations of cmake.Oscar Fuentes2009-01-072-5/+5
| | | | | | Based on a bug report by Yonggang Luo. llvm-svn: 61875
* Reorder these.Duncan Sands2009-01-071-24/+24
| | | | llvm-svn: 61873
* Use a switch rather than a sequence of "isa" tests.Duncan Sands2009-01-071-16/+32
| | | | llvm-svn: 61872
* ccc: Make proper synthetic arguments in places we have to constructDaniel Dunbar2009-01-073-54/+35
| | | | | | | "fake" options, allowing Tools to be oblivious to whether an argument is real or synthetic. This kills off DerivedArg & a number of FIXMEs. llvm-svn: 61871
* The verifier checks that the aliasee is not null.Duncan Sands2009-01-071-2/+1
| | | | llvm-svn: 61870
* ccc: Change Command to take list of strings for argv instead of ArgDaniel Dunbar2009-01-073-57/+55
| | | | | | | instances; this just complicated things and doesn't seem to provide any benefit. llvm-svn: 61869
* ObjC AST cleanups/simplifications (phase 1).Steve Naroff2009-01-073-217/+85
| | | | | | Add ObjCContainerDecl class and have ObjCInterfaceDecl/ObjCCategoryDecl/ObjCProtocolDecl inherit from it. llvm-svn: 61866
* Use DeclContext::getLookupContext wherever necessary to ensure that we look ↵Douglas Gregor2009-01-072-7/+10
| | | | | | through transparent contexts llvm-svn: 61861
* Test case for anonymous unions in C++Douglas Gregor2009-01-071-0/+99
| | | | llvm-svn: 61860
* Implement the first half of PR3290: if there is a store of an Chris Lattner2009-01-072-5/+164
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | integer to a (transitive) bitcast the alloca and if that integer has the full size of the alloca, then it clobbers the whole thing. Handle this by extracting pieces out of the stored integer and filing them away in the SROA'd elements. This triggers fairly frequently because the CFE uses integers to pass small structs by value and the inliner exposes these. For example, in kimwitu++, I see a bunch of these with i64 stores to "%struct.std::pair<std::_Rb_tree_const_iterator<kc::impl_abstract_phylum*>,bool>" In 176.gcc I see a few i32 stores to "%struct..0anon". In the testcase, this is a difference between compiling test1 to: _test1: subl $12, %esp movl 20(%esp), %eax movl %eax, 4(%esp) movl 16(%esp), %eax movl %eax, (%esp) movl (%esp), %eax addl 4(%esp), %eax addl $12, %esp ret vs: _test1: movl 8(%esp), %eax addl 4(%esp), %eax ret The second half of this will be to handle loads of the same form. llvm-svn: 61853
* Factor a bunch of code out into a helper method.Chris Lattner2009-01-071-148/+156
| | | | llvm-svn: 61852
* use continue to simplify code and reduce nesting, no functionalityChris Lattner2009-01-071-38/+58
| | | | | | change. llvm-svn: 61851
* Get TargetData once up front and cache as an ivar instead ofChris Lattner2009-01-071-45/+38
| | | | | | requerying it all over the place. llvm-svn: 61850
* Use the hasAllZeroIndices predicate to simplify some Chris Lattner2009-01-071-28/+6
| | | | | | code, no functionality change. llvm-svn: 61849
* When determining whether a variable is a file-scoped variable, checkDouglas Gregor2009-01-074-5/+15
| | | | | | | out its lookup context (to see through linkage specifications). Addresses <rdar://problem/6477142>. llvm-svn: 61848
* The coalescer does not coalesce a virtual register to a physical register if ↵Evan Cheng2009-01-074-20/+115
| | | | | | | | | | | | | | any of the physical register's sub-register live intervals overlaps with the virtual register. This is overly conservative. It prevents a extract_subreg from being coalesced away: v1024 = EDI // not killed = = EDI One possible solution is for the coalescer to examine the sub-register live intervals in the same manner as the physical register. Another possibility is to examine defs and uses (when needed) of sub-registers. Both solutions are too expensive. For now, look for "short virtual intervals" and scan instructions to look for conflict instead. This is a small win on x86-64. e.g. It shaves 403.gcc by ~80 instructions. llvm-svn: 61847
* ccc: Extend ArgList to support indexing into a synthetic arg arrayDaniel Dunbar2009-01-071-3/+28
| | | | | | (for killing off DerivedArg). llvm-svn: 61846
* add a testcase.Chris Lattner2009-01-071-0/+56
| | | | llvm-svn: 61845
* ccc: Refactor so that all accesses to actual input strings go throughDaniel Dunbar2009-01-074-23/+25
| | | | | | the ArgList. llvm-svn: 61844
* Update checker build.Ted Kremenek2009-01-071-1/+1
| | | | llvm-svn: 61843
* Add patterns to match conditional moves with loads foldedDan Gohman2009-01-073-1/+111
| | | | | | | into their left operand, rather than their right. Do this by commuting the operands and inverting the condition. llvm-svn: 61842
* Add load-folding table entries for cmovno too.Dan Gohman2009-01-071-0/+3
| | | | llvm-svn: 61841
* Initial implementation of anonymous unions (and, as a GNU extension,Douglas Gregor2009-01-0711-20/+402
| | | | | | | | | | | | structures and classes) in C++. Covers name lookup and the synthesis and member access for the unnamed objects/fields associated with anonymous unions. Some C++ semantic checks are still missing (anonymous unions can't have function members, static data members, etc.), and there is no support for anonymous structs or unions in C. llvm-svn: 61840
* This commit reflects changes to the retain/release checker motivated by myTed Kremenek2009-01-072-36/+53
| | | | | | | | | | | | | | | | | | | | | | | recent discussions with Thomas Clement and Ken Ferry concerning the "fundamental rule" for Cocoa memory management (http://developer.apple.com/documentation/Cocoa/Conceptual/MemoryMgmt/Tasks/MemoryManagementRules.html). Here is the revised behavior of the checker concerning tracking retain/release counts for objects returned from message expressions involving instance methods: 1) Track the returned object if the return type of the message expression is id<..>, id, or a pointer to *any* object that subclasses NSObject. Such objects are assumed to have a retain count. Previously the checker only tracked objects when the receiver of the message expression was part of the standard Cocoa API (i.e., had class names prefixed with 'NS'). This should significantly expand the amount of checking performed. 2) Consider the object owned if the selector of the message expression contains "alloc", "new", or "copy". Previously we also considered "create", but this doesn't follow from the fundamental rule (discussions with the Cocoa folks confirms this). llvm-svn: 61837
OpenPOWER on IntegriCloud