platform/upstream/llvm.git
8 years agoRevert "Use an artifical namespace so that member vars do not hide local vars."
Siva Chandra [Thu, 4 Feb 2016 20:08:40 +0000 (20:08 +0000)]
Revert "Use an artifical namespace so that member vars do not hide local vars."

Summary:
This reverts commit 8af14b5f9af68c31ac80945e5b5d56f0a14b38e4.
Reverting as it breaks a few tests on Mac.

Reviewers: spyffe

Subscribers: lldb-commits

Differential Revision: http://reviews.llvm.org/D16895

llvm-svn: 259823

8 years agoInstall cmake files to lib/cmake/clang
Niels Ole Salscheider [Thu, 4 Feb 2016 20:08:27 +0000 (20:08 +0000)]
Install cmake files to lib/cmake/clang

This is the right location for platform-specific files.

Also, search for LLVM's CMake files in this directory.

llvm-svn: 259822

8 years agoInstall cmake files to lib/cmake/llvm
Niels Ole Salscheider [Thu, 4 Feb 2016 20:08:19 +0000 (20:08 +0000)]
Install cmake files to lib/cmake/llvm

This is the right location for platform-specific files.

On some distributions (e. g. Exherbo), a package can be installed for several
architectures in parallel, but the architecture-independent files are shared.
Therefore, we must not install architecture-dependent files (like the CMake
config and export files) to share/.

llvm-svn: 259821

8 years agoFix a crash when there is a typo in the return statement.
Manman Ren [Thu, 4 Feb 2016 20:05:40 +0000 (20:05 +0000)]
Fix a crash when there is a typo in the return statement.

If the typo happens after a successful deduction for an earlier
return statement, we should check if the deduced type is null
before using it.

The typo correction happens after we try to deduce the return
type and we ignore the deduction from the typo and continue
to typo correction.

rdar://24342247

llvm-svn: 259820

8 years ago[PGO] code simplification: use existing VP annotation API /NFC
Xinliang David Li [Thu, 4 Feb 2016 19:54:17 +0000 (19:54 +0000)]
[PGO] code simplification: use existing VP annotation API /NFC

llvm-svn: 259819

8 years agoMake HostThread SetName work on OS X. GetName doesn't currently work, the code that...
Jim Ingham [Thu, 4 Feb 2016 19:42:32 +0000 (19:42 +0000)]
Make HostThread SetName work on OS X.  GetName doesn't currently work, the code that was in
GetName actually got the queue name not the thread name and anyway didn't actually work to do
that.  So I just deleted it with a fixme.

<rdar://problem/24487554>

llvm-svn: 259818

8 years agoAdd LIBOMP_ENABLE_SHARED option for CMake
Jonathan Peyton [Thu, 4 Feb 2016 19:29:35 +0000 (19:29 +0000)]
Add LIBOMP_ENABLE_SHARED option for CMake

When building executables for Cray supercomputers, statically-linked executables
are preferred. This patch makes it possible to build the OpenMP runtime as an
archive for building statically-linked executables.  The patch adds the flag
LIBOMP_ENABLE_SHARED, which defaults to true. When true, a build of the OpenMP
runtime yields dynamic libraries. When false, a build of the OpenMP runtime
yields static libraries. There is no setting that allows both kinds of libraries
to be built.

Patch by John Mellor-Crummey

Differential Revision: http://reviews.llvm.org/D16525

llvm-svn: 259817

8 years ago[X86][SSE] Select domain for 32/64-bit partial loads for EltsFromConsecutiveLoads
Simon Pilgrim [Thu, 4 Feb 2016 19:27:51 +0000 (19:27 +0000)]
[X86][SSE] Select domain for 32/64-bit partial loads for EltsFromConsecutiveLoads

Choose between MOVD/MOVSS and MOVQ/MOVSD depending on the target vector type.

This has a lot fewer test changes than trying to add this to X86InstrInfo::setExecutionDomain.....

llvm-svn: 259816

8 years agoFix a regression for r259736.
Wei Mi [Thu, 4 Feb 2016 19:17:33 +0000 (19:17 +0000)]
Fix a regression for r259736.

When SCEV expansion tries to reuse an existing value, it is needed to ensure
that using the Value at the InsertPt will not break LCSSA. The fix adds a
check that InsertPt is either inside the candidate Value's parent loop, or
the candidate Value's parent loop is nullptr.

llvm-svn: 259815

8 years agoFix format in comment
Xinliang David Li [Thu, 4 Feb 2016 19:14:10 +0000 (19:14 +0000)]
Fix format in comment

llvm-svn: 259814

8 years ago[PGO] Add interfaces to annotate instr with VP data
Xinliang David Li [Thu, 4 Feb 2016 19:11:43 +0000 (19:11 +0000)]
[PGO] Add interfaces to annotate instr with VP data
  Add interfaces to do value profile data IR annnotation
  and read. Needed by both FE and IR based PGO.

llvm-svn: 259813

8 years ago[AArch64] Improve load/store optimizer to handle LDUR + LDR (take 3).
Chad Rosier [Thu, 4 Feb 2016 18:59:49 +0000 (18:59 +0000)]
[AArch64] Improve load/store optimizer to handle LDUR + LDR (take 3).

This patch allows the mixing of scaled and unscaled load/stores to form
load/store pairs.

PR24465
http://reviews.llvm.org/D12116
Many thanks to Ahmed and Michael for fixes and code review.

This is a reapplication of r246769 and r259790.  The tramp3d failure was caused
by an incorrect refactoring in the patch.  Specifically, we weren't always
properly clearing the SExtIdx flag.

llvm-svn: 259812

8 years ago[PGO] cc1 option name change for profile instrumentation
Rong Xu [Thu, 4 Feb 2016 18:39:09 +0000 (18:39 +0000)]
[PGO] cc1 option name change for profile instrumentation

