platform/upstream/llvm.git
4 years agoPlace the "cold" code piece into the same section as the original function
Bill Wendling [Mon, 2 Dec 2019 07:22:50 +0000 (23:22 -0800)]
Place the "cold" code piece into the same section as the original function

Summary:
This cropped up in the Linux kernel where cold code was placed in an
incompatible section.

Reviewers: compnerd, vsk, tejohnson

Reviewed By: vsk

Subscribers: hiraditya, llvm-commits

Tags: #llvm

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

4 years agoFileCheck IR output for blockaddress in new test
Reid Kleckner [Mon, 2 Dec 2019 23:03:31 +0000 (15:03 -0800)]
FileCheck IR output for blockaddress in new test

Minor improvement to a test added in 1ac700cdef787383ad49a

4 years ago[clang test] Do not assume default target
Thomas Preud'homme [Tue, 26 Nov 2019 22:40:18 +0000 (22:40 +0000)]
[clang test] Do not assume default target

Summary:
clang test Driver/darwin-opt-record.c assumes the default target is
x86_64 by its uses of the -arch x86_64 and -arch x86_64h and thus fail
on systems where it is not the case. Adding a target
x86_64-apple-darwin10 reveals another problem: the driver refuses 2
-arch for an assembly output so this commit also changes the output to
be an object file.

Reviewers: thegameg

Reviewed By: thegameg

Subscribers: cfe-commits

Tags: #clang

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

4 years agoFix comment to more accurately describe C++ language requirements around tail padding.
Richard Smith [Mon, 2 Dec 2019 21:58:37 +0000 (13:58 -0800)]
Fix comment to more accurately describe C++ language requirements around tail padding.

