On PowerPC64, integer return values (as well as arguments) are supposed
to be extended to a full register.   This is modeled in the IR by marking
the return value (or argument) with a signext or zeroext attribute.

However, while these attributes are respected for function arguments,
they are currently ignored for function return values by the PowerPC
back-end.  This patch updates PPCCallingConv.td to ask for the promotion
to i64, and fixes LowerReturn and LowerCallResult to implement it.

The new test case verifies that both arguments and return values are
properly extended when passing them; and also that the optimizers
understand incoming argument and return values are in fact guaranteed
by the ABI to be extended.

The patch caused a spurious breakage in CodeGen/PowerPC/coalesce-ext.ll,
since the test case used a "ret" instruction to create a use of an i32
value at the end of the function (to set up data flow as required for
what the test is intended to test).  Since there's now an implicit
promotion to i64, that data flow no longer works as expected.  To fix
this, this patch now adds an extra "add" to ensure we have an appropriate
use of the i32 value.

llvm-svn: 167396

Implement the cost of abnormal x86 instruction lowering as a table.

llvm-svn: 167395

Add absolute symbol scope recognition in lld/Core

llvm-svn: 167394

On PowerPC64, integer arguments and return values need to be sign- or
zero-extended to 64 bits.  This information is currently provided to
the back end by setting "signext" or "zeroext" attributes.  However,
this is done only for integer types *smaller* than i32, not for i32
itself.  This causes clang to generate code violating the ABI, which
results in a failure of the tramp3d-v4 test case (due to calling a
system library routine without ABI-required extension).

This patch implements custom versions of classifyArgumentType and
classifyReturnType for PPC64_SVR4_ABIInfo, which are the same as the
default versions except that they also classify "int" and "unsigned int"
as types needing extending.  This fixed tramp3d-v4 on PowerPC64.

llvm-svn: 167393

lli: Initialize the native asm parser for inline assembly.

MCJIT supports inline assembly, but requires the asm parser to do so.
Make sure to link it in and initialize it.

llvm-svn: 167392

Avoid potentially disastrous mistakes when removing a file.

llvm-svn: 167391

Following the example from loop-convert tests, simplifying the remove-cstr-calls lit script.

Patch by Edwin Vane.

llvm-svn: 167390

Cleaned up the code signing instructions:
- make sure to delet the .cer file on the desktop
- added section that describes what to do when you re-install a new OS where
  you still have an old code signing certificate around.

llvm-svn: 167389

Add support for the PowerPC-specific inline asm Z constraint and y modifier.

The Z constraint specifies an r+r memory address, and the y modifier expands
to the "r, r" in the asm string. For this initial implementation, the base
register is forced to r0 (which has the special meaning of 0 for r+r addressing
on PowerPC) and the full address is taken in the second register. In the
future, this should be improved.

llvm-svn: 167388

Tests for 32bit version of block ivar layout metadata.

llvm-svn: 167387

[PATCH] PowerPC: Expand load extend vector operations

This patch expands the SEXTLOAD, ZEXTLOAD, and EXTLOAD operations for
vector types when altivec is enabled.

llvm-svn: 167386

