platform/upstream/llvm.git
2 years ago[polly] Remove uses of PointerType::getElementType()
Nikita Popov [Mon, 14 Feb 2022 09:22:41 +0000 (10:22 +0100)]
[polly] Remove uses of PointerType::getElementType()

This method has been removed. I missed these uses in conditionally-
compiled code previously.

2 years ago[llvm] Don't use LLVM_ATTRIBUTE_UNUSED for variables. NFC.
Marek Kurdej [Mon, 14 Feb 2022 09:11:53 +0000 (10:11 +0100)]
[llvm] Don't use LLVM_ATTRIBUTE_UNUSED for variables. NFC.

At least on MSVC, it does nothing and still causes a warning.

2 years ago[clang-format] Fix SpacesInLineCommentPrefix deleting tokens.
Marek Kurdej [Sun, 13 Feb 2022 20:56:37 +0000 (21:56 +0100)]
[clang-format] Fix SpacesInLineCommentPrefix deleting tokens.

Fixes https://github.com/llvm/llvm-project/issues/53799.

Reviewed By: HazardyKnusperkeks, owenpan

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

2 years ago[mlir][arith] Do not limit arith-expand pass to FuncOp
Ivan Butygin [Sun, 13 Feb 2022 13:28:29 +0000 (16:28 +0300)]
[mlir][arith] Do not limit arith-expand pass to FuncOp

This pass doesn't have any limitations specific to FuncOp and it will be useful to be able to run it on other ops (e.g. gpu.func).

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

2 years ago[lldb] Remove some uses of getPointerElementType()
Nikita Popov [Mon, 14 Feb 2022 08:43:59 +0000 (09:43 +0100)]
[lldb] Remove some uses of getPointerElementType()

While in the area, remove some uses of getPointerElementType()
that have obvious replacements.

2 years ago[clang-format] Fix PointerAlignment within lambdas in a multi-variable declaration...
Marek Kurdej [Sat, 12 Feb 2022 21:17:47 +0000 (22:17 +0100)]
[clang-format] Fix PointerAlignment within lambdas in a multi-variable declaration statement.

Fixes https://github.com/llvm/llvm-project/issues/43115.

Also, handle while loops with initializers (C++20) the same way as for loops.

Reviewed By: HazardyKnusperkeks, owenpan

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

2 years ago[lldb] Remove uses of PointerType::getElementType()
Nikita Popov [Mon, 14 Feb 2022 08:31:27 +0000 (09:31 +0100)]
[lldb] Remove uses of PointerType::getElementType()

This method has been deprecated and removed. I missed these usages
in lldb previously.

2 years ago[AlwaysInliner] Check for callsite noinline attribute simplified
Dávid Bolvanský [Mon, 14 Feb 2022 08:32:41 +0000 (09:32 +0100)]
[AlwaysInliner] Check for callsite noinline attribute simplified

2 years ago[FastISel] Reuse register for bitcast that does not change MVT
Nikita Popov [Thu, 10 Feb 2022 11:45:32 +0000 (12:45 +0100)]
[FastISel] Reuse register for bitcast that does not change MVT

The current FastISel code reuses the register for a bitcast that
doesn't change the IR type, but uses a reg-to-reg copy if it
changes the IR type without changing the MVT. However, we can
simply reuse the register in that case as well.

In particular, this avoids unnecessary reg-to-reg copies for pointer
bitcasts. This was found while inspecting O0 codegen differences
between typed and opaque pointers.

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

2 years ago[IR] Remove deprecated PointerType::getElementType()
Nikita Popov [Mon, 14 Feb 2022 07:49:01 +0000 (08:49 +0100)]
[IR] Remove deprecated PointerType::getElementType()

This was deprecated before the LLVM 14 branch cut, remove the
method now.

As a temporary workaround, Type::getPointerElementType() can be
used instead.

See https://llvm.org/docs/OpaquePointers.html for information on
the opaque pointers migration.

2 years ago[RISCV] Recover the implication between Zve* extensions and the V extension.
jacquesguan [Tue, 8 Feb 2022 03:32:42 +0000 (11:32 +0800)]
[RISCV] Recover the implication between Zve* extensions and the V extension.

This revision recover the implication between Zve* extensions and the V extension.

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

2 years ago[VE] v256i1 and|or|xor isel and tests
Simon Moll [Mon, 14 Feb 2022 07:46:55 +0000 (08:46 +0100)]
[VE] v256i1 and|or|xor isel and tests

Reviewed By: kaz7

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

2 years ago[clang][AST][ASTImporter] Set record to complete during import of its members.
Balázs Kéri [Wed, 22 Dec 2021 11:11:50 +0000 (12:11 +0100)]
[clang][AST][ASTImporter] Set record to complete during import of its members.

At import of a member it may require that the record is already set to complete.
(For example 'computeDependence' at create of some Expr nodes.)
The record at this time may not be completely imported, the result of layout
calculations can be incorrect, but at least no crash occurs this way.

A good solution would be if fields of every encountered record are imported
before other members of all records. This is much more difficult to implement.

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

2 years ago[NFC] Precommit for PR53357
Chuanqi Xu [Mon, 14 Feb 2022 06:35:37 +0000 (14:35 +0800)]
[NFC] Precommit for PR53357