This patch changes cc1 option -fprofile-instr-generate to an enum option
-fprofile-instrument={clang|none}. It also changes cc1 options
-fprofile-instr-generate= to -fprofile-instrument-path=.
The driver level option -fprofile-instr-generate and -fprofile-instr-generate=
remain intact. This change will pave the way to integrate new PGO
instrumentation in IR level.

Review: http://reviews.llvm.org/D16730
llvm-svn: 259811

8 years agoUse an artifical namespace so that member vars do not hide local vars.
Siva Chandra [Thu, 4 Feb 2016 18:38:35 +0000 (18:38 +0000)]
Use an artifical namespace so that member vars do not hide local vars.

Summary:
While evaluating expressions when stopped in a class method, there was a
problem of member variables hiding local variables. This was happening
because, in the context of a method, clang already knew about member
variables with their name and assumed that they were the only variables
with those names in scope. Consequently, clang never checks with LLDB
about the possibility of local variables with the same name and goes
wrong. This change addresses the problem by using an artificial
namespace "$__lldb_local_vars". All local variables in scope are
declared in the "$__lldb_expr" method as follows:

    using $__lldb_local_vars::<local var 1>;
    using $__lldb_local_vars::<local var 2>;
    ...

This hides the member variables with the same name and forces clang to
enquire about the variables which it thinks are declared in
$__lldb_local_vars. When LLDB notices that clang is enquiring about
variables in $__lldb_local_vars, it looks up local vars and conveys
their information if found. This way, member variables do not hide local
variables, leading to correct evaluation of expressions.

A point to keep in mind is that the above solution does not solve the
problem for one specific case:

    namespace N
    {
        int a;
    }

    class A
    {
    public:
        void Method();
        int a;
    };

    void
    A::Method()
    {
        using N::a;
        ...

        // Since the above solution only touches locals, it does not
        // force clang to enquire about "a" coming from namespace N.
    }

Reviewers: clayborg, spyffe

Subscribers: lldb-commits

Differential Revision: http://reviews.llvm.org/D16746

llvm-svn: 259810

8 years ago[SCEV] Add boolean accessors for NSW, NUW and NW; NFC
Sanjoy Das [Thu, 4 Feb 2016 18:21:54 +0000 (18:21 +0000)]
[SCEV] Add boolean accessors for NSW, NUW and NW; NFC

llvm-svn: 259809

8 years agoMove some of the common decorators to decorators.py.
Zachary Turner [Thu, 4 Feb 2016 18:03:01 +0000 (18:03 +0000)]
Move some of the common decorators to decorators.py.

This doesn't attempt to move every decorator.  The reason for
this is that it requires touching every single test file to import
decorators.py.  I would like to do this in a followup patch, but
in the interest of keeping the patches as bite-sized as possible,
I've only attempted to move the underlying common decorators first.
A few tests call these directly, so those tests are updated as part
of this patch.

llvm-svn: 259807

8 years agoCorrectly handle {Always,Never}StepIntoLine
David Majnemer [Thu, 4 Feb 2016 17:57:12 +0000 (17:57 +0000)]
Correctly handle {Always,Never}StepIntoLine

llvm-svn: 259806

8 years agoAdd support for S_DEFRANGE and S_DEFRANGE_SUBFIELD
David Majnemer [Thu, 4 Feb 2016 17:37:30 +0000 (17:37 +0000)]
Add support for S_DEFRANGE and S_DEFRANGE_SUBFIELD

llvm-svn: 259805

8 years agoMake the dumper's output for variable ranges easier to read
David Majnemer [Thu, 4 Feb 2016 17:29:13 +0000 (17:29 +0000)]
Make the dumper's output for variable ranges easier to read

llvm-svn: 259804

8 years agouse 'auto' for iterators; NFCI
Sanjay Patel [Thu, 4 Feb 2016 17:00:35 +0000 (17:00 +0000)]
use 'auto' for iterators; NFCI

llvm-svn: 259802

8 years ago[AArch64] Multiply extended 32-bit ints with `[U|S]MADDL'
Silviu Baranga [Thu, 4 Feb 2016 16:47:09 +0000 (16:47 +0000)]
[AArch64] Multiply extended 32-bit ints with `[U|S]MADDL'

During instruction selection, the AArch64 backend can recognise the
following pattern and generate an [U|S]MADDL instruction, i.e. a
multiply of two 32-bit operands with a 64-bit result:

(mul (sext i32), (sext i32))
However, when one of the operands is constant, the sign extension
gets folded into the constant in SelectionDAG::getNode(). This means
that the instruction selection sees this:

(mul (sext i32), i64)
...which doesn't match the pattern. Sign-extension and 64-bit
multiply instructions are generated, which are slower than one 32-bit
multiply.

Add a pattern to match this and generate the correct instruction, for
both signed and unsigned multiplies.

Patch by Chris Diamand!

llvm-svn: 259800

8 years agoThe canonical way to XFAIL a test for all targets is XFAIL: *, not XFAIL:
Benjamin Kramer [Thu, 4 Feb 2016 16:21:38 +0000 (16:21 +0000)]
The canonical way to XFAIL a test for all targets is XFAIL: *, not XFAIL:

Fix the lit bug that enabled this "feature" (empty triple is substring
of all possible target triples) and change the two outliers to use the
documented * syntax.

llvm-svn: 259799

8 years agoEnable the %s modifier in inline asm template string
Nemanja Ivanovic [Thu, 4 Feb 2016 16:18:08 +0000 (16:18 +0000)]
Enable the %s modifier in inline asm template string

This patch corresponds to review:
http://reviews.llvm.org/D16847

There are some files in glibc that use the output operand modifier even though
it was deprecated in GCC. This patch just adds support for it to prevent issues
with such files.

llvm-svn: 259798