Summary:
As of C++ core issue 43 (http://wg21.link/cwg43), which was voted into
the C++ working draft in 1999, it is not permissible to memcpy a base
class subobject, even if it's of POD type, so there is no problem with
reusing the tail padding of a base class. That issue was voted into the
standard in DR status, so it applies retroactively to C++98 (and is in
any case part of C++03).

So stop suggesting that AlwaysUseTailPadding mode is non-conforming.

Reviewers: rjmccall

Reviewed By: rjmccall

Subscribers: cfe-commits

Tags: #clang

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

4 years agoTemporarily revert "build: avoid hardcoding the libxml2 library name"
Eric Christopher [Mon, 2 Dec 2019 22:30:16 +0000 (14:30 -0800)]
Temporarily revert "build: avoid hardcoding the libxml2 library name"
as it breaks uses of llvm-config --system-libs and the follow-on commit
"build: avoid cached literals being linked against"

This reverts commits 340e7c0b77a7037afefe7255503afe362967b577 and
340e7c0b77a7037afefe7255503afe362967b577.

4 years agoRemove extraneous semicolon.
Bill Wendling [Mon, 2 Dec 2019 22:05:28 +0000 (14:05 -0800)]
Remove extraneous semicolon.

4 years agoAutomatically generated arm64-abi-varargs.ll . NFC
Amaury Séchet [Mon, 2 Dec 2019 21:28:57 +0000 (22:28 +0100)]
Automatically generated arm64-abi-varargs.ll . NFC

4 years ago[PGO][PGSO] Add an optional query type parameter to shouldOptimizeForSize.
Hiroshi Yamauchi [Wed, 20 Nov 2019 21:08:07 +0000 (13:08 -0800)]
[PGO][PGSO] Add an optional query type parameter to shouldOptimizeForSize.

Summary:
In case of a need to distinguish different query sites for gradual commit or
debugging of PGSO. NFC.

Reviewers: davidxl

Subscribers: hiraditya, zzheng, llvm-commits

Tags: #llvm

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

4 years agoRemove redundant file.
Taewook Oh [Mon, 2 Dec 2019 21:44:42 +0000 (13:44 -0800)]
Remove redundant file.

4 years ago[LLDB] [test] Try to fix the test from 7d019d1a3b when run on Windows.
Martin Storsjö [Mon, 2 Dec 2019 21:35:37 +0000 (23:35 +0200)]
[LLDB] [test] Try to fix the test from 7d019d1a3b when run on Windows.

4 years ago[libcxx{,abi}] Emit deplibs only when detected by CMake
Michał Górny [Mon, 2 Dec 2019 10:49:20 +0000 (11:49 +0100)]
[libcxx{,abi}] Emit deplibs only when detected by CMake

This is a followup to 35bc5276ca3.  It fixes the dependent libs usage
in libcxx and libcxxabi to link pthread and rt libraries only if CMake
detects them, rather than based on explicit platform blacklist.

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

4 years agoRevert "[clangd] repair mac tests for 88bccded8fa1"
Sam McCall [Mon, 2 Dec 2019 21:12:23 +0000 (22:12 +0100)]
Revert "[clangd] repair mac tests for 88bccded8fa1"

Revert "[clangd] Try harder to find a plausible `clang` as argv0, particularly on Mac."

4 years ago[Remarks][ThinLTO] Use the correct file extension based on the format
Francis Visoiu Mistrih [Mon, 2 Dec 2019 21:02:48 +0000 (13:02 -0800)]
[Remarks][ThinLTO] Use the correct file extension based on the format

Since we now have multiple formats, the ThinLTO remark files should also
respect that.

4 years ago[lldb/CMake] Add in_call_stack to the utilities package
Jonas Devlieghere [Mon, 2 Dec 2019 20:27:43 +0000 (12:27 -0800)]
[lldb/CMake] Add in_call_stack to the utilities package

A subset of the examples are shipped as python packages. Include the
in_call_stack utility.

4 years ago[lldb/CMake] Simplify logic for adding example Python packages (NFC)
Jonas Devlieghere [Mon, 2 Dec 2019 20:25:03 +0000 (12:25 -0800)]
[lldb/CMake] Simplify logic for adding example Python packages (NFC)

This simplifies the CMake logic for adding the Python examples to the
Python package. It unifies the use of create_python_package by adding
the NOINIT option and removes the `target` argument, which is always
`finish_swig`.

4 years ago[clangd] repair mac tests for 88bccded8fa1
Sam McCall [Mon, 2 Dec 2019 20:55:30 +0000 (21:55 +0100)]
[clangd] repair mac tests for 88bccded8fa1

4 years ago[MIBundles] Move analyzePhysReg out of MIBundleOperands iterator (NFC).
Florian Hahn [Mon, 2 Dec 2019 20:00:56 +0000 (20:00 +0000)]
[MIBundles] Move analyzePhysReg out of MIBundleOperands iterator (NFC).

analyzePhysReg does not really fit into the iterator and moving it
makes it easier to change the base iterator.

Reviewers: evandro, t.p.northover, paquette, MatzeB, arsenm, qcolombet

Reviewed By: arsenm

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

4 years ago[LLDB] Set the right address size on output DataExtractors from ObjectFile
Martin Storsjö [Fri, 29 Nov 2019 11:28:25 +0000 (13:28 +0200)]
[LLDB] Set the right address size on output DataExtractors from ObjectFile

If filling in a DataExtractor from an ObjectFile, e.g. via the
ReadSectionData method, the output DataExtractor gets the address
size from the m_data member.

ObjectFile's m_data member is initialized without knowledge about
the address size (so the address size is set based on the host's
sizeof(void*), and at that point within ObjectFile's constructor,
virtual methods implemented in subclasses (like GetAddressByteSize())
can't be called, therefore fix it up when filling in external
DataExtractors.

This makes sure that line tables from executables with a different
address size are parsed properly; previously this tripped up
DWARFDebugLine::LineTable::parse for 32 bit executables on a 64 bit
host, as the address size in the line table (4) didn't match the
one set in the DWARFDataExtractor.

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

4 years ago[lldb] Fix TestFormattersSBAPI test
António Afonso [Mon, 2 Dec 2019 20:23:45 +0000 (12:23 -0800)]
[lldb] Fix TestFormattersSBAPI test

Summary:
This test was broken in two ways:
* Using the wrong API (e.g.: format = instead of SetFormat)
* The hex checker was only checking "01" which will pass with 0x0000001

Reviewers: clayborg, lanza, wallace

Reviewed By: clayborg

Subscribers: lldb-commits

Tags: #lldb

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

4 years ago[GlobalISel] CombinerHelper: Fix a bug in matchCombineCopy
Volkan Keles [Mon, 2 Dec 2019 20:05:09 +0000 (12:05 -0800)]
[GlobalISel] CombinerHelper: Fix a bug in matchCombineCopy

Summary:
When combining COPY instructions, we were replacing the destination registers
with the source register without checking register constraints. This patch adds
a simple logic to check if the constraints match before replacing registers.

Reviewers: qcolombet, aditya_nandakumar, aemerson, paquette, dsanders, Petar.Avramovic

Reviewed By: aditya_nandakumar

Subscribers: rovka, hiraditya, llvm-commits

Tags: #llvm

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

4 years ago[ARM] Add ARMVCCThen to tablegen and make use of it. NFC
David Green [Mon, 2 Dec 2019 14:51:49 +0000 (14:51 +0000)]
[ARM] Add ARMVCCThen to tablegen and make use of it. NFC

Similar to the parent, this adds some constants to tablegen to replace
the existing magic values.

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

4 years ago[ARM] Add ARMCC constants to tablegen. NFC
David Green [Mon, 2 Dec 2019 14:49:46 +0000 (14:49 +0000)]
[ARM] Add ARMCC constants to tablegen. NFC

I got tired of looking at magic constants in tablegen files. This adds
condition codes like ARMCCeq and makes use of them.

I also removed the extra patterns for reverse condition codes from
D70296, they should now be covered by the parent commit.

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

4 years ago[ARM] Add some VCMP folding and canonicalisation
David Green [Mon, 2 Dec 2019 14:47:22 +0000 (14:47 +0000)]
[ARM] Add some VCMP folding and canonicalisation

The VCMP instructions in MVE can accept a register or ZR, but only as
the right hand operator. Most of the time this will already be correct
because the icmp will have been canonicalised that way already. There
are some cases in the lowering of float conditions that this will not
apply to though. This code should fix up those cases.

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

4 years ago[ARM] More reversed vcmp tests. NFC
David Green [Mon, 2 Dec 2019 14:46:22 +0000 (14:46 +0000)]
[ARM] More reversed vcmp tests. NFC

4 years ago[MIBundles] Move analyzeVirtReg out of MIBundleOperands iterator (NFC).
Florian Hahn [Mon, 2 Dec 2019 19:41:09 +0000 (19:41 +0000)]
[MIBundles] Move analyzeVirtReg out of MIBundleOperands iterator (NFC).

analyzeVirtReg does not really fit into the iterator and moving it
makes it easier to change the base iterator.

Reviewers: evandro, t.p.northover, paquette, MatzeB, arsenm, qcolombet

Reviewed By: qcolombet

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

4 years ago[WebAssembly] Find wasm-opt with GetProgramPath
Dan Gohman [Mon, 2 Dec 2019 19:47:31 +0000 (11:47 -0800)]
[WebAssembly] Find wasm-opt with GetProgramPath

Instead of just searching for wasm-opt in PATH, use GetProgramPath, which
checks the `COMPILER_PATH` environment variable, -B paths, and `PATH`.

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

4 years ago[AArch64] Attempt to fixup test line. NFC
David Green [Mon, 2 Dec 2019 19:29:50 +0000 (19:29 +0000)]
[AArch64] Attempt to fixup test line. NFC

The test is complaining on some of the builders. This attempts to
adjust the run line to be more line the others in the same folder, using
clang_cc1 as opposed to the driver.

4 years ago[OPENMP]Use cast instead dyn_cast, NFC.
Alexey Bataev [Mon, 2 Dec 2019 19:15:38 +0000 (14:15 -0500)]
[OPENMP]Use cast instead dyn_cast, NFC.

Here the expression is always a DeclRefExpr, no need to use dyn_cast.

4 years ago[OPENMP]Fix PR44133: Emit definitions of used constructors/functions.
Alexey Bataev [Mon, 2 Dec 2019 18:04:30 +0000 (13:04 -0500)]
[OPENMP]Fix PR44133: Emit definitions of used constructors/functions.

Need to fully rebuild the initializer/combiner when instatiating the
declare reduction constrcut to properly emit used functions.

4 years ago[clang][modules] Add support for merging lifetime-extended temporaries
Tyker [Sat, 30 Nov 2019 15:42:33 +0000 (16:42 +0100)]
[clang][modules] Add support for merging lifetime-extended temporaries

Summary: Add support for merging lifetime-extended temporaries

Reviewers: rsmith

Reviewed By: rsmith

Subscribers: xbolva00, cfe-commits

Tags: #clang

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

4 years agoReland "b19ec1eb3d0c [BPI] Improve unreachable/ColdCall heurstics to handle loops."
Taewook Oh [Mon, 2 Dec 2019 18:15:22 +0000 (10:15 -0800)]
Reland "b19ec1eb3d0c [BPI] Improve unreachable/ColdCall heurstics to handle loops."

Summary: b19ec1eb3d0c has been reverted because of the test failures
with PowerPC targets. This patch addresses the issues from the previous
commit.

Test Plan: ninja check-all. Confirmed that CodeGen/PowerPC/pr36292.ll
and CodeGen/PowerPC/sms-cpy-1.ll pass

Subscribers: llvm-commits

4 years ago[VPlan] Move graph traits (NFC).
Florian Hahn [Mon, 2 Dec 2019 18:21:07 +0000 (18:21 +0000)]
[VPlan] Move graph traits (NFC).

By defining the graph traits right after the VPBlockBase definitions, we
can make use of them earlier in the file.

Reviewers: hsaito, Ayal, gilr

Reviewed By: gilr

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

4 years ago[update_cc_test_checks.py] Use CHECK_RE from common
Alex Richardson [Mon, 2 Dec 2019 18:18:47 +0000 (18:18 +0000)]
[update_cc_test_checks.py] Use CHECK_RE from common

Summary:
This change modifies the common.CHECK_RE regex to also handle '//'
comment prefixes which allows us to share it between clang and IR tests.
Using the regex from common means that *-SAME lines are also stripped
now. Before this change using the --function-signature flag would result
in -SAME: lines from previous runs not being removed.

Reviewers: MaskRay, jdoerfert

Reviewed By: jdoerfert

Subscribers: jdoerfert, llvm-commits

Tags: #llvm

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

4 years ago[lit] Be more explicit about the state of tests
Julian Lettner [Tue, 26 Feb 2019 06:39:50 +0000 (22:39 -0800)]
[lit] Be more explicit about the state of tests

Tests go through the following stages:
  *) discovered
  *) filtered
  *) executed

