platform/upstream/llvm.git
4 years agounwind: disable RTTI during the build of libunwind
Saleem Abdulrasool [Wed, 6 Nov 2019 18:51:42 +0000 (10:51 -0800)]
unwind: disable RTTI during the build of libunwind

Disable the type information emission for libunwind.  libunwind does not
use `dynamic_cast`.  This results in a smaller binary, and more
importantly, avoids the dependency on libc++abi.  This ensures that we
have complete symbol resolution of symbols on ELF targets without
linking to the C++ runtime support library.  This change avoids the
emission of a reference to `__si_class_type_info`.

4 years ago[X86] Add 'fxsr' feature to -march=pentium2 to match X86.td and gcc.
Craig Topper [Wed, 6 Nov 2019 18:27:53 +0000 (10:27 -0800)]
[X86] Add 'fxsr' feature to -march=pentium2 to match X86.td and gcc.

4 years ago[X86] Add 'mmx' to all CPUs that have a version of 'sse' and weren't already enabling...
Craig Topper [Wed, 6 Nov 2019 17:58:51 +0000 (09:58 -0800)]
[X86] Add 'mmx' to all CPUs that have a version of 'sse' and weren't already enabling '3dnow'

All SSE capable CPUs have MMX. 3dnow implicitly enables MMX.

We have code that detects if sse is enabled and implicitly enables
MMX unless -mno-mmx is passed. So in most cases we were already
enabling MMX if march passed a CPU that supported SSE.

The exception to this is if you pass -march for a cpu supports SSE
and also pass -mno-sse. We should still enable MMX since its part
of the CPU capability.

4 years ago[CostModel][X86] Improve add vXi64 + fadd vXf64 reduction tests for SLM
Simon Pilgrim [Wed, 6 Nov 2019 17:55:23 +0000 (17:55 +0000)]
[CostModel][X86] Improve add vXi64 + fadd vXf64 reduction tests for SLM

As noted on D59710 we weren't handling the high costs of these operations on SLM.

4 years ago[clang-format] [RELAND] Remove the dependency on frontend
paulhoad [Wed, 6 Nov 2019 17:33:37 +0000 (17:33 +0000)]
[clang-format] [RELAND] Remove the dependency on frontend

Summary: relanding {D68969} after it failed UBSAN build caused by the passing of an invalid SMLoc() (nullptr)

Reviewers: thakis, vlad.tsyrklevich, klimek, mitchell-stellar

Reviewed By: thakis

Subscribers: merge_guards_bot, mgorny, cfe-commits

Tags: #clang-format, #clang

Differential Revision: https://reviews.llvm.org/D69854

4 years ago[clang-format] Assert that filenames are not empty
paulhoad [Wed, 6 Nov 2019 17:24:10 +0000 (17:24 +0000)]
[clang-format] Assert that filenames are not empty

Summary:
Adds asserts to catch empty filenames, which otherwise will cause a crash in SourceManager.
The clang-format tool now outputs an error if an empty filename is used.
Fixes bug: 34667

Reviewers: krasimir, djasper, MyDeveloperDay

Reviewed By: MyDeveloperDay

Subscribers: cfe-commits

Patch by: @jr

Tags: #clang-format, #clang

Differential Revision: https://reviews.llvm.org/D56345

4 years ago[CostModel][X86] Add add/fadd reduction tests for SLM
Simon Pilgrim [Wed, 6 Nov 2019 17:04:07 +0000 (17:04 +0000)]
[CostModel][X86] Add add/fadd reduction tests for SLM

4 years agoCodeGenInstruction - fix uninitialized variable warnings. NFCI.
Simon Pilgrim [Wed, 6 Nov 2019 16:30:04 +0000 (16:30 +0000)]
CodeGenInstruction - fix uninitialized variable warnings. NFCI.

4 years agoLoopAccessAnalysis - fix uninitialized variable warnings. NFCI.
Simon Pilgrim [Wed, 6 Nov 2019 16:29:08 +0000 (16:29 +0000)]
LoopAccessAnalysis - fix uninitialized variable warnings. NFCI.

4 years agoBranchProbabilityInfo - fix uninitialized variable warning. NFCI.
Simon Pilgrim [Wed, 6 Nov 2019 16:26:11 +0000 (16:26 +0000)]
BranchProbabilityInfo - fix uninitialized variable warning. NFCI.

4 years ago[libcxx] Make generate_feature_test_macro_components script compatible with Python 3.
Louis Dionne [Wed, 6 Nov 2019 16:44:14 +0000 (16:44 +0000)]
[libcxx] Make generate_feature_test_macro_components script compatible with Python 3.

The script is still compatible with Python 2 as well.
Thanks to Marek Kurdej for the patch.

Differential Revision: https://reviews.llvm.org/D69884

4 years agoRevert "build: explicitly set the linker language for unwind"
Saleem Abdulrasool [Wed, 6 Nov 2019 16:31:27 +0000 (08:31 -0800)]
Revert "build: explicitly set the linker language for unwind"

This reverts commit 6db7a5cd7c800a588e94ce5c1ef24ae4d60ecdd3.
This adversely impacted the NetBSD libc++ bot for some reason, reverting
while investigating.

4 years ago[libTooling] Fix breakage from change #84922
Yitzhak Mandelbaum [Wed, 6 Nov 2019 16:30:02 +0000 (11:30 -0500)]
[libTooling] Fix breakage from change #84922

4 years ago[CommandLine] Add inline ArgName printing
Don Hinton [Wed, 6 Nov 2019 15:43:00 +0000 (07:43 -0800)]
[CommandLine] Add inline ArgName printing

Summary:
This patch adds PrintArgInline (after PrintArg) that strips the
leading spaces from an argument before printing them, for usage
inline.

Related bug: PR42943 <https://bugs.llvm.org/show_bug.cgi?id=42943>

Patch by Daan Sprenkels!

Reviewers: jhenderson, chandlerc, hintonda

Reviewed By: jhenderson

Subscribers: hiraditya, kristina, llvm-commits, dsprenkels

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69501

4 years ago[libTooling] Small changes in Transformer API.
Yitzhak Mandelbaum [Mon, 4 Nov 2019 15:02:35 +0000 (10:02 -0500)]
[libTooling] Small changes in Transformer API.

Summary:
* Rename `transformer::change` to `transformer::changeTo`, make `change` forward
  to `changeTo` and mark it deprecated.

* Mark `transformer::text` and `transformer::selection` deprecated and migrate
  references to them in tests.

Reviewers: ilya-biryukov

Subscribers: gribozavr, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69896

4 years ago[libomptarget] Revert all improvements to support
Jon Chesterfield [Wed, 6 Nov 2019 15:43:46 +0000 (15:43 +0000)]
[libomptarget] Revert all improvements to support

Summary:
[libomptarget] Revert all improvements to support

The change to unity build for nvcc has broken the build for some developers.
This patch reverts to a known-working state.

There has been some confusion over exactly how the build broke. I think we
have reached a common understanding that the disappearing symbols are from
the bitcode library built by clang. The static archive built by nvcc may show the
same problem. Some of the confusion arose from building the deviceRTL twice
and using one or the other library based on various environmental factors.