8 years ago[PPC] Move PPC test to a PPC-specific dir
Renato Golin [Thu, 4 Feb 2016 16:14:59 +0000 (16:14 +0000)]
[PPC] Move PPC test to a PPC-specific dir

llvm-svn: 259797

8 years ago[X86][SSE] Add general 32-bit LOAD + VZEXT_MOVL support to EltsFromConsecutiveLoads
Simon Pilgrim [Thu, 4 Feb 2016 16:12:56 +0000 (16:12 +0000)]
[X86][SSE] Add general 32-bit LOAD + VZEXT_MOVL support to EltsFromConsecutiveLoads

This patch adds support for consecutive (load/undef elements) 32-bit loads, followed by trailing undef/zero elements to be combined to a single MOVD load.

Differential Revision: http://reviews.llvm.org/D16729

llvm-svn: 259796

8 years agoRevert "[AArch64] Improve load/store optimizer to handle LDUR + LDR."
Chad Rosier [Thu, 4 Feb 2016 16:01:40 +0000 (16:01 +0000)]
Revert "[AArch64] Improve load/store optimizer to handle LDUR + LDR."

This reverts commit r259790. tramp3d-v4 is still having problems.

llvm-svn: 259795

8 years ago[X86][SSE] Added i686 target tests to make sure we are correctly loading consecutive...
Simon Pilgrim [Thu, 4 Feb 2016 15:51:55 +0000 (15:51 +0000)]
[X86][SSE] Added i686 target tests to make sure we are correctly loading consecutive entries as 64-bit integers

llvm-svn: 259794

8 years agoProvide arguments for all the format string placeholders!
Adrian McCarthy [Thu, 4 Feb 2016 15:35:55 +0000 (15:35 +0000)]
Provide arguments for all the format string placeholders!

Log message was wrong because an argument was missing.

llvm-svn: 259793

8 years agoAVX-512: Fixed a bug in FMA instruction selection on KNL
Elena Demikhovsky [Thu, 4 Feb 2016 15:11:11 +0000 (15:11 +0000)]
AVX-512: Fixed a bug in FMA instruction selection on KNL

The FMA instruction was selected from AVX2 set instead of AVX-512

Differential Revision: http://reviews.llvm.org/D16884

llvm-svn: 259792

8 years ago[Power PC] softening long double type
Petar Jovanovic [Thu, 4 Feb 2016 14:43:50 +0000 (14:43 +0000)]
[Power PC] softening long double type

This patch implements softening of long double type (ppcf128) on ppc32
architecture and enables operations for this type for soft float.

Patch by Strahinja Petrovic.

Differential Revision: http://reviews.llvm.org/D15811

llvm-svn: 259791

8 years ago[AArch64] Improve load/store optimizer to handle LDUR + LDR.
Chad Rosier [Thu, 4 Feb 2016 14:42:55 +0000 (14:42 +0000)]
[AArch64] Improve load/store optimizer to handle LDUR + LDR.

This patch allows the mixing of scaled and unscaled load/stores to form
load/store pairs.

PR24465
http://reviews.llvm.org/D12116
Many thanks to Ahmed and Michael for fixes and code review.

This is a reapplication of r246769, which was reverted in r246782 due to a
test-suite failure.  I'm unable to reproduce the issue at this time.

llvm-svn: 259790

8 years ago[AVX512] add vfmadd132ss and vfmadd132sd Intrinsic
Michael Zuckerman [Thu, 4 Feb 2016 14:41:08 +0000 (14:41 +0000)]
[AVX512] add vfmadd132ss and vfmadd132sd Intrinsic

Differential Revision: http://reviews.llvm.org/D16589

llvm-svn: 259789

8 years ago[clang-tidy] More friendly warning in "google-runtime-references" when meeting an...
Haojian Wu [Thu, 4 Feb 2016 14:06:49 +0000 (14:06 +0000)]
[clang-tidy] More friendly warning in "google-runtime-references" when meeting an unnamed function parameter.

Reviewers: alexfh

Subscribers: cfe-commits

Differential Revision: http://reviews.llvm.org/D16882

llvm-svn: 259787

8 years ago[X86] Add AVX512 vector zext tests
Simon Pilgrim [Thu, 4 Feb 2016 14:06:19 +0000 (14:06 +0000)]
[X86] Add AVX512 vector zext tests

llvm-svn: 259786

8 years agoSupport accesses with differently sized types to the same array
Tobias Grosser [Thu, 4 Feb 2016 13:18:42 +0000 (13:18 +0000)]
Support accesses with differently sized types to the same array

This allows code such as:

void multiple_types(char *Short, char *Float, char *Double) {
  for (long i = 0; i < 100; i++) {
    Short[i] = *(short *)&Short[2 * i];
    Float[i] = *(float *)&Float[4 * i];
    Double[i] = *(double *)&Double[8 * i];
  }
}

To model such code we use as canonical element type of the modeled array the
smallest element type of all original array accesses, if type allocation sizes
are multiples of each other. Otherwise, we use a newly created iN type, where N
is the gcd of the allocation size of the types used in the accesses to this
array. Accesses with types larger as the canonical element type are modeled as
multiple accesses with the smaller type.

For example the second load access is modeled as:

  { Stmt_bb2[i0] -> MemRef_Float[o0] : 4i0 <= o0 <= 3 + 4i0 }

To support code-generating these memory accesses, we introduce a new method
getAccessAddressFunction that assigns each statement instance a single memory
location, the address we load from/store to. Currently we obtain this address by
taking the lexmin of the access function. We may consider keeping track of the
memory location more explicitly in the future.

We currently do _not_ handle multi-dimensional arrays and also keep the
restriction of not supporting accesses where the offset expression is not a
multiple of the access element type size. This patch adds tests that ensure
we correctly invalidate a scop in case these accesses are found. Both types of
accesses can be handled using the very same model, but are left to be added in
the future.

