Fix some issues with rematerialization in RegisterCoalescer when the destination
of the copy is a subregister def. The current code assumes that it can do a full
def of the destination register, but it is not checking that the def operand is
read-undef. It also doesn't clear the subregister index of the destination in
the new instruction to reflect the full subregister def.

These issues were found running 'make check' with my next commit that enables
rematerialization in more cases.

llvm-svn: 175122

Don't assume the mangling of static functions.

llvm-svn: 175121

Don't asume that a static function in an extern "C" block will not be mangled.
Since functions with internal linkage don't have language linkage, it is valid
to overload them:

extern "C" {
       static int foo();
       static int foo(int);
}

So we mangle them.

llvm-svn: 175120

merge hasCLanguageLinkage and isExternC. Keep the shorter name.

I added hasCLanguageLinkage while fixing some language linkage bugs some
time ago so that I wouldn't have to check all users of isExternC. It turned
out to be a much longer detour than expected, but this patch finally
merges the two again. The isExternC function now implements just the
standard notion of having C language linkage.

llvm-svn: 175119

Initial docs directory

Adding a new docs directory, with files auto-generated by sphinx-quickstart,
for user documentation for the various tools in the clang-tools-extra
repository.

Author: Jack Yang <jack.yang@intel.com>
Reviewers: gribozavr, silvas
llvm-svn: 175118

Add a getLanguageLinkage method to VarDecls and FunctionDecls. Use it to fix
some cases where functions with no language linkage were being treated as having
C language linkage. In particular, don't warn in

extern "C" {
  static NonPod foo();
}

Since getLanguageLinkage checks the language linkage, the linkage computation
cannot use the language linkage. Break the loop by checking just the context
in the linkage computation.

llvm-svn: 175117

When marking derived classes' virtual methods ODR-used in order to trigger
instantiation in order to permit devirtualization later in codegen, skip over
pure functions since those can't be devirtualization targets.

llvm-svn: 175116

Teach ccc-analyze to pass on -iquote with no spaces between it an the argument.

llvm-svn: 175115

Fix broken testcase: ignore LLDB output that warns about more elements than can be displayed.
- test could be re-written at some point, but right now just trying to clean up known failures for the linux buildbot.

llvm-svn: 175114

Actually fix rendering of the example code block!

llvm-svn: 175113

Some grammar fixes to 'Format String Checking', and reorder the text slightly to try to make the final code block actually get rendered.

llvm-svn: 175112

Marking two tests expected-to-fail on Linux
- PR-15260: lldb does not display correct value of 1-bit field
- PR-16261: lldb does not display size of (file/class) static array

llvm-svn: 175111

Document Clang's support for [[gnu::...]] attributes.

llvm-svn: 175110

[docs] The stat cache has been removed from the PCH, update the docs to remove mentions of it.

llvm-svn: 175109

Centralized the expression prefixes that are used for both expressions and utility functions.

llvm-svn: 175108

temporarily revert the patch due to some conflicts

llvm-svn: 175107

A lot more cleanup on the AppleObjCRuntimeV2 class.

llvm-svn: 175106

Cleaned up and removed unused code.

llvm-svn: 175105

Retain the name of the new internal global that's been shrunk.

It's possible (e.g. after an LTO build) that an internal global may be used for
debugging purposes. If that's the case appending a '.b' to it makes it hard to
find that variable. Steal the name from the old GV before deleting it so that
they can find that variable again.

llvm-svn: 175104

Skip another two other tests asserting on Linux in RecordLayoutBuilder::updateExternalFieldOffset().

llvm-svn: 175103

Hexagon: add support for predicate-GPR copies.

llvm-svn: 175102

<rdar://problem/13210494>

Parse objective C information as efficiently as possible and without taking dangerous runtime locks.

Reworked the way objective C information is parsed by:
1 - don't read all class names up front, this is about 500K of data with names
2 - add a 32 bit hash map that maps a hash of a name to the Class pointer (isa)
3 - Improved name lookups by using the new hash map
4 - split up reading the objc runtime info into dynamic and shared cache since the shared cache only needs to be read once.
5 - When reading all isa values, also get the 32 bit hash instead of the name
6 - Read names lazily now that we don't need all names up front
7 - Allow the hash maps to not be there and still have this function correctly