I'm pretty sure the problem is clang expanding `__forceinline__` into both `__inline__`
and `attribute(("always_inline"))`. The `__inline__` attribute resolves to linkonce_odr
which is not safe for exporting symbols from translation units.

"always_inline" is the desired semantic for small functions defined in one translation
unit that are intended to be inlined at link time. "inline" is not.

This therefore reintroduces the dependency hazard of supporti.h and some code
duplication, and blocks progress separating deviceRTL into reusable components.

See also D69857, D69859 for attempts at a fix instead of a revert.

Reviewers: ABataev, jdoerfert, grokos, ikitayama, tianshilei1992

Reviewed By: ABataev

Subscribers: mgorny, jfb, openmp-commits

Tags: #openmp

Differential Revision: https://reviews.llvm.org/D69885

4 years ago[libTooling] Simplify type structure of `Stencil`s.
Yitzhak Mandelbaum [Wed, 30 Oct 2019 00:26:34 +0000 (20:26 -0400)]
[libTooling] Simplify type structure of `Stencil`s.

Summary:
Currently, stencils are defined as a sequence of `StencilParts`. This
differentiation adds an unneeded layer of complexity to the definition of
Stencils. This change significantly simplifies the type structure: a stencil is
now conceptually any object implementing `StencilInterface` and `Stencil` is
just a thin wrapper for pointers to this interface.

To account for the sequencing that was supported by the old `Stencil` type, we
introduce a sequencing class that implements `StencilInterface`. That is,
sequences are just another kind of Stencil and no longer have any special
status.

Corresponding to this change in the type structure, we change the way `cat` is
used (and defined). `cat` bundles multiple features: it builds a stencil from a
sequence of subcomponents and admits multiple different types for its arguments,
while coercing them into the right type. Previously, `cat` was also used to
coerce a single `StencilPart` into a `Stencil`. With that distinction gone, many
uses of `cat` (e.g. in the tests) are unnecessary and have, therefore, been
removed.

Reviewers: gribozavr

Subscribers: cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69613

4 years agoDWARFDebugLoclists: Move to a incremental parsing model
Pavel Labath [Thu, 31 Oct 2019 14:05:33 +0000 (15:05 +0100)]
DWARFDebugLoclists: Move to a incremental parsing model

Summary:
This patch stems from the discussion D68270 (including some offline
talks). The idea is to provide an "incremental" api for parsing location
lists, which will avoid caching or materializing parsed data. An
additional goal is to provide a high level location list api, which
abstracts the differences between different encoding schemes, and can be
used by users which don't care about those (such as LLDB).

This patch implements the first part. It implements a call-back based
"visitLocationList" api. This function parses a single location list,
calling a user-specified callback for each entry. This is going to be
the base api, which other location list functions (right now, just the
dumping code) are going to be based on.

Future patches will do something similar for the v4 location lists, and
add a mechanism to translate raw entries into concrete address ranges.

Reviewers: dblaikie, probinson, JDevlieghere, aprantl, SouraVX

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69672

4 years ago[clang-tidy] Update TransformerClangTidyCheck to use new Transformer bindings.
Yitzhak Mandelbaum [Mon, 4 Nov 2019 15:15:35 +0000 (10:15 -0500)]
[clang-tidy] Update TransformerClangTidyCheck to use new Transformer bindings.

Summary:
Updates the relevant source files to use bindings in `clang::transformer` rather
than `clang::tooling`.

Reviewers: gribozavr

Subscribers: xazax.hun, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69804

4 years ago[NFC][APInt] Fix typos in comments.
Miloš Stojanović [Wed, 6 Nov 2019 10:13:15 +0000 (11:13 +0100)]
[NFC][APInt] Fix typos in comments.

Testing git commit access.

4 years agolldb/docs: update the lldb-x86_64-debian bot url
Pavel Labath [Wed, 6 Nov 2019 15:02:23 +0000 (16:02 +0100)]
lldb/docs: update the lldb-x86_64-debian bot url

It is on the "stable" master now.

4 years agolldb: Skip reproducer+expression evaluation test on linux
Pavel Labath [Wed, 6 Nov 2019 14:47:11 +0000 (15:47 +0100)]
lldb: Skip reproducer+expression evaluation test on linux

It's flaky.

4 years ago[clangd] Improve the output of rename tests where there are failures.
Haojian Wu [Wed, 6 Nov 2019 14:08:59 +0000 (15:08 +0100)]
[clangd] Improve the output of rename tests where there are failures.

Summary:
Previously, we match ranges, which is hard to spot the difference.
Now, we diff the code after rename against the expected result, it
produces much nicer output.

Reviewers: ilya-biryukov

Subscribers: MaskRay, jkorous, arphaman, kadircet, usaxena95, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69890

4 years ago[x86] avoid crashing when splitting AVX stores with non-simple type (PR43916)
Sanjay Patel [Wed, 6 Nov 2019 14:06:48 +0000 (09:06 -0500)]
[x86] avoid crashing when splitting AVX stores with non-simple type (PR43916)

The store splitting transform was assuming a simple type (MVT),
but that's not necessarily the case as shown in the test.

4 years ago[Support] fix mingw-w64 build
Ilya Biryukov [Wed, 6 Nov 2019 13:25:33 +0000 (14:25 +0100)]
[Support] fix mingw-w64 build

Older versions of Mingw-w64 do not define _beginthreadex_proc_type,
so we replace it with `unsigned (__stdcall *ThreadFunc)(void *)`.

Fixes https://github.com/clangd/clangd/issues/188

Patch by lh123!

Differential Revision: https://reviews.llvm.org/D69879

4 years ago[X86] Fix uninitialized variable warnings. NFCI.
Simon Pilgrim [Wed, 6 Nov 2019 14:02:43 +0000 (14:02 +0000)]
[X86] Fix uninitialized variable warnings. NFCI.

4 years agoX86FoldTablesEmitter - fix static analyzer potential invalid iterator warning. NFCI.
Simon Pilgrim [Wed, 6 Nov 2019 13:31:00 +0000 (13:31 +0000)]
X86FoldTablesEmitter - fix static analyzer potential invalid iterator warning. NFCI.

4 years ago[X86] LowerAVXExtend - fix dodgy self-comparison assert.
Simon Pilgrim [Wed, 6 Nov 2019 12:50:09 +0000 (12:50 +0000)]
[X86] LowerAVXExtend - fix dodgy self-comparison assert.

PVS Studio noticed that we were asserting "VT.getVectorNumElements() == VT.getVectorNumElements()" instead of "VT.getVectorNumElements() == InVT.getVectorNumElements()".

4 years ago[AArch64] Move the branch relaxation pass after BTI insertion
Momchil Velikov [Wed, 6 Nov 2019 10:58:43 +0000 (10:58 +0000)]
[AArch64] Move the branch relaxation pass after BTI insertion

Summary:
Inserting BTI instructions can push branch destinations out of range.

The branch relaxation pass itself cannot insert indirect branches since `TargetInstrInfo::insertIndirecrtBranch` is not implemented for AArch64 (guess +/-128 MB direct branch range is more than enough in practice).

