Still more MCJIT PIC test XFAILs

llvm-svn: 188815

Clarifying two MCJIT PIC tests as XFAIL on i686-pc-linux

llvm-svn: 188814

Updated status of issues #2093, 2144, and 2185

llvm-svn: 188813

Removing duplicate XFAIL markers

llvm-svn: 188812

Updated status and description of issues 2064, 2069 and 2096.

llvm-svn: 188811

Updated status of issues #2028, 2047, and 2053.

llvm-svn: 188810

To test commit access.

llvm-svn: 188809

Marking two more MCJIT PIC tests as XFAIL on i686

llvm-svn: 188808

Marking MCJIT PIC tests as XFAIL on arm

llvm-svn: 188807

Remove duplicated error checking.

The driver validates its options, so we don't need to redo the work in
"clang -cc1".

llvm-svn: 188806

[LSan] Add support for building standalone LSan runtime to Make build (clang part)

llvm-svn: 188805

[LSan] Add support for building standalone LSan runtime to Make build (compiler-rt part)

llvm-svn: 188804

Updated status of issues #1214, 2207 and 2209. They were already implemented, so no functionality change was needed.

llvm-svn: 188803

Remove dead code.

llvm-svn: 188802

Include checksum in non-ack mode

Patch from Abid, Hafiz.

llvm-svn: 188801

UniqueHeaderNameTest.cpp: Appease valgrind.

llvm::sys::path::native(dst, dst) might be overridden-safe in most cases, though.

llvm-svn: 188800

Refactor the x86 feature handling.

This removes the very long chains of
Feature["avx"] = Feature["sse42"] = ... = true;

llvm-svn: 188799

Fix style issues in AsmParser.cpp

llvm-svn: 188798

ARM: add test for last commit

This time I managed to forget the test.

Patch still by Stephen Kelly.

llvm-svn: 188797

ARM: default to arm1176jzf-s for hard-float platforms.

It makes no sense to try and compile for arm7tdmi when we're targeting
something like gnueabihf. Although not strictly the most basic hardware
conceivable, I believe arm1176jzf-s is a reasonable compromise (that can always
be overridden explicitly if needed) since it's still in reasonably common use
unlike earlier cores.

Patch by Stephen Kelly.

llvm-svn: 188796

Revert "cpp11-migrate: Add a class to support include directives modifications"

This reverts commit r188791.

The Windows bots are still broken.

llvm-svn: 188795

clang-format: Format enum struct/class like enum.

Patch by Joe Hermaszewski. Thank you!

llvm-svn: 188794

clang-format: Additional options for spaces around parentheses.

This patch adds four new options to control:
- Spaces after control keyworks (if(..) vs if (..))
- Spaces in empty parentheses (f( ) vs f())
- Spaces in c-style casts (( int )1.0 vs (int)1.0)
- Spaces in other parentheses (f(a) vs f( a ))

Patch by Joe Hermaszewski. Thank you for working on this!

llvm-svn: 188793

ARCMigrate depends on the static analyzer.

llvm-svn: 188792

cpp11-migrate: Add a class to support include directives modifications

The IncludeDirectives class helps with detecting and modifying #include
directives. For now it allows the users to add angled-includes in a source file.
This is a start for this class that will evolve in the future to add more
functionality.

This should fix the reverted commit r188610 (buildbot failures on Windows).

llvm-svn: 188791

clang/test/Driver/cl-options.c: Remove the feature "clang-driver". It has been working since r188331.

llvm-svn: 188790

clang/test/Driver: Remove the feature "clang-driver" since gcc-as has not been used with -integrated-as since r177360.

llvm-svn: 188789

clang/test/Driver: Remove the feature "clang-driver" in three tests since they might work as expected since their first commit.

llvm-svn: 188788

AVX-512: Added more patterns for VMOVSS, VMOVSD, VMOVD, VMOVQ

llvm-svn: 188786

[mips][msa] Added fexdo, fexup[lr] builtins

llvm-svn: 188784

[mips][msa] Removed fcge, fcgt, fsge, fsgt

These instructions were present in a draft spec but were removed before
publication.

