objective-C: Don't warn of unimplemented property of protocols in
category, when those properties will be implemented in category's
primary class or one of its super classes. // rdar://12568064

llvm-svn: 170573

Forgot to remove trailing whitespace when I converted the BlockLanguageSpec.txt => BlockLanguageSpec.rst. It has been eliminated.

llvm-svn: 170572

Converted BlockLanguageSpec.txt => BlockLanguageSpec.rst.

llvm-svn: 170571

Change test to dump Filecheck output to an intermediate file.  This makes it easier to update this test.

llvm-svn: 170570

Remove superfluous brief command from getAsString.

llvm-svn: 170569

doc: add subsections.

llvm-svn: 170568

DOC: document the use of O2, O3 and Os with -fvectorize.

llvm-svn: 170567

Fix PR14591: Windows newlines in doxygen comments cause failed assertion in
TextDiagnostic

Patch by Janusz Chorko.

llvm-svn: 170566

Add a missing 'else'.  Found by grep '} if'

No testcase because this did not affect correctness: a declaration can only be
ClassTemplateDecl or a FunctionTemplateDecl, not both.

llvm-svn: 170565

Test suite cleanup for Linux: mark test cases expected to fail due to open bugzillas
- bugzillas covered: 14323, 14600, 14541, 14437, 14540, 14541

llvm-svn: 170564

Comment parsing: add a missing 'else'.  Found by inspection.

No testcase because we were just building an extra AST node and eventually
throwing it away, so it did not affect correctness.

llvm-svn: 170563

Improve on header comment suggested by James Dennet.

llvm-svn: 170555

[ASan] explicitly link with dynamic ASan runtime when building unittests on Android

llvm-svn: 170552

PowerPC: Expand VSELECT nodes.

There's probably a better expansion for those nodes than the default for
altivec, but this is better than crashing. VSELECTs occur in loop vectorizer
output.

llvm-svn: 170551

Change AsmOperandInfo::ConstraintVT to MVT, instead of EVT.

Accordingly, add MVT::getVT.

llvm-svn: 170550

[ASan] Support building both 32- and 64-bit unit tests if we can target both architectures

llvm-svn: 170549

[asan] asan_allocator2: add mmap/munmap stats

llvm-svn: 170548

Revert 170545 while I debug the ppc failures.

llvm-svn: 170547

Make TargetLowering::getTypeConversion more resilient against odd illegal MVTs.

- An MVT can become an EVT when being split (e.g. v2i8 -> v1i8, the latter doesn't exist)
- Return the scalar value when an MVT is scalarized (v1i64 -> i64)

Fixes PR14639ff.

llvm-svn: 170546

Add r170095 back.

I cannot reproduce it the failures locally, so I will keep an eye at the ppc
bots. This patch does add the change to the "Disassembly of section" message,
but that is not what was failing on the bots.

Original message:

Add a funciton to get the segment name of a section.

On MachO, sections also have segment names. When a tool looking at a .o file
prints a segment name, this is what they mean. In reality, a .o has only one
anonymous, segment.

This patch adds a MachO only function to fetch that segment name. I named it
getSectionFinalSegmentName since the main use for the name seems to be infor
the linker with segment this section should go to.

The patch also changes MachOObjectFile::getSectionName to return just the
section name instead of computing SegmentName,SectionName.

llvm-svn: 170545

[msan] Add track-origins argument to the pass constructor.

llvm-svn: 170544

[ASan] make sure Android unittests depend on ASan runtime

llvm-svn: 170543

Documentation: add a missing space

llvm-svn: 170542

Significantly change the way we build ASan unittests in CMake
build tree. Now just-built Clang is used to:
  1) compile instrumented sources (as before);
  2) compile non-instrumented sources;
  3) compile our own instrumented version of googletest;
  4) link it all together using -fsanitize=address flag
     (instead of trying to copy linker behavior in
      CMake build rules).

This makes ASan unittests pretty much self-consistent
and independent of other LLVM libraries.

llvm-svn: 170541

Split the usage of 'EVT PartVT' into 'MVT PartVT' and 'EVT PartEVT'.

