Nemanja Ivanovic [Thu, 4 Feb 2016 23:14:42 +0000 (23:14 +0000)]
Fix for PR 26356
Using the load immediate only when the immediate (whether signed or unsigned)
can fit in a 16-bit signed field. Namely, from -32768 to 32767 for signed and
0 to 65535 for unsigned. This patch also ensures that we sign-extend under the
right conditions.
llvm-svn: 259840
Evandro Menezes [Thu, 4 Feb 2016 23:07:57 +0000 (23:07 +0000)]
Fix typo and test commit
llvm-svn: 259839
Zachary Turner [Thu, 4 Feb 2016 23:04:17 +0000 (23:04 +0000)]
Move the rest of the tests over to using the new decorator module.
llvm-svn: 259838
Richard Smith [Thu, 4 Feb 2016 22:54:41 +0000 (22:54 +0000)]
PR25271: When attaching default template arguments to redeclarations of a
template, keep looking for default arguments if we see a template parameter
pack. There may be default arguments preceding a pack with no default argument.
Patch by Jannis Harder!
llvm-svn: 259836
Nemanja Ivanovic [Thu, 4 Feb 2016 22:36:10 +0000 (22:36 +0000)]
Provide a test case for rl259798
llvm-svn: 259835
Adrian McCarthy [Thu, 4 Feb 2016 22:20:30 +0000 (22:20 +0000)]
Replace tabs with spaces for consistent indentation. No actual text changes.
llvm-svn: 259834
Niels Ole Salscheider [Thu, 4 Feb 2016 21:45:02 +0000 (21:45 +0000)]
Fix the search path for CMake files
This fixes the build after moving LLVM's CMake files in r259821.
llvm-svn: 259832
Sean Silva [Thu, 4 Feb 2016 21:41:07 +0000 (21:41 +0000)]
Don't push relocation sections onto InputSection<ELFT>::Discarded.RelocSections
Summary:
LLVM3.3 (and earlier) would fail to include a relocation section in
the group that the section it was relocating is in. Object files
affected by this issue have been encountered in the wild when using LLD.
This would result in a siutation like:
Section {
Index: 5
Name: .text._Z3fooIiEvv (6)
Type: SHT_PROGBITS (0x1)
Flags [ (0x206)
SHF_ALLOC (0x2)
SHF_EXECINSTR (0x4)
SHF_GROUP (0x200)
]
Address: 0x0
Offset: 0x48
Size: 5
Link: 0
Info: 0
AddressAlignment: 1
EntrySize: 0
}
Section {
Index: 6
Name: .rela.text._Z3fooIiEvv (1)
Type: SHT_RELA (0x4)
Flags [ (0x0)
]
Address: 0x0
Offset: 0x3F0
Size: 24
Link: 8
Info: 5
AddressAlignment: 8
EntrySize: 24
}
In LLD, during symbol resolution, we discard the section containing the
weak symbol, but this amounts to replacing it with
InputSection<ELFT>::Discarded.
When we later saw the corresponding relocation section, we would then
end up pusing onto InputSection<ELFT>::Discarded.RelocSections, which is
bogus.
Reviewers: ruiu, rafael
Subscribers: llvm-commits, Bigcheese
Differential Revision: http://reviews.llvm.org/D16898
llvm-svn: 259831
Rafael Espindola [Thu, 4 Feb 2016 21:33:05 +0000 (21:33 +0000)]
Avoid code duplication when creating dynamic relocations.
Another case where we currently have almost duplicated code is the
creation of dynamic relocations. First to decide if we need one, then to
decide what to write.
This patch fixes it by passing more information from the relocation scan
to the section writing code. This is the same idea used for r258723.
I actually think it should be possible to simplify this further by
reordering things a bit in the writer. For example, we should be able to
represent almost every position in the file with an OutputSeciton and
offset. When writing it out we then just need to add the offset to the
OutputSection VA.
llvm-svn: 259829
Chad Rosier [Thu, 4 Feb 2016 21:26:02 +0000 (21:26 +0000)]
[AArch64] Bound the number of instructions we scan when searching for updates.
This only impacts the creation of pre-/post-index instructions. The bound was
set high enough such that it did not change code generation for SPEC200X.
llvm-svn: 259828
Pete Cooper [Thu, 4 Feb 2016 20:43:43 +0000 (20:43 +0000)]
Set CPU_SUBTYPE_LIB64 in mach_header.
On Mac OS 10.5 and later, with X86_64 and outputting a dynamic executable,
ld64 set the CPU_SUBTYPE_LIB64 mask on the cpusubtype in the mach_header.
This adds the same functionality to lld.
rdar://problem/
24507177
llvm-svn: 259826
Vedant Kumar [Thu, 4 Feb 2016 20:42:43 +0000 (20:42 +0000)]
[docs] Fix typo in YamlIO.rst
Patch by Mario Lang!
llvm-svn: 259825
Chih-Hung Hsieh [Thu, 4 Feb 2016 20:26:00 +0000 (20:26 +0000)]
builtins: Fix struct __emutls_control to match GCC
The type of size and align in struct __emutls_control must be
typedef unsigned int gcc_word __attribute__((mode(word)));
to match GCC. When gcc_word is larger than size_t, which is the case
for x32, the upper extra bits are all zeros. We can use variables of
size_t to operate on size and align.
Fix one trivial C99 warning about mixed declaration and code.
Differential Revision: http://reviews.llvm.org/D16886
llvm-svn: 259824
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
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
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
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
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
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
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
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
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
Xinliang David Li [Thu, 4 Feb 2016 19:14:10 +0000 (19:14 +0000)]
Fix format in comment
llvm-svn: 259814
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
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
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
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
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
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
David Majnemer [Thu, 4 Feb 2016 17:57:12 +0000 (17:57 +0000)]
Correctly handle {Always,Never}StepIntoLine
llvm-svn: 259806
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
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
Sanjay Patel [Thu, 4 Feb 2016 17:00:35 +0000 (17:00 +0000)]
use 'auto' for iterators; NFCI
llvm-svn: 259802
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
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
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
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
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
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
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
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
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
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
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
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
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
Simon Pilgrim [Thu, 4 Feb 2016 14:06:19 +0000 (14:06 +0000)]
[X86] Add AVX512 vector zext tests
llvm-svn: 259786
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
Jonas Paulsson [Thu, 4 Feb 2016 13:08:48 +0000 (13:08 +0000)]
[ScheduleDagInstrs] Improved comments
llvm-svn: 259783
Simon Atanasyan [Thu, 4 Feb 2016 12:31:39 +0000 (12:31 +0000)]
[ELF][MIPS] Support R_MIPS_PC32 relocation handling
llvm-svn: 259782
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
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
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
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
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
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
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
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
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
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
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
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
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
Tobias Grosser [Thu, 4 Feb 2016 08:10:29 +0000 (08:10 +0000)]
Add 3.9 release notes document
llvm-svn: 259768
Tobias Grosser [Thu, 4 Feb 2016 07:45:32 +0000 (07:45 +0000)]
Add 'Using Polly with Clang' to Spinx
llvm-svn: 259767
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
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
Tobias Grosser [Thu, 4 Feb 2016 07:16:36 +0000 (07:16 +0000)]
Add basic doxygen infrastructure for Polly
llvm-svn: 259764
Craig Topper [Thu, 4 Feb 2016 06:51:41 +0000 (06:51 +0000)]
[Support] Use range-based for loop. NFC
llvm-svn: 259763
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
Tobias Grosser [Thu, 4 Feb 2016 06:41:03 +0000 (06:41 +0000)]
www: Remove some spaces
llvm-svn: 259761
Tobias Grosser [Thu, 4 Feb 2016 06:40:59 +0000 (06:40 +0000)]
www: Add Michael's thesis
llvm-svn: 259760
Tobias Grosser [Thu, 4 Feb 2016 06:36:50 +0000 (06:36 +0000)]
www: Add Felix-Antoine's master thesis
llvm-svn: 259759
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
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
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
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
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
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
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
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
Pete Cooper [Thu, 4 Feb 2016 02:50:07 +0000 (02:50 +0000)]
Add test missed from r259746
llvm-svn: 259747
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
Kostya Serebryany [Thu, 4 Feb 2016 02:33:48 +0000 (02:33 +0000)]
[asan] fix the non-x86 build
llvm-svn: 259745
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
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
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
Nemanja Ivanovic [Thu, 4 Feb 2016 01:58:20 +0000 (01:58 +0000)]
Test case for PR 26381
llvm-svn: 259740
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
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
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
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
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
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
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
Kostya Serebryany [Thu, 4 Feb 2016 00:12:28 +0000 (00:12 +0000)]
[libFuzzer] hot fix a test
llvm-svn: 259732
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
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
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
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