Debug Info Verifier: simplify DIxxx::Verify

Simplify DIxxx:Verify to not call Verify on an operand. Instead, we use
DebugInfoFinder to list all MDNodes that should be a DIScope and all MDNodes
that should be a DIType and we will call Verify on those lists.

llvm-svn: 186737

Fix size_t -> uint warnings with MSVC 64-bit build

llvm-svn: 186736

Refactor AnalyzeBranch on ARM. The previous version did not always analyze
indirect branches correctly. Under some circumstances, this led to the deletion
of basic blocks that were the destination of indirect branches. In that case it
left indirect branches to nowhere in the code.

This patch replaces, and is more general than either of the previous fixes for
indirect-branch-analysis issues, r181161 and r186461.

For other branches (not indirect) this refactor should have *almost* identical
behavior to the previous version. There are some corner cases where this
refactor is able to analyze blocks that the previous version could not (e.g.
this necessitated the update to thumb2-ifcvt2.ll).

<rdar://problem/14464830>

llvm-svn: 186735

Retry submitting r186623: COFFDumper: Dump data directory entries.

The original change was rolled back in r186627 because of test
failures on the big endian machine. I believe I fixed the issue
so re-submitting.

llvm-svn: 186734

fix an 80-col line.

llvm-svn: 186733

Use LLVMs ADTs that improve the compile time of this pass.

llvm-svn: 186732

SLPVectorizer: Improve the compile time of isConsecutive by reordering the conditions that check GEPs and eliminate two of the calls to accumulateConstantOffset.

llvm-svn: 186731

FIXME fix: improving diagnostics for template arguments deduction of class templates and explicit specializations
    This patch essentially removes all the FIXMEs following calls to DeduceTemplateArguments() that want to keep track of deduction failure info.

llvm-svn: 186730

Revert "Use function overloading instead of template specialization for diagnosis of bad template argument deductions."

This reverts commit a730f548325756d050d4caaa28fcbffdae8dfe95.

llvm-svn: 186729

Fix pack instantiation with function types.

Make sure we correctly expand packs which expand to another
pack in a function type.

llvm-svn: 186728

Use function overloading instead of template specialization for diagnosis of bad template argument deductions.

llvm-svn: 186727

Correctly handle packs for variadic type traits.

I'm not sure how to write a test for this; the following shows the
difference in -ast-dump:

template <int x> struct A {};
template <class T> struct B { };
template <class ...Args> using C = A<(__is_trivially_constructible(Args...))>;
template <class ...Args> using D = C<B<Args>...>;

However, I can't seem to write a test that triggers a visible difference
in behavior.

llvm-svn: 186726

R600: Don't emit empty then clause and use alu_pop_after

llvm-svn: 186725

R600: Simplify AMDILCFGStructurize by removing templates and assuming single exit

llvm-svn: 186724

R600: Replace legacy debug code in AMDILCFGStructurizer.cpp

llvm-svn: 186723

Remove trailing whitespace

llvm-svn: 186722

Fix inserting new elements in a specified location.

We were only handling the 'a' and 'b' options during moves before.

llvm-svn: 186721

Add a cl.exe compatible driver mode

The mode doesn't actually do anything yet, but this provides a
way to get into it.

llvm-svn: 186720

Use an i686 triple for this test now that it uses stdcall

There seems to be a crash here if we have a calling convention attribute
that gets ignored and then we instantiate templates.

llvm-svn: 186719

Fix another place where clang check objc selector name instead of checking the selector family

Summary: In ARC mode, clang emits a warning if the result of an 'init' method is unused but miss cases where the method does not follows the Cocoa naming convention but is properly declared as an init family method.

CC: cfe-commits, eli.friedman
Differential Revision: http://llvm-reviews.chandlerc.com/D1163

llvm-svn: 186718

Reworked the test decorators to match the test results on the buildbots.

llvm-svn: 186717

ObjectiveC migrator: Another use case of enum
declaration which can be migrated to NS_ENUM.

llvm-svn: 186716

Add support for raw_ostream on the printing methods of Diagnostics.

Summary:
Add printToStream*(llvm::raw_ostream&) methods to Diagnostics, and reimplement everything based on streams instead of concatenating strings.
Also, fix some functions to start with lowercase to match the style guide.

Reviewers: klimek

CC: cfe-commits, revane
Differential Revision: http://llvm-reviews.chandlerc.com/D1187

llvm-svn: 186715

Create calling convention AttributedType sugar nodes

