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
Vedant Kumar [Wed, 3 Feb 2016 23:22:43 +0000 (23:22 +0000)]
[InstrProfiling] Fix a comment (NFC)
llvm-svn: 259727
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
Junmo Park [Wed, 3 Feb 2016 23:16:39 +0000 (23:16 +0000)]
Minor code cleanups. NFC.
llvm-svn: 259725
Zachary Turner [Wed, 3 Feb 2016 22:53:18 +0000 (22:53 +0000)]
Fix missing module qualification of subprocess.PIPE.
llvm-svn: 259724
David Majnemer [Wed, 3 Feb 2016 22:45:21 +0000 (22:45 +0000)]
Print the OffsetStart field's relocation
llvm-svn: 259723
Sanjay Patel [Wed, 3 Feb 2016 22:44:14 +0000 (22:44 +0000)]
rangify; NFCI
llvm-svn: 259722
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
Sanjay Patel [Wed, 3 Feb 2016 22:37:37 +0000 (22:37 +0000)]
clean up; NFC
llvm-svn: 259720
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
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
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
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
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
Oleksiy Vyalov [Wed, 3 Feb 2016 22:02:43 +0000 (22:02 +0000)]
Pass socket scheme as part of debug server listen URL.
http://reviews.llvm.org/D16861
llvm-svn: 259714
Reid Kleckner [Wed, 3 Feb 2016 21:45:39 +0000 (21:45 +0000)]
Replace static const int with enum to fix obnoxious linker errors about a missing definition
llvm-svn: 259712
Reid Kleckner [Wed, 3 Feb 2016 21:41:24 +0000 (21:41 +0000)]
[unittests] Move TargetRegistry test from Support to MC
This removes the dependency from SupportTests to all of the LLVM
backends, and makes it link faster.
llvm-svn: 259705
Reid Kleckner [Wed, 3 Feb 2016 21:41:12 +0000 (21:41 +0000)]
Silence -Wsign-conversion issue in ProgramTest.cpp
Unfortunately, ProgramInfo::ProcessId is signed on Unix and unsigned on
Windows, breaking the standard fix of using '0U' in the gtest
expectation.
llvm-svn: 259704
Ana Pazos [Wed, 3 Feb 2016 21:34:39 +0000 (21:34 +0000)]
Fix pointers to go on the right hand side. NFC.
Summary:
Fixed pointers to go on the right hand side following coding guidelines. NFC.
Patch by Mandeep Singh Grang.
Reviewers: majnemer, arsenm, sanjoy
Differential Revision: http://reviews.llvm.org/D16866
llvm-svn: 259703
David Majnemer [Wed, 3 Feb 2016 21:30:34 +0000 (21:30 +0000)]
[LoopStrengthReduce] Don't rewrite PHIs with incoming values from CatchSwitches
Bail out if we have a PHI on an EHPad that gets a value from a
CatchSwitchInst. Because the CatchSwitchInst cannot be split, there is
no good place to stick any instructions.
This fixes PR26373.
llvm-svn: 259702
David Majnemer [Wed, 3 Feb 2016 21:30:31 +0000 (21:30 +0000)]
[ScalarEvolutionExpander] Simplify findInsertPointAfter
No functional change is intended. The loop could only execute, at most,
once.
llvm-svn: 259701
Reid Kleckner [Wed, 3 Feb 2016 21:24:42 +0000 (21:24 +0000)]
[codeview] Remove EmitLabelDiff in favor emitAbsoluteSymbolDiff
llvm-svn: 259700
Reid Kleckner [Wed, 3 Feb 2016 21:15:48 +0000 (21:15 +0000)]
[codeview] Use the MCStreamer interface directly instead of AsmPrinter
This is mostly about having shorter lines and standardizing on one
interface, but it also avoids some needless indirection.
No functional change.
llvm-svn: 259697
Keno Fischer [Wed, 3 Feb 2016 21:13:33 +0000 (21:13 +0000)]
[DWARFDebug] Fix another case of overlapping ranges
Summary:
In r257979, I added code to ensure that we wouldn't merge DebugLocEntries if
the pieces they describe overlap. Unfortunately, I failed to cover the case,
where there may have multiple active Expressions in the entry, in which case we
need to make sure that no two values overlap before we can perform the merge.
This fixed PR26148.
Reviewers: aprantl
Differential Revision: http://reviews.llvm.org/D16742
llvm-svn: 259696
Todd Fiala [Wed, 3 Feb 2016 21:13:23 +0000 (21:13 +0000)]
Address NDEBUG-related linkage issues for Value::assertModuleIsMaterialized()
The IR/Value class had a linkage issue present when LLVM was built
as a library, and the LLVM library build time had different settings
for NDEBUG than the client of the LLVM library. Clients could get
into a state where the LLVM lib expected
Value::assertModuleIsMaterialized() to be inline-defined in the header
but clients expected that method to be defined in the LLVM library.
See this llvm-commits thread for more details:
http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-
20160201/329667.html
llvm-svn: 259695
Tobias Grosser [Wed, 3 Feb 2016 21:10:11 +0000 (21:10 +0000)]
test: make test case more robust against removal of unrelated instructions
llvm-svn: 259693
Rafael Espindola [Wed, 3 Feb 2016 21:02:48 +0000 (21:02 +0000)]
Fix addend computation for IRELATIVE relocations.
llvm-svn: 259692
Tim Shen [Wed, 3 Feb 2016 20:58:55 +0000 (20:58 +0000)]
[SelectionDAG] Fix CombineToPreIndexedLoadStore O(n^2) behavior
This patch consists of two parts: a performance fix in DAGCombiner.cpp
and a correctness fix in SelectionDAG.cpp.
The test case tests the bug that's uncovered by the performance fix, and
fixed by the correctness fix.
The performance fix keeps the containers required by the
hasPredecessorHelper (which is a lazy DFS) and reuse them. Since
hasPredecessorHelper is called in a loop, the overall efficiency reduced
from O(n^2) to O(n), where n is the number of SDNodes.
The correctness fix keeps iterating the neighbor list even if it's time
to early return. It will return after finishing adding all neighbors to
Worklist, so that no neighbors are discarded due to the original early
return.
llvm-svn: 259691
Artem Belevich [Wed, 3 Feb 2016 20:53:58 +0000 (20:53 +0000)]
[CUDA] added declarations for device-side system calls
...and std:: wrappers for free/malloc.
llvm-svn: 259690
Reid Kleckner [Wed, 3 Feb 2016 20:48:09 +0000 (20:48 +0000)]
Fix sign conversion warnings in LLDB Python unittests
llvm-svn: 259689
Richard Smith [Wed, 3 Feb 2016 20:40:30 +0000 (20:40 +0000)]
Ensure that we substitute into the declaration of a template parameter pack
(that is not a pack expansion) during template argument deduction, even if we
deduced that the pack would be empty.
llvm-svn: 259688