Due to there are other required changes in
https://reviews.llvm.org/D118094, precommit these changes to ease
reviewing. Including:
- Remove *_thwart tests.
- Remove test for (x & y) + (~x & ~y)
- Fix incorrect uniitest committeed before

2 years ago[NFC] [ValueTracking] Add unittest for haveNoCommonBitsSet
Chuanqi Xu [Mon, 14 Feb 2022 06:09:26 +0000 (14:09 +0800)]
[NFC] [ValueTracking] Add unittest for haveNoCommonBitsSet

2 years ago[X86][MS] Add 80bit long double support for Windows
Phoebe Wang [Mon, 14 Feb 2022 04:55:43 +0000 (12:55 +0800)]
[X86][MS] Add 80bit long double support for Windows

MSVC currently doesn't support 80 bits long double. But ICC does support
it on Windows. Besides, there're also some users asked for this feature.
We can find the discussions from stackoverflow, msdn etc.

Given Clang has already support `-mlong-double-80`, extending it to
support for Windows seems worthwhile.

Reviewed By: rnk, erichkeane

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

2 years ago[ifs] Allow llvm-ifs to generate text stub from elf stub
Haowei Wu [Wed, 12 Jan 2022 05:16:49 +0000 (21:16 -0800)]
[ifs] Allow llvm-ifs to generate text stub from elf stub

ELF stubs generated from llvm-ifs lacks program headers, which prevents
llvm-ifs from parsing them properly as program headers are required by
llvm's own ELF libraries. This patch adds a few workaround bypass this
limitation.

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

2 years ago[ifs] Added missing DT_STRSZ to the .dynamic section
Haowei Wu [Tue, 11 Jan 2022 22:45:57 +0000 (14:45 -0800)]
[ifs] Added missing DT_STRSZ to the .dynamic section

This patch adds DT_STRSZ into the dynamic section, which was absent
previously. This was a bug and caused failures in other tools.

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

2 years ago[RISCV] Fix RISCVTargetInfo::initFeatureMap, add non-ISA features back after implication
eopXD [Fri, 11 Feb 2022 12:41:12 +0000 (04:41 -0800)]
[RISCV] Fix RISCVTargetInfo::initFeatureMap, add non-ISA features back after implication

Previously D113336 makes RISCVTargetInfo::initFeatureMap return the results
processed by RISCVISAInfo, which only consists of ISA features and misses
non-ISA features like `relax` and `save-restore`.

This patch fixes the problem.

Reviewed By: junparser

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

2 years ago[sanitizer] Skip test on Android where chmod is not working
Teresa Johnson [Mon, 14 Feb 2022 03:38:50 +0000 (19:38 -0800)]
[sanitizer] Skip test on Android where chmod is not working

Third attempt to fix a bot failure from
634da7a1c61ee8c173e90a841eb1f4ea03caa20b on an Android bot:
https://lab.llvm.org/buildbot#builders/77/builds/14339

My last attempt used an approach from another test where chmod was not
working of using a bad character in the path name. But it looks like
this trick only works on Windows.

Instead, restore the original version of this test before my change at
634da7a1c61ee8c173e90a841eb1f4ea03caa20b and move the bad path test to
a new test file, marking it unsupported on Android.

2 years ago[NFC][RISCV] Remove redundant `Returned`
Shao-Ce SUN [Mon, 14 Feb 2022 03:37:41 +0000 (11:37 +0800)]
[NFC][RISCV] Remove redundant `Returned`

2 years ago[llvm-jitlink] Fix a bug in llvm-jitlink's Slab allocator.
Lang Hames [Fri, 11 Feb 2022 07:45:45 +0000 (23:45 -0800)]
[llvm-jitlink] Fix a bug in llvm-jitlink's Slab allocator.

The slab delta (used to link as if allocated at a specified address) should
remain constant.The update to the delta was accidentally introduced in
962a2479b57f5, but hasn't caused any failures as it only breaks in an obvious
way for multi-file exec uses (our regression tests are all -noexec, and tend to
be single-file).

No testcase here: this is an obscure utility for testing support, and an
uncommon use-case. If the slab allocator is ever moved into LLVM we could add
a unit test to catch this.

2 years ago[DAGCombiner] Use getShiftAmountConstant in DAGCombiner::foldSelectOfConstants.
Craig Topper [Mon, 14 Feb 2022 02:56:18 +0000 (18:56 -0800)]
[DAGCombiner] Use getShiftAmountConstant in DAGCombiner::foldSelectOfConstants.

This enables fshl to be matched earlier on X86

  %6 = lshr i32 %3, 1
  %7 = select i1 %4, i32 -2147483648, i32 0
  %8 = or i32 %6, %7

X86 uses i8 for shift amounts. SelectionDAGBuilder creates the
ISD::SRL with an i8 shift type. DAGCombiner turns the select into
an ISD::SHL. Prior to this patch it would use i32 for the shift
amount. fshl matching failed because the shift amounts have different
types. LegalizeDAG fixes the ISD::SHL shift amount to i8. This
allowed fshl matching to succeed.

With this patch, the ISD::SHL will be created with an i8 shift
amount. This allows the fshl to match immediately.

No test case beause we still end up with a fshl either way.

