platform/upstream/llvm.git
4 years ago[AppleObjC2RuntimeV2] Remove dead code. NFC.
Davide Italiano [Mon, 9 Mar 2020 22:37:12 +0000 (15:37 -0700)]
[AppleObjC2RuntimeV2] Remove dead code. NFC.

4 years ago[ObjC] Dynamic type resolution logging should go to the types log.
Davide Italiano [Mon, 9 Mar 2020 22:35:24 +0000 (15:35 -0700)]
[ObjC] Dynamic type resolution logging should go to the types log.

4 years ago[tests] Add long nop test coverage for intel platforms
Philip Reames [Mon, 9 Mar 2020 22:28:24 +0000 (15:28 -0700)]
[tests] Add long nop test coverage for intel platforms

4 years agoAdd missing list.rst entry
Jonathan Roelofs [Mon, 9 Mar 2020 22:27:35 +0000 (16:27 -0600)]
Add missing list.rst entry

4 years ago[gn] Use ghash if using clang & LLD together to make PDBs
Reid Kleckner [Fri, 6 Mar 2020 22:41:48 +0000 (14:41 -0800)]
[gn] Use ghash if using clang & LLD together to make PDBs

I noticed my links were a bit slower on Windows than usual.

Reviewed By: thakis

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

4 years agorelease notes: fix new check name
Jonathan Roelofs [Mon, 9 Mar 2020 22:11:35 +0000 (16:11 -0600)]
release notes: fix new check name

4 years ago[gn build] Port 1e0669bfe05
LLVM GN Syncbot [Mon, 9 Mar 2020 21:59:49 +0000 (21:59 +0000)]
[gn build] Port 1e0669bfe05

4 years ago[clang-tidy] New check: bugprone-suspicious-include
Jonathan Roelofs [Wed, 4 Mar 2020 16:55:45 +0000 (09:55 -0700)]
[clang-tidy] New check: bugprone-suspicious-include

Detects and fixes suspicious code like: `#include "foo.cpp"`.

Inspired by: https://twitter.com/lefticus/status/1228458240364687360?s=20

https://reviews.llvm.org/D74669

4 years ago[OPENMP50]Codegen for depobj dependency kind.
Alexey Bataev [Mon, 9 Mar 2020 21:18:19 +0000 (17:18 -0400)]
[OPENMP50]Codegen for depobj dependency kind.

Implemented codegen for depobj modifier in depend clauses.

4 years ago[AMDGPU] Fix scheduling info for terminator SALU instructions
Jay Foad [Fri, 6 Mar 2020 15:35:35 +0000 (15:35 +0000)]
[AMDGPU] Fix scheduling info for terminator SALU instructions

Summary:
Instruction variants like S_MOV_B32_term should have the same SchedRW
class as the base instruction, S_MOV_B32. This probably doesn't make any
difference in practice because as terminators, they'll always be
scheduled at the end of a basic block, but it's simply more correct than
giving them all the default SchedRW class of Write32Bit, which implies a
VALU operation.

Reviewers: rampitec, arsenm, nhaehnle

Subscribers: kzhuravl, jvesely, wdng, yaxunl, dstuttard, tpr, t-tye, hiraditya, kerbowa, llvm-commits

Tags: #llvm

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

4 years agoFix internal links in Kaleidoscope tutorial
Jonathan Roelofs [Mon, 9 Mar 2020 21:07:44 +0000 (15:07 -0600)]
Fix internal links in Kaleidoscope tutorial

4 years agoFollow up of 3d9a0445cce3, clang driver defaulting to -fno-common
Sjoerd Meijer [Mon, 9 Mar 2020 20:39:52 +0000 (20:39 +0000)]
Follow up of 3d9a0445cce3, clang driver defaulting to -fno-common

Attempt to pacify windows bot where this failed:

clang/test/CodeGen/vlt_to_pointer.c

4 years ago[HIP] Fix device stub name
Yaxun (Sam) Liu [Thu, 5 Mar 2020 17:59:33 +0000 (12:59 -0500)]
[HIP] Fix device stub name

HIP emits a device stub function for each kernel in host code.

The HIP debugger requires device stub function to have a different unmangled name as the kernel.

Currently the name of the device stub function is the mangled name with a postfix .stub. However,
this does not work with the HIP debugger since the unmangled name is the same as the kernel.

This patch adds prefix __device__stub__ to the unmangled name of the device stub before mangling,
therefore the device stub function has a valid mangled name which is different than the device kernel
name. The device side kernel name is kept unchanged. kernels with extern "C" also gets the prefix added
to the corresponding device stub function.

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

4 years agoFix typo in gn files
Arthur Eubanks [Mon, 9 Mar 2020 20:02:14 +0000 (13:02 -0700)]
Fix typo in gn files

SKD -> SDK

4 years agoDon't emit pointer to int cast warnings under -Wmicrosoft-cast
Arthur Eubanks [Wed, 4 Mar 2020 21:18:59 +0000 (13:18 -0800)]
Don't emit pointer to int cast warnings under -Wmicrosoft-cast

Summary:
MSVC also warns on this:
$ cat /tmp/a.c
int f(void* p) { return (int) p; }

$ cl /c /tmp/a.c
C:/src/tmp/a.c(1): warning C4311: 'type cast': pointer truncation from
'void *' to 'int'

Warnings originally added in https://reviews.llvm.org/D72231.

Subscribers: cfe-commits

Tags: #clang

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

4 years ago[ObjC][ARC] Don't remove autoreleaseRV/retainRV pairs if the call isn't
ahatanak [Mon, 9 Mar 2020 20:20:58 +0000 (13:20 -0700)]
[ObjC][ARC] Don't remove autoreleaseRV/retainRV pairs if the call isn't
a tail call