There is dead code in here with all of the various methods I tried. I want to check this in first to not lose any of it in case we need to revert to any of the extra code. I will promptly cleanup and commit again.

llvm-svn: 175101

objective-C: Make order of ivars which are synthesized
in the course of property synthesis deterministic (ordered
by their type size), instead of having hashtable order
(as it is currently). // rdar://13192366

llvm-svn: 175100

llvm-gcc -pedantic warns about C++ comments in C90 mode even if they're
inside an #if 0 block.

llvm-svn: 175098

Fix iterator definitions for ImmutableSet and ImmutableMap.

llvm-svn: 175097

R600: Add support for 128-bit parameters

NOTE: This is a candidate for the Mesa stable branch.
llvm-svn: 175096

Skip test that causes lldb to assert due to inferior getting a SIGSEGV with si_code == SI_KERNEL (PR-15258)
- crash does not always reproduce

llvm-svn: 175095

Allow expression evaluation to work when multiple threads exist in the inferior (on Linux)
- handle m_resume_state == eStateStopped || eStateSuspended in DoResume rather than asserting

llvm-svn: 175094

s/grep/FileCheck/ in some tests

llvm-svn: 175093

Don't build tail calls to functions with three inreg arguments on x86-32 PIC.
Fixes PR15250!

llvm-svn: 175092

Made NULL, nil, and Nil use the appropriate
builtins.

<rdar://problem/13204027>

llvm-svn: 175091

Remove outdated performance.html webpage.

llvm-svn: 175090

s/grep/FileCheck/ in some tests

llvm-svn: 175089

Bug fix 13622: Add paired register support for inline asm with 64-bit data on ARM

llvm-svn: 175088

[ms-inline asm] Fix up test case for non-Darwin platforms.

llvm-svn: 175087

Hexagon: Use absolute addressing mode loads/stores for global+offset
instead of redefining separate instructions for them.

llvm-svn: 175086

Add iterator_traits to ImmutableMap and ImmutableSet.

llvm-svn: 175085

[ms-inline asm] Add test case for r175083.

llvm-svn: 175084

[ms-inline-asm] Add support for memory references that have non-immediate
displacements.
rdar://12974533

llvm-svn: 175083

[ms-inline asm] Add a comment about the determinism of the rewrite sort.

llvm-svn: 175082

configure: remove workaround for gcc's -Wno-maybe-uninitialized

Since r174770 gcc version check is not needed because CXX_FLAG_CHECK
implements the workaround itself.

llvm-svn: 175080

ubsan: Add checking for invalid downcasts. Per [expr.static.cast]p2 and p11,
base-to-derived casts have undefined behavior if the object is not actually an
instance of the derived type. Runtime library part.

llvm-svn: 175079

ubsan: Add checking for invalid downcasts. Per [expr.static.cast]p2 and p11,
base-to-derived casts have undefined behavior if the object is not actually an
instance of the derived type.

llvm-svn: 175078

[docs] PR15254: Add "AST" to the lexicon.

llvm-svn: 175077

LoopVectorize: Simplify code for clarity.

No functionality change.

llvm-svn: 175076

Add a blurb about the attributes changes to the release notes.

llvm-svn: 175075

Allow breaking after the return type in function declarations.

This has so far been disabled for Google style, but should be done
before breaking at nested name specifiers or in template parameters.

Before (in Google style):
template <typename T>
aaaaaaaa::aaaaa::aaaaaa<T, aaaaaaaaaaaaaaaaaaaaaaaaa> aaaaaaaaaaaaaaaaaaaaaaaa<
    T>::aaaaaaa() {}

After:
template <typename T>
aaaaaaaa::aaaaa::aaaaaa<T, aaaaaaaaaaaaaaaaaaaaaaaaa>
aaaaaaaaaaaaaaaaaaaaaaaa<T>::aaaaaaa() {}