Testing this is a bit tricky.

The original test case we have is 155kloc/6.1M. I've generated a test case using this program:
```

int main() {
  std::cout << R"src(int test();
void g0(), g1(), g2(), g3(), g4(), e();

void f(int v) {
  if ((test() & 2) == 0) {
  switch (v) {
  case 0:
    g0();
  case 1:
    g1();
  case 2:
    g2();
  case 3:
    g3();
  }
)src";

  const int N = 8176;

  for (int i = 0; i < N; ++i)
    std::cout << "    void h" << i << "();\n";
  for (int i = 0; i < N; ++i)
    std::cout << "    h" << i << "();\n";

  std::cout << R"src(
  } else {
    e();
  }
}
)src";
}
```
which is still a bit too much to commit as a regression test, IMHO.

Reviewers: t.p.northover, ostannard

Reviewed By: ostannard

Subscribers: kristof.beyls, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69118

Change-Id: Ide5c922bcde08ff4cf635da5e52365525a997a0a

4 years ago[APInt] Fix implicit truncation warning in bitsToFloat(). NFCI.
Simon Pilgrim [Wed, 6 Nov 2019 12:29:43 +0000 (12:29 +0000)]
[APInt] Fix implicit truncation warning in bitsToFloat(). NFCI.

4 years ago[LoopUnroll] countToEliminateCompares(): fix handling of [in]equality predicates...
Roman Lebedev [Wed, 6 Nov 2019 11:57:49 +0000 (14:57 +0300)]
[LoopUnroll] countToEliminateCompares(): fix handling of [in]equality predicates (PR43840)

Summary:
I believe this bisects to https://reviews.llvm.org/D44983
(`[LoopUnroll] Only peel if a predicate becomes known in the loop body.`)

While that revision did contain tests that showed arguably-subpar peeling
for [in]equality predicates that [not] happen in the middle of the loop,
it also disabled peeling for the *first* loop iteration,
because latch would be canonicalized to [in]equality comparison..

That was intentional as per https://reviews.llvm.org/D44983#1059583.
I'm not 100% sure that i'm using correct checks here,
but this fix appears to be going in the right direction..

Let me know if i'm missing some checks here..

Fixes [[ https://bugs.llvm.org/show_bug.cgi?id=43840 | PR43840 ]].

Reviewers: fhahn, mkazantsev, efriedma

Reviewed By: fhahn

Subscribers: xbolva00, hiraditya, zzheng, llvm-commits, fhahn

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69617

4 years ago[NFC][LoopUnroll] Update test coverage for peeling w/ inequality predicates
Roman Lebedev [Wed, 6 Nov 2019 11:56:59 +0000 (14:56 +0300)]
[NFC][LoopUnroll] Update test coverage for peeling w/ inequality predicates

4 years ago[libc++][P0202] Marked algorithms copy/copy_n/copy_if/copy_backward constexpr
Louis Dionne [Wed, 6 Nov 2019 12:02:41 +0000 (12:02 +0000)]
[libc++][P0202] Marked algorithms copy/copy_n/copy_if/copy_backward constexpr

Thanks to Michael Park for the patch.

Differential Revision: https://reviews.llvm.org/D68837

4 years agoSilence warning, PyMODINIT_FUNC already contains extern "C"
Benjamin Kramer [Wed, 6 Nov 2019 11:27:11 +0000 (12:27 +0100)]
Silence warning, PyMODINIT_FUNC already contains extern "C"

PythonReadline.h:22:12: warning: duplicate 'extern' declaration specifier [-Wduplicate-decl-specifier]

4 years ago[AMDGPU] Improve code size cost model (part 2)
dfukalov [Tue, 5 Nov 2019 14:30:52 +0000 (17:30 +0300)]
[AMDGPU] Improve code size cost model (part 2)

Summary: Added estimations for ShuffleVector, some cast and arithmetic instructions

Reviewers: rampitec

Reviewed By: rampitec

Subscribers: arsenm, kzhuravl, jvesely, wdng, nhaehnle, yaxunl, dstuttard, tpr, t-tye, hiraditya, zzheng, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69629

4 years agoNeonEmitter: remove special 'a' type modifier.
Tim Northover [Wed, 6 Nov 2019 10:22:00 +0000 (10:22 +0000)]
NeonEmitter: remove special 'a' type modifier.

'a' used to implement a splat in C++ code in NeonEmitter.cpp, but this
can be done directly from .td expansions now (and most ops already did).
So removing it simplifies the overall code.

https://reviews.llvm.org/D69716

4 years ago[TTI][LV] preferPredicateOverEpilogue
Sjoerd Meijer [Wed, 6 Nov 2019 09:58:36 +0000 (09:58 +0000)]
[TTI][LV] preferPredicateOverEpilogue

We have two ways to steer creating a predicated vector body over creating a
scalar epilogue. To force this, we have 1) a command line option and 2) a
pragma available. This adds a third: a target hook to TargetTransformInfo that
can be queried whether predication is preferred or not, which allows the
vectoriser to make the decision without forcing it.

While this change behaves as a non-functional change for now, it shows the
required TTI plumbing, usage of this new hook in the vectoriser, and the
beginning of an ARM MVE implementation. I will follow up on this with:
- a complete MVE implementation, see D69845.
- a patch to disable this, i.e. we should respect "vector_predicate(disable)"
  and its corresponding loophint.

Differential Revision: https://reviews.llvm.org/D69040

4 years agoNeonEmitter: switch to enum for internal Type representation.
Tim Northover [Wed, 6 Nov 2019 09:47:07 +0000 (09:47 +0000)]
NeonEmitter: switch to enum for internal Type representation.

Previously we had a handful of bools (Signed, Floating, ...) that could
easily end up in an inconsistent state. This adds an enum Kind which
holds the mutually exclusive states a type might be in, retaining some
of the bools that modified an underlying type.

https://reviews.llvm.org/D69715

4 years ago[Syntax] Add nodes for most common statements
Ilya Biryukov [Wed, 6 Nov 2019 09:56:05 +0000 (10:56 +0100)]
[Syntax] Add nodes for most common statements

Summary:
Most of the statements mirror the ones provided by clang AST.
Major differences are:
  - expressions are wrapped into 'ExpressionStatement' instead of being
    a subclass of statement,
  - semicolons are always consumed by the leaf expressions (return,
    expression satement, etc),
  - some clang statements are not handled yet, we wrap those into an
    UnknownStatement class, which is not present in clang.

We also define an 'Expression' and 'UnknownExpression' classes in order
to produce 'ExpressionStatement' where needed. The actual implementation
of expressions is not yet ready, it will follow later.

Reviewers: sammccall

Reviewed By: sammccall

Subscribers: cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D63835

4 years ago[ARM,MVE] Add intrinsics for gather/scatter load/stores.
Simon Tatham [Thu, 31 Oct 2019 17:02:07 +0000 (17:02 +0000)]
[ARM,MVE] Add intrinsics for gather/scatter load/stores.

This patch adds two new families of intrinsics, both of which are
memory accesses taking a vector of locations to load from / store to.