2 years ago[IVDescriptors] Support FOR where we have multiple sink pointed
zhongyunde [Mon, 14 Feb 2022 01:27:49 +0000 (09:27 +0800)]
[IVDescriptors] Support FOR where we have multiple sink pointed

Handles the case where Previous doesn't come before LastPrev incorrectly.
Fix https://github.com/llvm/llvm-project/issues/53483

Reviewed By: fhahn

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

2 years ago[sanitizer] Second test fix to tolerate chmod not working as intended
Teresa Johnson [Mon, 14 Feb 2022 01:00:04 +0000 (17:00 -0800)]
[sanitizer] Second test fix to tolerate chmod not working as intended

Second attempt to fix a bot failure from
634da7a1c61ee8c173e90a841eb1f4ea03caa20b on an Android bot:
https://lab.llvm.org/buildbot#builders/77/builds/14339

With the fix in 986afe847951a59cd66783e1377b13cec6412972 there was a
different issue, because we need the fully qualified path name to the
binary, which is only available in arg[0]. New failure:
https://lab.llvm.org/buildbot/#/builders/77/builds/14346/steps/16/logs/stdio

Restructure the test so both attempts are made from the same invocation,
which sets up the bad paths directly.

2 years ago[X86] combineArithReduction - pull out (near) duplicate v4i8/v8i8 widening code....
Simon Pilgrim [Sun, 13 Feb 2022 20:49:52 +0000 (20:49 +0000)]
[X86] combineArithReduction - pull out (near) duplicate v4i8/v8i8 widening code. NFC.

2 years agoAvoid a vulgarism. NFC.
Marek Kurdej [Sun, 13 Feb 2022 21:01:06 +0000 (22:01 +0100)]
Avoid a vulgarism. NFC.

2 years ago[clang-format] Handle PointerAlignment in `if` and `switch` statements with initializ...
Marek Kurdej [Sat, 12 Feb 2022 21:46:14 +0000 (22:46 +0100)]
[clang-format] Handle PointerAlignment in `if` and `switch` statements with initializers (C++17) the same way as in `for` loops.

Reviewed By: MyDeveloperDay, owenpan

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

2 years ago[clang-format] Correctly format loops and `if` statements even if preceded with comments.
Marek Kurdej [Fri, 11 Feb 2022 13:53:36 +0000 (14:53 +0100)]
[clang-format] Correctly format loops and `if` statements even if preceded with comments.

Fixes https://github.com/llvm/llvm-project/issues/53758.

Braces in loops and in `if` statements with leading (block) comments were formatted according to `BraceWrapping.AfterFunction` and not `AllowShortBlocksOnASingleLine`/`AllowShortLoopsOnASingleLine`/`AllowShortIfStatementsOnASingleLine`.

Previously, the code:
```
while (true) {
  f();
}
/*comment*/ while (true) {
  f();
}
```

was incorrectly formatted to:
```
while (true) {
  f();
}
/*comment*/ while (true) { f(); }
```

when using config:
```
BasedOnStyle: LLVM
BreakBeforeBraces: Custom
BraceWrapping:
  AfterFunction: false
AllowShortBlocksOnASingleLine: false
AllowShortLoopsOnASingleLine: false
```

and it was (correctly but by chance) formatted to:
```
while (true) {
  f();
}
/*comment*/ while (true) {
  f();
}
```

when using enabling brace wrapping after functions:
```
BasedOnStyle: LLVM
BreakBeforeBraces: Custom
BraceWrapping:
  AfterFunction: true
AllowShortBlocksOnASingleLine: false
AllowShortLoopsOnASingleLine: false
```

Reviewed By: MyDeveloperDay, HazardyKnusperkeks, owenpan

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

2 years ago[sanitizer] Fix test to tolerate chmod not working as intended
Teresa Johnson [Sun, 13 Feb 2022 16:39:59 +0000 (08:39 -0800)]
[sanitizer] Fix test to tolerate chmod not working as intended

Attempts to fix a bot failure from
634da7a1c61ee8c173e90a841eb1f4ea03caa20b on an Android bot:
https://lab.llvm.org/buildbot#builders/77/builds/14339

It appears that the chmod is not making the directory unwritable as
expected on this system for some reason. Adopt an approach used in
compiler-rt/test/fuzzer/fuzzer-dirs.test for systems with
non-functioning chmod by including illegal characters in directory.

2 years ago[X86] vector-reduce-add-sext - add sum of (sign-extended) bool vector tests
Simon Pilgrim [Sun, 13 Feb 2022 19:40:01 +0000 (19:40 +0000)]
[X86] vector-reduce-add-sext - add sum of (sign-extended) bool vector tests

2 years ago[llvm][doc] Add Aarch64 to list of architectures supporting statepoints
Markus Böck [Sun, 13 Feb 2022 10:14:42 +0000 (11:14 +0100)]
[llvm][doc] Add Aarch64 to list of architectures supporting statepoints

Fixes https://github.com/llvm/llvm-project/issues/53655

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

2 years ago[X86] Add AVX512 tests to AVX common check prefix
Simon Pilgrim [Sun, 13 Feb 2022 19:23:16 +0000 (19:23 +0000)]
[X86] Add AVX512 tests to AVX common check prefix