Only executed tests have a result (e.g., PASS, FAIL, XFAIL, etc.).  See
"result codes" in Test.py.

Reviewed By: rnk

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

4 years ago[DAGCombine] Factor oplist operations. NFC
Amaury Séchet [Mon, 2 Dec 2019 17:35:59 +0000 (18:35 +0100)]
[DAGCombine] Factor oplist operations. NFC

4 years ago[ELF][AArch64] Support R_AARCH64_{CALL26,JUMP26} range extension thunks with addends
Fangrui Song [Sat, 23 Nov 2019 08:57:54 +0000 (00:57 -0800)]
[ELF][AArch64] Support R_AARCH64_{CALL26,JUMP26} range extension thunks with addends

Fixes AArch64 part of PR40438

The current range extension thunk framework does not handle a relocation
relative to a STT_SECTION symbol with a non-zero addend, which may be
used by jumps/calls to local functions on some RELA targets (AArch64,
powerpc ELFv1, powerpc64 ELFv2, etc).  See PR40438 and the following
code for examples:

  // clang -target $target a.cc
  // .text.cold may be placed in a separate output section.
  // The distance between bar in .text.cold and foo in .text may be larger than 128MiB.
  static void foo() {}
  __attribute__((section(".text.cold"))) static int bar() { foo(); return
  0; }
  __attribute__((used)) static int dummy = bar();

This patch makes such thunks with addends work for AArch64. The target
independent part can be reused by PPC in the future.

On REL targets (ARM, MIPS), jumps/calls are not represented as
STT_SECTION + non-zero addend (see
MCELFObjectTargetWriter::needsRelocateWithSymbol), so they don't need
this feature, but we need to make sure this patch does not affect them.

Reviewed By: peter.smith

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

4 years ago[InstCombine] fix undef propagation for vector urem transform (PR44186)
Sanjay Patel [Mon, 2 Dec 2019 17:10:05 +0000 (12:10 -0500)]
[InstCombine] fix undef propagation for vector urem transform (PR44186)

As described here:
https://bugs.llvm.org/show_bug.cgi?id=44186

The match() code safely allows undef values, but we can't safely
propagate a vector constant that contains an undef to the new
compare instruction.

4 years ago[SelectionDAG] Reduce assumptions made about levels. NFC
Amaury Séchet [Mon, 2 Dec 2019 15:30:51 +0000 (16:30 +0100)]
[SelectionDAG] Reduce assumptions made about levels. NFC

4 years agoAdd AIX assembler support
stevewan [Mon, 2 Dec 2019 16:28:31 +0000 (11:28 -0500)]
Add AIX assembler support

Summary:
A skeleton of AIX toolchain and system linker support has been introduced in D68340, and this is a follow on patch to it.
This patch adds support to system assembler invocation to the AIX toolchain.

Reviewers: daltenty, hubert.reinterpretcast, jasonliu, Xiangling_L, dlj

Reviewed By: daltenty, hubert.reinterpretcast

Subscribers: wuzish, nemanjai, kbarton, jfb, cfe-commits

Tags: #clang

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

4 years ago[ARM,MVE] Add intrinsics to deal with predicates.
Simon Tatham [Mon, 2 Dec 2019 16:17:59 +0000 (16:17 +0000)]
[ARM,MVE] Add intrinsics to deal with predicates.

Summary:
This commit adds the `vpselq` intrinsics which take an MVE predicate
word and select lanes from two vectors; the `vctp` intrinsics which
create a tail predicate word suitable for processing the first m
elements of a vector (e.g. in the last iteration of a loop); and
`vpnot`, which simply complements a predicate word and is just
syntactic sugar for the `~` operator.

The `vctp` ACLE intrinsics are lowered to the IR intrinsics we've
already added (and which D70592 just reorganized). I've filled in the
missing isel rule for VCTP64, and added another set of rules to
generate the predicated forms.

I needed one small tweak in MveEmitter to allow the `unpromoted` type
modifier to apply to predicates as well as integers, so that `vpnot`
doesn't pointlessly convert its input integer to an `<n x i1>` before
complementing it.

Reviewers: ostannard, MarkMurrayARM, dmgreen

Reviewed By: dmgreen

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

Tags: #clang, #llvm

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

4 years ago[ARM,MVE] Rename and clean up VCTP IR intrinsics.
Simon Tatham [Mon, 2 Dec 2019 16:18:24 +0000 (16:18 +0000)]
[ARM,MVE] Rename and clean up VCTP IR intrinsics.