Previosly ARC optimizer removed the autoreleaseRV/retainRV pair in the
following code, which caused the object returned by @something to be
placed in the autorelease pool because the call to @something isn't a
tail call:

```
  %call = call i8* @something(...)
  %2 = call i8* @objc_retainAutoreleasedReturnValue(i8* %call)
  %3 = call i8* @objc_autoreleaseReturnValue(i8* %2)
  ret i8* %3
```

Fix the bug by checking whether @something is a tail call.

rdar://problem/59275894

4 years ago[mlir][ods] Fix AnyInteger predicate
Lei Zhang [Mon, 9 Mar 2020 16:29:13 +0000 (16:29 +0000)]
[mlir][ods] Fix AnyInteger predicate

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

4 years agoAMDGPU/GlobalISel: Improve handling of illegal return types
Matt Arsenault [Sat, 22 Feb 2020 15:00:38 +0000 (10:00 -0500)]
AMDGPU/GlobalISel: Improve handling of illegal return types

Most importantly, this fixes ret i8. Also make sure to handle
signext/zeroext for odd types > i32. Some of the corresponding
argument passing fixes also need to be handled.

4 years agoRecommit #2 "[Driver] Default to -fno-common for all targets"
Sjoerd Meijer [Mon, 9 Mar 2020 19:25:24 +0000 (19:25 +0000)]
Recommit #2 "[Driver] Default to -fno-common for all targets"

After a first attempt to fix the test-suite failures, my first recommit
caused the same failures again. I had updated CMakeList.txt files of
tests that needed -fcommon, but it turns out that there are also
Makefiles which are used by some bots, so I've updated these Makefiles
now too.

See the original commit message for more details on this change:
0a9fc9233e172601e26381810d093e02ef410f65

4 years agoAMDGPU: Make signext/zeroext behave more sensibly over > i32
Matt Arsenault [Mon, 24 Feb 2020 20:43:18 +0000 (15:43 -0500)]
AMDGPU: Make signext/zeroext behave more sensibly over > i32

Interpret these as extending to the next multiple of 32-bits. This had
no effect with i48 for example, which is really split into {i32, i16},
which should extend the high part.

4 years ago[lldb] Add .clang-tidy with customization to disable readability-identifier-naming
Fangrui Song [Sat, 7 Mar 2020 17:21:03 +0000 (09:21 -0800)]
[lldb] Add .clang-tidy with customization to disable readability-identifier-naming

Reviewed By: JDevlieghere

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

4 years ago[Hexagon] Refactor handling of circular load/store builtins, NFC
Krzysztof Parzyszek [Mon, 9 Mar 2020 19:38:33 +0000 (14:38 -0500)]
[Hexagon] Refactor handling of circular load/store builtins, NFC

4 years agoPermit attribute 'used' with 'target' multiversioning.
Erich Keane [Mon, 9 Mar 2020 17:15:45 +0000 (10:15 -0700)]
Permit attribute 'used' with 'target' multiversioning.

This adds infrastructure for a multiversioning whitelist, plus adds
'used' to the allowed list with 'target'.  The behavior here mirrors the
implementation in GCC, where 'used' only applies to the single
declaration and doesn't apply to the ifunc or resolver.

This is not being applied to cpu_dispatch and cpu_specific, since the
rules are more complicated for cpu_specific, which emits multiple
symbols. Additionally, the author isn't currently aware of uses in the
wild of this combination, but is aware of a number of target+used
combinations.

4 years agoAMDGPU/GlobalISel: Start matching s_lshlN_add_u32 instructions
Matt Arsenault [Fri, 21 Feb 2020 01:26:41 +0000 (20:26 -0500)]
AMDGPU/GlobalISel: Start matching s_lshlN_add_u32 instructions

Use a hack to only enable this for GlobalISel.

Technically this also works with SelectionDAG, but the divergence
selection isn't reliable enough and a few cases fail, but I have no
desire to spend time writing the manual expansion code for it. The DAG
actually does a better job since it catches using v_add_lshl_u32 in
the mixed SGPR/VGPR cases.

4 years agoFix the type of the capture passed to LambdaIntroducer::addCapture in
Akira Hatanaka [Thu, 5 Mar 2020 02:35:07 +0000 (18:35 -0800)]
Fix the type of the capture passed to LambdaIntroducer::addCapture in
RebuildLambdaScopeInfo

Previously the type of the variable was being passed, which was causing
clang to crash when a non-reference variable was captured by reference
or a reference variable was captured by value by a lambda and a block
nested inside the lambda body was referencing the variable.

Original patch by JF Bastien.

rdar://problem/47550338

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

4 years ago[AArch64][SVE] Add missing fp16 DestructiveInstType tests
Cameron McInally [Mon, 9 Mar 2020 18:29:16 +0000 (13:29 -0500)]
[AArch64][SVE] Add missing fp16 DestructiveInstType tests

These tests should have been added with a5b22b768f5a in D73711.

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

4 years ago[libc++] Enable std::function ABI bug demonstration on Apple Clang too
Louis Dionne [Mon, 9 Mar 2020 19:03:16 +0000 (15:03 -0400)]
[libc++] Enable std::function ABI bug demonstration on Apple Clang too

4 years ago[www] cxx_status: Update Reflection TS to Cologne draft
Hubert Tong [Mon, 9 Mar 2020 18:09:00 +0000 (14:09 -0400)]
[www] cxx_status: Update Reflection TS to Cologne draft

Summary:
As of the 2019 Cologne meeting, according to its minutes (N4826), N4818
is the draft of the Reflection TS.