The vldrq_gather_base / vstrq_scatter_base intrinsics take a vector of
base addresses, and an immediate offset to be added consistently to
each one. vldrq_gather_offset / vstrq_scatter_offset take a scalar
base address, and a vector of offsets to add to it. The
'shifted_offset' variants also multiply each offset by the element
size type, so that the vector is effectively of array indices.

At the IR level, these operations are represented by a single set of
four IR intrinsics: {gather,scatter} × {base,offset}. The other
details (signed/unsigned, shift, and memory element size as opposed to
vector element size) are all specified by IR intrinsic polymorphism
and immediate operands, because that made the selection job easier
than making a huge family of similarly named intrinsics.

I considered using the standard IR representations such as
llvm.masked.gather, but they're not a good fit. In order to use
llvm.masked.gather to represent a gather_offset load with element size
smaller than a pointer, you'd have to expand the <8 x i16> vector of
offsets into an <8 x i16*> vector of pointers, which would be split up
during legalization, so you'd spend most of your time undoing the mess
it had made. Also, ISel support for llvm.masked.gather would be easy
enough in a trivial way (you can expand it into a gather-base load
with a zero immediate offset), but instruction-selecting lots of
fiddly idioms back into all the _other_ MVE load instructions would be
much more work. So I think dedicated IR intrinsics are the more
sensible approach, at least for the moment.

On the clang tablegen side, I've added two new features to the
Tablegen source accepted by MveEmitter: a 'CopyKind' type node for
defining a type that varies with the parameter type (it lets you ask
for an unsigned integer type of the same width as the parameter), and
an 'unsignedflag' value node for passing an immediate IR operand which
is 0 for a signed integer type or 1 for an unsigned one. That lets me
write each kind of intrinsic just once and get all its subtypes and
immediate arguments generated automatically.

Also I've tweaked the handling of pointer-typed values in the code
generation part of MveEmitter: they're generated as Address rather
than Value (i.e. including an alignment) so that they can be given to
the ordinary IR load and store operations, but I'd omitted the code to
convert them back to Value when they're going to be used as an
argument to an IR intrinsic.

On the MC side, I've enhanced MVEVectorVTInfo so that it can tell you
not only the full assembly-language suffix for a given vector type
(like 's32' or 'u16') but also the numeric-only one used by store
instructions (just '32' or '16').

Reviewers: dmgreen

Subscribers: kristof.beyls, hiraditya, cfe-commits, llvm-commits

Tags: #clang, #llvm

Differential Revision: https://reviews.llvm.org/D69791

4 years ago[ARM,MVE] Integer-type nitpicks in MVE intrinsics.
Simon Tatham [Mon, 4 Nov 2019 12:40:25 +0000 (12:40 +0000)]
[ARM,MVE] Integer-type nitpicks in MVE intrinsics.

A few integer types in the ACLE definitions of MVE intrinsics are
given as 'int' or 'unsigned' instead of <stdint.h> fixed-size types
like uint32_t. Usually these are the ones where the size isn't that
important, such as immediate offsets in loads (which have a range
limited by the instruction encoding) or the carry flag in vadcq which
can only be 0 or 1 anyway.

With this change, <arm_mve.h> follows that exact type naming, so that
the function prototypes look identical to the ones in ACLE, instead of
replacing int and unsigned with int32_t and uint32_t.

Reviewers: dmgreen

Subscribers: kristof.beyls, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69790

4 years ago[clang,MveEmitter] Fix sign/zero extension in range limits.
Simon Tatham [Thu, 31 Oct 2019 17:02:42 +0000 (17:02 +0000)]
[clang,MveEmitter] Fix sign/zero extension in range limits.

In the code that generates Sema range checks on constant arguments, I
had a piece of code that checks the bounds specified in the Tablegen
intrinsic description against the range of the integer type being
tested. If the bounds are large enough to permit any value of the
integer type, you can omit the compile-time range check. (This case is
expected to come up in some of the bitwise operation intrinsics.)

But somehow I got my signed/unsigned check backwards (asking for the
signed min/max of an unsigned type and vice versa), and also made a
sign extension error in which a signed negative value gets
zero-extended. Now rewritten more sensibly, and it should get its
first sensible test from the next batch of intrinsics I'm planning to
add in D69791.

Reviewers: dmgreen

Subscribers: cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69789

4 years ago[ARM MVE] Remove accidental 64-bit vst2/vld2 intrinsics.
Simon Tatham [Thu, 31 Oct 2019 17:00:39 +0000 (17:00 +0000)]
[ARM MVE] Remove accidental 64-bit vst2/vld2 intrinsics.

ACLE defines no such intrinsic as vst2q_u64, and the MVE instruction
set has no corresponding instruction. But I had accidentally added
them to the fledgling <arm_mve.h> anyway, and if you used them, you'd
get a compiler crash.

Reviewers: dmgreen

Subscribers: kristof.beyls, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69788

4 years ago[clangd] Implement a function to lex the file to find candidate occurrences.
Haojian Wu [Wed, 30 Oct 2019 12:21:47 +0000 (13:21 +0100)]
[clangd] Implement a function to lex the file to find candidate occurrences.

Summary:
This will be used for incoming cross-file rename (to detect index
staleness issue).

Reviewers: ilya-biryukov

Subscribers: MaskRay, jkorous, arphaman, kadircet, usaxena95, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69615

4 years agoclang-format: Add a fallback style to Emacs mode
paulhoad [Wed, 6 Nov 2019 09:50:54 +0000 (09:50 +0000)]
clang-format: Add a fallback style to Emacs mode

Summary:
This allows one to enable `clang-format-buffer` on file save and avoid
reformatting files that are outside of any project with .clang-format style.

Reviewers: djasper, klimek, sammccall, owenpan, mitchell-stellar, MyDeveloperDay

Reviewed By: MyDeveloperDay

Subscribers: cfe-commits

Patch By: dottedmag

Tags: #clang, #clang-format

Differential Revision: https://reviews.llvm.org/D69752

4 years ago[clang-format] [PR35518] C++17 deduction guides are wrongly formatted
paulhoad [Wed, 6 Nov 2019 09:34:01 +0000 (09:34 +0000)]
[clang-format] [PR35518] C++17 deduction guides are wrongly formatted

Summary:
see https://bugs.llvm.org/show_bug.cgi?id=35518

clang-format removes spaces around deduction guides but not trailing return types, make the consistent

```
template <typename T> S(T)->S<T>;
auto f(int, int) -> double;
```

becomes

```
template <typename T> S(T) -> S<T>;
auto f(int, int) -> double;
```

Reviewers: klimek, mitchell-stellar, owenpan, sammccall, lichray, curdeius, KyrBoh

Reviewed By: curdeius

Subscribers: merge_guards_bot, hans, lichray, cfe-commits

Tags: #clang-format, #clang-tools-extra, #clang

Differential Revision: https://reviews.llvm.org/D69577

4 years agogn build: Merge 24130d661ed
LLVM GN Syncbot [Wed, 6 Nov 2019 08:29:28 +0000 (08:29 +0000)]
gn build: Merge 24130d661ed