llvm-svn: 175074

For Mips 16, add the optimization where the 16 bit form of addiu sp can be used
if the offset fits in 11 bits. This makes use of the fact that the abi
requires sp to be 8 byte aligned so the actual offset can fit in 8
bits. It will be shifted left and sign extended before being actually used.
The assembler or direct object emitter will shift right the 11 bit
signed field by 3 bits. We don't need to deal with that here.

llvm-svn: 175073

Clean up LDV, no functionality change.

Remove dead functions: renameRegister
Move private member variables from LDV to Impl
Remove ssp/uwtable from testing case

llvm-svn: 175072

Improved handling for DW_AT_const_value

llvm-svn: 175071

Use 'RC_XBS' instead of 'RC_BUILDIT' to catch all times when it's built in the Apple way.

llvm-svn: 175070

Use 'RC_XBS' instead of 'RC_BUILDIT' to catch all times when it's built in the Apple way.

llvm-svn: 175069

Fix comment alignment close to the column limit.

Due to an error in one of the expressions, we used to not align comments
although it would have been possible.

llvm-svn: 175068

MIsched: HazardRecognizers are created for each DAG. Free them.

llvm-svn: 175067

PR14992 - Tablegen incorrectly converts ARM tLDMIA_UPD pseudo to tLDMIA

Fixed bug in tablegen conversion when source pseudo instruction has
a different number of arguments than the destination instruction.

llvm-svn: 175066

Skip tests that assert on Linux in RecordLayoutBuilder::updateExternalFieldOffset()
- Filed bugzilla PR-15256

llvm-svn: 175065

Disable TestConditionalBreak.py due to Linux crash
- test was passing before r174793...

llvm-svn: 175064

[ms-inline-asm] Use an array_pod_sort, rather than a std:sort.

llvm-svn: 175063

[libclang] Fix annotation of a range where the begin or end location
is inside a macro argument.

Previously we would give up and not annotate anything in the range.
rdar://11891550

llvm-svn: 175062

Quiet "the missing case in switch statement" warnings from newer clang builds.

llvm-svn: 175061

Metadata for annotating loops as parallel. The first consumer for this
metadata is the loop vectorizer.

See the documentation update for more info.

llvm-svn: 175060