Summary:
D65884 added a set of Arm IR intrinsics for the MVE VCTP instruction,
to use in tail predication. But the 64-bit one doesn't work properly:
its predicate type is `<2 x i1>` / `v2i1`, which isn't a legal MVE
type (due to not having a full set of instructions that manipulate it
usefully). The test of `vctp64` in `basic-tail-pred.ll` goes through
`opt` fine, as the test expects, but if you then feed it to `llc` it
causes a type legality failure at isel time.

The usual workaround we've been using in the rest of the MVE
intrinsics family is to bodge `v2i1` into `v4i1`. So I've adjusted the
`vctp64` IR intrinsic to do that, and completely removed the code (and
test) that uses that intrinsic for 64-bit tail predication. That will
allow me to add isel rules (upcoming in D70485) that actually generate
the VCTP64 instruction.

Also renamed all four of these IR intrinsics so that they have `mve`
in the name, since its absence was confusing.

Reviewers: ostannard, MarkMurrayARM, dmgreen

Reviewed By: MarkMurrayARM

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

Tags: #llvm

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

4 years ago[ARM,MVE] Add an InstCombine rule permitting VPNOT.
Simon Tatham [Mon, 2 Dec 2019 16:18:34 +0000 (16:18 +0000)]
[ARM,MVE] Add an InstCombine rule permitting VPNOT.

Summary:
If a user writing C code using the ACLE MVE intrinsics generates a
predicate and then complements it, then the resulting IR will use the
`pred_v2i` IR intrinsic to turn some `<n x i1>` vector into a 16-bit
integer; complement that integer; and convert back. This will generate
machine code that moves the predicate out of the `P0` register,
complements it in an integer GPR, and moves it back in again.

This InstCombine rule replaces `i2v(~v2i(x))` with a direct complement
of the original predicate vector, which we can already instruction-
select as the VPNOT instruction which complements P0 in place.

Reviewers: ostannard, MarkMurrayARM, dmgreen

Reviewed By: dmgreen

Subscribers: kristof.beyls, hiraditya, llvm-commits

Tags: #llvm

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

4 years agoAdd contributing info to CONTRIBUTING.md and README.md
Florian Hahn [Mon, 2 Dec 2019 15:46:47 +0000 (15:46 +0000)]
Add contributing info to CONTRIBUTING.md and README.md

As discussed on llvm-dev [1], this patch adds a brief CONTRIBUTING.md to
the top-level of the repo, with a pointer to Contributing.html. This
should make it easier to discover the contributing information and also
be highlighted in the Github UI.

It also updates README.md to link to Contributing.html.

[1] http://lists.llvm.org/pipermail/llvm-dev/2019-November/137141.html

Reviewers: tonic, rnk, jhenderson, meikeb

Reviewed By: rnk, jhenderson, meikeb

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

4 years ago[PatternMatch] Add support for matching intrinsics with 5 operands.
Florian Hahn [Mon, 2 Dec 2019 15:29:53 +0000 (15:29 +0000)]
[PatternMatch] Add support for matching intrinsics with 5 operands.

Summary: Also adds a test to the pattern matching unit tests.

Reviewers: spatel, craig.topper, RKSimon, majnemer, lebedev.ri

Reviewed By: spatel

Subscribers: merge_guards_bot, llvm-commits

Tags: #llvm

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

4 years ago[Attributor] Copy or port test cases related to Attributor to` Attributor` test folder
Hideto Ueno [Mon, 2 Dec 2019 13:40:09 +0000 (13:40 +0000)]
[Attributor] Copy or port test cases related to Attributor to` Attributor` test folder

Summary:
This patch moves the test cases related to Attributor to `Transforms/Attributor` folder.
We have used `Transforms/FunctionAttrs` as the primary folder for Attributor test but we need to change testing way now.

For the test cases which I think functionattrs doesn't infer anything something like (willreturn, nosync, value-simplify, h2s ..etc), I moved them with the command `git mv`.

For the test cases in which functoinattrs and attributor are tested, I copied the test to the folder and remove the check only used by functoinattrs.

Reviewers: jdoerfert, sstefan1

Reviewed By: jdoerfert

Subscribers: jfb, llvm-commits

Tags: #llvm

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

4 years agoAutogenerate test/Analysis/ValueTracking/non-negative-phi-bits.ll test
Roman Lebedev [Mon, 2 Dec 2019 15:28:17 +0000 (18:28 +0300)]
Autogenerate test/Analysis/ValueTracking/non-negative-phi-bits.ll test

Forgot to stage this change into 0f22e783a038b6983f0fe161eef6cf2add3a4156 commit.

4 years ago[clangd] Try harder to find a plausible `clang` as argv0, particularly on Mac.
Sam McCall [Fri, 29 Nov 2019 18:37:48 +0000 (19:37 +0100)]
[clangd] Try harder to find a plausible `clang` as argv0, particularly on Mac.

Summary:
Fixes https://github.com/clangd/clangd/issues/211
Fixes https://github.com/clangd/clangd/issues/178

No tests - this is hard to test, and basically impossible to verify what we want
(this produces compile commands that work on a real mac with recent toolchain)

(Need someone on mac to verify it actually fixes these!)

Reviewers: kbobyrev, ilya-biryukov

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

Tags: #clang

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

4 years ago[llvm-exegesis] Fix 44b9942898c7.
Clement Courbet [Mon, 2 Dec 2019 13:58:41 +0000 (14:58 +0100)]
[llvm-exegesis] Fix 44b9942898c7.

Summary:
Add missing stack release instructions in
loadImplicitRegAndFinalize.

Reviewers: pengfei, gchatelet

Subscribers: tschuett, llvm-commits

Tags: #llvm

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

4 years ago[InstCombine] Revert rL341831: relax one-use check in foldICmpAddConstant() (PR44100)
Roman Lebedev [Mon, 2 Dec 2019 14:34:55 +0000 (17:34 +0300)]
[InstCombine] Revert rL341831: relax one-use check in foldICmpAddConstant() (PR44100)

rL341831 moved one-use check higher up, restricting a few folds
that produced a single instruction from two instructions to the case
where the inner instruction would go away.

Original commit message:
> InstCombine: move hasOneUse check to the top of foldICmpAddConstant
>
> There were two combines not covered by the check before now,
> neither of which actually differed from normal in the benefit analysis.
>
> The most recent seems to be because it was just added at the top of the
> function (naturally). The older is from way back in 2008 (r46687)
> when we just didn't put those checks in so routinely, and has been
> diligently maintained since.