4 years ago[clang-tidy] Add readability-make-member-function-const
Matthias Gehre [Sun, 22 Sep 2019 21:19:41 +0000 (23:19 +0200)]
[clang-tidy] Add readability-make-member-function-const

Summary:
Finds non-static member functions that can be made ``const``
because the functions don't use ``this`` in a non-const way.

The check conservatively tries to preserve logical costness in favor of
physical costness. See readability-make-member-function-const.rst for more
details.

Reviewers: aaron.ballman, gribozavr, hokein, alexfh

Subscribers: mgorny, xazax.hun, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D68074

4 years agoYAML parser robustness improvements
Thomas Finch [Wed, 6 Nov 2019 05:51:04 +0000 (21:51 -0800)]
YAML parser robustness improvements

Summary: This patch fixes a number of bugs found in the YAML parser
through fuzzing. In general, this makes the parser more robust against
malformed inputs.

The fixes are mostly improved null checking and returning errors in
more cases. In some cases, asserts were changed to regular errors,
this provides the same robustness but also protects release builds
from the triggering conditions. This also improves the fuzzability of
the YAML parser since asserts can act as a roadblock to further
fuzzing once they're hit.

Each fix has a corresponding test case:
  - TestAnchorMapError - Added proper null pointer handling in
    `Stream::printError` if N is null and `KeyValueNode::getValue` if
    getKey returns null, `Input::createHNodes` `dyn_casts` changed to
    `dyn_cast_or_null` so the null pointer checks are actually able to
    fail
  - TestFlowSequenceTokenErrors - Added case in
    `Document::parseBlockNode` for FlowMappingEnd, FlowSequenceEnd, or
    FlowEntry tokens outside of mappings or sequences
  - TestDirectiveMappingNoValue - Changed assert to regular error
    return in `Scanner::scanValue`
  - TestUnescapeInfiniteLoop - Fixed infinite loop in
    `ScalarNode::unescapeDoubleQuoted` by returning an error for
    unrecognized escape codes
  - TestScannerUnexpectedCharacter - Changed asserts to regular error
    returns in `Scanner::consume`
  - TestUnknownDirective - For both of the inputs the stream doesn't
    fail and correctly returns TK_Error, but there is no valid root
    node for the document. There's no reasonable way to make the
    scanner fail for unknown directives without breaking the YAML spec
    (see spec-07-01.test). I think the assert is unnecessary given
    that an error is still generated for this case.

The `SimpleKeys.clear()` line fixes a bug found by AddressSanitizer
triggered by multiple test cases - when TokenQueue is cleared
SimpleKeys is still holding dangling pointers into it, so SimpleKeys
should be cleared as well.

Patch by Thomas Finch!

Reviewers: chandlerc, Bigcheese, hintonda

Reviewed By: Bigcheese, hintonda

Subscribers: hintonda, kristina, beanz, dexonsmith, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D61608

4 years ago[ADT] Add equality operator for SmallPtrSet
Yevgeny Rouban [Wed, 6 Nov 2019 04:17:51 +0000 (11:17 +0700)]
[ADT] Add equality operator for SmallPtrSet

Reviewed By: tellenbach
Differential Revision: https://reviews.llvm.org/D69429

4 years ago[PowerPC] Fix the incorrect 'RM' flag set on load/store instr
QingShan Zhang [Wed, 6 Nov 2019 02:46:37 +0000 (02:46 +0000)]
[PowerPC] Fix the incorrect 'RM' flag set on load/store instr

The 'RM' flag model the "Rounding Mode" and it has nothing to do with the load/store instructions.

Differential Revision: https://reviews.llvm.org/D69551

4 years agoImplement `sys::getHostCPUName()` for Darwin ARM
Chris Bieneman [Wed, 30 Oct 2019 19:50:04 +0000 (12:50 -0700)]
Implement `sys::getHostCPUName()` for Darwin ARM

Summary: Currently there is no implementation of `sys::getHostCPUName()` for Darwin ARM targets. This patch makes it so that LLVM running on ARM makes reasonable guesses about the CPU features of the host CPU.

Reviewers: t.p.northover, lhames, efriedma

Reviewed By: efriedma

Subscribers: rjmccall, efriedma, kristof.beyls, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69597

4 years agoFixed a profdata file size detection on Windows system.
Vladimir Vereschaka [Wed, 6 Nov 2019 01:09:50 +0000 (17:09 -0800)]
Fixed a profdata file size detection on Windows system.

The space symbols are allowed in the group names on Windows system (as
example: Domain Users). In that case the test extracts a wrong field
from the output to get a size of the profdata file.

This patch avoids a printing of the group names in the test output and
extracts a proper field as a file size.

Differential Revision: https://reviews.llvm.org/D69317

4 years ago[IRMover] Set Address Space for moved global values
Teresa Johnson [Tue, 5 Nov 2019 22:00:58 +0000 (14:00 -0800)]
[IRMover] Set Address Space for moved global values

Summary:
Set Address Space when creating a new function (from another).

Fix PR41154.

Patch by Ehud Katz <ehudkatz@gmail.com>

Reviewers: tejohnson, chandlerc

Reviewed By: tejohnson

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69361

4 years ago[globalisel][docs] Rework GMIR documentation and add an early GenericOpcode reference
Daniel Sanders [Tue, 29 Oct 2019 02:10:26 +0000 (19:10 -0700)]
[globalisel][docs] Rework GMIR documentation and add an early GenericOpcode reference

It looks like I pushed an older version of this commit without the review
fixups earlier. This applies the review changes

Differential Revision: https://reviews.llvm.org/D69545

4 years ago[globalisel][docs] Rework GMIR documentation and add an early GenericOpcode reference
Daniel Sanders [Tue, 5 Nov 2019 23:10:00 +0000 (15:10 -0800)]
[globalisel][docs] Rework GMIR documentation and add an early GenericOpcode reference

Summary:
Rework the GMIR documentation to focus more on the end user than the
implementation and tie it in to the MIR document. There was also some
out-of-date information which has been removed.

The quality of the GenericOpcode reference is highly variable and drops
sharply as I worked through them all but we've got to start somewhere :-).
It would be great if others could expand on this too as there is an awful
lot to get through.

Also fix a typo in the definition of G_FLOG. Previously, the comments said
we had two base-2's (G_FLOG and G_FLOG2).

Reviewers: aemerson, volkan, rovka, arsenm

Reviewed By: rovka

Subscribers: wdng, arphaman, jfb, Petar.Avramovic, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69545

4 years ago[Automaton] Make Automaton thread-safe
James Molloy [Tue, 5 Nov 2019 22:53:56 +0000 (22:53 +0000)]
[Automaton] Make Automaton thread-safe

In an optimization to improve performance (rL375240) we added a std::shared_ptr
around the main table map. This is safe, but we also ended up making the
transcriber object a std::shared_ptr too. This has mutable state, so must be
copied when we copy the Automaton object. This is very cheap; the main optimization
was about the map `M` only.

Reported by Dan Palermo. No test as triggering this is rather hard from a unit test.

4 years ago[globalisel][docs] Add a section about debugging with the block extractor
Daniel Sanders [Wed, 30 Oct 2019 21:47:36 +0000 (14:47 -0700)]
[globalisel][docs] Add a section about debugging with the block extractor