We also move the initialization of the scop-context into the constructor to
ensure it is already available when invalidating the scop.

Finally, we add this as a new item to the 2.9 release notes

Reviewers: jdoerfert, Meinersbur

Differential Revision: http://reviews.llvm.org/D16878

llvm-svn: 259784

8 years ago[ScheduleDagInstrs] Improved comments
Jonas Paulsson [Thu, 4 Feb 2016 13:08:48 +0000 (13:08 +0000)]
[ScheduleDagInstrs] Improved comments

llvm-svn: 259783

8 years ago[ELF][MIPS] Support R_MIPS_PC32 relocation handling
Simon Atanasyan [Thu, 4 Feb 2016 12:31:39 +0000 (12:31 +0000)]
[ELF][MIPS] Support R_MIPS_PC32 relocation handling

llvm-svn: 259782

8 years ago[ELF][MIPS] Add handling for __gnu_local_gp symbol
Simon Atanasyan [Thu, 4 Feb 2016 12:09:49 +0000 (12:09 +0000)]
[ELF][MIPS] Add handling for __gnu_local_gp symbol

This symbol is a "fake" symbol like "_gp_disp" and denotes
the GOT + 0x7FF0 value.

llvm-svn: 259781

8 years ago[x86] Correct setting of WIntType for MCU target
Andrey Bokhanko [Thu, 4 Feb 2016 11:54:45 +0000 (11:54 +0000)]
[x86] Correct setting of WIntType for MCU target

Differential Revision: http://reviews.llvm.org/D16626

llvm-svn: 259780

8 years ago[ELF][MIPS] Replace needsMipsLocalGot function by canBePreempted
Simon Atanasyan [Thu, 4 Feb 2016 11:51:45 +0000 (11:51 +0000)]
[ELF][MIPS] Replace needsMipsLocalGot function by canBePreempted

Symbol does not need an entry i the 'global' part of GOT if it cannot be
preempted. So canBePreempted fully satisfies us at least for now.

llvm-svn: 259779

8 years ago[ELF][MIPS] Always create global GOT entry for symbols defined in DSO
Simon Atanasyan [Thu, 4 Feb 2016 11:51:39 +0000 (11:51 +0000)]
[ELF][MIPS] Always create global GOT entry for symbols defined in DSO

If relocation against symbol requires GOT entry creation and this symbol
is defined in DSO, the GOT entry should be created in the 'global' part
of the GOT even if we link executable file. Also we do not need to create
a dynamic symbol table entry for global symbol corresponding to the
local GOT entry.

llvm-svn: 259778

8 years agoEnable test_lldbmi_settings_set_target_run_args_before on linux
Pavel Labath [Thu, 4 Feb 2016 11:51:07 +0000 (11:51 +0000)]
Enable test_lldbmi_settings_set_target_run_args_before on linux

Test has passed last 200 runs of the build bot.

llvm-svn: 259777

8 years ago[OPENMP 4.0] Fixed support of array sections/array subscripts.
Alexey Bataev [Thu, 4 Feb 2016 11:27:03 +0000 (11:27 +0000)]
[OPENMP 4.0] Fixed support of array sections/array subscripts.
Codegen for array sections/array subscripts worked only for expressions with arrays as base. Patch fixes codegen for bases with pointer/reference types.

llvm-svn: 259776

8 years agoMark TestProcessIO as flaky on android
Pavel Labath [Thu, 4 Feb 2016 09:53:37 +0000 (09:53 +0000)]
Mark TestProcessIO as flaky on android

previously, I have marked only one test as flaky, but now I noticed another test failing with the
same error. I am going to assume all of them are flaky.

llvm-svn: 259775

8 years agoAdd verbose logging support to gdb-remote tests
Pavel Labath [Thu, 4 Feb 2016 09:53:33 +0000 (09:53 +0000)]
Add verbose logging support to gdb-remote tests

Summary:
gdb-remote tests are not able to use the same logging mechanisms as the rest of our tests, and
currently we get no host logs from them, even though the tests themselves have logging
capability. This commit changes that. When user specifies that he would like to log the
gdb-remote channel (--channel gdb-remote argument to dotest.py), we write detailed logs to the
<TEST_ID>-host.log file, just like we would in the case of regular tests. If this argument is not
specified, we only log the serious messages to stderr, which matches the existing behaviour.

Reviewers: tfiala, tberghammer

Subscribers: lldb-commits

Differential Revision: http://reviews.llvm.org/D16858

llvm-svn: 259774

8 years ago[RenderScript] Add command for recalculating allocation details
Ewan Crawford [Thu, 4 Feb 2016 09:44:23 +0000 (09:44 +0000)]
[RenderScript] Add command for recalculating allocation details

Patch replaces the --refresh flag removed in r258800 with it's own command, 'language renderscript allocation refresh'.
Since there is no reason this functionality should be tied to another command as an option.
The command itself simply re-JITs all our cached information about allocations.

llvm-svn: 259773

8 years agoScopInfo: Improve documentation of ScopArrayInfo
Tobias Grosser [Thu, 4 Feb 2016 09:27:34 +0000 (09:27 +0000)]
ScopInfo: Improve documentation of ScopArrayInfo

This adds more information about how dimensions are incrementally updated and
what exactly the canonical element type is.

llvm-svn: 259772

8 years ago[X86] Moved SEXT -> SIGN_EXTEND_VECTOR_INREG combine into helper. NFC.
Simon Pilgrim [Thu, 4 Feb 2016 09:27:19 +0000 (09:27 +0000)]
[X86] Moved SEXT -> SIGN_EXTEND_VECTOR_INREG combine into helper. NFC.

llvm-svn: 259771

8 years ago[X86] Use hash table in LEA optimization pass.
Andrey Turetskiy [Thu, 4 Feb 2016 08:57:03 +0000 (08:57 +0000)]
[X86] Use hash table in LEA optimization pass.