Reviewers: rsmith, aaron.ballman

Reviewed By: aaron.ballman

Subscribers: cfe-commits

Tags: #clang

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

4 years ago[www] cxx_status: Update title to mention C++20
Hubert Tong [Mon, 9 Mar 2020 18:17:34 +0000 (14:17 -0400)]
[www] cxx_status: Update title to mention C++20

Summary:
The document covers the Clang implementation status of the "upcoming
C++20 standard". Update the title to match.

Reviewers: rsmith, aaron.ballman

Reviewed By: aaron.ballman

Subscribers: cfe-commits

Tags: #clang

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

4 years ago[X86][SSE] SimplifyDemandedVectorEltsForTargetNode - reduce vector width of X86ISD...
Simon Pilgrim [Mon, 9 Mar 2020 17:35:37 +0000 (17:35 +0000)]
[X86][SSE] SimplifyDemandedVectorEltsForTargetNode - reduce vector width of X86ISD::BLENDI

If we don't need the upper subvector elements of the BLENDI node then use a smaller vector size.

This causes a couple of minor regressions in insertelement-ones.ll which are more examples of PR26018; given how cheap allones generation is I don't consider that a showstopper, just an annoyance (and there's plenty of other poor codegen cases in that file).

4 years ago[X86] Teach combineToExtendBoolVectorInReg to create opportunities for using broadcas...
Craig Topper [Mon, 9 Mar 2020 17:35:31 +0000 (10:35 -0700)]
[X86] Teach combineToExtendBoolVectorInReg to create opportunities for using broadcast load instructions.

If we're inserting a scalar that is smaller than the element
size of the final VT, the value of the extra bits doesn't matter.

Previously we any_extended in the scalar domain before inserting.

This patch changes this to use a broadcast of the original
scalar type and then a bitcast to the final type. This might
enable the use of a broadcast load.

This recovers regressions from 07d68c24aa19483e44db4336b0935b00a5d69949
and 9fcd212e2f678fdbdf304399a1e58ca490dc54d1 without relying on
alignment of the load.

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

4 years agoTest that volatile load type isn't changed
JF Bastien [Wed, 4 Mar 2020 21:51:35 +0000 (13:51 -0800)]
Test that volatile load type isn't changed

Summary: As discussed in D75505, it's not particularly useful to change the type of a load to/from floating-point/integer because it's followed by a bitcast, and it might lead to surprising code generation. Check that this doesn't generally happen.

Reviewers: lebedev.ri

Subscribers: jkorous, dexonsmith, ributzka, llvm-commits

Tags: #llvm

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

4 years agoDrop HEADER_ per review feedback on D74669
Jonathan Roelofs [Mon, 9 Mar 2020 17:56:10 +0000 (11:56 -0600)]
Drop HEADER_ per review feedback on D74669

4 years ago[clang-format] Correct indentation for `[key] = value,` entries in C++ object initial...
Jonathan Coe [Mon, 9 Mar 2020 18:00:03 +0000 (18:00 +0000)]
[clang-format] Correct indentation for `[key] = value,` entries in C++ object initialisers

Summary: Do not use continuation indent for '[' in blocks in C# code.

Reviewers: krasimir

Reviewed By: krasimir

Subscribers: cfe-commits

Tags: #clang-format, #clang

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

4 years ago[gn build] Port 3486cc014b2
LLVM GN Syncbot [Mon, 9 Mar 2020 17:56:57 +0000 (17:56 +0000)]
[gn build] Port 3486cc014b2

4 years agoAdd test missed in r843a9778fcd5
Jeremy Stenglein [Mon, 9 Mar 2020 17:50:05 +0000 (10:50 -0700)]
Add test missed in r843a9778fcd5

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

4 years ago[InstSimplify] Simplify calls with "returned" attribute
Nikita Popov [Sat, 7 Mar 2020 15:34:34 +0000 (16:34 +0100)]
[InstSimplify] Simplify calls with "returned" attribute

If a call argument has the "returned" attribute, we can simplify
the call to the value of that argument. The "-inst-simplify" pass
already handled this for the constant integer argument case via
known bits, which is invoked in SimplifyInstruction. However,
non-constant (or non-int) arguments are not handled at all right now.

This addresses one of the regressions from D75801.

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

4 years agoFix indentation using clang-format for Spiller.h. NFC
Marcello Maggioni [Sun, 8 Mar 2020 17:55:21 +0000 (10:55 -0700)]
Fix indentation using clang-format for Spiller.h. NFC
Spiller.h had indentation that doesn't match LLVM guidelines. Fixing it

Reviewers: qcolombet, arsenm

Subscribers: MatzeB, wdng, hiraditya, llvm-commits, qcolombet

Tags: #llvm

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

4 years agoMove Spiller.h from lib/ directory path to include/CodeGen. NFC
Marcello Maggioni [Sun, 8 Mar 2020 16:36:29 +0000 (09:36 -0700)]
Move Spiller.h from lib/ directory path to include/CodeGen. NFC

This allows Spiller.h to be used and included outside of
the lib/CodeGen directory. For example to be used in the
lib/Target directory or other places.

4 years ago[InstCombine] Don't simplify calls without uses
Nikita Popov [Sat, 7 Mar 2020 19:21:09 +0000 (20:21 +0100)]
[InstCombine] Don't simplify calls without uses

When simplifying a call without uses, replaceInstUsesWith() is
going to do nothing, but we'll skip all following folds. We can
only run into this problem with calls that both simplify and are
not trivially dead if unused, which currently seems to happen only
with calls to undef, as the test diff shows. When extending
SimplifyCall() to handle "returned" attributes, this becomes a much
bigger problem, so I'm fixing this first.

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