[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.h

As Anna pointed out, ProgramStateTrait.h is a relatively obscure header,
and checker writers may not know to look there to add their own custom
state.

The base macro that specializes the template remains in ProgramStateTrait.h
(REGISTER_TRAIT_WITH_PROGRAMSTATE), which allows the analyzer core to keep
using it.

llvm-svn: 167385

Add missing this->. Fixes pr14238.

llvm-svn: 167383

Don't infer whether a value is captured in the current function from the
'nocapture' attribute.

The nocapture attribute only specifies that no copies are made that
outlive the function. This isn't the same as there being no copies at all.
This fixes PR14045.

llvm-svn: 167381

Add a couple of stubs to the release notes for things I noticed while
clearing out my backlog of commit mail.

llvm-svn: 167380

Our style for diagnostic messages is to not include a trailing dot.

llvm-svn: 167379

PR14256: SelectionDAGLowering was renamed to SelectionDAGBuilder a long time ago.  Fix references to it in documentation and comments.

llvm-svn: 167378

ConstantFolding.cpp: Whitespace.

llvm-svn: 167377

Put the usage-directive inside the nearest namespace or TU decl. We don't want
to have UsingDirectiveDecl inside anything other than those two.

No user-visible functionality change.

llvm-svn: 167376

Fixes liftime of captured block variables in mrr mode, per John's feedback, as
well as couple of tests which were not being excercised because of TYPOs.

llvm-svn: 167374

Tests: Pipe test files into 'opt'

Use 'opt < %s' instead of just 'opt %s' to ensure that no temporary files are
created.

llvm-svn: 167372

Apply the patch from PR14160.  I failed to construct a testcase for this, but
I'm applying it anyway since it seems to be obviously correct.

llvm-svn: 167370

Test case for r167363.

llvm-svn: 167369

Remove alignments from folding tables for scalar FMA4 instructions.

llvm-svn: 167366

Add new ArchSpec methods, IsCompatibleMatch() and IsExactMatch().
The operator== method is a synonym for IsExactMatch().

The essential difference between these two is that IsCompatibleMatch()
will say that armv7 and armv7s are compatible and return true.
IsExactMatch() will say that armv7 and armv7s are not a match.

An armv7s cpu can run either generic armv7 binaries or armv7s binaries
(the latter being tuned for it).  When we're picking the slice of a
universal Mach-O file to load in an armv7s Target, we need to be able to
first look for an exact cpu subtype match (armv7s == armv7s) and failing
that, looking for a slice with a compatible architecture.

Update ObjectContainerUniversalMachO::GetObjectFile to prefer an exact
match of the cpu type, falling back to a compatible match if necessary.

<rdar://problem/12593515>

llvm-svn: 167365

only truncate source lines in text diagnostics when
the ellipsis is shorter than the text it replaces

llvm-svn: 167364

Support interleaving of other pragmas with FP_CONTRACT at the beginning of a
compound statement.

llvm-svn: 167363

Address review comments for r167358: explicitly check for CK_BitCast instead of
checking against a blacklist.

llvm-svn: 167362

don't step into the middle of multibyte sequences

llvm-svn: 167361

fix bug in SourceColumnMap::startOfPreviousColumn

llvm-svn: 167360

Escape trigraphs in unittest.

llvm-svn: 167359

Handle CK_NullToPointer casts in -Wtype-safety properly.  Fixes PR14249.

llvm-svn: 167358

Remove a const_cast by propagating constness to the member function.

llvm-svn: 167357

Fix the IntegersSubsetTest unit test when compiled with gcc-4.7.  The issue here
is that the unit test doesn't have IntTy equal to APInt, instead it uses a class
derived from APInt.  When, as in these lines, an IntTy& reference is returned
but is assigned to an APInt&, the compiler destroys the temporary the IntTy& was
referring to, leaving the APInt& referring to garbage.  This causes the unittest
to fail systematically on my machine; it can also be caught by running the test
under valgrind.

llvm-svn: 167356

StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp: Appease msvc.

0 (as nullptr) is incompatible to pointer in type matching on msvc.

llvm-svn: 167355

Generalize the transform that boosts GEP indices to the size of a pointer to
also do it for vectors of pointers.

llvm-svn: 167354

Add a proper algorithm to compute accurate source ranges for diagnostics with
caret locations and source ranges in macros.  Makes ranges more accurate
in some cases, and fixes an assertion failure.

Fixes <rdar://problem/12472249>.

llvm-svn: 167353

[analyzer] Run remove dead on end of path.

This will simplify checkers that need to register for leaks. Currently,
they have to register for both: check dead and check end of path.

I've modified the SymbolReaper to consider everything on the stack dead
if the input StackLocationContext is 0.

(This is a bit disruptive, so I'd like to flash out all the issues
asap.)

llvm-svn: 167352

[analyzer] add LocationContext::inTopFrame() helper.

llvm-svn: 167351

[analyzer] Refactor: Remove Pred from NodeBuilderContext.

Node builders should manage the nodes, not the context.

llvm-svn: 167350

Fix a little think-o.  In FileSpec::operator== we were trying to figure out whether the rhs file was resolved or not by comparing
the resolved version of the rhs FileSpec's directory name with the lhs FileSpec's directory name.  We really meant to compare it
with the rhs FileSpec's directory name...

<rdar://problem/12438838>

llvm-svn: 167349

[mips] Set flag neverHasSideEffects flag on floating point conversion
instructions.

llvm-svn: 167348

X86 CostModel: Add support for a some of the common arithmetic instructions for SSE4, AVX and AVX2.

llvm-svn: 167347

Simplify these tests again, now that we're past the version skew.

llvm-svn: 167346

[mips] Set flag isAsCheapAsAMove flag on instruction LUi.

llvm-svn: 167345

Be careful not to optimize a SELECT_CC into a SETCC post-legalization if the SETCC node would be illegal.

llvm-svn: 167344

Make sure users know that "target variable" can read variables while running a process by changing the documentation string.

llvm-svn: 167343

Caught two cases where we were passing a Stream* without checking for NULL

llvm-svn: 167342

[mips] Stop reserving register AT and use register scavenger when a scratch
register is needed.

llvm-svn: 167341

[analyzer] Convert SimpleStreamChecker over to CallEvent.

llvm-svn: 167340

[analyzer] CheckerDocumentation: Change examples for PreStmt and PostStmt.

llvm-svn: 167339

[analyzer] Add some convenience accessors to CallEvent, and use them.

These are CallEvent-equivalents of helpers already accessible in
CheckerContext, as part of making it easier for new checkers to be written
using CallEvent rather than raw CallExprs.

llvm-svn: 167338

[analyzer] isCLibraryFunction: check that the function is at TU-scope.

Also, Decls already carry a pointer to the ASTContext, so there's no need
to pass an extra argument to the predicate.

llvm-svn: 167337

Emit debug info for C++ struct definitions as DW_TAG_structure_type (instead of class_type).

llvm-svn: 167336

[mips] Do not reserve all 64-bit registers, but only the ones which need to be
reserved. Without this fix, RegScavenger::getRegsAvailable incorrectly
returns an empty set of integer registers.

llvm-svn: 167335

Include all the fields so we can correctly emit DW_TAG_structure_type for C++ structs.

llvm-svn: 167334

Add a stub for the x86 cost model impl. Implement a basic cost rule for inserting/extracting from XMM registers.

llvm-svn: 167333

Avoid version skew by making ObjC strict metadata tests resilient to new field.

llvm-svn: 167332

objective-C mrr block. Block variable layout metadata in
mrr mode.

llvm-svn: 167331

Remove empty directory

llvm-svn: 167330

CostModel: add support for Vector Insert and Extract.

llvm-svn: 167329

remove empty directories

llvm-svn: 167328

Fixed a problem where we mistook normal result
variables for guard variables because the current
class or method named contained the letters "GV".

llvm-svn: 167327

[mips] Fix disassembler test cases.

llvm-svn: 167326

When code-completing don't disable the preprocessing record if modules are enabled.

llvm-svn: 167325

Add a cost model analysis that allows us to estimate the cost of IR-level instructions.

llvm-svn: 167324

Scalar Bitcasts and Truncs are usually free

llvm-svn: 167323

[mips] Fix bug in test case. Disable machine LICM to prevent instruction from
being moved out of a basic block.

llvm-svn: 167322

Thread safety analysis: Fixed ICE caused by double delete when late parsed
attributes are attached to function declarations nested inside a class method.

llvm-svn: 167321

Fix test cases I broken when fixing grammar in diagnostic message.

llvm-svn: 167320

Fix grammar of diagnostic message.

llvm-svn: 167319

Vext Lowering was missing opportunities

llvm-svn: 167318

[analyzer] Test SimpleStream on the buildbot.

llvm-svn: 167317

[analyzer] Factor SimpleStreamChecker pulling out isLeaked().

llvm-svn: 167316

[mips] Use register number instead of name to print register $AT.

llvm-svn: 167315

Fixed the "--force" option for memory read.

llvm-svn: 167314

[mips] Add function MipsFrameLowering::estimateStackSize.

This function estimates stack size and will be called before
PrologEpilogInserter scans the callee-saved registers.

llvm-svn: 167313

[mips] Add member field MipsFunctionInfo::IncomingArgSize which holds the size
of the incoming argument area.

llvm-svn: 167312

Fix a build problem with xlc. The error message was

"../llvm-git/utils/TableGen/CodeGenSchedule.cpp", line 1594.12: 1540-0218 (S) The call does not match any parameter list for "operator+".
"../llvm-git/include/llvm/ADT/STLExtras.h", line 130.1: 1540-1283 (I) "template <class _Iterator, class Func> llvm::operator+(mapped_iterator<_Iterator,Func>::difference_type, const mapped_iterator<_Iterator,Func> &)" is not a viable candidate.

Patch by Kai.

llvm-svn: 167311

[mips] Delete MipsFunctionInfo::EmitNOAT. Unconditionally print directive
"set .noat" so that the assembler doesn't issue warnings when register $AT is
used.

llvm-svn: 167310

XLC supports the same atomic functions as GCC, use them.
Patch by Kai.

llvm-svn: 167309

Fix debug tag type of forward declarations of struct/class in C++.

llvm-svn: 167308

Improve x86 android support:
* -Bsymbolic must be added for x86 as well.
* Default CPU name also set to 'core2' for x86 android.
Patch by Edwin Vane.

llvm-svn: 167307

Add test for link flags added by -fcatch-undefined-behavior.

llvm-svn: 167306

Add -lpthread when building with Ubsan on Linux, in preparation for making libclang-rt.ubsan pull in sanitizer_common, which in turn depends on pthreads.

llvm-svn: 167305

Change resolveRelocation parameters so the relocations can find placeholder values in the original object buffer.

Some ELF relocations require adding the a value to the original contents of the object buffer at the specified location.  In order to properly handle multiple applications of a relocation, the RuntimeDyld code should be grabbing the original value from the object buffer and writing a new value into the loaded section buffer.  This patch changes the parameters passed to resolveRelocations to accommodate this need.

llvm-svn: 167304

Switched debugserver to use C++11/libc++.

<rdar://problem/12624679>

llvm-svn: 167303

Documentation: fix typos.

llvm-svn: 167302

Update test case.

llvm-svn: 167301

Move -Wimplicit-retain-self to be off-by-default until we can evaluate
more how noisy it is.

llvm-svn: 167300

Extra safeguards to ensure that we never query
the runtime if we have complete debug information
for a class.

Also made the Objective-C language runtime return
NULL when asked for the complete debug information
(i.e., information from DWARF, not information from
the runtime) if that information isn't present.  It
used to return a non-authoritative version, which
made it hard for clients to determine whether
complete debug information was available.

<rdar://problem/12608895>

llvm-svn: 167299

[Sanitizer] Add internal_isatty to sanitizer_libc and PrintsToTty to determine whether error reports are printed to terminal

llvm-svn: 167298

[Sanitizer] fix printf unittest on 32-bit arch

llvm-svn: 167297

[Sanitizer] move unit test for Printf from tsan to sanitizer_common

llvm-svn: 167296

Fix whitespaces

llvm-svn: 167295

[TSan] finally remove TsanPrintf in favor of Printf from sanitizer_common

llvm-svn: 167294

clang/test/CodeGen/bitfield-promote.c: Add explicit triple for now. It has been failing for big endian targets, for example, ppc.

llvm-svn: 167293

clang/test/CodeGen/bitfield-promote.c: FileCheck-ize.

llvm-svn: 167292

[Sanitizer] Use kStderrFd constant instead of hardcoded 2

llvm-svn: 167291

[Sanitizer]: add __sanitizer_set_report_fd function to alter file descriptor for error reports

llvm-svn: 167290