Use hash table (key is a memory operand) to store found LEA instructions to reduce compile time.

Differential Revision: http://reviews.llvm.org/D16404

llvm-svn: 259770

8 years agoAdd -nocudainc option to CUDA preprocessor test.
Samuel Antao [Thu, 4 Feb 2016 08:13:16 +0000 (08:13 +0000)]
Add -nocudainc option to CUDA preprocessor test.

If include files are used in the CUDA preprocessor tests it will cause a
failure due to a missing header file in hosts that do not match the triple
in the test. E.g. powerpc64le have CUDA support but the include files
cannot be used for an x86 target.

llvm-svn: 259769

8 years agoAdd 3.9 release notes document
Tobias Grosser [Thu, 4 Feb 2016 08:10:29 +0000 (08:10 +0000)]
Add 3.9 release notes document

llvm-svn: 259768

8 years agoAdd 'Using Polly with Clang' to Spinx
Tobias Grosser [Thu, 4 Feb 2016 07:45:32 +0000 (07:45 +0000)]
Add 'Using Polly with Clang' to Spinx

llvm-svn: 259767

8 years agocmake: Add a flag to enable LTO
Justin Bogner [Thu, 4 Feb 2016 07:28:30 +0000 (07:28 +0000)]
cmake: Add a flag to enable LTO

This adds -DLLVM_ENABLE_LTO, rather than forcing people to manually
add -flto to the various _FLAGS variables.

llvm-svn: 259766

8 years agoAdd Sphinx configuration
Tobias Grosser [Thu, 4 Feb 2016 07:27:57 +0000 (07:27 +0000)]
Add Sphinx configuration

This just adds the basic configuration with an empty index/welcome page

llvm-svn: 259765

8 years agoAdd basic doxygen infrastructure for Polly
Tobias Grosser [Thu, 4 Feb 2016 07:16:36 +0000 (07:16 +0000)]
Add basic doxygen infrastructure for Polly

llvm-svn: 259764

8 years ago[Support] Use range-based for loop. NFC
Craig Topper [Thu, 4 Feb 2016 06:51:41 +0000 (06:51 +0000)]
[Support] Use range-based for loop. NFC

llvm-svn: 259763

8 years ago[Support] Use hexdigit instead of manually coding the same thing. NFC
Craig Topper [Thu, 4 Feb 2016 06:51:38 +0000 (06:51 +0000)]
[Support] Use hexdigit instead of manually coding the same thing. NFC

llvm-svn: 259762

8 years agowww: Remove some spaces
Tobias Grosser [Thu, 4 Feb 2016 06:41:03 +0000 (06:41 +0000)]
www: Remove some spaces

llvm-svn: 259761

8 years agowww: Add Michael's thesis
Tobias Grosser [Thu, 4 Feb 2016 06:40:59 +0000 (06:40 +0000)]
www: Add Michael's thesis

llvm-svn: 259760

8 years agowww: Add Felix-Antoine's master thesis
Tobias Grosser [Thu, 4 Feb 2016 06:36:50 +0000 (06:36 +0000)]
www: Add Felix-Antoine's master thesis

llvm-svn: 259759

8 years agowww: Drop outdated dragonegg documentation
Tobias Grosser [Thu, 4 Feb 2016 06:23:53 +0000 (06:23 +0000)]
www: Drop outdated dragonegg documentation

Even though the commands still work, dragonegg has not been updated to work with
recent versions of LLVM. Consequently, only very old Polly versions (which we
do not support any more), can be used in this way.

This simplifies our documentation page.

llvm-svn: 259758

8 years agoUpdate to isl-0.16.1-20-gee54b48
Tobias Grosser [Thu, 4 Feb 2016 06:19:12 +0000 (06:19 +0000)]
Update to isl-0.16.1-20-gee54b48

This includes some (optional) improvements to the isl scheduler, which we do not
use yet, as well as a fix for a bug previously also affecting Polly:

commit 662ee9b7d45ebeb7629b239d3ed43442e25bf87c
Author: Sven Verdoolaege <skimo@kotnet.org>
Date:   Mon Jan 25 16:59:32 2016 +0100

    isl_basic_map_realign: perform Gaussian elimination on result

    Many parts of isl assume that Gaussian elimination has been
    applied to the equality constraints.  In particular singleton_extract_point
    makes this assumption.  The input to singleton_extract_point
    may have undergone parameter alignment.  This parameter alignment
    (ultimately performed by isl_basic_map_realign) therefore
    needs to make sure the result preserves this property

llvm-svn: 259757

8 years ago[PGO] Profile interface cleanup
Xinliang David Li [Thu, 4 Feb 2016 05:29:51 +0000 (05:29 +0000)]
[PGO] Profile interface cleanup
  - Remove unused valuemapper parameter
  - add totalcount optional parameter

llvm-svn: 259756

8 years ago[TSan] Fix PrintMatchedSuppressions: Read hit count for suppression atomically
Mohit K. Bhakkad [Thu, 4 Feb 2016 05:28:48 +0000 (05:28 +0000)]
[TSan] Fix PrintMatchedSuppressions: Read hit count for suppression atomically

Reviewers: dvyukov.
Subscribers: jaydeep, sagar, dsanders, llvm-commits.
Differential Revision: http://reviews.llvm.org/D16845

llvm-svn: 259755

8 years agoBasic: mark TLS as supported on Windows on ARM
Saleem Abdulrasool [Thu, 4 Feb 2016 05:05:23 +0000 (05:05 +0000)]
Basic: mark TLS as supported on Windows on ARM

LLVM can now lower TLS access as per the MS ABI on ARM.  This enables the
generation of TLS access for Windows on ARM.

llvm-svn: 259751