Summary: Depends on D69644

Reviewers: rovka, volkan, arsenm

Subscribers: wdng, Petar.Avramovic, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69645

4 years ago[AMDGPU] Add missing flags to DS_Real
Stanislav Mekhanoshin [Tue, 5 Nov 2019 22:15:08 +0000 (14:15 -0800)]
[AMDGPU] Add missing flags to DS_Real

Differential Revision: https://reviews.llvm.org/D69867

4 years ago[SLP] add tests for 2-wide reductions; NFC
Sanjay Patel [Tue, 5 Nov 2019 22:18:03 +0000 (17:18 -0500)]
[SLP] add tests for 2-wide reductions; NFC

4 years ago[TestMTCSimple] Disable the test if you don't have libMTC
Alex Langford [Tue, 5 Nov 2019 22:11:24 +0000 (14:11 -0800)]
[TestMTCSimple] Disable the test if you don't have libMTC

If you are running on macOS and have the CommandLineTools installed of
Xcode, this test will fail because CommandLineTools doesn't ship with
libMainThreadChecker. Skip the test if you don't have it installed.

4 years agoRevert "[analyzer] Add test directory for scan-build."
Volodymyr Sapsai [Tue, 5 Nov 2019 22:03:36 +0000 (14:03 -0800)]
Revert "[analyzer] Add test directory for scan-build."

This reverts commit 0aba69eb1a01c44185009f50cc633e3c648e9950 with
subsequent changes to test files.

It caused test failures on GreenDragon, e.g.,
http://green.lab.llvm.org/green/job/clang-stage1-cmake-RA-incremental/

4 years ago[IRMover] Use GlobalValue::getAddressSpace instead of directly from its type [NFC]
Teresa Johnson [Tue, 5 Nov 2019 21:07:20 +0000 (13:07 -0800)]
[IRMover] Use GlobalValue::getAddressSpace instead of directly from its type [NFC]

Summary: Change the old form of G->getType()->getAddressSpace() to the new G->getAddressSpace() (underneath does the same).

Patch by Ehud Katz <ehudkatz@gmail.com>

Reviewers: tejohnson, chandlerc

Reviewed By: tejohnson

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69550

4 years ago[mips] Fix `getRegForInlineAsmConstraint` to do not crash on empty Constraint
Simon Atanasyan [Tue, 5 Nov 2019 21:12:39 +0000 (00:12 +0300)]
[mips] Fix `getRegForInlineAsmConstraint` to do not crash on empty Constraint

4 years ago[CMake] Prevent adding lld to test dependency (TEST_DEPS) when lld project is not...
Kelvin Li [Tue, 5 Nov 2019 18:44:46 +0000 (13:44 -0500)]
[CMake] Prevent adding lld to test dependency (TEST_DEPS) when lld project is not built

D69405 causes failure if running LIT when the compiler was built without lld.

Patch by Anh Tuyen Tran (anhtuyen)

Differential Revision: https://reviews.llvm.org/D69685

4 years ago[LoopRotationUtils] Check values are newly inserted into maps.
Alina Sbirlea [Tue, 5 Nov 2019 21:37:23 +0000 (13:37 -0800)]
[LoopRotationUtils] Check values are newly inserted into maps.

This is a cleanup that came up in D63680.
All values added to the ValueMaps should be newly added.

4 years ago[Hexagon] getCompoundCandidateGroup - fix 'false' value is implicitly cast to unsigne...
Simon Pilgrim [Tue, 5 Nov 2019 21:25:55 +0000 (21:25 +0000)]
[Hexagon] getCompoundCandidateGroup - fix 'false' value is implicitly cast to unsigned warning. NFCI.

Consistently return HexagonII::HCG_None.

4 years ago[lldb] Add a install target for lldb python on darwin
Haibo Huang [Tue, 5 Nov 2019 01:04:54 +0000 (17:04 -0800)]
[lldb] Add a install target for lldb python on darwin

Summary: Similar to D68370 but for darwin framework build.

Reviewers: aadsm

Subscribers: mgorny, lldb-commits

Tags: #lldb

Differential Revision: https://reviews.llvm.org/D69834

4 years ago[X86/Atomics] Correct a few transforms for new atomic lowering
Philip Reames [Tue, 5 Nov 2019 21:17:01 +0000 (13:17 -0800)]
[X86/Atomics] Correct a few transforms for new atomic lowering

This is a partial fix for the issues described in commit message of 027aa27 (the revert of G24609).  Unfortunately, I can't provide test coverage for it on it's own as the only (known) wrong example is still wrong, but due to a separate issue.

These fixes are cases where when performing unrelated DAG combines, we were dropping the atomicity flags entirely.

4 years agoFix typo so that '-O0' is correctly specified
Bill Wendling [Tue, 5 Nov 2019 21:09:42 +0000 (13:09 -0800)]
Fix typo so that '-O0' is correctly specified

4 years ago[OPENMP50]Simplify processing of context selector scores.
Alexey Bataev [Tue, 5 Nov 2019 20:33:18 +0000 (15:33 -0500)]
[OPENMP50]Simplify processing of context selector scores.

If the context selector score was not specified, its value must be set
to 0. Simplify the processing of unspecified scores + save memory in
attribute representation.

4 years ago[MIR] Add MIR parsing for heap alloc site instruction markers
Amy Huang [Tue, 5 Nov 2019 18:54:50 +0000 (10:54 -0800)]
[MIR] Add MIR parsing for heap alloc site instruction markers

Summary:
This patch adds MIR parsing and printing for heap alloc markers, which were
added in D69136. They are printed as an operand similar to pre-/post-instr
symbols, with a heap-alloc-marker token and a metadata node.

Reviewers: rnk

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69864

4 years ago[Sema] Fixes templated friend member assertion
Mark de Wever [Tue, 5 Nov 2019 19:39:55 +0000 (20:39 +0100)]
[Sema] Fixes templated friend member assertion

Fixes PR41792: Clang assertion failure on templated friend member function

Differential Revision: https://reviews.llvm.org/D69481

4 years ago[ValueObject] Upstream early exit from swift-lldb. (NFC)
Adrian Prantl [Tue, 5 Nov 2019 20:43:00 +0000 (12:43 -0800)]
[ValueObject] Upstream early exit from swift-lldb. (NFC)

4 years ago[ValueObject] Upstream initialization from swift-lldb.
Adrian Prantl [Tue, 5 Nov 2019 19:09:27 +0000 (11:09 -0800)]
[ValueObject] Upstream initialization from swift-lldb.

This is a non-Swift-specific change in swift-lldb that seems to be
useful for remote debugging. If does in fact turn out to be redundant
we can remove it from llvm.org and then it will disappear in
swift-lldb, too.

4 years ago[Reproducer] Add test case for expression evaluation
Jonas Devlieghere [Tue, 5 Nov 2019 20:28:25 +0000 (12:28 -0800)]
[Reproducer] Add test case for expression evaluation