From the commit message alone, there doesn't seem to be a
deeper motivation, deeper problem that was trying to solve,
other than 'fixing the wrong one-use check'.

As i have briefly discusses in IRC with Tim, the original motivation
can no longer be recovered, too much time has passed.

However i believe that the original fold was doing the right thing,
we should be performing such a transformation even if the inner `add`
will not go away - that will still unchain the comparison from `add`,
it will no longer need to wait for `add` to compute.

Doing so doesn't seem to break any particular idioms,
as least as far as i can see.

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

4 years ago[PowerPC] Fix crash in peephole optimization
Nemanja Ivanovic [Mon, 2 Dec 2019 14:32:59 +0000 (08:32 -0600)]
[PowerPC] Fix crash in peephole optimization

When converting reg+reg shifts to reg+imm rotates, we neglect to consider the
CodeGenOnly versions of the 32-bit shift mnemonics. This means we produce a
rotate with missing operands which causes a crash.

Committing this fix without review since it is non-controversial that the list
of mnemonics to consider should include the 64-bit aliases for the exact
mnemonics.

Fixes PR44183.

4 years ago[ARM][AArch64] Complex addition Neon intrinsics for Armv8.3-A
Victor Campos [Mon, 2 Dec 2019 12:13:04 +0000 (12:13 +0000)]
[ARM][AArch64] Complex addition Neon intrinsics for Armv8.3-A

Summary:
Add support for vcadd_* family of intrinsics. This set of intrinsics is
available in Armv8.3-A.

The fp16 versions require the FP16 extension, which has been available
(opt-in) since Armv8.2-A.

Reviewers: t.p.northover

Reviewed By: t.p.northover

Subscribers: t.p.northover, kristof.beyls, hiraditya, cfe-commits, llvm-commits

Tags: #clang, #llvm

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

4 years ago[InstCombine] fold copysign with constant sign argument to (fneg+)fabs
Sanjay Patel [Mon, 2 Dec 2019 14:21:59 +0000 (09:21 -0500)]
[InstCombine] fold copysign with constant sign argument to (fneg+)fabs

If the sign of the sign argument is known (this could be extended to use ValueTracking),
then we can use fneg+fabs to clear/set the sign bit of the magnitude argument.
http://llvm.org/docs/LangRef.html#llvm-copysign-intrinsic

This transform is already done in DAGCombiner, but we can do it sooner in IR as
suggested in PR44153:
https://bugs.llvm.org/show_bug.cgi?id=44153

We have effectively no analysis for copysign in IR, so we are taking the unusual step
of increasing the number of IR instructions for the negative constant case.

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

4 years ago[OpenCL] Fix address space for implicit conversion (PR43145)
Sven van Haastregt [Mon, 2 Dec 2019 14:20:15 +0000 (14:20 +0000)]
[OpenCL] Fix address space for implicit conversion (PR43145)

Clang was creating a DerivedToBase ImplicitCastExpr that was also
casting between address spaces as part of the second step in the
standard conversion sequence.  Defer the address space conversion to
the third step in the sequence instead, such that we get a separate
ImplicitCastExpr for the address space conversion.

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

4 years ago[lldb][NFC] Don't calculate member indices in DWARFASTParserClang::ParseChildMembers
Raphael Isemann [Mon, 2 Dec 2019 13:34:51 +0000 (14:34 +0100)]
[lldb][NFC] Don't calculate member indices in DWARFASTParserClang::ParseChildMembers

We keep counting members and then don't do anything with the computed result.

4 years ago[lldb][NFC] Use raw_ostream instead of Stream in Baton::GetDescription
Raphael Isemann [Sat, 30 Nov 2019 14:30:08 +0000 (15:30 +0100)]
[lldb][NFC] Use raw_ostream instead of Stream in Baton::GetDescription

Removing raw_ostream here is getting us closer to removing LLDB's Stream
class.

4 years ago[X86] Add initialization of FPCW in llvm-exegesis
Wang, Pengfei [Mon, 2 Dec 2019 11:39:16 +0000 (19:39 +0800)]
[X86] Add initialization of FPCW in llvm-exegesis

Summary: This is a following up to D70874. It adds the initialization of FPCW in llvm-exegesis.

Reviewers: craig.topper, RKSimon, courbet, gchatelet

Subscribers: tschuett, llvm-commits

Tags: #llvm

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

4 years ago[llvm-readobj/llvm-readelf] - Simplify the code that dumps versions.
Georgii Rymar [Thu, 28 Nov 2019 11:12:09 +0000 (14:12 +0300)]
[llvm-readobj/llvm-readelf] - Simplify the code that dumps versions.

After changes introduced in D70495 and D70826 its now possible
to significantly simplify the code we have.

This also fixes an issue: previous code assumed that version strings
should always be read from the dynamic string table. While it is
normally true, the string table should be taken from the corresponding
sh_link field.

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

4 years agoAMDGPU: Fixed indeterminate map iteration in SIPeepholeSDWA
Tim Renouf [Wed, 27 Nov 2019 15:16:59 +0000 (15:16 +0000)]
AMDGPU: Fixed indeterminate map iteration in SIPeepholeSDWA

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

Change-Id: Ic26f915a4acb4c00ecefa9d09d7c24cec370ed06

4 years ago[lldb][NFC] Make Stream's IndentLevel an unsigned integers.
Raphael Isemann [Mon, 2 Dec 2019 11:44:55 +0000 (12:44 +0100)]
[lldb][NFC] Make Stream's IndentLevel an unsigned integers.

We expect it to be always positive values and LLVM/Clang's IndentLevel
values are already unsigned integers, so we should do the same.

4 years ago[ARM][MVE][Intrinsics] Add VMINQ/VMAXQ/VMINNMQ/VMAXNMQ intrinsics.
Mark Murray [Thu, 28 Nov 2019 16:38:01 +0000 (16:38 +0000)]
[ARM][MVE][Intrinsics] Add VMINQ/VMAXQ/VMINNMQ/VMAXNMQ intrinsics.

Summary: Add VMINQ/VMAXQ/VMINNMQ/VMAXNMQ intrinsics and their predicated versions. Add unit tests.

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

Tags: #clang, #llvm

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

4 years ago[update_cc_test_checks.py] Handle extern "C" and namespaces
Alex Richardson [Mon, 2 Dec 2019 10:53:57 +0000 (10:53 +0000)]
[update_cc_test_checks.py] Handle extern "C" and namespaces