4 years ago[InstSimplify] Don't simplify musttail calls
Nikita Popov [Sun, 8 Mar 2020 12:11:46 +0000 (13:11 +0100)]
[InstSimplify] Don't simplify musttail calls

As pointed out by jdoerfert on D75815, we must be careful when
simplifying musttail calls: We can only replace the return value
if we can eliminate the call entirely. As we can't make this
guarantee for all consumers of InstSimplify, this patch disables
simplification of musttail calls. Without this patch, musttail
simplification currently results in module verification errors.

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

4 years agoAdd a warning for builtin_return_address/frame_address with > 0 argument
Jeremy Stenglein [Mon, 9 Mar 2020 17:17:15 +0000 (10:17 -0700)]
Add a warning for builtin_return_address/frame_address with > 0 argument

Clang is missing a warning for
builtin_return_address/builtin_frame_address called with > 0 argument.
Gcc provides a warning for this via -Wframe-address:

https://gcc.gnu.org/onlinedocs/gcc/Return-Address.html

As calling these functions with argument > 0 has caused several crashes
for us, we would like to have the same warning as gcc here. This diff
adds the warning and makes it part of -Wmost.

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

4 years ago[clang-format] C# does not indent braced initializers as continuations
Jonathan Coe [Mon, 9 Mar 2020 17:33:53 +0000 (17:33 +0000)]
[clang-format] C# does not indent braced initializers as continuations

Summary: C# treats object initializers as braced init blocks. Braced init blocks are no longer indented as continuations.

Reviewers: krasimir

Reviewed By: krasimir

Subscribers: cfe-commits

Tags: #clang-format, #clang

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

4 years ago[mlir][Vector] Add a vector.matrix_multiply op on 1-D vectors
Nicolas Vasilache [Mon, 9 Mar 2020 17:29:13 +0000 (13:29 -0400)]
[mlir][Vector] Add a vector.matrix_multiply op on 1-D vectors

Summary: This op mirrors the llvm.intr counterpart and allows lowering + type conversions in a progressive fashion.

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

4 years ago[clang-tidy] Use ; as separator for HeaderFileExtensions
Jonathan Roelofs [Wed, 4 Mar 2020 16:55:03 +0000 (09:55 -0700)]
[clang-tidy] Use ; as separator for HeaderFileExtensions

... and deprecate use of ',' for the same.

https://reviews.llvm.org/D75621

4 years ago[clang-tidy] Generalize HeaderFileExtensions.{h,cpp}. NFC
Jonathan Roelofs [Tue, 25 Feb 2020 17:41:32 +0000 (10:41 -0700)]
[clang-tidy] Generalize HeaderFileExtensions.{h,cpp}. NFC

https://reviews.llvm.org/D75489

4 years ago[clang-format] cleanup from D75517
Jonathan Coe [Mon, 9 Mar 2020 17:10:09 +0000 (17:10 +0000)]
[clang-format] cleanup from D75517

Summary:
Fix typo in comment.

Add closing brace to test text.

Reviewers: krasimir

Subscribers: cfe-commits

Tags: #clang-format, #clang

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

4 years ago[mlir][Vector] Allow lowering of vector.shape_cast 2D <-> 1D
Nicolas Vasilache [Mon, 9 Mar 2020 17:13:56 +0000 (13:13 -0400)]
[mlir][Vector] Allow lowering of vector.shape_cast 2D <-> 1D

Summary:
This will support the progressive lowering of:
```
vector.contract ->
  downcast + vector.matrix_multiply + upcast ->
    llvm.intr.matrix
```

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

4 years ago[mlir][LLVM] Add remaining llvm.matrix intrinsics
Nicolas Vasilache [Mon, 9 Mar 2020 17:00:45 +0000 (13:00 -0400)]
[mlir][LLVM] Add remaining llvm.matrix intrinsics

Summary:
This revision adds intrinsics for transpose, columnwise.load and columnwise.store
achieving full coverage of the llvm.matrix intrinsics.

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

4 years ago[lldb/Process] Update ThreadKDP for API change
Jonas Devlieghere [Mon, 9 Mar 2020 16:59:06 +0000 (09:59 -0700)]
[lldb/Process] Update ThreadKDP for API change

GetUnwinder now returns a reference instead of a pointer.

4 years ago[mlir] NFC - Add predicates and types for VectorOfRank
Nicolas Vasilache [Mon, 9 Mar 2020 16:53:04 +0000 (12:53 -0400)]
[mlir] NFC - Add predicates and types for VectorOfRank

Summary:
This is the counterpart of VectorOfLength for ranks.
This will be used in lowering vector.contract operations to llvm.matrix

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

4 years ago[Polly] Replace use of std::stringstream. NFC.
Michael Kruse [Mon, 9 Mar 2020 16:15:14 +0000 (11:15 -0500)]
[Polly] Replace use of std::stringstream. NFC.