llvm-svn: 188782

[SystemZ] Update README

We now use MVST, CLST and SRST for the obvious cases.

llvm-svn: 188781

[SystemZ] Use SRST to optimize memchr

SystemZTargetLowering::emitStringWrapper() previously loaded the character
into R0 before the loop and made R0 live on entry.  I'd forgotten that
allocatable registers weren't allowed to be live across blocks at this stage,
and it confused LiveVariables enough to cause a miscompilation of f3 in
memchr-02.ll.

This patch instead loads R0 in the loop and leaves LICM to hoist it
after RA.  This is actually what I'd tried originally, but I went for
the manual optimisation after noticing that R0 often wasn't being hoisted.
This bug forced me to go back and look at why, now fixed as r188774.

We should also try to optimize null checks so that they test the CC result
of the SRST directly.  The select between null and the SRST GPR result could
then usually be deleted as dead.

llvm-svn: 188779

memcmp is not a valid way to compare structs with padding in them.

llvm-svn: 188778

[mips][msa] Added insve

llvm-svn: 188777

Fix crash when connecting to gdbserver without loading a file first.

Patch from Abid, Hafiz.

llvm-svn: 188776

Fix test typo and add usual "br %r14" test

llvm-svn: 188775

Fix overly pessimistic shortcut in post-RA MachineLICM