8 years agoPR23057: fix use-after-free due to local token buffer in ParseCXXAmbiguousParenExpres...
Alexey Bataev [Thu, 4 Feb 2016 04:22:09 +0000 (04:22 +0000)]
PR23057: fix use-after-free due to local token buffer in ParseCXXAmbiguousParenExpression, by Dmitry Polukhin
Differential Revision: http://reviews.llvm.org/D16572
A    test/Parser/cxx-ambig-paren-expr-asan.cpp
M    lib/Parse/ParseExprCXX.cpp

llvm-svn: 259750

8 years ago[NVPTX] Disable performance optimizations when OptLevel==None
Jingyue Wu [Thu, 4 Feb 2016 04:15:36 +0000 (04:15 +0000)]
[NVPTX] Disable performance optimizations when OptLevel==None

Reviewers: jholewinski, tra, eliben

Subscribers: jholewinski, llvm-commits

Differential Revision: http://reviews.llvm.org/D16874

llvm-svn: 259749

8 years agoUse unsigned long long instead of uint64_t to appease bots
Pete Cooper [Thu, 4 Feb 2016 02:50:47 +0000 (02:50 +0000)]
Use unsigned long long instead of uint64_t to appease bots

llvm-svn: 259748

8 years agoAdd test missed from r259746
Pete Cooper [Thu, 4 Feb 2016 02:50:07 +0000 (02:50 +0000)]
Add test missed from r259746

llvm-svn: 259747

8 years agoAdd support for the source_version cmdline option.
Pete Cooper [Thu, 4 Feb 2016 02:45:23 +0000 (02:45 +0000)]
Add support for the source_version cmdline option.

This is of the form A.B.C.D.E and to match ld64's behaviour, is
always output to files, even when the version is 0.

rdar://problem/24472630

llvm-svn: 259746

8 years ago[asan] fix the non-x86 build
Kostya Serebryany [Thu, 4 Feb 2016 02:33:48 +0000 (02:33 +0000)]
[asan] fix the non-x86 build

llvm-svn: 259745

8 years agoSet S_ATTR_SOME_INSTRUCTIONS on __text section.
Pete Cooper [Thu, 4 Feb 2016 02:23:34 +0000 (02:23 +0000)]
Set S_ATTR_SOME_INSTRUCTIONS on __text section.

ld64 sets both S_ATTR_PURE_INSTRUCTIONS and S_ATTR_SOME_INSTRUCTIONS
on __TEXT, __text.  We only had the S_ATTR_PURE_INSTRUCTIONS attribute.

rdar://problem/24495801

llvm-svn: 259744

8 years agoGenerate version min load commands when the platform is unknown.
Pete Cooper [Thu, 4 Feb 2016 02:16:08 +0000 (02:16 +0000)]
Generate version min load commands when the platform is unknown.

In the case where we are emitting to an object file, the platform is
possibly unknown, and the source object files contained load commands
for version min, we can take the maximum of those min versions and
emit in in the output object file.

This test also tests r259739.

llvm-svn: 259742

8 years ago[asan] When catching a signal caused by a memory access, print if it's a READ or...
Kostya Serebryany [Thu, 4 Feb 2016 02:02:09 +0000 (02:02 +0000)]
[asan] When catching a signal caused by a memory access, print if it's a READ or a WRITE. This touches win/mac files which I have not tested, if a win/mac bot fails I'll try to quick-fix

llvm-svn: 259741

8 years agoTest case for PR 26381
Nemanja Ivanovic [Thu, 4 Feb 2016 01:58:20 +0000 (01:58 +0000)]
Test case for PR 26381

llvm-svn: 259740

8 years agoDefault to an unknown OS instead of MacOSX.
Pete Cooper [Thu, 4 Feb 2016 01:57:59 +0000 (01:57 +0000)]
Default to an unknown OS instead of MacOSX.

Defaulting to unknown matches ld64, but it also makes sure that all
of our code can handle not knowing the platform.  For example, a later
commit will add support for version min load commands with an unknown
platform, which is a feature supported by ld64.

No test case here.  The next commit will have one with the version min
code that needed this patch.

llvm-svn: 259739

8 years agoFix a little threading thinko in StartPrivateStateThread - don't pass stack variables
Jim Ingham [Thu, 4 Feb 2016 01:34:33 +0000 (01:34 +0000)]
Fix a little threading thinko in StartPrivateStateThread - don't pass stack variables
as args to a pthread_create function...

<rdar://problem/24485206>

llvm-svn: 259738

8 years agoPolly tests update contributed by Tobias Grosser for SCEV patch in r259736.
Wei Mi [Thu, 4 Feb 2016 01:34:28 +0000 (01:34 +0000)]
Polly tests update contributed by Tobias Grosser for SCEV patch in r259736.

llvm-svn: 259737

8 years ago[SCEV] Try to reuse existing value during SCEV expansion
Wei Mi [Thu, 4 Feb 2016 01:27:38 +0000 (01:27 +0000)]
[SCEV] Try to reuse existing value during SCEV expansion

Current SCEV expansion will expand SCEV as a sequence of operations
and doesn't utilize the value already existed. This will introduce
redundent computation which may not be cleaned up throughly by
following optimizations.

This patch introduces an ExprValueMap which is a map from SCEV to the
set of equal values with the same SCEV. When a SCEV is expanded, the
set of values is checked and reused whenever possible before generating
a sequence of operations.

The original commit triggered regressions in Polly tests. The regressions
exposed two problems which have been fixed in current version.

1. Polly will generate a new function based on the old one. To generate an
instruction for the new function, it builds SCEV for the old instruction,
applies some tranformation on the SCEV generated, then expands the transformed
SCEV and insert the expanded value into new function. Because SCEV expansion
may reuse value cached in ExprValueMap, the value in old function may be
inserted into new function, which is wrong.
   In SCEVExpander::expand, there is a logic to check the cached value to