Canonical types are unchanged.  The type printer had to be changed to
avoid printing any non-default implicit calling convention as well as
the calling convention attribute.

Reviewers: rjmccall

Differential Revision: http://llvm-reviews.chandlerc.com/D1132

llvm-svn: 186714

Fix for template substitution with packs.

When we see a pack, and replace it with a template argument which is
also a pack, we want to use the pack pattern, not the expanded pack.
The caller should take care of expanding the pack afterwards.

Fixes PR16646.

llvm-svn: 186713

Add another link to the Python API docs.

llvm-svn: 186712

Update users manual to indicate:
  1) clang++ must be used when linking C++ programs using -fsanitize=undefined, and
  2) MSan can't be combined with TSan or ASan.

llvm-svn: 186711

[mips] Add support for command-line options -mno-check-zero-division and
-mcheck-zero-division.

llvm-svn: 186710

[arcmt] After checking is successful disable auto-synthesize to avoid "@synthesize of 'weak' property is only
allowed in ARC" errors.

rdar://14461559

llvm-svn: 186709

Replace some existing type attribute diagnostics with a
single diagnostic that selects.  No functional changes intended.

llvm-svn: 186708

Add SourceRange to PPCallbacks::Defined callback.

llvm-svn: 186707

Updated the test suite to fix xpasses on the gcc buildbot primarily due to r186347 (thanks Greg!).
Your mileage may vary depending on the gcc and stl versions in use (see llvm.org/pr15301).

llvm-svn: 186706

s/compiler_used/compiler.used/.

We were incorrectly using compiler_used instead of compiler.used. Unfortunately
the passes using the broken name had tests also using the broken name.

llvm-svn: 186705

Add some flag exclusion tests.

llvm-svn: 186704

[Option] Add inclusion and exclusion flags to option parsing

Summary:
This allows the clang driver to put MSVC compatible options in the same
enumerator space as its normal options but exclude them from normal
option parsing.

Also changes the standard ParseArgs() method to consider unknown
arguments with a leading slash as being inputs rather than flags.

High level discussion for clang-cl is here:
http://lists.cs.uiuc.edu/pipermail/cfe-dev/2013-June/030404.html

CC: llvm-commits
Differential Revision: http://llvm-reviews.chandlerc.com/D1049

llvm-svn: 186703

Fix source range of implicitly instantiated friend declaration.

llvm-svn: 186702

Fix test to actually check things.

llvm-svn: 186701

Fixes an ObjC migrator crash when last decl
in file is an enum.

llvm-svn: 186700

Add links to LLDB API reference docs

llvm-svn: 186699

Minor typeo fixes in doc scripts

llvm-svn: 186698

Add LLDB API reference docs (for Python and C++)

llvm-svn: 186697