2 years ago[NFC][IR] Value: assert this->takeName(this)
Dmitry Vassiliev [Sun, 13 Feb 2022 18:47:37 +0000 (21:47 +0300)]
[NFC][IR] Value: assert this->takeName(this)

Need to add an assert about this->takeName(this). This restriction is already documented, so this is just an NFC check.
Without this assertion (as prescribed by original comments for this API), name deletion or down-stream assert failures may occur in other routines: e.g. at the beginning of replaceAllUsesWith() below.

Reviewed By: aeubanks

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

2 years ago[mlir][tensor] Check ops generated by InsertSliceOpCastFolder are valid
Ivan Butygin [Sun, 13 Feb 2022 14:51:59 +0000 (17:51 +0300)]
[mlir][tensor] Check ops generated by InsertSliceOpCastFolder are valid

Fixes https://github.com/llvm/llvm-project/issues/53099

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

2 years ago[OpaquePtr][ValueTracking] Check GEP source element type in isPointerOffset()
Arthur Eubanks [Sun, 13 Feb 2022 01:37:20 +0000 (17:37 -0800)]
[OpaquePtr][ValueTracking] Check GEP source element type in isPointerOffset()

Fixes a MemCpyOpt miscompile with opaque pointers.
This function can be further cleaned up, but let's just fix the miscompile first.

Reviewed By: #opaque-pointers, nikic

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

2 years ago[IR] Use default member initialization in IRBuilderBase (NFC)
Kazu Hirata [Sun, 13 Feb 2022 18:34:05 +0000 (10:34 -0800)]
[IR] Use default member initialization in IRBuilderBase (NFC)

2 years ago[Transforms] Use default member initialization in MemmoveVerifier (NFC)
Kazu Hirata [Sun, 13 Feb 2022 18:34:03 +0000 (10:34 -0800)]
[Transforms] Use default member initialization in MemmoveVerifier (NFC)

2 years ago[Transforms] Use default member initialization in Prefetch (NFC)
Kazu Hirata [Sun, 13 Feb 2022 18:34:02 +0000 (10:34 -0800)]
[Transforms] Use default member initialization in Prefetch (NFC)

2 years ago[Transforms] Use default member initialization in ConditionInfo (NFC)
Kazu Hirata [Sun, 13 Feb 2022 18:34:00 +0000 (10:34 -0800)]
[Transforms] Use default member initialization in ConditionInfo (NFC)

2 years ago[Support] Use default member initialization in circular_raw_ostream (NFC)
Kazu Hirata [Sun, 13 Feb 2022 18:33:58 +0000 (10:33 -0800)]
[Support] Use default member initialization in circular_raw_ostream (NFC)

2 years ago[Transforms] Use default member initialization in CHRStats (NFC)
Kazu Hirata [Sun, 13 Feb 2022 18:33:56 +0000 (10:33 -0800)]
[Transforms] Use default member initialization in CHRStats (NFC)

2 years ago[test][ObjectYAML][MachO] Fix assertion syntax
Keith Smiley [Sun, 13 Feb 2022 18:05:50 +0000 (10:05 -0800)]
[test][ObjectYAML][MachO] Fix assertion syntax

This wasn't running because of the missing colon

2 years agoRevert "[AArch64] Adds SUBS and ADDS instructions to the MIPeepholeOpt."
Nathan Chancellor [Sun, 13 Feb 2022 17:23:32 +0000 (10:23 -0700)]
Revert "[AArch64] Adds SUBS and ADDS instructions to the MIPeepholeOpt."

This reverts commit af45d0fd94b21620b61c8c4900b81486fd85aeb7.

This causes assertions failures when compiling the Linux kernel. See
https://reviews.llvm.org/D118663 for a reduced reproducer.

2 years ago[ObjectYAML][MachO] Add LC_FUNCTION_STARTS support
Keith Smiley [Tue, 8 Feb 2022 01:33:32 +0000 (17:33 -0800)]
[ObjectYAML][MachO] Add LC_FUNCTION_STARTS support

This adds support for encoding and decoding the LC_FUNCTION_STARTS load
command payload.

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

2 years ago[Shape] Simplify getShapeVec a bit. NFCI.
Benjamin Kramer [Sun, 13 Feb 2022 15:57:48 +0000 (16:57 +0100)]
[Shape] Simplify getShapeVec a bit. NFCI.

2 years ago[sanitizer] Check if directory exists before trying to create
Teresa Johnson [Thu, 10 Feb 2022 23:42:38 +0000 (15:42 -0800)]
[sanitizer] Check if directory exists before trying to create

Add a DirExists mechanism, modeled after FileExists. Use it to guard
creation of the report path directory.