Post-RA LICM keeps three sets of registers: PhysRegDefs, PhysRegClobbers
and TermRegs.  When it sees a definition of R it adds all aliases of R
to the corresponding set, so that when it needs to test for membership
it only needs to test a single register, rather than worrying about
aliases there too.  E.g. the final candidate loop just has:

    unsigned Def = Candidates[i].Def;
    if (!PhysRegClobbers.test(Def) && ...) {

to test whether register Def is multiply defined.

However, there was also a shortcut in ProcessMI to make sure we didn't
add candidates if we already knew that they would fail the final test.
This shortcut was more pessimistic than the final one because it
checked whether _any alias_ of the defined register was multiply defined.
This is too conservative for targets that define register pairs.
E.g. on z, R0 and R1 are sometimes used as a pair, so there is a
128-bit register that aliases both R0 and R1.  If a loop used
R0 and R1 independently, and the definition of R0 came first,
we would be able to hoist the R0 assignment (because that used
the final test quoted above) but not the R1 assignment (because
that meant we had two definitions of the paired R0/R1 register
and would fail the shortcut in ProcessMI).

This patch just uses the same check for the ProcessMI shortcut as
we use in the final candidate loop.

llvm-svn: 188774

ARM: implement some simple f64 materializations.

Previously we used a const-pool load for virtually all 64-bit floating values.
Actually, we can get quite a few common values (including 0.0, 1.0) via "vmov"
instructions of one stripe or another.

llvm-svn: 188773

[stackprotector] Small cleanup.

llvm-svn: 188772

[stackprotector] Small Bit of computation hoisting.

llvm-svn: 188771

[stackprotector] Added significantly longer comment to FindPotentialTailCall to make clear its relationship to llvm::isInTailCallPosition.

llvm-svn: 188770

Removed trailing whitespace.

llvm-svn: 188769

[stackprotector] Removed stale TODO.

llvm-svn: 188768

[mips][msa] Added and.v, bmnz.v, bmz.v, bsel.v, nor.v, or.v, xor.v

llvm-svn: 188767

[stackprotector] Added support for emitting the llvm intrinsic stack protector check.

rdar://13935163

llvm-svn: 188766

[stackprotector] Refactor out the end of isInTailCallPosition into the function returnTypeIsEligibleForTailCall.

This allows me to use returnTypeIsEligibleForTailCall in the stack protector pass.

rdar://13935163

llvm-svn: 188765

Rename __AVX512__ to __AVX512F__

llvm-svn: 188764

[autotools->cmake] Added support for building clang with an order file.

llvm-svn: 188763

Change 'avx512' to 'avx-512' to match llvm backend.

llvm-svn: 188762

Remove unused variables that crept in.

llvm-svn: 188761

[autotools->cmake] Move add_subdirectory(test) inside CLANG_INCLUDE_TESTS to match the behavior of the LLVM where LLVM_INCLUDE_TESTS controls whether tests is included.

llvm-svn: 188760

[autotools->cmake] Added support for creating the clang driver plist for OS X.

llvm-svn: 188759

Add AVX-512 feature flag and knl cpu to clang.

llvm-svn: 188758

Revert r188756 because some other changes snuck in with it.

llvm-svn: 188757

Add AVX-512 feature flag and knl cpu to clang.

llvm-svn: 188756

Teach selectiondag how to handle the stackprotectorcheck intrinsic.

Previously, generation of stack protectors was done exclusively in the
pre-SelectionDAG Codegen LLVM IR Pass "Stack Protector". This necessitated
splitting basic blocks at the IR level to create the success/failure basic
blocks in the tail of the basic block in question. As a result of this,
calls that would have qualified for the sibling call optimization were no
longer eligible for optimization since said calls were no longer right in
the "tail position" (i.e. the immediate predecessor of a ReturnInst
instruction).

Then it was noticed that since the sibling call optimization causes the
callee to reuse the caller's stack, if we could delay the generation of
the stack protector check until later in CodeGen after the sibling call
decision was made, we get both the tail call optimization and the stack
protector check!

A few goals in solving this problem were:

  1. Preserve the architecture independence of stack protector generation.

  2. Preserve the normal IR level stack protector check for platforms like
     OpenBSD for which we support platform specific stack protector
     generation.

The main problem that guided the present solution is that one can not
solve this problem in an architecture independent manner at the IR level
only. This is because:

  1. The decision on whether or not to perform a sibling call on certain
     platforms (for instance i386) requires lower level information
     related to available registers that can not be known at the IR level.

  2. Even if the previous point were not true, the decision on whether to
     perform a tail call is done in LowerCallTo in SelectionDAG which
     occurs after the Stack Protector Pass. As a result, one would need to
     put the relevant callinst into the stack protector check success
     basic block (where the return inst is placed) and then move it back
     later at SelectionDAG/MI time before the stack protector check if the
     tail call optimization failed. The MI level option was nixed
     immediately since it would require platform specific pattern
     matching. The SelectionDAG level option was nixed because
     SelectionDAG only processes one IR level basic block at a time
     implying one could not create a DAG Combine to move the callinst.

To get around this problem a few things were realized:

  1. While one can not handle multiple IR level basic blocks at the
     SelectionDAG Level, one can generate multiple machine basic blocks
     for one IR level basic block. This is how we handle bit tests and
     switches.

  2. At the MI level, tail calls are represented via a special return
     MIInst called "tcreturn". Thus if we know the basic block in which we
     wish to insert the stack protector check, we get the correct behavior
     by always inserting the stack protector check right before the return
     statement. This is a "magical transformation" since no matter where
     the stack protector check intrinsic is, we always insert the stack
     protector check code at the end of the BB.

Given the aforementioned constraints, the following solution was devised:

  1. On platforms that do not support SelectionDAG stack protector check
     generation, allow for the normal IR level stack protector check
     generation to continue.

  2. On platforms that do support SelectionDAG stack protector check
     generation:

    a. Use the IR level stack protector pass to decide if a stack
       protector is required/which BB we insert the stack protector check
       in by reusing the logic already therein. If we wish to generate a
       stack protector check in a basic block, we place a special IR
       intrinsic called llvm.stackprotectorcheck right before the BB's
       returninst or if there is a callinst that could potentially be
       sibling call optimized, before the call inst.

    b. Then when a BB with said intrinsic is processed, we codegen the BB
       normally via SelectBasicBlock. In said process, when we visit the
       stack protector check, we do not actually emit anything into the
       BB. Instead, we just initialize the stack protector descriptor
       class (which involves stashing information/creating the success
       mbbb and the failure mbb if we have not created one for this
       function yet) and export the guard variable that we are going to
       compare.

    c. After we finish selecting the basic block, in FinishBasicBlock if
       the StackProtectorDescriptor attached to the SelectionDAGBuilder is
       initialized, we first find a splice point in the parent basic block
       before the terminator and then splice the terminator of said basic
       block into the success basic block. Then we code-gen a new tail for
       the parent basic block consisting of the two loads, the comparison,
       and finally two branches to the success/failure basic blocks. We
       conclude by code-gening the failure basic block if we have not
       code-gened it already (all stack protector checks we generate in
       the same function, use the same failure basic block).

llvm-svn: 188755

Fix formatting. No functional change.

llvm-svn: 188746

Add AVX-512 and related features to the CPUID detection code.

llvm-svn: 188745

Move AVX and non-AVX replication inside a couple multiclasses to avoid repeating each instruction for both individually.

llvm-svn: 188743

Add an error check for a typo I accidentally made in a td file that caused an assert to fire.

llvm-svn: 188742

[PowerPC] More refactoring prior to real PPC emitPrologue/Epilogue changes.

(Patch committed on behalf of Mark Minich, whose log entry follows.)

This is a continuation of the refactorings performed in svn rev 188573
(see that rev's comments for more detail).

This is my stage 2 refactoring: I combined the emitPrologue() &
emitEpilogue() PPC32 & PPC64 code into a single flow, simplifying a
lot of the code since in essence the PPC32 & PPC64 code generation
logic is the same, only the instruction forms are different (in most
cases). This simplification is necessary because my functional changes
(yet to come) add significant complexity, and without the
simplification of my stage 2 refactoring, the overall complexity of
both emitPrologue() & emitEpilogue() would have become almost
intractable for most mortal programmers (like me).

This submission was intended to be a pure refactoring (no functional
changes whatsoever). However, in the process of combining the PPC32 &
PPC64 flows, I spotted a difference that I believe is a bug (see svn
rev 186478 line 863, or svn rev 188573 line 888): This line appears to
be restoring the BP with the original FP content, not the original BP
content. When I merged the 32-bit and 64-bit code, I used the
corresponding code from the 64-bit flow, which I believe uses the
correct offset (BPOffset) for this operation.

llvm-svn: 188741

Marking MCJIT PIC tests as XFAIL on AArch64

llvm-svn: 188740

Revert "Revert "Revert "Revert "DebugInfo: Omit debug info for dynamic classes in TUs that do not have the vtable for that class""""

This reverts commit r188687 (reverts r188642 (reverts 188600 (reverts
188576))).

With added test coverage & fix for -gline-tables-only.

Thanks Michael Gottesman for reverting this patch when it demonstrated
problems & providing a reproduction/details to help me track this down.

llvm-svn: 188739

[Sparc] Use HWEncoding instead of unused Num field in Sparc register definitions. Also, correct the definitions of RETL and RET instructions.

llvm-svn: 188738

Fix name lookup with dependent using decls.

We previously mishandled UnresolvedUsingValueDecls in
NamedDecl::declarationReplaces, which caused us to forget decls
when there are multiple dependent using decls for the same name.

Fixes PR16936.

llvm-svn: 188737

Fixing XPASSes among MCJIT PIC test on i686

llvm-svn: 188736

Second attempt to mark Large/PIC MCJIT test as XFAIL for PowerPC64

llvm-svn: 188735

Marking two MCJIT PIC tests as XFAIL on Darwin

llvm-svn: 188734

ObjectiveC migrator: More work towards
insertion of ObjC audit pragmas.

llvm-svn: 188733

clang-cl: Ignore the /wd n flag for disabling a warning

Clang doesn't have a table mapping cl.exe to clang warnings.  While some
warnings like -Wsign-compare exist in both compilers, the majority do
not correspond and should usually be ignored.

llvm-svn: 188732

[analyzer] Note that deadcode.UnmodifiedVariable would be an opt-in checker.

Website-only change.

llvm-svn: 188731

Trying again with PIC tests for MCJIT

llvm-svn: 188730

clang-cl: Add /MP[n] to the list of unsupported and ignored flags

This flag tells cl.exe to use up to n processes to compile the provided
source files.  I have no plans to implement this in clang.

llvm-svn: 188729

Add a llvm.copysign intrinsic

This adds a llvm.copysign intrinsic; We already have Libfunc recognition for
copysign (which is turned into the FCOPYSIGN SDAG node). In order to
autovectorize calls to copysign in the loop vectorizer, we need a corresponding
intrinsic as well.

In addition to the expected changes to the language reference, the loop
vectorizer, BasicTTI, and the SDAG builder (the intrinsic is transformed into
an FCOPYSIGN node, just like the function call), this also adds FCOPYSIGN to a
few lists in LegalizeVector{Ops,Types} so that vector copysigns can be
expanded.

In TargetLoweringBase::initActions, I've made the default action for FCOPYSIGN
be Expand for vector types. This seems correct for all in-tree targets, and I
think is the right thing to do because, previously, there was no way to generate
vector-values FCOPYSIGN nodes (and most targets don't specify an action for
vector-typed FCOPYSIGN).

llvm-svn: 188728

Don't form PPC CTR-based loops around a copysignl call

copysign/copysignf never become function calls (because the SDAG expansion code
does not lower to the corresponding function call, but rather directly
implements the associated logic), but copysignl almost always is lowered into a
call to the requested libm functon (and, thus, might clobber CTR).

llvm-svn: 188727

Adding PIC support for ELF on x86_64 platforms

llvm-svn: 188726

Introduce non-const overloads for GlobalAlias::{get,resolve}AliasedGlobal.

llvm-svn: 188725

Fix last commit.

llvm-svn: 188724

Use pop_back_val() instead of both back() and pop_back().

llvm-svn: 188723

Simplify code by using CreateMemTemp. No functional change intended.

Reviewer: Eli
llvm-svn: 188722

Teach InstCombine visitGetElementPtr about address spaces

llvm-svn: 188721

Cleanup visitGetElementPtr to make address space change easier

llvm-svn: 188720

commonPointerCast cleanups to make address space change easier

llvm-svn: 188719

Handle init lists and _Atomic fields.

Fixes PR16931.

llvm-svn: 188718

Make sure that pop_back_val() result is used.

llvm-svn: 188717

PR16727: don't try to evaluate a potentially value-dependent expression when
checking for missing parens in &&/|| expressions.

llvm-svn: 188716

Reverting r188709 until I can figure out the proper way to XFAIL it.

llvm-svn: 188715

ObjectiveC migrator: Start inserting
CF_IMPLICIT_BRIDGING_ENABLE/CF_IMPLICIT_BRIDGING_DISABLED
pair. wip.

llvm-svn: 188714

Fix assert with GEP ptr vector indexing structs

Also fix it calculating the wrong value. The struct index
is not a ConstantInt, so it was being interpreted as an array
index.

llvm-svn: 188713

G M: minor fix to silence warning in cmake version 2.8.11.20130809-gba97e.

llvm-svn: 188712

Use less verbose code and update comments.

llvm-svn: 188711

Revert non-test parts of r188507

Re-add the inboundsless tests I didn't add originally

llvm-svn: 188710

Adding tests for PIC with MCJIT

llvm-svn: 188709

Turn on pubnames by default on linux.

Until gdb supports the new accelerator tables we should add the
pubnames section so that gdb_index can be generated from gold
at link time. On darwin we already emit the accelerator tables
and so don't need to worry about pubnames.

llvm-svn: 188708

PR16933: Don't try to codegen things after we've seen errors.

Refactor the underlying code a bit to remove unnecessary calls to
"hasErrorOccurred" & make them consistently at all the entry points to
the IRGen ASTConsumer.

llvm-svn: 188707

Change the sidebar to link directly to the C++ API docs and the Python API docs,
instead of pointing to a page with two links on it.

llvm-svn: 188706

const'ify Sema::ActOnCompoundStmt by
changing Parameter of Sema::ActOnCompoundStmt from MutableArrayRef to
ArrayRef.
No functionality change intended.

llvm-svn: 188705

Make the link to the Python API docs more explicit in the Python Reference page.

llvm-svn: 188704

Make it explicit what "API Documentation" is documenting (the C++/Python SB APIs)

llvm-svn: 188703