Summary:
My change to use the clang AST JSON dump did not handle functions declared
inside scopes other than the root TranslationUnitDecl. After this change
update_cc_test_checks.py also works for C++ test cases that use extern "C"
and namespaces.

Reviewers: MaskRay

Reviewed By: MaskRay

Subscribers: llvm-commits

Tags: #llvm

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

4 years ago[UpdateTestChecks] Share the code to parse RUN: lines between all scripts
Alex Richardson [Mon, 2 Dec 2019 10:50:23 +0000 (10:50 +0000)]
[UpdateTestChecks] Share the code to parse RUN: lines between all scripts

Summary:
This commit also introduces a common.debug() function to avoid many
`if args.verbose:` statements. Depends on D70428.

Reviewers: xbolva00, MaskRay, jdoerfert

Reviewed By: MaskRay

Subscribers: llvm-commits

Tags: #llvm

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

4 years ago[lldb][NFC] Add 'breakpoint command list' test
Raphael Isemann [Mon, 2 Dec 2019 10:08:10 +0000 (11:08 +0100)]
[lldb][NFC] Add 'breakpoint command list' test

The command has zero test coverage and I'll have to touch the
code formatting the output commands, so let's start by adding a
test for it.

4 years ago[ARM] Remove VHADD patterns
David Green [Mon, 2 Dec 2019 10:29:01 +0000 (10:29 +0000)]
[ARM] Remove VHADD patterns

These instructions do not work quite like I expected them to. They
perform the addition and then shift in a higher precision integer, so do
not match up with the patterns that we added.

For example with s8s, adding 100 and 100 should wrap leaving the shift
to work on a negative number. VHADD will instead do the arithmetic in
higher precision, giving 100 overall. The vhadd gives a "better" result,
but not one that matches up with the input.

I am just removing the patterns here. We might be able to re-add them in
the future by checking for wrap flags or changing bitwidths. But for the
moment just remove them to remove the problem cases.

4 years ago[X86] Add initialization of MXCSR in llvm-exegesis
Wang, Pengfei [Sun, 1 Dec 2019 05:35:53 +0000 (13:35 +0800)]
[X86] Add initialization of MXCSR in llvm-exegesis

Summary: This patch is used to initialize the new added register MXCSR.

Reviewers: craig.topper, RKSimon

Subscribers: tschuett, courbet, llvm-commits, LiuChen3

Tags: #llvm

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

4 years ago[InstCombine] Fix big-endian miscompile of (bitcast (zext/trunc (bitcast)))
Bjorn Pettersson [Thu, 28 Nov 2019 22:18:28 +0000 (23:18 +0100)]
[InstCombine] Fix big-endian miscompile of (bitcast (zext/trunc (bitcast)))

Summary:
optimizeVectorResize is rewriting patterns like:
  %1 = bitcast vector %src to integer
  %2 = trunc/zext %1
  %dst = bitcast %2 to vector

Since bitcasting between integer an vector types gives
different integer values depending on endianness, we need
to take endianness into account. As it happens the old
implementation only produced the correct result for little
endian targets.

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

Reviewers: spatel, lattner, lebedev.ri

Reviewed By: spatel, lebedev.ri

Subscribers: lebedev.ri, hiraditya, uabelho, llvm-commits

Tags: #llvm

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

4 years ago[llvm-readelf/llvm-readobj] - Check the version of SHT_GNU_verneed section entries.
Georgii Rymar [Fri, 29 Nov 2019 08:57:13 +0000 (11:57 +0300)]
[llvm-readelf/llvm-readobj] - Check the version of SHT_GNU_verneed section entries.

It is a follow-up for D70826 and it is similar to D70810.

