summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* clang/test/Driver/linux-header-search.cpp: Add XFAILs, for now. I'll fix ↵NAKAMURA Takumi2013-07-261-0/+3
| | | | | | them later. llvm-svn: 187192
* Re-implement the analysis of uses in mem2reg to be significantly moreChandler Carruth2013-07-263-113/+227
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | robust. It now uses an InstVisitor and worklist to actually walk the uses of the Alloca transitively and detect the pattern which we can directly promote: loads & stores of the whole alloca and instructions we can completely ignore. Also, with this new implementation teach both the predicate for testing whether we can promote and the promotion engine itself to use the same code so we no longer have strange divergence between the two code paths. I've added some silly test cases to demonstrate that we can handle slightly more degenerate code patterns now. See the below for why this is even interesting. Performance impact: roughly 1% regression in the performance of SROA or ScalarRepl on a large C++-ish test case where most of the allocas are basically ready for promotion. The reason is because of silly redundant work that I've left FIXMEs for and which I'll address in the next commit. I wanted to separate this commit as it changes the behavior. Once the redundant work in removing the dead uses of the alloca is fixed, this code appears to be faster than the old version. =] So why is this useful? Because the previous requirement for promotion required a *specific* visit pattern of the uses of the alloca to verify: we *had* to look for no more than 1 intervening use. The end goal is to have SROA automatically detect when an alloca is already promotable and directly hand it to the mem2reg machinery rather than trying to partition and rewrite it. This is a 25% or more performance improvement for SROA, and a significant chunk of the delta between it and ScalarRepl. To get there, we need to make mem2reg actually capable of promoting allocas which *look* promotable to SROA without have SROA do tons of work to massage the code into just the right form. This is actually the tip of the iceberg. There are tremendous potential savings we can realize here by de-duplicating work between mem2reg and SROA. llvm-svn: 187191
* Remove trailing whitespace.Craig Topper2013-07-261-91/+91
| | | | llvm-svn: 187190
* Remove trailing whitespace.Craig Topper2013-07-261-76/+76
| | | | llvm-svn: 187189
* Add test cases for the various instruction alias and Intel syntax fixes that ↵Craig Topper2013-07-263-17/+380
| | | | | | have gone in lately. llvm-svn: 187188
* Fix more Intel syntax issues with FP instruction aliases. Test cases coming ↵Craig Topper2013-07-261-8/+8
| | | | | | in a subsequent patch. llvm-svn: 187187
* Make .bc en/decoding of AttrKind stableTobias Grosser2013-07-266-4/+493
| | | | | | | | | | | | | | | The bitcode representation attribute kinds are encoded into / decoded from should be independent of the current set of LLVM attributes and their position in the AttrKind enum. This patch explicitly encodes attributes to fixed bitcode values. With this patch applied, LLVM does not silently misread attributes written by LLVM 3.3. We also enhance the decoding slightly such that an error message is printed if an unknown AttrKind encoding was dected. Bonus: Dropping bitcode attributes from AttrKind is now easy, as old AttrKinds do not need to be kept to support the Bitcode reader. llvm-svn: 187186
* Add an SBFrame::FindRegister() method to make it a littleJason Molenda2013-07-264-0/+65
| | | | | | easier to retrieve a register value. llvm-svn: 187184
* Fix test for Release builds.Eli Friedman2013-07-261-2/+2
| | | | | | Attempt 2. Sorry about the noise. llvm-svn: 187183
* Take advantage of the register enums being in order to remove a couple ↵Craig Topper2013-07-261-18/+4
| | | | | | static tables. llvm-svn: 187182
* [PowerPC] Support powerpc64le as a syntax-checking target.Bill Schmidt2013-07-269-9/+185
| | | | | | | | | | | | | | | | | | | This patch provides basic support for powerpc64le as an LLVM target. However, use of this target will not actually generate little-endian code. Instead, use of the target will cause the correct little-endian built-in defines to be generated, so that code that tests for __LITTLE_ENDIAN__, for example, will be correctly parsed for syntax-only testing. Code generation will otherwise be the same as powerpc64 (big-endian), for now. The patch leaves open the possibility of creating a little-endian PowerPC64 back end, but there is no immediate intent to create such a thing. The new test case variant ensures that correct built-in defines for little-endian code are generated. llvm-svn: 187180
* [PowerPC] Support powerpc64le as a syntax-checking target.Bill Schmidt2013-07-2622-17/+73
| | | | | | | | | | | | | | | | | | | | | | | This patch provides basic support for powerpc64le as an LLVM target. However, use of this target will not actually generate little-endian code. Instead, use of the target will cause the correct little-endian built-in defines to be generated, so that code that tests for __LITTLE_ENDIAN__, for example, will be correctly parsed for syntax-only testing. Code generation will otherwise be the same as powerpc64 (big-endian), for now. The patch leaves open the possibility of creating a little-endian PowerPC64 back end, but there is no immediate intent to create such a thing. The LLVM portions of this patch simply add ppc64le coverage everywhere that ppc64 coverage currently exists. There is nothing of any import worth testing until such time as little-endian code generation is implemented. In the corresponding Clang patch, there is a new test case variant to ensure that correct built-in defines for little-endian code are generated. llvm-svn: 187179
* Fix test for Release builds.Eli Friedman2013-07-261-2/+2
| | | | llvm-svn: 187178
* [PECOFF] Create an atom for a symbol whose storage type is ↵Rui Ueyama2013-07-262-2/+5
| | | | | | IMAGE_SYM_CLASS_LABEL. llvm-svn: 187177
* Tighten type-checking for vector attributes.Eli Friedman2013-07-264-1/+28
| | | | | | Based on patch by Yunzhong Gao. llvm-svn: 187176
* Fix gcc search for cross-compiler on Ubuntu 13.04.Eli Friedman2013-07-263-2/+24
| | | | | | | | Just more craziness to find crtbegin.o etc. Patch by Stephen Kelly. llvm-svn: 187175
* Fix GNU ObjC ABI for a message returning a struct.Eli Friedman2013-07-264-13/+85
| | | | | | | | | This allows the ObjFW runtime to correctly implement message forwarding for messages which return a struct. Patch by Jonathan Schleifer. llvm-svn: 187174
* Refine the fix in r187094 to only distrust the StackID comparision when we ↵Jim Ingham2013-07-262-3/+11
| | | | | | | | | | are starting from an address with no symbols. If we don't do that "nexti" will stop too soon when stepping past a tail call jump. rdar://problem/14516227 llvm-svn: 187173
* Partially revert r186903.Eli Friedman2013-07-265-5/+6
| | | | | | | | It turns out that Plum Hall depends on us not emitting an error on integer literals which fit into long long, but fit into unsigned long long. So C99 conformance requires not conforming to C99. :) llvm-svn: 187172
* Move friend warning into CXX11 warning group.Eli Friedman2013-07-263-4/+3
| | | | | | Also, fix the wording to reflect this. llvm-svn: 187171
* Use env in a pecoff test so it passes with the lit shell test runnerReid Kleckner2013-07-251-2/+2
| | | | llvm-svn: 187170
* Fixed several problems with watchpoint expressions.Sean Callanan2013-07-252-1/+3
| | | | | | | | | | | | | | | | - First, the watchpoint size was being cast to the wrong type. This is primarily cosmetic, but annoying. - Second, the options for the watchpoint command were not being initialized correctly, which led to the watchpoint size sometimes having absurdly large values. This caused watchpoints to fail to be set in some cases. <rdar://problem/12658775> llvm-svn: 187169
* Options.td: fold the NoForward flag into DriverOptionHans Wennborg2013-07-253-17/+18
| | | | | | | | | They seemed to have the same implications, and this makes for one less flag to worry about. Differential Revision: http://llvm-reviews.chandlerc.com/D1219 llvm-svn: 187168
* When we perform dependent name lookup during template instantiation, it's notRichard Smith2013-07-2515-59/+257
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | sufficient to only consider names visible at the point of instantiation, because that may not include names that were visible when the template was defined. More generally, if the instantiation backtrace goes through a module M, then every declaration visible within M should be available to the instantiation. Any of those declarations might be part of the interface that M intended to export to a template that it instantiates. The fix here has two parts: 1) If we find a non-visible declaration during name lookup during template instantiation, check whether the declaration was visible from the defining module of all entities on the active template instantiation stack. The defining module is not the owning module in all cases: we look at the module in which a template was defined, not the module in which it was first instantiated. 2) Perform pending instantiations at the end of a module, not at the end of the translation unit. This is general goodness, since it significantly cuts down the amount of redundant work that is performed in every TU importing a module, and also implicitly adds the module containing the point of instantiation to the set of modules checked for declarations in a lookup within a template instantiation. There's a known issue here with template instantiations performed while building a module, if additional imports are added later on. I'll fix that in a subsequent commit. llvm-svn: 187167
* Add a bool->StringRef c'tor to StringRef.Bill Wendling2013-07-251-0/+4
| | | | llvm-svn: 187166
* Add yaml2obj to check-lld deps, since the PECOFF tests need itReid Kleckner2013-07-251-1/+1
| | | | llvm-svn: 187165
* Phabricator.rst: tiny fixHans Wennborg2013-07-251-1/+1
| | | | llvm-svn: 187164
* Options.td: finish comment about CompileOnly_GroupHans Wennborg2013-07-251-1/+3
| | | | llvm-svn: 187163
* [PECOFF][Driver] Add /nologo command line option.Rui Ueyama2013-07-252-0/+11
| | | | llvm-svn: 187162
* [PECOFF][Driver] Split WinLinkDriver::parse for readability.Rui Ueyama2013-07-251-19/+32
| | | | llvm-svn: 187161
* [analyzer] Remove dead optimization for MaterializeTemporaryExpr.Jordan Rose2013-07-251-15/+1
| | | | | | | | | | | | | | Previously, we tried to avoid creating new temporary object regions if the value to be materialized itself came from a temporary object region. However, once we became more strict about lvalues vs. rvalues (months ago), this optimization became dead code, because the input to this function will always be an rvalue (i.e. a symbolic value or compound value rather than a region, at least for structs). This would be a nice optimization to keep, but removing it makes it simpler to reason about temporary regions. llvm-svn: 187160
* Using a different loop induction variable than the enclosing scope. No ↵Aaron Ballman2013-07-251-2/+2
| | | | | | functional changes intended. llvm-svn: 187159
* PPC32 va_list is an actual structure so va_copy needs to copy the wholeRoman Divacky2013-07-253-1/+47
| | | | | | | structure not just a pointer. This implements that and thus fixes va_copy on PPC32. Fixes #15286. Both bug and patch by Florian Zeitz! llvm-svn: 187158
* Debug Info: update comments and add a FIXME.Manman Ren2013-07-251-2/+5
| | | | llvm-svn: 187157
* Don't forward all assembler arguments untouched to -cc1asDavid Blaikie2013-07-255-44/+47
| | | | | | | | | | | | | | Use the same filtering for assembly arguments to -cc1as as we do for -cc1, this allows a consistent (& more useful) diagnostic experience for users (rather than getting an error from -cc1as (which a user shouldn't really be thinking about) about --foo, they get an error from clang about --foo in -Wa,) I'm sort of surprised by the separation of -cc1as & the separate argument handling, etc, but at least this removes a little bit of the duplication. llvm-svn: 187156
* tests: Build test code on FreeBSD the same way as on LinuxEd Maste2013-07-252-2/+2
| | | | llvm-svn: 187155
* Remove dead code from the makefile build system.Rafael Espindola2013-07-255-546/+2
| | | | | | | | Back in r140220 we removed the autoconf code that would set LLVMCC_OPTION since it was only used by the test-suite. This patch now removes code that would only be used if LLVMCC_OPTION was set. llvm-svn: 187154
* cpp11-migrate: Tweak lit tests to avoid false negativesEdwin Vane2013-07-251-2/+3
| | | | | | | | Recent failures on a freebsd buildbot indicated a weakness in the Reformatting.cpp lit test. Tweaking the test to avoid false negatives and hopefully make the buildbot happy. llvm-svn: 187153
* remove empty directories.Rafael Espindola2013-07-250-0/+0
| | | | llvm-svn: 187152
* Fix the lldb build after the removal of mblaze.Rafael Espindola2013-07-251-2/+0
| | | | llvm-svn: 187151
* Debug Info: improve the verifier to check field types.Manman Ren2013-07-2524-162/+174
| | | | | | | Make sure the context field of DIType is MDNode. Fix testing cases to make them pass the verifier. llvm-svn: 187150
* Set thread names on FreeBSDEd Maste2013-07-254-26/+71
| | | | | | | Also move the logic to shorten thread names from linux/Host.cpp to a new SetShortThreadName as both FreeBSD and Linux need the functionality. llvm-svn: 187149
* Correct typo in commentsEd Maste2013-07-251-2/+2
| | | | llvm-svn: 187148
* Remove unused codeEd Maste2013-07-251-37/+1
| | | | | | | | | - ReadLocker constructors that take a lock - Unconditional Lock::ReadLock and ReadLocker::Lock (all consumers use TryLock) - Make Unlock protected, as it has no external consumers llvm-svn: 187147
* Remove empty directoriesRafael Espindola2013-07-250-0/+0
| | | | llvm-svn: 187146
* Remove the mblaze backend from llvm.Rafael Espindola2013-07-25129-14686/+10
| | | | | | Approval in here http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-July/064169.html llvm-svn: 187145
* Remove the mblaze backend from clang.Rafael Espindola2013-07-255-311/+0
| | | | | | Approval in here http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-July/064169.html llvm-svn: 187143
* tests: Mark expected FreeBSD failures due to pr16699Ed Maste2013-07-253-0/+3
| | | | | | | | FreeBSD's Host class doesn't yet return a list of running processes, so 'platform process list' fails and attach by process name does not work. llvm-svn: 187142
* RegAllocGreedy comment.Andrew Trick2013-07-251-1/+2
| | | | llvm-svn: 187141
* Evict local live ranges if they can be reassigned.Andrew Trick2013-07-255-13/+35
| | | | | | | | | | | | | | | | The previous change to local live range allocation also suppressed eviction of local ranges. In rare cases, this could result in more expensive register choices. This commit actually revives a feature that I added long ago: check if live ranges can be reassigned before eviction. But now it only happens in rare cases of evicting a local live range because another local live range wants a cheaper register. The benefit is improved code size for some benchmarks on x86 and armv7. I measured no significant compile time increase and performance changes are noise. llvm-svn: 187140
OpenPOWER on IntegriCloud