llvm-svn: 170540

CMake: factor out a function that returns the expected directory for unit test

llvm-svn: 170539

Change RegVT in BitTestBlock and RegsForValue, to contain MVTs,
instead of EVTs.

llvm-svn: 170538

Change TargetLowering::getTypeForExtArgOrReturn to take and return
MVTs, instead of EVTs.

llvm-svn: 170537

Change a parameter of TargetLowering::getVectorTypeBreakdown to MVT,
from EVT.

llvm-svn: 170536

Change TargetLowering::RegisterTypeForVT to contain MVTs, instead of
EVTs.

llvm-svn: 170535

Change TargetLowering::TransformToType to contain MVTs, instead of
EVTs.

llvm-svn: 170534

Change TargetLowering::getRepRegClassCostFor, getIndexedLoadAction,
getIndexedStoreAction, and addRegisterClass to take and MVT, instead
of EVT.

llvm-svn: 170533

Change TargetLowering::findRepresentativeClass to take an MVT, instead
of EVT.

llvm-svn: 170532

[ASan] Change the boilerplate check in the libdispatch tests to fix them.

llvm-svn: 170531

[msan] Heuristically instrument unknown intrinsics.

This changes adds shadow and origin propagation for unknown intrinsics
by examining the arguments and ModRef behaviour. For now, only 3 classes
of intrinsics are handled:
- those that look like simple SIMD store
- those that look like simple SIMD load
- those that don't have memory effects and look like arithmetic/logic/whatever
  operation on simple types.

llvm-svn: 170530

Change TargetLowering::getTypeToPromoteTo to take and return MVTs,
instead of EVTs.

llvm-svn: 170529

LoopVectorize: Make iteration over induction variables not depend on pointer values.

MapVector is a bit heavyweight, but I don't see a simpler way. Also the
InductionList is unlikely to be large. This should help 3-stage selfhost
compares (PR14647).

llvm-svn: 170528

MapVector: Add lookup().

llvm-svn: 170527

Change TargetLowering::isCondCodeLegal to take an MVT, instead of EVT.

llvm-svn: 170524

X86ISelLowering.cpp: Fix warnings. [-Wlogical-op-parentheses]

llvm-svn: 170523

Change TargetLowering::getCondCodeAction to take an MVT, instead of
EVT.

llvm-svn: 170522

[asan] print the shadow bytes in different colors and also output the shadow byte legend

llvm-svn: 170520

[TSan] build only gtest-all.o when building TSan unit tests

llvm-svn: 170519

Inline hasFunctionOnlyAttrs into its only use.

llvm-svn: 170518

Inline the only use of the hasParameterOnlyAttrs method.

llvm-svn: 170517

Inline the 'hasIncompatibleWithVarArgsAttrs' method into its only uses. And some minor comment reformatting.

llvm-svn: 170516

tsan: add lint check back into presubmit script

llvm-svn: 170515

[Sanitizer] add missing header on Windows

llvm-svn: 170514

DOC: fix the url format.

llvm-svn: 170513

[asan] asan_allocator2: improve FindHeapChunkByAddress to find memory chunks to the left of a given address. Almost all tests pass with the new allocator now, only 6 are left to fix.

llvm-svn: 170511

Change TargetLowering::getTruncStoreAction to take MVTs, instead of EVTs.

llvm-svn: 170510

DOC: add a benchmarks that compares us to gcc and icc.

llvm-svn: 170509

[Sanitizer] implement internal_isatty on Windows

llvm-svn: 170507

Optimized load + SIGN_EXTEND patterns in the X86 backend.

llvm-svn: 170506

After reducing the size of an operation in the DAG we zero-extend the reduced
bitwidth op back to the original size. If we reduce ANDs then this can cause
an endless loop. This patch changes the ZEXT to ANY_EXTEND if the demanded bits
are equal or smaller than the size of the reduced operation.

llvm-svn: 170505

docs: fix typos.

llvm-svn: 170504

DOC: Add a webpage that describes the loop and bb vectorizers.

llvm-svn: 170503