[ASan] When re-executing the process on OS X, make sure we update the existing DYLD_INSERT_LIBRARIES correctly.
Previously ASan used to hang in an exec loop, because it failed to overwrite the env var value
(see https://code.google.com/p/address-sanitizer/issues/detail?id=159).

llvm-svn: 175059

Add registration for PPC-specific passes to allow the IR to be dumped
via -print-after-all.

llvm-svn: 175058

X86: Disable generation of rep;movsl when %esi is used as a base pointer.

This happens when there is both stack realignment and a dynamic alloca in the
function. If we overwrite %esi (rep;movsl uses fixed registers) we'll lose the
base pointer and the next register spill will write into oblivion.

Fixes PR15249 and unbreaks firefox on i386/freebsd. Mozilla uses dynamic allocas
and freebsd a 4 byte stack alignment.

llvm-svn: 175057

tsan: do not imitate memory write on malloc() (Go)
better memory range access functions (put only 1 event to trace) (Go)

llvm-svn: 175056

Mention AArch64 in release notes for 3.3

llvm-svn: 175055

... and now fix the +Asserts build

llvm-svn: 175054

Fix the microsoft-abi-structors test expectations to match both Release and Release+Asserts builds

llvm-svn: 175053

Pull search state out as class members.

Fix some comments.

llvm-svn: 175052

An attempt to make the search algorithm easier to understand.

- clear ownership: the SpecificBumpPtrAllocator owns all StateNodes
- this allows us to simplify the memoization data structure into a
  std::set (FIXME: figure out whether we want to use a hash based
  data structure).
- introduces StateNode as recursive data structure, instead of using
  Edge and the Seen-map combined to drill through the graph
- using a count to stabilize the penalty instead of relying on the
  container
- pulled out a method to forward-apply states in the end

This leads to a ~40% runtime decrease on Nico's benchmark.

Main FiXME is that the parameter lists of some function get too long.
I'd vote for either pulling the Queue etc into the Formatter proper,
or creating an inner class just for the search algorithm.

llvm-svn: 175051

Fix MSan annotations inclusion guard.

#cmakedefine does not behave the way I though it was.

llvm-svn: 175050

[asan] fix fixed mapping for mac (ASAN_FLEXIBLE_MAPPING_AND_OFFSET=0)

llvm-svn: 175049

Use array_pod_sort.

llvm-svn: 175048

Update phab docs to clarify how to accept a change.

llvm-svn: 175047

Add some accessor and query methods for retrieving Attribute objects and such.

llvm-svn: 175046

Emit virtual/deleting destructors properly with -cxx-abi microsoft, PR15058

llvm-svn: 175045

Make jumptables work for -static

llvm-svn: 175044

Prevent insertion of "vzeroupper" before call that preserves YMM registers, since a caller uses preserved registers across the call.

llvm-svn: 175043

Remove unnecessary condtional assignment. The next line ignores the result of the assignment with the same condition.

llvm-svn: 175042

This is actually located at the end, not the middle.

llvm-svn: 175041

[msan] don't check shadow inside interceptors if we are inside symbolizer; add weak function __msan_default_options that overrides default options

llvm-svn: 175040

fix the mergeable string atom, when the target points to a symbol which is at a relative offset from the start of the .rodata section

llvm-svn: 175039

add merge strings option, this temporarily fixes the problem bringing up helloworld with glibc on x86_64

llvm-svn: 175038

[tsan] simplify tsan-vs-gvn test since gvn vs tsan is now fixed; fix lint

llvm-svn: 175037

Check i1 as well as i8 variables for 8 bit registers for x86 inline
assembly.

llvm-svn: 175036

Finish obviously broken thought.

llvm-svn: 175035

[tsan] disable load widening in ThreadSanitizer mode

llvm-svn: 175034

[asan] fix confusing indentation

llvm-svn: 175033

use memcpy instead of dubious union to type pun two values,
thanks to David Blaike for pointing this out.

llvm-svn: 175032

Formatter: And more cast tests (these don't pass yet).

llvm-svn: 175031

Formatter: Add more cast tests.

llvm-svn: 175030

Formatter: Refactor the cast detection code to be a bit more readable.

No functionality change. Also add another cast test.

llvm-svn: 175029

Formatter: Detect ObjC method expressions after casts.

Not all casts are correctly detected yet, but it helps in some cases.

llvm-svn: 175028

Change this comment to helpfully explain why it's there.

llvm-svn: 175027

[analyzer] Use Clang's evaluation for global constants and default arguments.

Previously, we were handling only simple integer constants for globals and
the smattering of implicitly-valued expressions handled by Environment for
default arguments. Now, we can use any integer constant expression that
Clang can evaluate, in addition to everything we handled before.

PR15094 / <rdar://problem/12830437>

llvm-svn: 175026

[analyzer] Use makeZeroVal in RegionStore's lazy evaluation of statics.

No functionality change.

llvm-svn: 175025

Fix comment.

llvm-svn: 175024

Debug Info: LiveDebugVarible can remove DBG_VALUEs, make sure we emit them back.

RegisterCoalescer used to depend on LiveDebugVariable. LDV removes DBG_VALUEs
without emitting them at the end.

We fix this by removing LDV from RegisterCoalescer. Also add an assertion to
make sure we call emitDebugValues if DBG_VALUEs are removed at
runOnMachineFunction.

rdar://problem/13183203
Reviewed by Andy & Jakob

llvm-svn: 175023

[ms-inline-asm] Test cases to ensure the AsmRewrite list is sorted (r175021).
Part of rdar://13202662

llvm-svn: 175022

[ms-inline-asm] Make sure the AsmRewrite list is sorted in lexical order.
rdar://13202662

llvm-svn: 175021