This should avoid failures running the sanitizer in a sandbox where the
file creation attempt causes hard failures, even for an existing
directory. Problem reported on D109794 for ChromeOS in sandbox
(https://issuetracker.google.com/209296420).

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

2 years ago[X86] Add test for PR38788 missing PTEST fold
Simon Pilgrim [Sun, 13 Feb 2022 13:43:22 +0000 (13:43 +0000)]
[X86] Add test for PR38788 missing PTEST fold

2 years ago[x86] try harder to scalarize a vector load with extracted integer op uses
Sanjay Patel [Sun, 13 Feb 2022 13:21:57 +0000 (08:21 -0500)]
[x86] try harder to scalarize a vector load with extracted integer op uses

This is a retry of b4b97ec813a0 - that was reverted because it
could cause miscompiles by illegally reordering memory operations.
A new test based on #53695 is added here to verify we do not have
that same problem.

extract_vec_elt (load X), C --> scalar load (X+C)

As noted in the comment, DAGCombiner has this fold -- and the code in this
patch is adapted from DAGCombiner::scalarizeExtractedVectorLoad() -- but
x86 should benefit even if the loaded vector has other uses as long as we
apply some other x86-specific conditions. The motivating example from #50310
is shown in vec_int_to_fp.ll.

Fixes #50310
Fixes #53695

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

2 years ago[X86] Add some add reduction tests when we're extending from a smaller type
Simon Pilgrim [Sun, 13 Feb 2022 13:27:00 +0000 (13:27 +0000)]
[X86] Add some add reduction tests when we're extending from a smaller type

This often occurs when the accumulator is larger than the source vector element, such as some of the tests mentioned in Issue #42019

2 years ago[clang][sema] Use castAs<> instead of getAs<> to avoid dereference of nullptr
Simon Pilgrim [Sun, 13 Feb 2022 13:14:00 +0000 (13:14 +0000)]
[clang][sema] Use castAs<> instead of getAs<> to avoid dereference of nullptr

The pointers are referenced immediately, so assert the cast is correct instead of returning nullptr

2 years agoA significant number of our tests in C accidentally use functions
Aaron Ballman [Sun, 13 Feb 2022 13:02:46 +0000 (08:02 -0500)]
A significant number of our tests in C accidentally use functions
without prototypes. This patch converts the function signatures to have
a prototype for the situations where the test is not specific to K&R C
declarations. e.g.,

  void func();

becomes

  void func(void);

This is the ninth batch of tests being updated (there are a
significant number of other tests left to be updated).

2 years ago[LV] Drop noalias from check lines from test (NFC).
Florian Hahn [Sun, 13 Feb 2022 11:36:54 +0000 (11:36 +0000)]
[LV] Drop noalias from check lines from test (NFC).

The noalias metadata checks re not really relevant for the test and
slight changes to metadata numbering can have large knock-on effects
causing large noise in test diff.

2 years agoThe device expression must evaluate to a non-negative integer value.
Harshil Jain [Sun, 13 Feb 2022 11:18:59 +0000 (16:48 +0530)]
The device expression must evaluate to a non-negative integer value.

Device clause when it occurs with **target enter data** and **target exit data** must be declared with some non negative value. So some changes were made to evaluate the device clause argument to non negative value and throw the expected error when it takes negative value as argument.

Reviewed By: clementval

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

2 years ago[LV] Add real uses in some tests, to make them more robust.
Florian Hahn [Sun, 13 Feb 2022 09:52:49 +0000 (09:52 +0000)]
[LV] Add real uses in some tests, to make them more robust.

Add real uses to some tests, to ensure dead instructions cannot be directly
removed.

2 years ago[NFC][RFC][TableGen] Improve the comment about variable len encoder
Sheng [Sun, 13 Feb 2022 05:15:05 +0000 (13:15 +0800)]
[NFC][RFC][TableGen] Improve the comment about variable len encoder

When, for example, using "ascend" operator, I was wondering whether
the bit order of the dag argument will be reversed in ascend order
as well.

This patch clarifies it.

Reviewed By: myhsu

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

2 years ago[NFC][M68k] Fix typo
Sheng [Sun, 13 Feb 2022 05:09:33 +0000 (13:09 +0800)]
[NFC][M68k] Fix typo

2 years ago[ELF] demoteSharedSymbols: make binding more appropriate for lazy symbols. NFC
Fangrui Song [Sun, 13 Feb 2022 04:43:39 +0000 (20:43 -0800)]
[ELF] demoteSharedSymbols: make binding more appropriate for lazy symbols. NFC

The binding will matter if we remove the `sym->replace(und)` kludge from
initializeSymbols.
While here, rename the function to be more appropriate.

2 years ago[NFC][M68k] Fix indentation
Sheng [Sun, 13 Feb 2022 03:47:02 +0000 (11:47 +0800)]
[NFC][M68k] Fix indentation

2 years ago[OpenMP][Offloading] Fix infinite loop in applyToShadowMapEntries
Shilei Tian [Sun, 13 Feb 2022 03:02:47 +0000 (22:02 -0500)]
[OpenMP][Offloading] Fix infinite loop in applyToShadowMapEntries

This patch fixes the issue that the for loop in `applyToShadowMapEntries`
is infinite because `Itr` is not incremented in `CB`. Fixes #53727.

Reviewed By: jdoerfert

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

2 years ago[X86][MS] Fix the wrong alignment of vector variable arguments on Win32
Phoebe Wang [Sun, 13 Feb 2022 01:37:36 +0000 (09:37 +0800)]
[X86][MS] Fix the wrong alignment of vector variable arguments on Win32

D108887 fixed alignment mismatch by changing the caller's alignment in
ABI. However, we found some cases that still assume the alignment is
vector size. This patch fixes them to avoid the runtime crash.

Reviewed By: rnk

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

2 years ago[test][MemCpyOpt] Rename test function
Arthur Eubanks [Sun, 13 Feb 2022 01:44:51 +0000 (17:44 -0800)]
[test][MemCpyOpt] Rename test function

2 years ago[test][MemCpyOpt] Precommit test
Arthur Eubanks [Sun, 13 Feb 2022 00:52:33 +0000 (16:52 -0800)]
[test][MemCpyOpt] Precommit test

2 years ago[libc++] Remove <experimental/filesystem> header
Joe Loser [Fri, 11 Feb 2022 23:45:44 +0000 (18:45 -0500)]
[libc++] Remove <experimental/filesystem> header

`<filesystem>` header has been around for a while now, so we can safely remove
`<experimental/filesystem>` header. `_LIBCPP_DEPRECATED_EXPERIMENTAL_FILESYSTEM`
suggests we were going to remove `<experimental/filesystem>` in llvm 11 release,
but we never did. So, remove the experimental header now, its associated tests,
and the `_LIBCPP_DEPRECATED_EXPERIMENTAL_FILESYSTEM` macro.

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

2 years ago[SLP][X86] Add common check prefix for horizontal reduction tests
Simon Pilgrim [Sat, 12 Feb 2022 21:48:31 +0000 (21:48 +0000)]
[SLP][X86] Add common check prefix for horizontal reduction tests

2 years ago[RISCV] Fix incorrect extend type in vwmulsu combine.
Craig Topper [Sat, 12 Feb 2022 06:27:08 +0000 (22:27 -0800)]
[RISCV] Fix incorrect extend type in vwmulsu combine.

While matching widening multiply, if we matched an extend from i8->i32,
i16->i64 or i8->i64, we need to reintroduce a narrower extend. If we're
matching a vwmulsu we need to use a sext for op0 and a zext for op1.

This bug exists in LLVM 14 and will need to be backported.

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

2 years ago[clang-format] Remove unnecessary parentheses in return statements. NFC.
Marek Kurdej [Sat, 12 Feb 2022 20:25:42 +0000 (21:25 +0100)]
[clang-format] Remove unnecessary parentheses in return statements. NFC.

2 years ago[clang] MicrosoftCXXNameMangler::mangleObjCKindOfType - use castAs<> instead of getAs...
Simon Pilgrim [Sat, 12 Feb 2022 20:11:21 +0000 (20:11 +0000)]
[clang] MicrosoftCXXNameMangler::mangleObjCKindOfType - use castAs<> instead of getAs<> to avoid dereference of nullptr

The pointer is referenced in the mangleType call, so assert the cast is correct instead of returning nullptr

2 years ago[clang-tidy] SimplifyBooleanExprCheck - use cast<> instead of dyn_cast<> to avoid...
Simon Pilgrim [Sat, 12 Feb 2022 19:59:13 +0000 (19:59 +0000)]
[clang-tidy] SimplifyBooleanExprCheck - use cast<> instead of dyn_cast<> to avoid dereference of nullptr

The IfStmt pointer is always referenced inside the replaceCompoundReturnWithCondition call, so assert the cast is correct instead of returning nullptr

2 years ago[OpenMP][NFC] Simplify identifying the device bitcode library
Joseph Huber [Fri, 11 Feb 2022 21:44:17 +0000 (16:44 -0500)]
[OpenMP][NFC] Simplify identifying the device bitcode library

Now that the old device runtime has been deleted there is only a single
target that differs by the triple and the architecture. Simplify the
scheme for identifying the library but directly using the triple.

Reviewed By: JonChesterfield

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

2 years ago[libc++][nfc] Add TEST_HAS_NO_INT128.
Mark de Wever [Sat, 12 Feb 2022 19:06:21 +0000 (20:06 +0100)]
[libc++][nfc] Add TEST_HAS_NO_INT128.

This avoids using an libc++ internal macro in our tests.

D117992 removed them, but it seems new occurrences have been introduced.

2 years agoRevert "[asan] Always skip first object from dl_iterate_phdr"
Nico Weber [Sat, 12 Feb 2022 19:05:08 +0000 (14:05 -0500)]
Revert "[asan] Always skip first object from dl_iterate_phdr"

This reverts commit d75a5650dbdc595f836db4711f2a480f87243593.
Breaks asan_dlopen_test.cpp on several bots, see comments on
https://reviews.llvm.org/D119515

2 years ago[LV] Pass start value directly to emitTransformedIndex (NFC).
Florian Hahn [Sat, 12 Feb 2022 19:03:32 +0000 (19:03 +0000)]
[LV] Pass start value directly to emitTransformedIndex (NFC).

2 years agoRevert "[HWASan] Use hwasan_memalign for aligned new."
Nico Weber [Sat, 12 Feb 2022 18:56:50 +0000 (13:56 -0500)]
Revert "[HWASan] Use hwasan_memalign for aligned new."

This reverts commit 4fb7c120fed504519d167c93ed9d920aeae46fb0.
Breaks tests on Linux were system gcc doesn't support C++17
(but gcc used to build LLVM does), see https://reviews.llvm.org/D119161

2 years agoRefactor nested if else with ternary operator in CGExprScalar.cpp
phyBrackets [Sat, 12 Feb 2022 18:34:01 +0000 (00:04 +0530)]
Refactor nested if else with ternary operator in CGExprScalar.cpp

Reviewed By: rjmccall

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

2 years ago[libc++][nfc] Add TEST_HAS_NO_THREADS.
Mark de Wever [Wed, 2 Feb 2022 18:28:06 +0000 (19:28 +0100)]
[libc++][nfc] Add TEST_HAS_NO_THREADS.

This avoids using an libc++ internal macro in our tests.

Reviewed By: #libc, philnik, ldionne

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

2 years agoRevert "[RISCV] Enable shrink wrap by default"
Dimitry Andric [Sat, 12 Feb 2022 18:04:12 +0000 (19:04 +0100)]
Revert "[RISCV] Enable shrink wrap by default"

This reverts commit 5ebdb07e7eb366c20fa2d914e07a4d380975f266.

Enabling shrink wrap by default can cause assertions or crashes, and
these should first be investigated and fixed. For now, reverting the
change so it can be cherry-picked into 14.0.0 is the safest choice.

2 years ago[X86] LowerFunnelShift - enable v16i16 support
Simon Pilgrim [Sat, 12 Feb 2022 17:04:59 +0000 (17:04 +0000)]
[X86] LowerFunnelShift - enable v16i16 support

2 years ago[X86] combineAndnp - if an input has a zero (after inversion for Op0) in a vector...
Simon Pilgrim [Sat, 12 Feb 2022 16:49:00 +0000 (16:49 +0000)]
[X86] combineAndnp - if an input has a zero (after inversion for Op0) in a vector element, then we don't demand that bit/element in the other input

Similar to what we already perform in combineAnd

2 years ago[MachineSink] Inline getRegUnits
Benjamin Kramer [Sat, 12 Feb 2022 16:30:57 +0000 (17:30 +0100)]
[MachineSink] Inline getRegUnits

Reg unit sets are uniqued, so no need to wrap it in a set.

2 years ago[MachineRegisterInfo] Simplify code so it matches the description
Benjamin Kramer [Sat, 12 Feb 2022 16:30:06 +0000 (17:30 +0100)]
[MachineRegisterInfo] Simplify code so it matches the description

2 years ago[SDAG] clean up scalarizing load transform
Sanjay Patel [Sat, 12 Feb 2022 15:34:51 +0000 (10:34 -0500)]
[SDAG] clean up scalarizing load transform

I have not found a way to expose a difference for this patch in a test
because it only triggers for a one-use load, but this is the code that
was adapted into D118376 and caused miscompiles. The new code pattern
is the same as what we do in narrowExtractedVectorLoad() (reduces load
width for a subvector extract).

This removes seemingly unnecessary manual worklist management and fixes
the chain updating via "SelectionDAG::makeEquivalentMemoryOrdering()".

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

2 years ago[X86] getTargetVShiftNode - Fix Wparentheses gcc warning.
Simon Pilgrim [Sat, 12 Feb 2022 16:37:24 +0000 (16:37 +0000)]
[X86] getTargetVShiftNode - Fix Wparentheses gcc warning.

2 years ago[X86] combineAndnp - pull out repeated operands. NFC.
Simon Pilgrim [Sat, 12 Feb 2022 16:35:24 +0000 (16:35 +0000)]
[X86] combineAndnp - pull out repeated operands. NFC.

2 years ago[X86] combineAnd - add SimplifyMultipleUseDemandedBits handling to masked vector...
Simon Pilgrim [Sat, 12 Feb 2022 15:30:46 +0000 (15:30 +0000)]
[X86] combineAnd - add SimplifyMultipleUseDemandedBits handling to masked vector element analysis

Extend the existing fold to use SimplifyMultipleUseDemandedBits as well as SimplifyDemandedVectorElts/SimplifyDemandedBits when attempting to simplify based off known zero vector elements.

2 years ago[SDAG] reduce code duplication and fix formatting; NFC
Sanjay Patel [Sat, 12 Feb 2022 15:22:13 +0000 (10:22 -0500)]
[SDAG] reduce code duplication and fix formatting; NFC

2 years ago[X86] Improve uniform funnelshift/rotation amount handling
Simon Pilgrim [Sat, 12 Feb 2022 14:46:24 +0000 (14:46 +0000)]
[X86] Improve uniform funnelshift/rotation amount handling

To find uniform shift/rotation amounts, we currently use SelectionDAG::getSplatValue which creates a node that extracts the scalar value from the source vector, this makes it more difficult for later combines to remove the extraction and stay on the SIMD unit, and can be a problem when the scalar type is illegal (i.e. i64 vs v2i64 on 32-bit targets).

This patch begins to use SelectionDAG::getSplatSourceVector (which SelectionDAG::getSplatValue uses internally) and adds a new variant of getTargetVShiftNode that takes the source vector and the splat index, and adjusts the vector in place to create the zero-extended value suitable for the SSE PSLL/PSRL/PSRA uniform instructions.

I'm still addressing a number of regressions when used for normal vector shifts, so I've just handled the funnelshift/rotation lowering for this first patch. I can then focus on the yak shaving (SimplifyDemandedBits/Elts in particular) necessary to always use SelectionDAG::getSplatSourceVector.

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

2 years ago[AffineMap] Move result exprs into trailing storage. NFCI.
Benjamin Kramer [Sat, 12 Feb 2022 14:23:41 +0000 (15:23 +0100)]
[AffineMap] Move result exprs into trailing storage. NFCI.

2 years ago[X86] Regenerate AVG combines with separate AVX1/AVX2 check prefixes
Simon Pilgrim [Sat, 12 Feb 2022 14:15:57 +0000 (14:15 +0000)]
[X86] Regenerate AVG combines with separate AVX1/AVX2 check prefixes

2 years ago[X86] Enable vector splitting of ISD::AVGCEILU nodes on AVX1 and non-BWI targets
Simon Pilgrim [Sat, 12 Feb 2022 14:04:55 +0000 (14:04 +0000)]
[X86] Enable vector splitting of ISD::AVGCEILU nodes on AVX1 and non-BWI targets

2 years agoUse AffineMap::getSliceMap where applicable. NFCI.
Benjamin Kramer [Sat, 12 Feb 2022 13:19:35 +0000 (14:19 +0100)]
Use AffineMap::getSliceMap where applicable. NFCI.

2 years ago[llvm] [cmake] Fix finding modern ounit2
Michał Górny [Sun, 6 Feb 2022 14:58:32 +0000 (15:58 +0100)]
[llvm] [cmake] Fix finding modern ounit2

Apparently modern versions of ounit2 can only be found as "ounit2"
rather than "oUnit" version 2.  Update the CMake check to support both
variants.  This makes the OCaml tests run again with ounit2-2.2.4.

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

2 years agoUse functions with prototypes when appropriate; NFC
Aaron Ballman [Sat, 12 Feb 2022 12:23:43 +0000 (07:23 -0500)]
Use functions with prototypes when appropriate; NFC

A significant number of our tests in C accidentally use functions
without prototypes. This patch converts the function signatures to have
a prototype for the situations where the test is not specific to K&R C
declarations. e.g.,

  void func();

becomes

  void func(void);

This is the eighth batch of tests being updated (there are a
significant number of other tests left to be updated).

2 years ago[clang-tidy] ContainerSizeEmptyCheck::check - simplify isa<> and dyn_cast<> repeated...
Simon Pilgrim [Sat, 12 Feb 2022 11:31:27 +0000 (11:31 +0000)]
[clang-tidy] ContainerSizeEmptyCheck::check - simplify isa<> and dyn_cast<> repeated calls

Just use dyn_cast<> to determine literal + container values from the binop

2 years ago[clang-doc] populateParentNamespaces - use cast<> instead of dyn_cast<> to avoid...
Simon Pilgrim [Sat, 12 Feb 2022 11:28:50 +0000 (11:28 +0000)]
[clang-doc] populateParentNamespaces - use cast<> instead of dyn_cast<> to avoid dereference of nullptr

The pointer is referenced immediately, so assert the cast is correct instead of returning nullptr

It's only later iterations of the loop where the getParent() call might return nullptr

2 years ago[clang][sema] checkNoThrow - use cast<> instead of dyn_cast<> to avoid dereference...
Simon Pilgrim [Sat, 12 Feb 2022 11:18:49 +0000 (11:18 +0000)]
[clang][sema] checkNoThrow - use cast<> instead of dyn_cast<> to avoid dereference of nullptr

The pointer is referenced immediately, so assert the cast is correct instead of returning nullptr

2 years ago[clang][sema] Sema::CheckFreeArguments - use cast<> instead of dyn_cast<> to avoid...
Simon Pilgrim [Sat, 12 Feb 2022 11:17:02 +0000 (11:17 +0000)]
[clang][sema] Sema::CheckFreeArguments - use cast<> instead of dyn_cast<> to avoid dereference of nullptr

The pointer is referenced immediately, so assert the cast is correct instead of returning nullptr

2 years ago[clang][sema] TryStaticCast - use castAs<> instead of getAs<> to avoid dereference...
Simon Pilgrim [Sat, 12 Feb 2022 11:14:19 +0000 (11:14 +0000)]
[clang][sema] TryStaticCast - use castAs<> instead of getAs<> to avoid dereference of nullptr

The pointer is referenced immediately, so assert the cast is correct instead of returning nullptr

2 years ago[clang-tidy] RedundantControlFlowCheck::issueDiagnostic - use cast<> instead of dyn_c...
Simon Pilgrim [Sat, 12 Feb 2022 11:05:59 +0000 (11:05 +0000)]
[clang-tidy] RedundantControlFlowCheck::issueDiagnostic - use cast<> instead of dyn_cast<> to avoid dereference of nullptr

The pointer is referenced immediately, so assert the cast is correct instead of returning nullptr

2 years ago[clang-tidy] FunctionASTVisitor::TraverseStmt - use cast<> instead of dyn_cast<>...
Simon Pilgrim [Sat, 12 Feb 2022 11:04:20 +0000 (11:04 +0000)]
[clang-tidy] FunctionASTVisitor::TraverseStmt - use cast<> instead of dyn_cast<> to avoid dereference of nullptr

The pointer is referenced immediately, so assert the cast is correct instead of returning nullptr