SHT_GNU_verneed contains the following fields:
`vn_version`: Version of structure. This value is currently set to 1, and will be reset
if the versioning implementation is incompatibly altered.
(https://refspecs.linuxfoundation.org/LSB_5.0.0/LSB-Core-generic/LSB-Core-generic/symversion.html)

We should check it for correctness.

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

4 years ago[ORC] Add a runAsMain utility function to ExecutionUtils.
Lang Hames [Mon, 2 Dec 2019 09:45:49 +0000 (01:45 -0800)]
[ORC] Add a runAsMain utility function to ExecutionUtils.

The runAsMain function takes a pointer to a function with a standard C main
signature, int(*)(int, char*[]), and invokes it using the given arguments and
program name. The arguments are copied into writable temporary storage as
required by the C and C++ specifications, so runAsMain safe to use when calling
main functions that modify their arguments in-place.

This patch also uses the new runAsMain function to replace hand-rolled versions
in lli, llvm-jitlink, and the SpeculativeJIT example.

4 years ago[ExecutionEngine] Add a jitTargetAddressToFunction utility function.
Lang Hames [Mon, 2 Dec 2019 09:40:54 +0000 (01:40 -0800)]
[ExecutionEngine] Add a jitTargetAddressToFunction utility function.

jitTargetAddressToFunction takes a JITTargetAddress and returns a pointer of
the given function pointer type suitable for calling to invoke the function
at the target address.

jitTargetAddressToFunction currently behaves the same as
jitTargetAddressToPointer, but in the near future will be updated to perform
pointer signing on architectures that require it (e.g. arm64e). For this
reason it should always be preferred when generating callable pointers for
JIT'd functions.

4 years ago[Orc] Add setters for target options and features to JITTargetMachineBuilder.
Lang Hames [Sun, 1 Dec 2019 23:51:37 +0000 (15:51 -0800)]
[Orc] Add setters for target options and features to JITTargetMachineBuilder.

Also remove redundant feature initialization steps from the detectHost method.

4 years ago[clangd] Fix a regression issue in local rename.
Haojian Wu [Fri, 29 Nov 2019 13:58:44 +0000 (14:58 +0100)]
[clangd] Fix a regression issue in local rename.

Summary:
The regression is that we can't rename symbols in annonymous
namespaces.

Reviewers: ilya-biryukov

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

Tags: #clang

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

4 years ago[llvm-readobj/llvm-readelf] - Reimplement dumping of the SHT_GNU_verneed section.
Georgii Rymar [Thu, 28 Nov 2019 09:19:50 +0000 (12:19 +0300)]
[llvm-readobj/llvm-readelf] - Reimplement dumping of the SHT_GNU_verneed section.

This is similar to D70495, but for SHT_GNU_verneed section.
It solves the same problems: different implementations, lack of error reporting
and no test coverage.

DIfferential revision: https://reviews.llvm.org/D70826

4 years ago[NFC] Precommit test showing SROA loses `!tbaa.struct` metadata
Anton Afanasyev [Mon, 2 Dec 2019 07:07:55 +0000 (10:07 +0300)]
[NFC] Precommit test showing SROA loses `!tbaa.struct` metadata

This issue impacts llvm.org/pr42022

4 years ago[Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804
Adam Balogh [Fri, 29 Nov 2019 12:30:26 +0000 (13:30 +0100)]
[Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804

Applying parentheses for statement leads to compilation error. Bug
[[ 43804 | https://bugs.llvm.org/show_bug.cgi?id=43804 ]] is a
compilation error suggested by a wrong fix of this checker. This
patch is a quick fix for this issue.

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

4 years agoFix broken comment phrasing and indentation
Matt Arsenault [Thu, 21 Nov 2019 05:54:44 +0000 (11:24 +0530)]
Fix broken comment phrasing and indentation

4 years agoAMDGPU/GlobalISel: Add AGPR bank and RegBankSelect mfma intrinsics
Austin Kerbow [Wed, 27 Nov 2019 23:07:56 +0000 (15:07 -0800)]
AMDGPU/GlobalISel: Add AGPR bank and RegBankSelect mfma intrinsics

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

4 years ago[SCEV] Make SCEV verification available from command line with new PM
Daniil Suchkov [Tue, 19 Nov 2019 07:16:39 +0000 (14:16 +0700)]
[SCEV] Make SCEV verification available from command line with new PM

New pass manager doesn't use verifyAnalysis, so currently there is no
way to call SCEV verification from command line when new PM is used.
This patch adds a pass that allows you to do that.

Reviewers: reames, fhahn, sanjoy.google, nikic

Reviewed By: fhahn

Subscribers: hiraditya, javed.absar, llvm-commits

Tags: #llvm

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

4 years agoRevert "[Examples] Add IRTransformations directory to examples."
Florian Hahn [Sun, 1 Dec 2019 22:19:05 +0000 (22:19 +0000)]
Revert "[Examples] Add IRTransformations directory to examples."

This breaks LLVMExports.cmake in some build configurations.

PR44197

This reverts commits ceb72d07b004af9c428c4a3c73a98ea97d49a713
                     7d0b1d77b3d4d47df477519fd1bf099b3df6f899.

4 years agoRevert "[clang][modules] Add support for merging lifetime-extended temporaries"
Tyker [Sun, 1 Dec 2019 21:38:31 +0000 (22:38 +0100)]
Revert "[clang][modules] Add support for merging lifetime-extended temporaries"

This reverts commit a3cbe1a202df6ec8e23bd55e14db254e4bc33021.

4 years ago[clang][modules] Add support for merging lifetime-extended temporaries
Tyker [Sat, 30 Nov 2019 15:42:33 +0000 (16:42 +0100)]
[clang][modules] Add support for merging lifetime-extended temporaries

Summary: Add support for merging lifetime-extended temporaries

Reviewers: rsmith

Reviewed By: rsmith

Subscribers: xbolva00, cfe-commits

Tags: #clang

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

4 years ago[X86][InstCombine] Move non-X86 specific instcombine test from test/CodeGen/X86/...
Craig Topper [Sun, 1 Dec 2019 05:53:28 +0000 (21:53 -0800)]
[X86][InstCombine] Move non-X86 specific instcombine test from test/CodeGen/X86/ to test/Transforms/InstCombine/

4 years ago[X86][InstCombine] Move instcombine test from test/CodeGen/X86 to test/Transforms...
Craig Topper [Sun, 1 Dec 2019 05:47:41 +0000 (21:47 -0800)]
[X86][InstCombine] Move instcombine test from test/CodeGen/X86 to test/Transforms/InstCombine/ and replace grep with FileCheck

4 years ago[libunwind] Emit dependent libraries only when detected by CMake
Michał Górny [Sat, 30 Nov 2019 14:13:56 +0000 (15:13 +0100)]
[libunwind] Emit dependent libraries only when detected by CMake

996e62eef75 added Linux-specific dependent libraries to libunwind
sources.  As a result, building libunwind with modern LLD on *BSD
started failing due to trying to link libdl.  Instead, add those
libraries only if they were detected by CMake.

While technically we could create a long list of systems that need -ldl
and -lpthread, maintaining a duplicate list makes little sense when
CMake needs to detect it for non-LLD systems anyway.  Remove existing
system exceptions since they should be covered by the CMake check
anyway.

Remove -D_LIBUNWIND_HAS_COMMENT_LIB_PRAGMA since it is no longer
explicitly needed, if we make the library-specific defines dependent
on presence of this pragma support.

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

4 years agoremove UB from test by making GV alignment explicit
Nuno Lopes [Sun, 1 Dec 2019 15:16:31 +0000 (15:16 +0000)]
remove UB from test by making GV alignment explicit

4 years agoRevert "[clang][modules] Add support for merging lifetime-extended temporaries"
Tyker [Sun, 1 Dec 2019 10:58:14 +0000 (11:58 +0100)]
Revert "[clang][modules] Add support for merging lifetime-extended temporaries"

This reverts commit 85c74384778909789389b9012a75cfcca7964a28.

4 years ago[clang][modules] Add support for merging lifetime-extended temporaries
Tyker [Sat, 30 Nov 2019 15:42:33 +0000 (16:42 +0100)]
[clang][modules] Add support for merging lifetime-extended temporaries

Summary: Add support for merging lifetime-extended temporaries

Reviewers: rsmith

Reviewed By: rsmith

Subscribers: xbolva00, cfe-commits

Tags: #clang

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

4 years ago[Format] Add format check for coroutine keywords with negative numbers
Brian Gesiak [Sat, 30 Nov 2019 20:36:35 +0000 (15:36 -0500)]
[Format] Add format check for coroutine keywords with negative numbers

Summary:
As a followup to D69144, this diff fixes the coroutine keyword spacing
for co_yield / co_returning negative numbers.

Reviewers: modocache, sammccall, Quuxplusone

Reviewed By: modocache

Subscribers: cfe-commits

Tags: #clang

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

Patch by Jonathan Thomas (jonathoma)!

4 years ago[X86] Add floating point execution domain to comi/ucomi/cvtss2si/cvtsd2si/cvttss2si...
Craig Topper [Sat, 30 Nov 2019 19:12:07 +0000 (11:12 -0800)]
[X86] Add floating point execution domain to comi/ucomi/cvtss2si/cvtsd2si/cvttss2si/cvttsd2si/cvtsi2ss/cvtsi2sd instructions.

4 years ago[InstCombine] Expand usub_sat patterns to handle constants
David Green [Sat, 30 Nov 2019 16:39:29 +0000 (16:39 +0000)]
[InstCombine] Expand usub_sat patterns to handle constants

The constants come through as add %x, -C, not a sub as would be
expected. They need some extra matchers to canonicalise them towards
usub_sat.

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

4 years ago[InstCombine] Adjust usub_sat fold one use checks
David Green [Sat, 30 Nov 2019 14:20:55 +0000 (14:20 +0000)]
[InstCombine] Adjust usub_sat fold one use checks

This adjusts the one use checks in the the usub_sat fold code to not
increase instruction count, but otherwise do the fold. Reviewed as a
part of D69514.

4 years ago[InstCombine] More usub_sat tests. NFC.
David Green [Sat, 30 Nov 2019 14:14:55 +0000 (14:14 +0000)]
[InstCombine] More usub_sat tests. NFC.

4 years agoRevert "[clang][modules] Add support for merging lifetime-extended temporaries"
Tyker [Sat, 30 Nov 2019 16:52:26 +0000 (17:52 +0100)]
Revert "[clang][modules] Add support for merging lifetime-extended temporaries"

This reverts commit 3c7f6b439699a9cbbc0ac8d288cc70aff357446b.

4 years ago[clang][modules] Add support for merging lifetime-extended temporaries
Tyker [Sat, 30 Nov 2019 15:42:33 +0000 (16:42 +0100)]
[clang][modules] Add support for merging lifetime-extended temporaries

Summary: Add support for merging lifetime-extended temporaries

Reviewers: rsmith

Reviewed By: rsmith

Subscribers: xbolva00, cfe-commits

Tags: #clang

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

4 years agoRevert 651f07908a1 "[AArch64] Don't combine callee-save and local stack adjustment...
Hans Wennborg [Sat, 30 Nov 2019 13:20:11 +0000 (14:20 +0100)]
Revert 651f07908a1 "[AArch64] Don't combine callee-save and local stack adjustment when optimizing for size"

This caused asserts (and perhaps also miscompiles) while building for Windows
on AArch64. See the discussion on D68530 for details and reproducer.

Reverting until this can be investigated and fixed.

> For arm64, D18619 introduced the ability to combine bumping the stack pointer
> upfront in case it needs to be bumped for both the callee-save area as well as
> the local stack area.
>
> That diff already remarks that "This change can cause an increase in
> instructions", but argues that even when that happens, it should be still be a
> performance benefit because the number of micro-ops is reduced.
>
> We have observed that this code-size increase can be significant in practice.
> This diff disables combining stack bumping for methods that are marked as
> optimize-for-size.
>
> Example of a prologue with the behavior before this diff (combining stack bumping when possible):
>   sub        sp, sp, #0x40
>   stp        d9, d8, [sp, #0x10]
>   stp        x20, x19, [sp, #0x20]
>   stp        x29, x30, [sp, #0x30]
>   add        x29, sp, #0x30
>   [... compute x8 somehow ...]
>   stp        x0, x8, [sp]
>
> And after this  diff, if the method is marked as optimize-for-size:
>   stp        d9, d8, [sp, #-0x30]!
>   stp        x20, x19, [sp, #0x10]
>   stp        x29, x30, [sp, #0x20]
>   add        x29, sp, #0x20
>   [... compute x8 somehow ...]
>   stp        x0, x8, [sp, #-0x10]!
>
> Note that without combining the stack bump there are two auto-decrements,
> nicely folded into the stp instructions, whereas otherwise there is a single
> sub sp, ... instruction, but not folded.
>
> Patch by Nikolai Tillmann!
>
> Differential Revision: https://reviews.llvm.org/D68530

4 years agoUpdated the OCaml/bitwriter.ml test for OCaml 4.06+
Dmitri Gribenko [Sat, 30 Nov 2019 12:31:16 +0000 (13:31 +0100)]
Updated the OCaml/bitwriter.ml test for OCaml 4.06+

Since OCaml 4.02 (released in 2014), strings and bytes are different
types, but up until OCaml 4.06, the compiler defaulted to a
compatibility mode "unsafe-string". OCaml 4.06 flips the default to
"safe-string", breaking the test.

This change should be compatible with OCaml 4.02+, but is only truly
necessary for OCaml 4.06+.

For more information, see:

https://caml.inria.fr/pub/docs/manual-ocaml/libref/String.html
https://ocaml.org/releases/4.02.html

4 years agoFix a typo.
Hans Wennborg [Sat, 30 Nov 2019 12:23:49 +0000 (13:23 +0100)]
Fix a typo.

4 years agoRevert "[clangd] Rethink how SelectionTree deals with macros and #includes."
Sam McCall [Fri, 29 Nov 2019 18:59:02 +0000 (19:59 +0100)]
Revert "[clangd] Rethink how SelectionTree deals with macros and #includes."

This reverts commit 19daa21f841ad45290c923689ee3d25198651a4c.

It causes a bunch of failures on a bot that I've been unable to
reproduce so far:
http://45.33.8.238/mac/3308/step_7.txt

4 years ago[PowerPC][AIX] Add support for lowering int/float/double formal arguments.
Sean Fertile [Fri, 29 Nov 2019 17:44:56 +0000 (12:44 -0500)]
[PowerPC][AIX] Add support for lowering int/float/double formal arguments.

This patch adds LowerFormalArguments_AIX, support is added for lowering
int, float, and double formal arguments into general purpose and
floating point registers only.

The aix calling convention testcase have been redone to test for caller
and callee functionality in the same lit test.

Patch by Zarko Todorovski!

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

4 years agoRevert "[ARM] Allocatable Global Register Variables for ARM"
Carey Williams [Fri, 29 Nov 2019 17:01:05 +0000 (17:01 +0000)]
Revert "[ARM] Allocatable Global Register Variables for ARM"

This reverts commit 2d739f98d8a53e38bf9faa88cdb6b0c2a363fb77.

4 years agoRevert "[NFC] Fix test reserve_global_reg.ll after 2d739f9"
Carey Williams [Fri, 29 Nov 2019 17:00:55 +0000 (17:00 +0000)]
Revert "[NFC] Fix test reserve_global_reg.ll after 2d739f9"

This reverts commit aea7578fade2563cb5ea60548914667b515c457a.