4 years ago[X86] Gate select->fmin/fmax transform on NoSignedZeros instead of UnsafeFPMath
Benjamin Kramer [Tue, 5 Nov 2019 20:21:29 +0000 (21:21 +0100)]
[X86] Gate select->fmin/fmax transform on NoSignedZeros instead of UnsafeFPMath

4 years agoTestBatchMode.py: add missing @skipIfRemote
Fred Riss [Tue, 5 Nov 2019 19:14:38 +0000 (11:14 -0800)]
TestBatchMode.py: add missing @skipIfRemote

All the tests in this file were already marked as skipped for remote tests
except for this one.

4 years agotestsuite: skipIfNoSBHeaders should skip when running remotely
Fred Riss [Tue, 5 Nov 2019 19:10:21 +0000 (11:10 -0800)]
testsuite: skipIfNoSBHeaders should skip when running remotely

The LLDB dylib/framework will not be available on the remote host, it makes
no sense to try to run those tests in a remote scenario.

4 years agoModernize add-dsym test Makefile
Fred Riss [Tue, 5 Nov 2019 18:56:29 +0000 (10:56 -0800)]
Modernize add-dsym test Makefile

4 years agoRevert "[lit] Better/earlier errors when no tests are executed"
Julian Lettner [Tue, 5 Nov 2019 20:10:43 +0000 (12:10 -0800)]
Revert "[lit] Better/earlier errors when no tests are executed"

This reverts commit d8f2bff75126c6dde694ad245f9807fa12ad5630.

4 years ago[AMDGPU] Removed dead code from R600ISelLowering.cpp
Stanislav Mekhanoshin [Tue, 5 Nov 2019 19:22:07 +0000 (11:22 -0800)]
[AMDGPU] Removed dead code from R600ISelLowering.cpp

This was added to inhibit a warning from gcc 7.3 according to
the comment. However, it triggers warning from PVS. In addition
I cannot reproduce it with gcc 7.4 and I also cannot reproduce
it with gcc 7.3 using compiler explorer.

Differential Revision: https://reviews.llvm.org/D69863

4 years ago[X86/Atomics] (Semantically) revert G246098, switch back to the old atomic example
Philip Reames [Tue, 5 Nov 2019 19:15:09 +0000 (11:15 -0800)]
[X86/Atomics] (Semantically) revert G246098, switch back to the old atomic example

When writing an email for a follow up proposal, I realized one of the diffs in the committed change was incorrect.  Digging into it revealed that the fix is complicated enough to require some thought, so reverting in the meantime.

The problem is visible in this diff (from the revert):
 ; X64-SSE-LABEL: store_fp128:
 ; X64-SSE:       # %bb.0:
-; X64-SSE-NEXT:    movaps %xmm0, (%rdi)
+; X64-SSE-NEXT:    subq $24, %rsp
+; X64-SSE-NEXT:    .cfi_def_cfa_offset 32
+; X64-SSE-NEXT:    movaps %xmm0, (%rsp)
+; X64-SSE-NEXT:    movq (%rsp), %rsi
+; X64-SSE-NEXT:    movq {{[0-9]+}}(%rsp), %rdx
+; X64-SSE-NEXT:    callq __sync_lock_test_and_set_16
+; X64-SSE-NEXT:    addq $24, %rsp
+; X64-SSE-NEXT:    .cfi_def_cfa_offset 8
 ; X64-SSE-NEXT:    retq
   store atomic fp128 %v, fp128* %fptr unordered, align 16
   ret void

The problem here is three fold:
1) x86-64 doesn't guarantee atomicity of anything larger than 8 bytes.  Some platforms observably break this guarantee, others don't, but the codegen isn't considering this, so it's wrong on at least some platforms.
2) When I started to track down the problem, I discovered that DAGCombiner had stripped the atomicity off the store entirely.  This comes down to idiomatic usage of DAG.getStore passing all MMO components separately as opposed to just passing the MMO.
3) On x86 (not -64), there are cases where 8 byte atomiciy is supported, but only for floating point operations.  This would seem to imply that operation typing matters for correctness, and DAGCombine happily folds away bitcasts.  I'm not 100% sure there's a problem here, but I'm not entirely sure there isn't either.

I plan on returning to each issue in turn;  sorry for the churn here.

4 years ago[HIP] Fix visibility for 'extern' device variables.
Michael Liao [Fri, 7 Jun 2019 19:08:29 +0000 (15:08 -0400)]
[HIP] Fix visibility for 'extern' device variables.

Summary:
- Fix a bug which misses the change for a variable to be set with
  target-specific attributes.

Reviewers: yaxunl

Subscribers: jvesely, nhaehnle, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D63020

4 years ago[llvm-objdump] Fix spurious "The end of the file was unexpectedly encountered" if...
Sid Manning [Tue, 5 Nov 2019 19:13:18 +0000 (11:13 -0800)]
[llvm-objdump] Fix spurious "The end of the file was unexpectedly encountered" if a SHT_NOBITS sh_offset is larger than the file size

llvm-objdump -D this file:

  int a[100000];
  int main() { return 0; }

Will produce an error: "The end of the file was unexpectedly encountered".

This happens because of a check in Binary.h checkOffset.  (Addr + Size > M.getBufferEnd()).

The sh_offset and sh_size fields can be ignored for SHT_NOBITS sections.
Fix the error by changing ELFObjectFile<ELFT>::getSectionContents to use
the file base for SHT_NOBITS sections.

Reviewed By: grimar, MaskRay

Differential Revision: https://reviews.llvm.org/D69192

4 years ago[lit] Fix `not` calling internal commands
Joel E. Denny [Tue, 5 Nov 2019 15:05:10 +0000 (10:05 -0500)]
[lit] Fix `not` calling internal commands

Without this patch, when using lit's internal shell, if `not` on a lit
RUN line calls `env`, `diff`, or any of the other in-process shell
builtins that lit implements, lit accidentally searches for the latter
as an external executable.  What's worse is that works fine when a
developer is testing on a platform where those executables are
available and behave as expected, but it then breaks on other
platforms.

`not` seems useful for some builtins, such as `diff`, so this patch
supports such uses.  `not --crash` does not seem useful for builtins,
so this patch diagnoses such uses.  In all cases, this patch ensures
shell builtins are found behind any sequence of `env` and `not`
commands.

`not` calling `env` calling an external command appears useful when
the `env` and external command are part of a lit substitution, as in
D65156.  This patch supports that by looking through any sequence of
`env` and `not` commands, building the environment from the `env`s,
and storing the `not`s.  The `not`s are then added back to the command
line without the `env`s to execute externally.  This avoids the need
to replicate the `not` implementation, in particular the `--crash`
option, in lit.

Reviewed By: rnk

Differential Revision: https://reviews.llvm.org/D66531

4 years ago[AMDGPU] Removed dead code handling M0CopyReg
Stanislav Mekhanoshin [Tue, 5 Nov 2019 18:54:03 +0000 (10:54 -0800)]
[AMDGPU] Removed dead code handling M0CopyReg

Static analyzer complains about always false condition.
See https://bugs.llvm.org/show_bug.cgi?id=43886

Differential Revision: https://reviews.llvm.org/D69860