Rename the 'Attributes' class to 'Attribute'. It's going to represent a single attribute in the future.

llvm-svn: 170502

Rename the 'Attributes' class to 'Attribute'. It's going to represent a single attribute in the future.

llvm-svn: 170500

tsan: fix -Wgnu warnings

llvm-svn: 170499

[sanitizer] one more stability fix in 64-bit allocator

llvm-svn: 170498

Remove more  of 'else's after 'returns'. No functional change.

llvm-svn: 170497

Remove a bunch of 'else's after 'returns'

llvm-svn: 170496

Teach SimplifySetCC that comparing AssertZext i1 against a constant 1 can be rewritten as a compare against a constant 0 with the opposite condition.

llvm-svn: 170495

Add some missing Defs and Uses.

llvm-svn: 170493

Attempt to clarify a vexing-parse diagnostic.

llvm-svn: 170492

<rdar://problem/11961650>

Update the debugserver "qProcessInfo" implementation to return the
cpu type, cpu subtype, OS and vendor information just like qHostInfo
does so lldb can create an ArchSpec based on the returned values.

Add a new GetProcessArchitecture to GDBRemoteCommunicationClient akin
to GetHostArchitecture.  If the qProcessInfo packet is supported,
GetProcessArchitecture will return the cpu type / subtype of the
process -- e.g. a 32-bit user process running on a 64-bit x86_64 Mac
system.

Have ProcessGDBRemote set the Target's architecture based on the
GetProcessArchitecture when we've completed an attach/launch/connect.

llvm-svn: 170491

Fix assertion failure in self-host (and probably bogus template instantiation
too). When instantiating a direct-initializer, if we find it has zero
arguments, produce an empty ParenListExpr rather than returning a null
expression.

llvm-svn: 170490