This patch implements __get_cpuid_max() as an inline and __cpuid() and
__cpuid_count() as macros to be compatible with GCC's cpuid.h.  It also adds
bit_<foo> constants for the various feature bits as described in version 039
(May 2011) of Intel's SDM Volume 2 in the description of the CPUID
instruction.  The list of bit_<foo> constants is a bit exhaustive (GCC
doesn't do near this many).  More bits could be added from a newer version of
SDM if desired.

Patch by John Baldwin!

llvm-svn: 186696

lit: Support cancellation on Windows

The current machinery using KeyboardInterrupt for canceling doesn't work
with multiple threads on Windows as it just cancels the currently run tests
but the runners continue.

We install a handler for Ctrl-C which stops the provider from providing any
more tests to the runners. Together with aborting all currently running
tests, this brings lit to a halt.

llvm-svn: 186695

[SystemZ] Add -march= command-line option

llvm-svn: 186694

include only LLDB API in docs generated by lldb-cpp-doc (cmake) target

llvm-svn: 186693

Add a line that got missed off somehow. Sorry about that!

llvm-svn: 186692

Implement generic upsample()

Reduces all vector upsamples down to its scalar components, so probably
not the most efficient thing in the world, but it does what the
spec says it needs to do.

Another possible implementation would be to convert/cast everything as
unsigned if necessary, upsample the input vectors, create the upsampled
value, and then cast back to signed if required.

Signed-off-by: Aaron Watry <awatry@gmail.com>
Reviewed-by: Tom Stellard <thomas.stellard at amd.com>
llvm-svn: 186691

[SystemZ] Add tests for ALHSIK and ALGHSIK

The insn definitions themselves crept into r186689, sorry.
This should be the last of the distinct-ops instructions.

llvm-svn: 186690

[SystemZ] Add ALRK, AGLRK, SLRK and SGLRK

Follows the same lines as r186686, but much more limited, since we only
use ADD LOGICAL for multi-i64 additions.

llvm-svn: 186689

[ARMv8] Implement the NEON instructions VRINT{N, X, A, Z, M, P}.

llvm-svn: 186688

[SystemZ] Add AHIK and AGHIK

I did these as a separate patch because it uses a slightly different
form of RIE layout.

llvm-svn: 186687

[SystemZ] Add ARK, AGRK, SRK and SGRK

The testsuite changes follow the same lines as for r186683.

llvm-svn: 186686

[SystemZ] Add NGRK, OGRK and XGRK

Like r186683, but for 64 bits.

llvm-svn: 186685

Initialize TempFileHandle.

llvm-svn: 186684

[SystemZ] Add NRK, ORK and XRK

The atomic tests assume the two-operand forms, so I've restricted them to z10.

Running and-01.ll, or-01.ll and xor-01.ll for z196 as well as z10 shows why
using convertToThreeAddress() is better than exposing the three-operand forms
first and then converting back to two operands where possible (which is what
I'd originally tried).  Using the three-operand form first stops us from
taking advantage of NG, OG and XG for spills.

llvm-svn: 186683

ARM: Add instruction aliases for the Thumb2 PLD/PLDW (literal) alternate form.

See A8.8.127 in ARM DDI 0406C.b.

Related to <rdar://problem/14403733>.

llvm-svn: 186682

[SystemZ] Use SLLK, SRLK and SRAK for codegen

This patch uses the instructions added in r186680 for codegen.

llvm-svn: 186681

[SystemZ] Start adding z196 and zEC12 support

This first step just adds definitions for SLLK, SRLK and SRAK.
The next patch will actually make use of them during codegen.

insn-bad.s tests that some form of error is reported when using these
instructions on z10.  More work is needed to get the "instruction requires:
distinct-ops" that we'd ideally like, so I've stubbed that part out for now.
I'll come back and make it mandatory once the necessary changes are in.

llvm-svn: 186680

Split openFileForWrite into windows and unix versions.

It is similar to 186511, but for creating files for writing.

llvm-svn: 186679

Add a unit test for checking that we respect the F_Binary flag.

llvm-svn: 186676

Fixed some formatting issues with clang-format to get a baseline.

llvm-svn: 186675

[SystemZ] Enable frame-pointer elimination for -O1 and above

Copies the x86 behavior.

llvm-svn: 186674

Revert r186672 - turns out ASan supports Mac OS 10.6 yet.

llvm-svn: 186673

[ASan] Reflect the dropped Mac OS 10.6 support in docs

llvm-svn: 186672

Allow clang tools to display an overview when using the CommonOptionsParser.

Patch by Guillaume Papin.

llvm-svn: 186671

Adds overlapsWith and contains predicates on tooling::Range.

Patch by Guillaume Papin.

llvm-svn: 186670

Adds ctorInitializer and forEachConstructorInitializer matchers.

llvm-svn: 186668

Cleanup the stats counters for the new implementation. These actually
count the right things and have the right names.

llvm-svn: 186667

Fix another assert failure very similar to PR16651's test case. This
test case came from Benjamin and found the parallel bug in the vector
promotion code.

llvm-svn: 186666

StmtOpenMP.h: Prune a stray \param in the comment of OMPExecutableDirective(). [-Wdocumentation]

-  /// \param Clauses A list of clauses.

llvm-svn: 186665

StmtOpenMP.h: Fix bogus \param(s). [-Wdocumentation]

llvm-svn: 186664

ARM: delete two tests now integrated into the larger files

Somehow forgot to git rm these two files. I believe I left the remaining
invalid* tests intentionally, though whether my reasons were sound is a
different matter.

llvm-svn: 186663

ARM: remove invalid invalid tests

The tests were checking for barriers which the ARM ARM says they must execute
as a full system DMB/DSB, rather than that they're UNDEFINED and LLVM does in
fact represent them.

The tests happened to be passing because they were using a non-versioned ARM
triple which didn't have *any* DMB/DSB instructions.

llvm-svn: 186662

Improve llvm-mc disassembler mode and refactor ARM tests to use it

This allows "llvm-mc -disassemble" to accept two new features:
  + Using comma as a byte separator
  + Grouping bytes with '[' and ']' pairs.

The behaviour outside a [...] group is unchanged. But within the group once
llvm-mc encounters a true error, it stops rather than trying to resynchronise
the stream at the next byte. This is more useful for disassembly tests, where
we have an almost-instruction in mind and don't care what the misaligned
interpretation would be. Particularly if it means llvm-mc won't actually see
the next intended almost-instruction.

As a side effect, this means llvm-mc can disassemble its own -show-encoding
output if copy-pasted.

llvm-svn: 186661

Improve clang-format vim integration.

The previous line-by-line replacement causes vim to take a long time if
the foldmethod is set to 'syntax'. This should significantly improve
performance in that case.

llvm-svn: 186660

Try to move to a more reasonable set of naming conventions given the new
implementation of the SROA algorithm. We were using the term 'partition'
in many places that no longer ever represented an actual partition, but
rather just an arbitrary slice of an alloca.

No functionality change intended here. Mostly just renaming of types,
functions, variables, and rewording of comments. Several comments were
rewritten to make a lot more sense in the new structure of things.

The stats are still weird and not reflective of how this really works.
I'll fix those up in a separate patch as it is a touch more semantic of
a change...

llvm-svn: 186659

Fix uninitialized memory read found by MemorySanitizer: always set output parameter of ConvergingScheduler::SchedBoundary::getOtherResourceCount

llvm-svn: 186658

Simplify the CodeGenFunction::Build*Virtual*Call family of functions

llvm-svn: 186657

A long overdue cleanup in SROA to use 'DL' instead of 'TD' for the
DataLayout variables.

llvm-svn: 186656

Fix PR16651, an assert introduced in my recent re-work of the innards of
SROA.

The crux of the issue is that now we track uses of a partition of the
alloca in two places: the iterators over the partitioning uses and the
previously collected split uses vector. We weren't accounting for the
fact that the split uses might invalidate integer widening in ways other
than due to their width (in this case due to being volatile).

Further reduced testcase added to the tests.

llvm-svn: 186655

[PECOFF][Driver] Process "LINK" environment variable.

llvm-svn: 186654

Try to appease the bots.

llvm-svn: 186653

Remove trailing whitespace.

llvm-svn: 186652

Don't use a function-scope static varaibles in
RegisterContextLLDB::SavedLocationForRegister to cache the pc and
sp register numbers -- if lldb is debugging multiple Targets of
different architectures, this will be incorrect.  If these were
to be cached anywhere, it would have to be up in the Target.

llvm-svn: 186651

[PECOFF][Driver] Add -defaultlib command line option.

llvm-svn: 186650

Remove unnecessary IsFirst variable from debug codde in GetDiagInfo.

llvm-svn: 186649

[PECOFF][Driver] Interpret "LIB" environment variable.

llvm-svn: 186648

OpenMP: basic support for #pragma omp parallel

llvm-svn: 186647

Turn off fast stepping for ARM till the MC's MayAffectControlFlow gets more accurate.

rdar://problem/14488761

llvm-svn: 186646

[PECOFF] Use library search path when looking for a .lib file.

llvm-svn: 186645

[PECOFF][Driver] Add -libpath command line option.

The logic to search a library from the library paths will be implemented
in a different patch.

llvm-svn: 186644

llvm/test/MC/AsmParser/secure_log_unique.s: Use env(1) here. Then r186611 can be reverted.

llvm-svn: 186643

[mips] Delete MFC1_FT_CCR, MTC1_FT_CCR and MOVCCRToCCR.

No functionality change.

llvm-svn: 186642

ObjectiveC migrator: add support to migrate to
NS_OPTIONS.

llvm-svn: 186641

Add -help option to Darwin Driver.  Use grouping in Options table to better format help output

llvm-svn: 186640

[analyzer] Include analysis stack in crash traces.

Sample output:

0.     Program arguments: ...
1.     <eof> parser at end of file
2.     While analyzing stack:
       #0 void inlined()
       #1 void test()
3.     crash-trace.c:6:3: Error evaluating statement

llvm-svn: 186639

Update createCompileUnit call for llvm changes.

llvm-svn: 186638

Remove DIBuilder cache of variable TheCU and change the few
uses that wanted it. Also change the interface for createCompileUnit
to compensate. Fix comments that refer to TheCU as well.

llvm-svn: 186637

Clarify comment for extension().

llvm-svn: 186636

MI Sched: test case fix for previous checkin.

llvm-svn: 186635