be used should dominate the insertion point. However, for the above
case, the check always passes. That is because the insertion point is
in a new function, which is unreachable from the old function. However
for unreachable node, DominatorTreeBase::dominates thinks it will be
dominated by any other node.
   The fix is to simply add a check that the cached value to be used in
expansion should be in the same function as the insertion point instruction.

2. When the SCEV is of scConstant type, expanding it directly is cheaper than
reusing a normal value cached. Although in the cached value set in ExprValueMap,
there is a Constant type value, but it is not easy to find it out -- the cached
Value set is not sorted according to the potential cost. Existing reuse logic
in SCEVExpander::expand simply chooses the first legal element from the cached
value set.
   The fix is that when the SCEV is of scConstant type, don't try the reuse
logic. simply expand it.

Differential Revision: http://reviews.llvm.org/D12090

llvm-svn: 259736

8 years agoFix undefined behavior when compiling in C++14 mode (with sized deletion
Richard Smith [Thu, 4 Feb 2016 01:21:16 +0000 (01:21 +0000)]
Fix undefined behavior when compiling in C++14 mode (with sized deletion
enabled): ensure that we do not invoke the sized deallocator for MemoryBuffer
subclasses that have tail-allocated data.

llvm-svn: 259735

8 years agoFix predefine for __NSConstantString struct type
Ben Langmuir [Thu, 4 Feb 2016 00:55:24 +0000 (00:55 +0000)]
Fix predefine for __NSConstantString struct type

Per review feedback the name was wrong and it can be used outside
Objective-C.

Unfortunately, making the internal struct visible broke some ASTMatchers
tests that assumed that the first record decl would be from user code,
rather than a builtin type.  I'm worried that this will also affect
users' code.  So this patch adds a typedef to wrap the internal struct
and only makes the typedef visible to namelookup.  This is sufficient to
allow the ASTReader to merge the decls we need without making the struct
itself visible.

rdar://problem/24425801

llvm-svn: 259734

8 years ago[codeview] Don't attempt a cross-section label diff
Reid Kleckner [Thu, 4 Feb 2016 00:21:42 +0000 (00:21 +0000)]
[codeview] Don't attempt a cross-section label diff

This only comes up when we're trying to find the next .cv_loc label.

Fixes PR26467

llvm-svn: 259733

8 years ago[libFuzzer] hot fix a test
Kostya Serebryany [Thu, 4 Feb 2016 00:12:28 +0000 (00:12 +0000)]
[libFuzzer] hot fix a test

llvm-svn: 259732

8 years ago[libFuzzer] don't write the test unit when a leak is detected (since we don't know...
Kostya Serebryany [Thu, 4 Feb 2016 00:02:17 +0000 (00:02 +0000)]
[libFuzzer] don't write the test unit when a leak is detected (since we don't know which unit causes the leak)

llvm-svn: 259731