PR13470: Ensure that copy-list-initialization isntantiates as
copy-list-initialization (and doesn't add an additional copy step):

Fill in the ListInitialization bit when creating a CXXConstructExpr. Use it
when instantiating initializers in order to correctly handle instantiation of
copy-list-initialization. Teach TreeTransform that function arguments are
initializations, and so need this special treatment too. Finally, remove some
hacks which were working around SubstInitializer's shortcomings.

llvm-svn: 170489

Pass AnalyzerOptions to PathDiagnosticConsumer to make analyzer options accessible there.

This is plumbing needed for later functionality changes.

llvm-svn: 170488

Simplify logic to use SourceManager::getFileLoc(), per Argyrios's feedback.

llvm-svn: 170487

Make sure the buffer, which containas an instance of APFloat, has proper alignment.

llvm-svn: 170486

fixes a doxygen comment.

llvm-svn: 170485

test/Index/preamble_macro_template.cpp: Suppress this probably due to Lit/win32 issue. Investigating.

llvm-svn: 170484

[Core][ErrorOr] Add support for user error data.

llvm-svn: 170483

Change DeclContextLookup(Const)Result to (Mutable)ArrayRef<NamedDecl*>, as per review discussion in r170365

This does limit these typedefs to being sequences, but no current usage
requires them to be contiguous (we could expand this to a more general
iterator pair range concept at some point).

Also, it'd be nice if SmallVector were constructible directly from an ArrayRef
but this is a bit tricky since ArrayRef depends on SmallVectorBaseImpl for the
inverse conversion. (& generalizing over all range-like things, while nice,
would require some nontrivial SFINAE I haven't thought about yet)

llvm-svn: 170482

Increas number of iterations before a new libclang format object
is created to 1000.

llvm-svn: 170481

Make sure CodeGen uses a value of the correct type as the result of
of assignment to a bool bitfield.  PR14638.

llvm-svn: 170480

http://llvm.org/bugs/show_bug.cgi?id=14629

Fixed incorrect documentation.

llvm-svn: 170479

Some code refactoring per Dimitri's comment.

llvm-svn: 170478

Add to the disassembler C API an option to print the disassembled
instructions in the assembly code variant if one exists.

The intended use for this is so tools like lldb and darwin's otool(1)
can be switched to print Intel-flavored disassembly.

I discussed extensively this API with Jim Grosbach and we feel
while it may not be fully general, in reality there is only one syntax
for each assembly with the exception of X86 which has exactly
two for historical reasons.

rdar://10989182

llvm-svn: 170477

Don't read the SP when getting argument values from registers in case the SP isn't available. We don't want the availability of SP to limit when we get get arguments from registers.

llvm-svn: 170476

Remove MachineInstr::setIsInsideBundle().

The bundle flags are now maintained by the slightly higher-level
functions bundleWithPred() / bundleWithSucc() which enforce consistent
bundle flags between neighboring instructions.

See also MIBundleBuilder for an even higher-level approach to building
bundles.

llvm-svn: 170475

Fix a crash in diagnostic printing when a template class type is diff'ed
against itself. PR14489.

llvm-svn: 170474

Use bidirectional bundle flags to simplify important functions.

The bundle_iterator::operator++ function now doesn't need to dig out the
basic block and check against end(). It can use the isBundledWithSucc()
flag to find the last bundled instruction safely.

Similarly, MachineInstr::isBundled() no longer needs to look at
iterators etc. It only has to look at flags.

llvm-svn: 170473

Enable the loop vectorizer in clang via -fvectorize

llvm-svn: 170472

rdar://12801297

 InstCombine for unsafe floating-point add/sub.

llvm-svn: 170471

Enable the loop vectorizer in clang and not in the pass manager, so that we can disable it in clang.

llvm-svn: 170470

Fix the fvectorize testcase

llvm-svn: 170469

Have clang_getSpellingLocation() use the same logic as DiagnosticRenderer for plowing through macros.

This fixes a subtle bug reported in <rdar://problem/12584554> where a double-nested
macro could lead to an incorrect fixit location with live issues.

This fix also uncovers a bunch of subtle bugs in our indexer test cases which
are now fixed (mostly around source ranges for attributes).

llvm-svn: 170468

This is the libclang patch providing minimal API to
use clang's formatter. Currently, formatter is used
to format declaration tags for xml comments. Since formatter
is in flux and its change will break several of the clang comment
tests, only a single tests is formatted using this facility.
Doug has reviewed and approved it for check-in.

llvm-svn: 170467

Be defensive when printing module import locations; the diagnostic printer needs to be robust

llvm-svn: 170466

Verify bundle flag consistency when setting them.

Now that the bundle flag aware APIs are all in place, it is possible to
continuously verify the flag consistency.

llvm-svn: 170465

Reverse order of checking SSE level when calculating compare cost, so we check
AVX2 before AVX.

llvm-svn: 170464

Verify bundle flags for consistency in MachineVerifier.

The new bidirectional bundle flags are redundant, so inadvertent bundle
tearing can be detected in the machine code verifier.

llvm-svn: 170463

Disable ARM partial flag dependency optimization at -Oz

To not over constrain the scheduler for ARM in thumb mode, some optimizations  for code size reduction, specific to ARM thumb, are blocked when they add a dependency (like write after read dependency).

Disables this check when code size is the priority, i.e., code is compiled with -Oz.

llvm-svn: 170462

Similar to 170440 - fix build warning with gcc

llvm-svn: 170461

Don't allow the automatically updated MI flags to be set directly.

The bundle-related MI flags need to be kept in sync with the neighboring
instructions. Don't allow the bulk flag-setting setFlags() function to
change them.

Also don't copy MI flags when cloning an instruction. The clone's bundle
flags will be set when it is explicitly inserted into a bundle.

llvm-svn: 170459

Add tests to check recent changes to some builtins.

llvm-svn: 170458

Better support for constructor initializers.

We used to format initializers like this (with a sort of hacky implementation):
Constructor()
    : Val1(A),
      Val2(B) {

and now format like this (with a somewhat better solution):
Constructor()
    : Val1(A), Val2(B) {

assuming this would not fit on a single line. Also added tests.

As a side effect we now first analyze whether an UnwrappedLine needs to be
split at all. If not, not splitting it is the best solution by definition. As
this should be a very common case in normal code, not exploring the entire
solution space can provide significant speedup.

llvm-svn: 170457