4 years agoValueObject: Upstream early-exit from swift-lldb. (NFC)
Adrian Prantl [Tue, 5 Nov 2019 18:53:01 +0000 (10:53 -0800)]
ValueObject: Upstream early-exit from swift-lldb. (NFC)

4 years ago[dexter] Fix feature tests on Windows
Reid Kleckner [Fri, 1 Nov 2019 18:47:53 +0000 (11:47 -0700)]
[dexter] Fix feature tests on Windows

First, add LLD as a dependency on Windows. The windows batch scripts
pass -fuse-ld=lld, so they need it.

Second, decode builder stdout/stderr even if the command fails.
Otherwise it gets printed as b'line 1\n\rline 2\n\r'.

Last, make the batch script one line less noisy. We might want to try to
do more here, though. It would be nice if we could get as close to
possible as lit, where you can literally copy & paste the failing
command to re-run it.

With the two changes above, now the feature tests that use clang++.bat
pass for me. The clang-cl_vs2015 ones still fail, and I'll fix them
separately.

Reviewers: jmorse

Differential Revision: https://reviews.llvm.org/D69725

4 years ago[dexter] Remove lit check for python 3
Reid Kleckner [Fri, 1 Nov 2019 18:34:02 +0000 (11:34 -0700)]
[dexter] Remove lit check for python 3

This is checking the version of Python used to run lit, which is not
necessarily the same as the version used to run the dexter tests.  If
the tests are run via the build/bin/llvm-lit[.py] helper script, then
that is likely to pick up whatever version of Python is on PATH.
Conventionally, this will find Python 2. CMake already checks that
Python 3 is in use and puts the path to it in the lit site config, so
this check is redundant, and Python 3 will ultimately be used to run
dexter.

Reviewers: jmorse

Differential Revision: https://reviews.llvm.org/D69724

4 years ago[X86] Specifically limit fmin/fmax commutativity to NoNaNs + NoSignedZeros
Benjamin Kramer [Tue, 5 Nov 2019 18:12:44 +0000 (19:12 +0100)]
[X86] Specifically limit fmin/fmax commutativity to NoNaNs + NoSignedZeros

The backend UnsafeFPMath flag is not a superset of all the others, so
limit it to the exact bits needed.

4 years ago[globalisel] Rename G_GEP to G_PTR_ADD
Daniel Sanders [Fri, 1 Nov 2019 20:18:00 +0000 (13:18 -0700)]
[globalisel] Rename G_GEP to G_PTR_ADD

Summary:
G_GEP is rather poorly named. It's a simple pointer+scalar addition and
doesn't support any of the complexities of getelementptr. I therefore
propose that we rename it. There's a G_PTR_MASK so let's follow that
convention and go with G_PTR_ADD

Reviewers: volkan, aditya_nandakumar, bogner, rovka, arsenm

Subscribers: sdardis, jvesely, wdng, nhaehnle, hiraditya, jrtc27, atanasyan, arphaman, Petar.Avramovic, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69734

4 years ago[AMDGPU] return Fail instead of SolfFail from addOperand()
Stanislav Mekhanoshin [Mon, 4 Nov 2019 20:41:31 +0000 (12:41 -0800)]
[AMDGPU] return Fail instead of SolfFail from addOperand()

addOperand() method of AMDGPU disassembler returns SoftFail
on error. All instances which may lead to that place are
an impossible encdoing, not something which is possible to
encode, but semantically incorrect as described for SoftFail.

Then tablegen generates a check of the following form:

if (Decode...(..) == MCDisassembler::Fail) { return MCDisassembler::Fail; }

Since we can only return Success and SoftFail that is dead
code as detected by the static code analyzer.

Solution: return Fail as it should be.

See https://bugs.llvm.org/show_bug.cgi?id=43886

Differential Revision: https://reviews.llvm.org/D69819

4 years ago[clangd] Implement semantic highlightings via findExplicitReferences
Ilya Biryukov [Tue, 5 Nov 2019 18:06:12 +0000 (19:06 +0100)]
[clangd] Implement semantic highlightings via findExplicitReferences

Summary:
To keep the logic of finding locations of interesting AST nodes in one
place.

The advantage is better coverage of various AST nodes, both now and in
the future: as new nodes get added to `findExplicitReferences`, semantic
highlighting will automatically pick them up.

The drawback of this change is that we have to traverse declarations
inside our file twice in order to highlight dependent names, 'auto'
and 'decltype'. Hopefully, this should not affect the actual latency
too much, most time should be spent in building the AST and not
traversing it.

Reviewers: hokein

Reviewed By: hokein

Subscribers: nridge, merge_guards_bot, MaskRay, jkorous, arphaman, kadircet, usaxena95, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69673

4 years ago[lldb] Fix Python 3 incompatibility in API/lit.cfg.py
Jonas Devlieghere [Tue, 5 Nov 2019 18:12:05 +0000 (10:12 -0800)]
[lldb] Fix Python 3 incompatibility in API/lit.cfg.py

This code path is only taken on the sanitized bot, where it caused a
TypeError: "Can't mix strings and bytes in path components".

4 years ago[hip] Enable pointer argument lowering through coercing type.
Michael Liao [Mon, 4 Nov 2019 16:41:07 +0000 (11:41 -0500)]
[hip] Enable pointer argument lowering through coercing type.

Reviewers: tra, rjmccall, yaxunl

Subscribers: jvesely, nhaehnle, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69826

4 years ago[SLP] - Add couple safety checks to TreeEntry::dump(). NFC
Sergey Dmitriev [Tue, 5 Nov 2019 16:58:18 +0000 (08:58 -0800)]
[SLP] - Add couple safety checks to TreeEntry::dump(). NFC

Summary: Check for MainOp and AltOp for NULL before dereferencing or issue NULL.

Reviewers: Vasilis, dtemirbulatov, RKSimon, ABataev

Reviewed By: ABataev

Subscribers: mehdi_amini, hiraditya, dexonsmith, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69812

4 years ago[globalisel][docs] Add KnownBits Analysis documentation
Daniel Sanders [Wed, 30 Oct 2019 21:25:56 +0000 (14:25 -0700)]
[globalisel][docs] Add KnownBits Analysis documentation

Summary:
This is largely based off of the slides from the keynote

Depends on D69545

Reviewers: volkan, rovka, arsenm

Subscribers: wdng, arphaman, Petar.Avramovic, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69644

4 years ago[JumpThreading] Factor out code to merge basic blocks (NFC)
Kazu Hirata [Tue, 5 Nov 2019 17:46:57 +0000 (09:46 -0800)]
[JumpThreading] Factor out code to merge basic blocks (NFC)

Summary:
This patch factors out code to merge a basic block with its sole
successor -- partly for readability and partly to facilitate an
upcoming patch of my own.

Reviewers: wmi

Subscribers: hiraditya, jfb, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69852

4 years agoRevert "[Object][MachO] Rewrite macho-invalid-fat-arch-size into YAML"
Steven Wu [Tue, 5 Nov 2019 17:34:26 +0000 (09:34 -0800)]
Revert "[Object][MachO] Rewrite macho-invalid-fat-arch-size into YAML"

The invalid binary trying to construct triggers an assertion.