Use of std::-style (io)streams is discouraged in the LLVM coding style
(https://llvm.org/docs/CodingStandards.html#include-iostream-is-forbidden).
Replace with a use of llvm::Twine (which uses llvm::raw_ostream behind
the scenes).

4 years ago[mlir] [ExecutionEngine] add option to enable/disable GDB notification listener
aartbik [Sat, 7 Mar 2020 01:01:18 +0000 (17:01 -0800)]
[mlir] [ExecutionEngine] add option to enable/disable GDB notification listener

Summary:
This way, clients can opt-out of the GDB notification listener. Also, this
changes the semantics of enabling the object cache, which seemed the wrong
way around.

Reviewers: rriddle, nicolasvasilache, ftynse, andydavis1

Reviewed By: nicolasvasilache

Subscribers: mehdi_amini, rriddle, jpienaar, burmako, shauheen, antiagainst, nicolasvasilache, arpith-jacob, mgester, lucyrfox, liufengdb, Joonsoo, llvm-commits

Tags: #llvm

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

4 years ago[ARM,CDE] Implement CDE feature test macros
Mikhail Maltsev [Mon, 9 Mar 2020 16:13:02 +0000 (16:13 +0000)]
[ARM,CDE] Implement CDE feature test macros

Summary:
This patch implements feature test macros for the CDE extension
according to the upcoming ACLE specification.

The following 2 macros are being added:
- __ARM_FEATURE_CDE - defined as '1' when any coprocessor is
  configured as a CDE coprocessor
- __ARM_FEATURE_CDE_COPROC - defined as an 8-bit mask, each bit of the
  mask corresponds to a coprocessor and is set when the corresponding
  coprocessor is configured as CDE (and cleared otherwise).

The patch also exposes the value of __ARM_FEATURE_CDE_COPROC in the
target-independent method TargetInfo::getARMCDECorpocMask, the method
will be used in follow-up patches implementing semantic checks of CDE
intrinsics (we want to diagnose the cases when CDE intrinsics are used
with coprocessors that are not configured as CDE).

Reviewers: simon_tatham, dmgreen, ostannard, MarkMurrayARM

Reviewed By: simon_tatham

Subscribers: kristof.beyls, danielkiss, cfe-commits

Tags: #clang

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

4 years ago[RISCV] Add new SchedRead SchedWrite
Shiva Chen [Mon, 24 Feb 2020 06:21:26 +0000 (14:21 +0800)]
[RISCV] Add new SchedRead SchedWrite

The patch fixes some typos and introduces ReadFMemBase, ReadFSGNJ32,
ReadFSGNJ64, WriteFSGNJ32, WriteFSGNJ64, ReadFMinMax32, ReadFMinMax64,
WriteFMinMax32, WriteFMinMax64, so the target CPU with different pipeline model
could use them to describe latency.

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

4 years ago[AMDGPU] Remove unused SchedWrite class
Jay Foad [Mon, 9 Mar 2020 16:08:28 +0000 (16:08 +0000)]
[AMDGPU] Remove unused SchedWrite class

4 years ago[gn build] Port 882f589e20d
LLVM GN Syncbot [Mon, 9 Mar 2020 16:03:39 +0000 (16:03 +0000)]
[gn build] Port 882f589e20d

4 years agoRevert "[AssumeBundles] Move to IR so it can be used by Analysis"
Jonas Devlieghere [Mon, 9 Mar 2020 15:56:03 +0000 (08:56 -0700)]
Revert "[AssumeBundles] Move to IR so it can be used by Analysis"

This breaks the modules build:

http://green.lab.llvm.org/green/job/clang-stage2-Rthinlto/
http://green.lab.llvm.org/green/view/LLDB/job/lldb-cmake/

This reverts commit 57c964aaa76bfaa908398fbd9d8c9d6d19856859.

4 years ago[analyzer][NFC] Refactor the checker registration unit test file
Kirstóf Umann [Thu, 12 Sep 2019 20:20:58 +0000 (22:20 +0200)]
[analyzer][NFC] Refactor the checker registration unit test file

Nothing exciting to see here! The new interface allows for more fine tuning
(register but disable a checker, add custom checker registry functions, etc),
that was basically the point.

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

4 years ago[lldb/test] Fix arch arm for 32-bit armv7l/armv8l
Muhammad Omair Javaid [Mon, 9 Mar 2020 15:28:13 +0000 (20:28 +0500)]
[lldb/test] Fix arch arm for 32-bit armv7l/armv8l

This patch forces architecture "arm" if underlying os reports core
armv7l or armv8l. On linux systems 32 bit sysroot running on 64bit
AArch64 hardware reports armv7l or armv8l which is essently arm
32bit mode. This fixes 5 testcases on 32bit arm.

4 years ago[ELF] Postpone evaluation of ORIGIN/LENGTH in a MEMORY command
Fangrui Song [Fri, 6 Mar 2020 19:49:58 +0000 (11:49 -0800)]
[ELF] Postpone evaluation of ORIGIN/LENGTH in a MEMORY command

```
createFiles(args)
 readDefsym
 readerLinkerScript(*mb)
  ...
   readMemory
    readMemoryAssignment("ORIGIN", "org", "o") // eagerly evaluated
target = getTarget();
link(args)
 writeResult<ELFT>()
  ...
   finalizeSections()
    script->processSymbolAssignments()
     addSymbol(cmd) // with this patch, evaluated here
```

readMemoryAssignment eagerly evaluates ORIGIN/LENGTH and returns an uint64_t.
This patch postpones the evaluation to make

* --defsym and symbol assignments
* `CONSTANT(COMMONPAGESIZE)` (requires a non-null `lld::elf::target`)

work. If the expression somehow requires interaction with memory
regions, the circular dependency may cause the expression to evaluate to
a strange value. See the new test added to memory-err.s

Reviewed By: grimar

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

4 years agoFix Target Multiversioning renaming.
Erich Keane [Mon, 9 Mar 2020 15:06:58 +0000 (08:06 -0700)]
Fix Target Multiversioning renaming.

The initial implementation only did 'first declaration renaming' when
a default version came after. This is insufficient in cases where a
default does not exist, so this patch makes sure that we do the renaming
in all cases.

This renaming is necessary because we emit the first declaration before
knowing that it IS a target multiversion function, which would change
its name. The second declaration (the one that caused the
multiversioning) then needs to make sure that the first one has its name
changed to be consistent with the resolver usage.

4 years ago[lld] Add .clang-tidy to customize readability-identifier-naming.{Member,Parameter...
Fangrui Song [Sat, 7 Mar 2020 17:10:50 +0000 (09:10 -0800)]
[lld] Add .clang-tidy to customize readability-identifier-naming.{Member,Parameter,Variable}Case => camelBack

lld/.clang-tidy is almost identical to the top-level .clang-tidy, with the aforementioned customization.

Reviewed By: ruiu

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

4 years ago[llvm-objdump] Rename --disassemble-functions to --disassemble-symbols
Fangrui Song [Sat, 7 Mar 2020 20:55:44 +0000 (12:55 -0800)]
[llvm-objdump] Rename --disassemble-functions to --disassemble-symbols

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

The feature can disassemble data and the new option name reflects its
more generic usage.

Reviewed By: jhenderson

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

4 years ago[lldb] Fix windows build, second attempt
Pavel Labath [Mon, 9 Mar 2020 15:24:34 +0000 (16:24 +0100)]
[lldb] Fix windows build, second attempt

4 years ago[llvm-objdump][test] Move binary format specific tests under COFF/ ELF/ MachO/ XCOFF...
Fangrui Song [Sat, 7 Mar 2020 05:49:40 +0000 (21:49 -0800)]
[llvm-objdump][test] Move binary format specific tests under COFF/ ELF/ MachO/ XCOFF/ wasm/

Reviewed By: grimar

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

4 years ago[clangd] Bump vscode-clangd v0.0.21.
Haojian Wu [Mon, 9 Mar 2020 14:36:49 +0000 (15:36 +0100)]
[clangd] Bump vscode-clangd v0.0.21.

CHANGELOG:
- better ranking for completions
- enable dot-to-arrow fix in code completion

4 years ago[MLIR] Change custom printer/parser for loop.parallel and loop.reduce.
Alexander Belyaev [Mon, 9 Mar 2020 14:03:33 +0000 (15:03 +0100)]
[MLIR] Change custom printer/parser for loop.parallel and loop.reduce.

4 years ago[Hexagon] Fix match pattern in a testcase
Krzysztof Parzyszek [Mon, 9 Mar 2020 14:08:02 +0000 (09:08 -0500)]
[Hexagon] Fix match pattern in a testcase

4 years ago[lldb] Fix windows&freebsd builds for c0b1af68
Pavel Labath [Mon, 9 Mar 2020 13:55:43 +0000 (14:55 +0100)]
[lldb] Fix windows&freebsd builds for c0b1af68

4 years ago[Analyzer] Mark constant member functions const in CheckerManager
Adam Balogh [Mon, 9 Mar 2020 09:48:56 +0000 (10:48 +0100)]
[Analyzer] Mark constant member functions const in CheckerManager

Most of the getter functions (and a reporter function) in
`CheckerManager` are constant but not marked as `const`. This prevents
functions having only a constant reference to `CheckerManager` using
these member functions. This patch fixes this issue.

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

4 years ago[pstl] Clean up parameter uglifications
Thomas Rodgers [Mon, 9 Mar 2020 13:15:45 +0000 (09:15 -0400)]
[pstl] Clean up parameter uglifications

Summary: These were overlooked on an earlier uglification pass.

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

4 years ago[lldb] Return Unwinder& from Thread::GetUnwinder
Pavel Labath [Mon, 9 Mar 2020 13:10:41 +0000 (14:10 +0100)]
[lldb] Return Unwinder& from Thread::GetUnwinder

The function always returns a valid object. Let the return type reflect
that, and remove some null checks.

4 years ago[clangd][vscode] Enable dot-to-arrow fixes in clangd completion.
Haojian Wu [Fri, 6 Mar 2020 14:08:23 +0000 (15:08 +0100)]
[clangd][vscode] Enable dot-to-arrow fixes in clangd completion.

Summary:
The previous issue is that the item was filtered out by vscode, because
the prefix (which contains ".") are not matched against the filterText.

This patch works around it by adjusting the item filterText, inspired by
https://reviews.llvm.org/D75623.

Reviewers: sammccall

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

Tags: #clang

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

4 years ago[DebugInfo] Add check for .debug_line minimum_instruction_length of 0
James Henderson [Tue, 25 Feb 2020 16:07:16 +0000 (16:07 +0000)]
[DebugInfo] Add check for .debug_line minimum_instruction_length of 0

If the minimum_instruction_length of a debug line program is 0, no
address advancing via special opcodes, DW_LNS_const_add_pc, and
DW_LNS_advance_pc can occur, since the minimum_instruction_length is
used in a multiplication. This patch adds a warning reporting when this
issue occurs.

Reviewed by: probinson

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

4 years ago[DebugInfo] Prevent crash when .debug_line line_range is zero
James Henderson [Tue, 25 Feb 2020 15:08:07 +0000 (15:08 +0000)]
[DebugInfo] Prevent crash when .debug_line line_range is zero

The line_range value of a debug line program header is used in divisions
related to special opcodes and DW_LNS_const_add_pc opcodes. As such, a
value of 0 cannot be used. This change introduces a new warning, if such
a situation is identified, and does not perform the relevant
calculations.

Reviewed by: probinson, aprantl

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

4 years ago[DebugInfo] Report unsupported maximum_operations_per_instruction values
James Henderson [Wed, 19 Feb 2020 15:03:01 +0000 (15:03 +0000)]
[DebugInfo] Report unsupported maximum_operations_per_instruction values

This patch adds a check which reports an unsupported value of the
maximum_operations_per_instruction field in a debug line table header.
This is reported once per line table, at most, and only if the tablet
would otherwise need to use it (i.e. never for tables with version 3 or
less, or for tables which don't use DW_LNS_const_add_pc or special
opcodes). Unsupported values are currently any apart from 1.

Reviewed by: probinson, MaskRay

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

4 years ago[NFC][DebugInfo] Refactor address advancing operations to share code
James Henderson [Wed, 19 Feb 2020 14:03:02 +0000 (14:03 +0000)]
[NFC][DebugInfo] Refactor address advancing operations to share code

This change is a preparatory change for subsequent commits.

Reviewed by: probinson

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

4 years ago[lldb] Reduce duplication in the Disassembler class
Pavel Labath [Thu, 5 Mar 2020 13:42:03 +0000 (14:42 +0100)]
[lldb] Reduce duplication in the Disassembler class

Summary:
The class has two pairs of functions whose functionalities differ in
only how one specifies how much he wants to disasseble. One limits the
process by the size of the input memory region. The other based on the
total amount of instructions disassembled. They also differ in various
features (like error reporting) that were only added to one of the
versions.

There are various ways in which this could be addressed. This patch
does it by introducing a helper struct called "Limit", which is
effectively a pair specifying the value that you want to limit, and the
actual limit itself.

Reviewers: JDevlieghere

Subscribers: sdardis, jrtc27, atanasyan, lldb-commits

Tags: #lldb

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

4 years ago[XRay] Sanitize DOT labels in graph output
Alex Cameron [Mon, 9 Mar 2020 11:58:12 +0000 (11:58 +0000)]
[XRay] Sanitize DOT labels in graph output

Summary:
Bugzilla: https://bugs.llvm.org/show_bug.cgi?id=39701

This patch is to convert certain characters to their XML escape sequences when generating labels for a DOT graph.

I had trouble reproducing the exact issue described on the tracker. I ran `llvm-xray graph` on a log from a test program that included function templates but wasn't able to get the `dot` tool to complain about the `<` and `>` characters. The documentation also suggests that the escape sequences should only be necessary when using HTML string labels which XRay doesn't use (`label=<...>` as opposed to `label="..."`). Perhaps newer versions of Graphviz silently handle this in the case of quoted-string labels.

In any case, the generated labels still look correct after this patch and should also fix the reporter's issue.

I was a bit unsure how to add a test for this since the existing tests seem to only care about `func-id` rather than giving an actual name. If you could give me a hint on the best way to go about this, that'd be much appreciated!

Reviewers: dberris

Reviewed By: dberris

Subscribers: lebedev.ri, llvm-commits

Tags: #llvm

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

4 years ago[WPD] Provide a way to prevent functions from being devirtualized
evgeny [Mon, 9 Mar 2020 11:05:15 +0000 (14:05 +0300)]
[WPD] Provide a way to prevent functions from being devirtualized

Differential revision: https://reviews.llvm.org/D75617

4 years ago[CallSiteInfo] Enable the call site info only for -g + optimizations
Djordje Todorovic [Mon, 9 Mar 2020 10:02:35 +0000 (11:02 +0100)]
[CallSiteInfo] Enable the call site info only for -g + optimizations

Emit call site info only in the case of '-g' + 'O>0' level.

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

4 years ago[analyzer] Skip analysis of inherited ctor as top-level function
Gabor Marton [Mon, 9 Mar 2020 10:58:20 +0000 (11:58 +0100)]
[analyzer] Skip analysis of inherited ctor as top-level function

Summary:
This fixes a regression introduced in https://reviews.llvm.org/D74735

Reviewers: NoQ, Szelethus

Tags: #clang

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

4 years ago[ASTImporter] Added visibility check for variable templates.
Balázs Kéri [Mon, 9 Mar 2020 10:01:48 +0000 (11:01 +0100)]
[ASTImporter] Added visibility check for variable templates.

Summary:
ASTImporter makes now difference between variable templates
with same name in different translation units if not visible
outside.

Reviewers: a.sidorin, shafik, a_sidorin

Reviewed By: a_sidorin

Subscribers: dkrupp, Szelethus, gamesh411, teemperor, martong, cfe-commits

Tags: #clang

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

4 years agoRevert "Recommit "[Driver] Default to -fno-common for all targets""
Sjoerd Meijer [Mon, 9 Mar 2020 10:37:28 +0000 (10:37 +0000)]
Revert "Recommit "[Driver] Default to -fno-common for all targets""

This reverts commit 2c36c23f3476baf3b9283ea387c579419a70b112.

Still problems in the test-suite, which I really thought I had fixed...

4 years ago[OpenCL] Fix 'any' and 'all' builtins
Sven van Haastregt [Mon, 9 Mar 2020 10:26:11 +0000 (10:26 +0000)]
[OpenCL] Fix 'any' and 'all' builtins

These should only be defined for signed integer types according to
OpenCL v2.0 s6.12.6.

4 years ago[AArch64] Add support for Fujitsu A64FX
KAWASHIMA Takahiro [Tue, 3 Mar 2020 12:52:27 +0000 (21:52 +0900)]
[AArch64] Add support for Fujitsu A64FX

A64FX is an Armv8.2-A CPU used in FUJITSU Supercomputer
PRIMEHPC FX1000, PRIMEHPC FX700, and supercomputer Fugaku.

https://www.fujitsu.com/global/products/computing/servers/supercomputer/specifications/

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

4 years agoRecommit "[Driver] Default to -fno-common for all targets"
Sjoerd Meijer [Mon, 9 Mar 2020 10:07:37 +0000 (10:07 +0000)]
Recommit "[Driver] Default to -fno-common for all targets"

This includes fixes for:
- test-suite: some benchmarks need to be compiled with -fcommon, see D75557.
- compiler-rt: one test needed -fcommon, and another a change, see D75520.

4 years ago[Analyzer][StreamChecker] Check for opened stream before operations.
Balázs Kéri [Mon, 9 Mar 2020 09:15:31 +0000 (10:15 +0100)]
[Analyzer][StreamChecker] Check for opened stream before operations.

Summary:
According to documentations, after an `fclose` call any other stream
operations cause undefined behaviour, regardless if the close failed
or not.
This change adds the check for the opened state before all other
(applicable) operations.

Reviewers: Szelethus

Reviewed By: Szelethus

Subscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, gamesh411, Charusso, martong, cfe-commits

Tags: #clang

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

4 years ago[ExpandMemCmp] Properly constant-fold all compares.
Clement Courbet [Tue, 3 Mar 2020 12:17:21 +0000 (13:17 +0100)]
[ExpandMemCmp] Properly constant-fold all compares.

Summary:
This gets rid of duplicated code and diverging behaviour w.r.t.
constants.
Fixes PR45086.

Subscribers: hiraditya, llvm-commits

Tags: #llvm

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

4 years agoFix build failure from rG223a43ee8d89
Nathan James [Mon, 9 Mar 2020 08:12:52 +0000 (08:12 +0000)]
Fix build failure from rG223a43ee8d89

4 years ago[ExpandMemCmp] Properly constant-fold all compares.
Clement Courbet [Tue, 3 Mar 2020 12:17:21 +0000 (13:17 +0100)]
[ExpandMemCmp] Properly constant-fold all compares.

Summary:
This gets rid of duplicated code and diverging behaviour w.r.t.
constants.
Fixes PR45086.

Subscribers: hiraditya, llvm-commits

Tags: #llvm

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

4 years ago[lldb/test] Remove skip arm/aarch64 decorator from instruction counting tests
Muhammad Omair Javaid [Mon, 9 Mar 2020 07:52:08 +0000 (12:52 +0500)]
[lldb/test] Remove skip arm/aarch64 decorator from instruction counting tests

This patch removes skipIf decorator from instruction counting tests.
We now use inline intruction in testing inferior to make sure that
number of instructions stays fixed. This was tested on aarch64 linux.

4 years ago[clang-tidy] [NFC] Remove unnecessary matchers
Nathan James [Mon, 9 Mar 2020 00:48:51 +0000 (00:48 +0000)]
[clang-tidy] [NFC] Remove unnecessary matchers

Reviewers: aaron.ballman, alexfh, gribozavr2

Reviewed By: aaron.ballman

Subscribers: wuzish, nemanjai, xazax.hun, kbarton, cfe-commits

Tags: #clang, #clang-tools-extra

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

4 years agoadd extern "C" to __errno_location's definition if in __cplusplus file
Alex Brachet [Mon, 9 Mar 2020 07:10:59 +0000 (03:10 -0400)]
add extern "C" to __errno_location's definition if in __cplusplus file

4 years ago[Attributor] Deduction based on path exploration
Hideto Ueno [Mon, 9 Mar 2020 05:19:32 +0000 (14:19 +0900)]
[Attributor] Deduction based on path exploration

This patch introduces the propagation of known information based on path exploration.
For example,
```
int u(int c, int *p){
  if(c) {
     return *p;
  } else {
     return *p + 1;
  }
}
```
An argument `p` is dereferenced whatever c's value is.

For an instruction `CtxI`, we accumulate branch instructions in the must-be-executed-context of `CtxI` and then, we take the conjunction of the successors' known state.

Reviewed By: jdoerfert

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

4 years ago[MLIR] NFC: modernize affine loop fusion test cases
Uday Bondhugula [Mon, 9 Mar 2020 04:27:26 +0000 (04:27 +0000)]
[MLIR] NFC: modernize affine loop fusion test cases

- update test case for readability, avoid unnecessary matches

Signed-off-by: Uday Bondhugula <uday@polymagelabs.com>
Differential Revision: https://reviews.llvm.org/D75823

4 years ago[MLIR][Affine] NFC: add convenience method for affine data copy for a loop body
Uday Bondhugula [Mon, 9 Mar 2020 04:21:40 +0000 (04:21 +0000)]
[MLIR][Affine] NFC: add convenience method for affine data copy for a loop body

add convenience method for affine data copy generation for a loop body

Signed-off-by: Uday Bondhugula <uday@polymagelabs.com>
Differential Revision: https://reviews.llvm.org/D75822

4 years ago[X86] Remove isel patterns that matched vXi16 X86VBroadcast with i8->i16 aextload...
Craig Topper [Sun, 8 Mar 2020 22:54:05 +0000 (15:54 -0700)]
[X86] Remove isel patterns that matched vXi16 X86VBroadcast with i8->i16 aextload input.

This was selecting VBROADCASTW which turned the 8-bit load into
a 16-bit load if it happened to be 2 byte aligned.

I have a plan to fix the regression with a follow up patch
which I'll post shortly.

4 years ago[ASTMatchers] adds isComparisonOperator to BinaryOperator and CXXOperatorCallExpr
Nathan James [Sat, 7 Mar 2020 09:51:43 +0000 (09:51 +0000)]
[ASTMatchers] adds isComparisonOperator to BinaryOperator and CXXOperatorCallExpr

Reviewers: aaron.ballman, gribozavr2

Reviewed By: aaron.ballman

Subscribers: cfe-commits

Tags: #clang

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