8 years ago[SimplifyCFG] Fix for "endless" loop after dead code removal (Alternative to
Gerolf Hoflehner [Wed, 3 Feb 2016 23:54:25 +0000 (23:54 +0000)]
[SimplifyCFG] Fix for "endless" loop after dead code removal (Alternative to
D16251)

Summary:
This is a simpler fix to the problem than the dominator approach in
http://reviews.llvm.org/D16251. It adds only values into the gather() while loop
that have been seen before.

The actual endless loop is in the constant compare gather() routine in
Utils/SimplifyCFG.cpp. The same value ret.0.off0.i is pushed back into the
queue:
%.ret.0.off0.i = or i1 %.ret.0.off0.i, %cmp10.i

Here is what happens at the IR level:

for.cond.i:                                       ; preds = %if.end6.i,
%if.end.i54
%ix.0.i = phi i32 [ 0, %if.end.i54 ], [ %inc.i55, %if.end6.i ]
%ret.0.off0.i = phi i1 [false, %if.end.i54], [%.ret.0.off0.i, %if.end6.i] <<<
%cmp2.i = icmp ult i32 %ix.0.i, %11
br i1 %cmp2.i, label %for.body.i, label %LBJ_TmpSimpleNeedExt.exit

if.end6.i:                                        ; preds = %for.body.i
%cmp10.i = icmp ugt i32 %conv.i, %add9.i
%.ret.0.off0.i = or i1 %ret.0.off0.i, %cmp10.i <<<

When if.end.i54 gets eliminated which removes the definition of ret.0.off0.i.
The result is the expression %.ret.0.off0.i = or i1 %.ret.0.off0.i, %cmp10.i
(Note the first ‘or’ operand is now %.ret.0.off0.i, and *NOT* %ret.0.off0.i).
And
now there is use of .ret.0.off0.i before a definition which triggers the
“endless” loop in gather():

while(!DFT.empty()) {

    V = DFT.pop_back_val();   // V is .ret.0.off0.i

    if (Instruction *I = dyn_cast<Instruction>(V)) {
      // If it is a || (or && depending on isEQ), process the operands.
      if (I->getOpcode() == (isEQ ? Instruction::Or : Instruction::And)) {
        DFT.push_back(I->getOperand(1));  // This is now .ret.0.off0.i also
        DFT.push_back(I->getOperand(0));

        continue; // “endless loop” for .ret.0.off0.i
      }

Reviewers: reames, ahatanak

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D16839

llvm-svn: 259730

8 years agoAdd support for -sdk_version cmdline option.
Pete Cooper [Wed, 3 Feb 2016 23:39:05 +0000 (23:39 +0000)]
Add support for -sdk_version cmdline option.

This option is emitted in the min_version load commands.

Note, there's currently a difference in behaviour compared to ld64 in
that we emit a warning if we generate a min_version load command and
didn't give an sdk_version.  We need to decide what the correct behaviour
is here as its possible we want to emit an error and force clients to
provide the option.

llvm-svn: 259729

8 years agoBump DiagnosticSemaKinds count; we're close to hitting it.
Manman Ren [Wed, 3 Feb 2016 23:35:29 +0000 (23:35 +0000)]
Bump DiagnosticSemaKinds count; we're close to hitting it.

 $ grep '= DIAG_START_SEMA' include/clang/Basic/DiagnosticIDs.h
       DIAG_START_ANALYSIS      = DIAG_START_SEMA            + 3000
 $ grep 'def ' include/clang/Basic/DiagnosticSemaKinds.td | wc -l
       2994

llvm-svn: 259728

8 years ago[InstrProfiling] Fix a comment (NFC)
Vedant Kumar [Wed, 3 Feb 2016 23:22:43 +0000 (23:22 +0000)]
[InstrProfiling] Fix a comment (NFC)

llvm-svn: 259727

8 years agoUnify the target opcode enum in TargetOpcodes.h and the FixedInstrs array in
David L Kreitzer [Wed, 3 Feb 2016 23:17:32 +0000 (23:17 +0000)]
Unify the target opcode enum in TargetOpcodes.h and the FixedInstrs array in
CodeGenTarget.cpp to avoid the ordering dependence. NFCI.

Differential Revision: http://reviews.llvm.org/D16826

llvm-svn: 259726

8 years agoMinor code cleanups. NFC.
Junmo Park [Wed, 3 Feb 2016 23:16:39 +0000 (23:16 +0000)]
Minor code cleanups. NFC.

llvm-svn: 259725

8 years agoFix missing module qualification of subprocess.PIPE.
Zachary Turner [Wed, 3 Feb 2016 22:53:18 +0000 (22:53 +0000)]
Fix missing module qualification of subprocess.PIPE.

llvm-svn: 259724

8 years agoPrint the OffsetStart field's relocation
David Majnemer [Wed, 3 Feb 2016 22:45:21 +0000 (22:45 +0000)]
Print the OffsetStart field's relocation

llvm-svn: 259723

8 years agorangify; NFCI
Sanjay Patel [Wed, 3 Feb 2016 22:44:14 +0000 (22:44 +0000)]
rangify; NFCI

llvm-svn: 259722

8 years agoReapply r259624, it is likely not the commit causing the bot failures.
Quentin Colombet [Wed, 3 Feb 2016 22:41:00 +0000 (22:41 +0000)]
Reapply r259624, it is likely not the commit causing the bot failures.
Original message:
Make CF constant string decl visible to name lookup to fix module errors

The return type of the __builtin___*StringMakeConstantString functions
is a pointer to a struct, so we need that struct to be visible to name
lookup so that we will correctly merge multiple declarations of that
type if they come from different modules.

Incidentally, to make this visible to name lookup we need to rename the
type to __NSConstantString, since the real NSConstantString is an
Objective-C interface type.  This shouldn't affect anyone outside the
compiler since users of the constant string builtins cast the result
immediately to CFStringRef.

Since this struct type is otherwise implicitly created by the AST
context and cannot access namelookup, we make this a predefined type
and initialize it in Sema.

Note: this issue of builtins that refer to types not visible to name
lookup technically also affects other builtins (e.g. objc_msgSendSuper),
but in all other cases the builtin is a library builtin and the issue
goes away if you include the library that defines the types it uses,
unlike for these constant string builtins.

rdar://problem/24425801

llvm-svn: 259721

8 years agoclean up; NFC
Sanjay Patel [Wed, 3 Feb 2016 22:37:37 +0000 (22:37 +0000)]
clean up; NFC

llvm-svn: 259720

8 years ago[llvm-readobj] Add support for dumping S_DEFRANGE symbols
David Majnemer [Wed, 3 Feb 2016 22:36:46 +0000 (22:36 +0000)]
[llvm-readobj] Add support for dumping S_DEFRANGE symbols

llvm-svn: 259719

8 years agoAdd generation of LC_VERSION_MIN load commands.
Pete Cooper [Wed, 3 Feb 2016 22:28:29 +0000 (22:28 +0000)]
Add generation of LC_VERSION_MIN load commands.

If the command line contains something like -macosx_version_min and we
don't explicitly disable generation with -no_version_load_command then
we generate the LC_VERSION_MIN command in the output file.

There's a couple of FIXME's in here.  These will be handled soon with
more tests but I didn't want to grow this patch any more than it already was.

rdar://problem/24472630

llvm-svn: 259718

8 years ago[cfi] Safe handling of unaddressable vtable pointers (compiler-rt).
Evgeniy Stepanov [Wed, 3 Feb 2016 22:19:04 +0000 (22:19 +0000)]
[cfi] Safe handling of unaddressable vtable pointers (compiler-rt).

Avoid crashing when printing diagnostics for vtable-related CFI
errors. In diagnostic mode, the frontend does an additional check of
the vtable pointer against the set of all known vtable addresses and
lets the runtime handler know if it is safe to inspect the vtable.

http://reviews.llvm.org/D16824

llvm-svn: 259717

8 years ago[cfi] Safe handling of unaddressable vtable pointers (clang).
Evgeniy Stepanov [Wed, 3 Feb 2016 22:18:55 +0000 (22:18 +0000)]
[cfi] Safe handling of unaddressable vtable pointers (clang).

Avoid crashing when printing diagnostics for vtable-related CFI
errors. In diagnostic mode, the frontend does an additional check of
the vtable pointer against the set of all known vtable addresses and
lets the runtime handler know if it is safe to inspect the vtable.

http://reviews.llvm.org/D16823

llvm-svn: 259716

8 years agoRevert r259624 - Make CF constant string decl visible to name lookup to fix module...
Quentin Colombet [Wed, 3 Feb 2016 22:14:53 +0000 (22:14 +0000)]
Revert r259624 - Make CF constant string decl visible to name lookup to fix module errors.

This breaks some internal bots in stage2: clang seg fault.
Looking with Ben to see what is going on.

llvm-svn: 259715