platform/upstream/llvm.git
2 years ago[BOLT] Handle broken .dynsym in stripped binaries
Huan Nguyen [Fri, 22 Jul 2022 18:23:38 +0000 (11:23 -0700)]
[BOLT] Handle broken .dynsym in stripped binaries

Strip tools cause a few symbols in .dynsym to have bad section index.
This update safely keeps such broken symbols intact.

Test Plan:
```
ninja check-bolt
```

Reviewed By: Amir

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

2 years ago[OpenMP] Fix test error introduced in D130179
Shilei Tian [Fri, 22 Jul 2022 18:16:47 +0000 (14:16 -0400)]
[OpenMP] Fix test error introduced in D130179

2 years ago[AIX][NFC] modify the llvm-ar help information for big archive.
zhijian [Fri, 22 Jul 2022 17:52:18 +0000 (13:52 -0400)]
[AIX][NFC] modify the llvm-ar help information for big archive.

Reviewers: James Henderson
Differential Revision: https://reviews.llvm.org/D130292

2 years ago[OpenMP][DeviceRTL] Fix the issue that multiple calls to `omp_get_wtime` is optimized...
Shilei Tian [Fri, 22 Jul 2022 17:46:31 +0000 (13:46 -0400)]
[OpenMP][DeviceRTL] Fix the issue that multiple calls to `omp_get_wtime` is optimized out by mistake

Multiple calls to `omp_get_wtime` could be optimized out due to the function
is mistakenly marked as `readnone`. This patch fixes the issue, and also add the
support to run optimization on `libomptarget` tests.

Reviewed By: jdoerfert

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

2 years ago[BOLT][DWARF] Fix bolt/test/X86/shared-abbrev.s
zr33 [Fri, 22 Jul 2022 17:45:09 +0000 (10:45 -0700)]
[BOLT][DWARF] Fix bolt/test/X86/shared-abbrev.s

There should not be a end of child mark before DW_AT_ranges, removed it and fixed unit offset.

Reviewed By: ayermolo

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

2 years ago[DWP][DWARF] Detect and error on debug info offset overflow
Alexander Yermolovich [Mon, 18 Jul 2022 22:12:07 +0000 (15:12 -0700)]
[DWP][DWARF] Detect and error on debug info offset overflow

Right now we silently overflow uint32_t for debug_indfo sections. Added a check
and error out.

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

2 years ago[clang][CodeGen] Only include ABIInfo.h where required (NFC)
Sergei Barannikov [Fri, 22 Jul 2022 17:45:02 +0000 (10:45 -0700)]
[clang][CodeGen] Only include ABIInfo.h where required (NFC)

Reviewed By: MaskRay

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

2 years ago[clang-doc] Add check for pointer validity
Paul Kirth [Fri, 22 Jul 2022 17:34:58 +0000 (17:34 +0000)]
[clang-doc] Add check for pointer validity

clang-doc would SEGV when running over the Fuchsia code base.
This patch adds a check to avoid dereferencing potentially null pointers
in the Values vector. These pointers were either never valid or had been
invalidated when the underlying pointer in std::unique_ptr was moved from,
hence making it nullptr within the vector.

Reviewed By: phosek

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

2 years ago[libc][nfc] move printf inf/nan to separate function
Michael Jones [Wed, 13 Jul 2022 17:17:54 +0000 (10:17 -0700)]
[libc][nfc] move printf inf/nan to separate function

The floating point functions all use the same inf and nan formatting. By
separating this functionality out of the %a conversion I make it
available for reuse by %f/e/g.

Reviewed By: lntue, sivachandra

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

2 years ago[mlir][Arithmetic] Add `arith.delinearize_index` operation
Christopher Bate [Wed, 20 Jul 2022 20:39:30 +0000 (14:39 -0600)]
[mlir][Arithmetic] Add `arith.delinearize_index` operation

This change adds a new DelinearizeIndexOp to the `arith` dialect. The
operation accepts an `index` type as well as a basis (array of index
values) representing how the index should be decomposed into a
multi-index. The decomposition obeys a canonical semantic that treats
the final basis element as "fastest varying" and the first basis element
as "slowest varying". A naive lowering of the operation using a sequence
of `arith.divui` and `arith.remui` operations is also given.

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

2 years ago[mlir][vector] NFC change to improve doc of vector distribution op
Thomas Raoux [Fri, 22 Jul 2022 17:13:22 +0000 (17:13 +0000)]
[mlir][vector] NFC change to improve doc of vector distribution op

Improve doc based on post commit review from https://reviews.llvm.org/D123703
Add more details on the op semantic, explicitly mention what part are parallel
and what parts are serial.

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

2 years ago[NFC] Improve FileSpec internal APIs and usage in preparation for adding caching...
Greg Clayton [Thu, 21 Jul 2022 21:43:29 +0000 (14:43 -0700)]
[NFC] Improve FileSpec internal APIs and usage in preparation for adding caching of resolved/absolute.

The FileSpect APIs allow users to modify instance variables directly by getting a non const reference to the directory and filename instance variables. This makes it impossibly to control all of the times the FileSpec object is modified so we can clear the cache. This patch modifies the APIs of FileSpec so no one can modify the directory or filename directly by adding set accessors and by removing the get accessors that are non const.

Many clients were using FileSpec::GetCString(...) which returned a unique C string from a ConstString'ified version of the result of GetPath() which returned a std::string. This caused many locations to use this convenient function incorrectly and could cause many strings to be added to the constant string pool that didn't need to. Most clients were converted to using FileSpec::GetPath().c_str() when possible. Other clients were modified to use the newly renamed version of this function which returns an actualy ConstString:
    ConstString FileSpec::GetPathAsConstString(bool denormalize = true) const;

This avoids the issue where people were getting an already uniqued "const char *" that came from a ConstString only to put the "const char *" back into a "ConstString" object. By returning the ConstString instead of a "const char *" clients can be more efficient with the result.

The patch:
- Removes the non const GetDirectory() and GetFilename() get accessors
- Adds set accessors to replace the above functions: SetDirectory() and SetFilename().
- Adds ClearDirectory() and ClearFilename() to replace usage of the FileSpec::GetDirectory().Clear()/FileSpec::GetFilename().Clear() call sites
- Fixed all incorrect usage of FileSpec::GetCString() to use FileSpec::GetPath().c_str() where appropriate, and updated other call sites that wanted a ConstString to use the newly returned ConstString appropriately and efficiently.

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

2 years ago[mlir][vector] Extend transfer_write to read propagation
Thomas Raoux [Wed, 20 Jul 2022 16:10:10 +0000 (16:10 +0000)]
[mlir][vector] Extend transfer_write to read propagation

Folding of transfer_write into transfer_read is already supported but
this requires the read and write to have the same permuation map.
After linalg vectorization it is common to have different ppermuation
map for write followed by read even though the cases could be
propagated.
This canonicalization handle cases where the permuation maps are
different but the data read and written match and replace the transfer
ops with broadcast and permuation

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

2 years ago[llvm-driver] Fix build after 07b749800
Alex Brachet [Fri, 22 Jul 2022 17:04:55 +0000 (17:04 +0000)]
[llvm-driver] Fix build after 07b749800

The llvm-driver build is not enabled on any bots so this
wasn't caught earlier.

2 years ago[Flang] Generate documentation for compiler flags
Dylan Fleming [Fri, 22 Jul 2022 16:40:50 +0000 (16:40 +0000)]
[Flang] Generate documentation for compiler flags

This patch aims to create a webpage to document
Flang's command line options on https://flang.llvm.org/docs/
in a similar way to Clang's
https://clang.llvm.org/docs/ClangCommandLineReference.html

This is done by using clang_tablegen to generate an .rst
file from Options.td (which is current shared with Clang)
For this to work, ClangOptionDocEmitter.cpp was updated
to allow specific Flang flags to be included,
rather than bulk excluding clang flags.

Note:
Some headings in the generated documentation will incorrectly
contain references to Clang, e.g.
"Flags controlling the behaviour of Clang during compilation"
This is because Options.td (Which is shared between both Clang and Flang)
contains hard-coded DocBrief sections. I couldn't find a non-intrusive way
to make this target-dependant, as such I've left this as is, and it will need revisiting later.

Reviewed By: awarzynski

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

2 years ago[libc] Don't call user comparator function for equal pointers
Alex Brachet [Fri, 22 Jul 2022 17:02:11 +0000 (17:02 +0000)]
[libc] Don't call user comparator function for equal pointers

The standard says two equal pointers must compare equal
so there is no need to call the user comparator function
in this case.

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

2 years ago[NFC] Fixed build fail of https://lab.llvm.org/buildbot/#/builders/207/builds/8752
zhijian [Fri, 22 Jul 2022 17:02:09 +0000 (13:02 -0400)]
[NFC] Fixed build fail of https://lab.llvm.org/buildbot/#/builders/207/builds/8752
     which caused by https://reviews.llvm.org/D127864

2 years ago[libc++][ranges] Implement `ranges::shuffle`.
Konstantin Varlamov [Fri, 22 Jul 2022 16:58:56 +0000 (09:58 -0700)]
[libc++][ranges] Implement `ranges::shuffle`.

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

2 years agoRemove references to old mailing lists that have moved to discourse. Replace with...
tlattner [Wed, 13 Jul 2022 18:42:30 +0000 (11:42 -0700)]
Remove references to old mailing lists that have moved to discourse. Replace with links to discourse.

Reviewed By: #libc_abi, ldionne

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

2 years ago[mlir][tosa] Flip accessors used to prefixed form (NFC)
Jacques Pienaar [Fri, 22 Jul 2022 16:56:08 +0000 (09:56 -0700)]
[mlir][tosa] Flip accessors used to prefixed form (NFC)

Follow up from dialect flip, just flipping accessors. Both forms still
generated.

2 years ago[PowerPC][NFC] Convert the MMA test cases to use opaque pointers.
Stefan Pintilie [Thu, 21 Jul 2022 10:48:33 +0000 (05:48 -0500)]
[PowerPC][NFC] Convert the MMA test cases to use opaque pointers.

This patch modifies only test cases.
Converted the MMA test cases to use opaque pointers.

Reviewed By: lei, amyk

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

2 years ago[AArch64] Use neon instructions for i64/i128 ISD::PARITY calculation
Simon Pilgrim [Fri, 22 Jul 2022 16:17:25 +0000 (17:17 +0100)]
[AArch64] Use neon instructions for i64/i128 ISD::PARITY calculation

As noticed on D129765 and reported on Issue #56531 - aarch64 targets can use the neon ctpop + add-reduce instructions to speed up scalar ctpop instructions, but we fail to do this for parity calculations.

I'm not sure where the cutoff should be for specific CPUs, but i64 (+ i128 special case) shows a definite reduction in instruction count. i32 is about the same (but scalar <-> neon transfers are probably more costly?), and sub-i32 promotion looks to be a definite regression compared to parity expansion optimized for those widths.

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

2 years ago[X86] Add X64 test coverage to smul-with-overflow.ll
Simon Pilgrim [Fri, 22 Jul 2022 15:49:58 +0000 (16:49 +0100)]
[X86] Add X64 test coverage to smul-with-overflow.ll

2 years ago[NFC] FunctionSamples::getEntrySamples -> getHeadSamplesEstimate
Mircea Trofin [Thu, 21 Jul 2022 15:30:23 +0000 (08:30 -0700)]
[NFC] FunctionSamples::getEntrySamples -> getHeadSamplesEstimate

The name `getEntrySamples` was misleading for 2 reasons. One, it's
close in name to `Function::getEntryCount`, but the equivalent here is
`getHeadSamples`; second, as opposed to the other get* APIs in
`FunctionSamples`, it performs an estimate/heuristic rather than just
retrieving raw data (or a non-heuristic derivate off that data, like
`getMaxCountInside`)

The new name should more clearly communicate its intent; and, being
close (in name) to `getHeadSamples`, it should allow the reader discover
the relation between them.

Also updated the doc comments for both `getHeadSamples[Estimate]` so a
reader may better understand the relation between them.

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

2 years ago[flang] Try to lower math intrinsics to math operations first.
Slava Zakharin [Tue, 19 Jul 2022 22:35:56 +0000 (15:35 -0700)]
[flang] Try to lower math intrinsics to math operations first.

This commit changes how math intrinsics are lowered: we, first,
try to lower them into MLIR operations or libm calls via
mathOperations table and only then fallback to pgmath runtime calls.

The pgmath fallback is needed, because mathOperations does not
support all intrinsics that pgmath supports. The main purpose
of this change is to get rid of llvmIntrinsics table so that
we do not have to update both llvmIntrinsics and mathOperations
when adding new intrinsic support.

mathOperations lowering should phase out pgmath lowering, when
more operations are available (e.g. power operations being
added in D129809 and D129811; complex type operations from
Complex dialect).

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

2 years ago[flang] Reduced CHECKs for transpose_opt.f90
Slava Zakharin [Thu, 21 Jul 2022 20:17:44 +0000 (13:17 -0700)]
[flang] Reduced CHECKs for transpose_opt.f90

This commit addresses concerns raised in D129497.

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

2 years agoRevert "[OpenMP][DeviceRTL] Fix the issue that multiple calls to `omp_get_wtime`...
Shilei Tian [Fri, 22 Jul 2022 15:45:06 +0000 (11:45 -0400)]
Revert "[OpenMP][DeviceRTL] Fix the issue that multiple calls to `omp_get_wtime` is optimized out by mistake"

This reverts commit ad34f1dba80efb62f5181e30b039a017fd5d164e.

2 years ago[LV] Remove unused variable. NFC.
Benjamin Kramer [Fri, 22 Jul 2022 15:43:02 +0000 (17:43 +0200)]
[LV] Remove unused variable. NFC.

2 years ago[OpenMP][DeviceRTL] Fix the issue that multiple calls to `omp_get_wtime` is optimized...
Shilei Tian [Fri, 22 Jul 2022 15:43:23 +0000 (11:43 -0400)]
[OpenMP][DeviceRTL] Fix the issue that multiple calls to `omp_get_wtime` is optimized out by mistake

Multiple calls to `omp_get_wtime` could be optimized out due to the function
is mistakenly marked as `readnone`. This patch fixes the issue, and also add the
support to run optimization on `libomptarget` tests.

Reviewed By: jdoerfert

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

2 years ago[DAGCombiner] Simplify code around call to reduceLoadWidth in visitAND. NFC
Craig Topper [Fri, 22 Jul 2022 15:07:26 +0000 (08:07 -0700)]
[DAGCombiner] Simplify code around call to reduceLoadWidth in visitAND. NFC

We were looking for loads or any_extend+load. reduceLoadWidth
hasn't known how to look through such an any_extend to find the
load since D40667 almost 5 years ago.

Reviewed By: RKSimon

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

2 years ago[LV] Rework widening cost of uniform memory ops for clarity [nfc]
Philip Reames [Fri, 22 Jul 2022 15:32:43 +0000 (08:32 -0700)]
[LV] Rework widening cost of uniform memory ops for clarity [nfc]

Reorganize the code to make it clear what is and isn't handle, and why.
Restructure bailout to remove (false and confusing) dependence on
CM_Scalarize; just return invalid cost and propagate, that's what it
is for.

2 years ago[mlir][ods] Remove warning in `AttrOrTypeDef`
Jeff Niu [Tue, 19 Jul 2022 16:14:52 +0000 (09:14 -0700)]
[mlir][ods] Remove warning in `AttrOrTypeDef`

This warning was added because using attribute or type assembly formats
with `skipDefaultBuilders` set could cause compilation errors, since the
required builder prototype may not necessarily be generated and would
need to be checked by hand. This patch removes the warning because a
warning that the generated C++ "might" not compile is not particularly
useful. Attempting to address the TODO (i.e. detect whether a builder of
the correct prototype is provided) would be fragile since it would not
be possible to account for implicit conversions, etc.

In general, ODS should not be emitting warnings in cases like these.

Reviewed By: rriddle, wrengr

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

2 years ago[CUDA] remove duplicate condition
VitalyR [Fri, 22 Jul 2022 14:53:41 +0000 (10:53 -0400)]
[CUDA] remove duplicate condition

Reviewed by: Yaxun Liu

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

Change-Id: Ia00c3dfa9ea20e61235817fd4bb61d33c7c98a60

2 years ago[clang][dataflow] Refactor ApplyBuiltinTransfer field out into DataflowAnalysisOption...
Sam Estep [Fri, 22 Jul 2022 15:15:46 +0000 (15:15 +0000)]
[clang][dataflow] Refactor ApplyBuiltinTransfer field out into DataflowAnalysisOptions struct

Depends On D130304

This patch pulls the `ApplyBuiltinTransfer` from the `TypeErasedDataflowAnalysis` class into a new `DataflowAnalysisOptions` struct, to allow us to add additional options later without breaking existing code.

Reviewed By: gribozavr2, sgatev

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

2 years ago[BOLT] Add support for the latest perf tool
Maksim Panchenko [Thu, 21 Jul 2022 01:51:08 +0000 (18:51 -0700)]
[BOLT] Add support for the latest perf tool

The latest perf tool can return non-empty buffer when executing
buildid-list command, even when perf.data was recorded with -B flag.
Some binaries will be listed without the ID, while others may have a
recorded ID. Allow invalid entires on the input, while checking the
valid ones for the match.

Reviewed By: Amir

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

2 years ago[Costmodel] Add "type-based-intrinsic-cost" cli option
Malhar Jajoo [Fri, 22 Jul 2022 12:52:20 +0000 (13:52 +0100)]
[Costmodel] Add "type-based-intrinsic-cost" cli option

This patch adds a command line flag to be able to test
the type based cost-model analysis for Intrinsics.

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

2 years ago[libc] Temporarily disable arm32's sinf, cosf, sincosf entrypoints.
Tue Ly [Fri, 22 Jul 2022 14:43:01 +0000 (10:43 -0400)]
[libc] Temporarily disable arm32's sinf, cosf, sincosf entrypoints.

With correctly rounded implementations, these functions will be tested for all
rounding modes.  Since fegetround and fesetround are not implemented for arm32,
these tests will fail in all non-default rounding modes.  We will re-enable
these entrypoints and tests once fegetround and fesetround are implemented for
arm32.

2 years ago[AArch64] Move SeparateConstOffsetFromGEPPass before LSR and enable EnableGEPOpt...
Shubham Narlawar [Fri, 22 Jul 2022 14:20:53 +0000 (15:20 +0100)]
[AArch64] Move SeparateConstOffsetFromGEPPass before LSR and enable EnableGEPOpt by default.

GEP's across basic blocks were not getting splitted due to EnableGEPOpt
which was turned off by default. Hence, EarlyCSE missed the opportunity
to eliminate common part of GEP's. This can be achieved by simply
turning GEP pass on.
 - This patch moves SeparateConstOffsetFromGEPPass() just before LSR.
 - It enables EnableGEPOpt by default.

Resolves - https://github.com/llvm/llvm-project/issues/50528

Added an unit test.

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

2 years ago[mlir][tosa] Split canonicalization and folders out of TosaOps.
Jacques Pienaar [Fri, 22 Jul 2022 14:20:24 +0000 (07:20 -0700)]
[mlir][tosa] Split canonicalization and folders out of TosaOps.

Scope ops file to ops. Used canonicalization as grouping for canonicalization
patterns and folders (also considered OpTransforms but that felt too generic
and the former two are used together).

Reviewed By: silvas, rsuderman

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

2 years ago[clang][dataflow] Move NoopAnalysis from unittests to include
Sam Estep [Fri, 22 Jul 2022 14:10:15 +0000 (14:10 +0000)]
[clang][dataflow] Move NoopAnalysis from unittests to include

This patch moves `Analysis/FlowSensitive/NoopAnalysis.h` from `clang/unittests/` to `clang/include/clang/`, so that we can use it for doing context-sensitive analysis.

Reviewed By: ymandel, gribozavr2, sgatev

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

2 years ago[AsmPrinter] Move lowerConstant() error code out of switch (NFC)
Nikita Popov [Fri, 22 Jul 2022 14:06:40 +0000 (16:06 +0200)]
[AsmPrinter] Move lowerConstant() error code out of switch (NFC)

Move this out of the switch, so that different branches can
indicate an error by breaking out of the switch. This becomes
important if there are more than the two current error cases.

2 years ago[libc] Implement sinf function that is correctly rounded to all rounding modes.
Tue Ly [Tue, 5 Apr 2022 20:17:18 +0000 (16:17 -0400)]
[libc] Implement sinf function that is correctly rounded to all rounding modes.

Implement sinf function that is correctly rounded to all rounding modes.

- We use a simple range reduction for `pi/16 < |x|` :
    Let `k = round(x / pi)` and `y = (x/pi) - k`.
    So `k` is an integer and `-0.5 <= y <= 0.5`.
Then
```
sin(x) = sin(y*pi + k*pi)
          = (-1)^(k & 1) * sin(y*pi)
          ~ (-1)^(k & 1) * y * P(y^2)
```
    where `y*P(y^2)` is a degree-15 minimax polynomial generated by Sollya with:
```
> P = fpminimax(sin(x*pi)/x, [|0, 2, 4, 6, 8, 10, 12, 14|], [|D...|], [0, 0.5]);
```

- Performance benchmark using perf tool from CORE-MATH project
(https://gitlab.inria.fr/core-math/core-math/-/tree/master) on Ryzen 1700:
Before this patch (not correctly rounded):
```
$ CORE_MATH_PERF_MODE="rdtsc" ./perf.sh sinf
CORE-MATH reciprocal throughput   : 17.892
System LIBC reciprocal throughput : 25.559
LIBC reciprocal throughput        : 29.381
```
After this patch (correctly rounded):
```
$ CORE_MATH_PERF_MODE="rdtsc" ./perf.sh sinf
CORE-MATH reciprocal throughput   : 17.896
System LIBC reciprocal throughput : 25.740

LIBC reciprocal throughput        : 27.872
LIBC reciprocal throughput        : 20.012     (with `-msse4.2` flag)
LIBC reciprocal throughput        : 14.244     (with `-mfma` flag)
```

Reviewed By: zimmermann6

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

2 years ago[llvm-ar] Add object mode option -X for AIX
zhijian [Fri, 22 Jul 2022 13:55:21 +0000 (09:55 -0400)]
[llvm-ar] Add object mode option -X for AIX

Summary:

1. Added a new option object mode -X for llvm-ar. In AIX OS , there is a object mode option -X for ar command.
please see the "-X mode" part of https://www.ibm.com/docs/ko/aix/7.1?topic=ar-command

Specifies the type of object file ar should examine. The mode must be one of the following:
32
Processes only 32-bit object files
64
Processes only 64-bit object files
32_64
Processes both 32-bit and 64-bit object files
any
Processes all of the supported object files.

The default is to process 32-bit object files (ignore 64-bit objects). The mode can also be set with the OBJECT_MODE environment variable. For example, OBJECT_MODE=64 causes ar to process any 64-bit objects and ignore 32-bit objects. The -X flag overrides the OBJECT_MODE variable.

2. Before adding the new option -X, the default behaviors of llvm-ar like -Xany, but after the adding the new option -X, the default behaviors of llvm-ar change to -X32 ,in order to let some test cases which has 32bit and 64bit object file in the same llvm-ar command, we need to add the "export OBJECT_MODE=any" into test case to change the default behaviors of llvm-ar's object mode.

Reviewers: James Henderson, Owen Reynolds, Fangrui Song
Differential Revision: https://reviews.llvm.org/D127864

2 years ago[Libomptarget] Make the plugins link as LLVM libraries
Joseph Huber [Thu, 21 Jul 2022 13:02:10 +0000 (09:02 -0400)]
[Libomptarget] Make the plugins link as LLVM libraries

Previously we made `libomptarget` link as an LLVM library so we have
access to the LLVM core libraries. After the initial patch stuck we can
now apply the same changes to the plugins. This will allow us to use
LLVM in all of `libomptarget` when we have uses for them. In the future
this should allow us to remove the dependencies on `libelf`, `libffi`,
and `dl`.

Reviewed By: JonChesterfield

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

2 years ago[Clang][Driver] Fix include paths for `--sysroot /` on OpenBSD/FreeBSD
Egor Zhdan [Wed, 13 Jul 2022 15:40:24 +0000 (16:40 +0100)]
[Clang][Driver] Fix include paths for `--sysroot /` on OpenBSD/FreeBSD

This is the same change as https://reviews.llvm.org/D126289, but applied for OpenBSD & FreeBSD.

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

2 years ago[libc] Add float type and flag for nearest_integer to enable SSE4.2.
Tue Ly [Sat, 16 Jul 2022 02:59:36 +0000 (22:59 -0400)]
[libc] Add float type and flag for nearest_integer to enable SSE4.2.

Add float type and flag for nearest integer to automatically test with
and without SSE4.2 flag.

Reviewed By: sivachandra

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

2 years ago[MLIR][OpenMP] Add a constraint to the Threadprivate Op
Kiran Chandramohan [Fri, 22 Jul 2022 13:03:59 +0000 (13:03 +0000)]
[MLIR][OpenMP] Add a constraint to the Threadprivate Op

Add a constraint to ensure that the operand and result of the
threadprivate operation are the same.

Reviewed By: peixin

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

2 years ago[MLIR,OpenMP] : Add Conversion pattern for Critical Op
Kiran Chandramohan [Fri, 22 Jul 2022 12:57:23 +0000 (12:57 +0000)]
[MLIR,OpenMP] : Add Conversion pattern for Critical Op

The Conversion pattern enables conversion of Critical Op with block
arguments.

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

Reviewed By: shraiysh

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

2 years ago[LangRef] Update opaque pointers status (NFC)
Nikita Popov [Fri, 22 Jul 2022 12:46:01 +0000 (14:46 +0200)]
[LangRef] Update opaque pointers status (NFC)

Opaque pointers support is complete and default. Specify ptr as
the normal pointer type and i8* as something supported under
non-default options.

A larger update of examples in LangRef is still needed.

2 years ago[clangd] Make forwarding parameter detection logic resilient
Kadir Cetinkaya [Thu, 21 Jul 2022 10:43:08 +0000 (12:43 +0200)]
[clangd] Make forwarding parameter detection logic resilient

This could crash when our heuristic picks the wrong function. Make sure
there is enough parameters in the candidate to prevent those crashes.

Also special case copy/move constructors to make the heuristic work in
presence of those.

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

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

2 years ago[libc++] Take advantage of -fexperimental-library in libc++
Louis Dionne [Wed, 20 Jul 2022 14:42:04 +0000 (10:42 -0400)]
[libc++] Take advantage of -fexperimental-library in libc++

When -fexperimental-library is passed, libc++ will now pick up the
appropriate __has_feature flag defined by Clang to enable the
experimental library features.

As a fly-by, also update the documentation for the various TSes.

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

2 years ago[libc++] Support int8_t and uint8_t in integer distributions as an extension
Louis Dionne [Wed, 1 Jun 2022 19:25:14 +0000 (15:25 -0400)]
[libc++] Support int8_t and uint8_t in integer distributions as an extension

In D125283, we ensured that integer distributions would not compile when
used with arbitrary unsupported types. This effectively enforced what
the Standard mentions here: http://eel.is/c++draft/rand#req.genl-1.5.

However, this also had the effect of breaking some users that were
using integer distributions with unsupported types like int8_t. Since we
already support using __int128_t in those distributions, it is reasonable
to also support smaller types like int8_t and its unsigned variant. This
commit implements that, adds tests and documents the extension. Note that
we voluntarily don't add support for instantiating these distributions
with bool and char, since those are not integer types. However, it is
trivial to replace uses of these random distributions on char using int8_t.

It is also interesting to note that in the process of adding tests
for smaller types, I discovered that our distributions sometimes don't
provide as faithful a distribution when instantiated with smaller types,
so I had to relax a couple of tests. In particular, we do a really bad
job at implementing the negative binomial, geometric and poisson distributions
for small types. I think this all boils down to the algorithm we use in
std::poisson_distribution, however I am running out of time to investigate
that and changing the algorithm would be an ABI break (which might be
reasonable).

As part of this patch, I also added a mitigation for a very likely
integer overflow bug we were hitting in our tests in negative_binomial_distribution.
I also filed http://llvm.org/PR56656 to track fixing the problematic
distributions with int8_t and uint8_t.

Supersedes D125283.

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

2 years ago[Libomptarget] Only export needed definitions in the BC library
Joseph Huber [Thu, 21 Jul 2022 18:38:11 +0000 (14:38 -0400)]
[Libomptarget] Only export needed definitions in the BC library

This patch adds the use of the `-internalize-public-api-file` option in
the internalization pass to internalize any definition that isn't
explicitly needed for the interface. This will allow us to perform more
optimizations on the file that normally would not have been possible
with functions internal to the library not being internal.

Depends on D130293

Reviewed By: jdoerfert

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

2 years ago[Internalize] Support glob patterns for API lists
Joseph Huber [Fri, 22 Jul 2022 00:45:32 +0000 (20:45 -0400)]
[Internalize] Support glob patterns for API lists

The internalize pass supports an option to provide a list of symbols
that should not be internalized. THis is useful retaining certain
defintions that should be kept alive. However, this interface is
somewhat difficult to use as it requires knowing every single symbol's
name and specifying it. Many APIs provide common prefixes for the
symbols exported by the library, so it would make sense to be able to
match these using a simple glob pattern. This patch changes the handling
from a simple string comparison to a glob pattern match.

Reviewed By: MaskRay

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

2 years ago[Libomptarget] Build the DeviceRTL BC using clang directly
Joseph Huber [Thu, 21 Jul 2022 18:12:01 +0000 (14:12 -0400)]
[Libomptarget] Build the DeviceRTL BC using clang directly

Currently the bitcode library is build using the clang front-end
manually. This was originally done because we did not support device
only compilation. Now we support device only compilation, at least for a
single offloading toolchain, so we can instead use clang directly rather
than using the front-end. This saves us needing to define things like
`aux_triple`.

Reviewed By: tianshilei1992

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

2 years ago[Docs] Add release notes for opaque pointers (NFC)
Nikita Popov [Fri, 22 Jul 2022 12:13:12 +0000 (14:13 +0200)]
[Docs] Add release notes for opaque pointers (NFC)

2 years agoRevert "[Libomptarget] Stop testing CPU offloading with LTO"
Ron Lieberman [Fri, 22 Jul 2022 12:04:33 +0000 (12:04 +0000)]
Revert "[Libomptarget] Stop testing CPU offloading with LTO"

This reverts commit 3e8d46921fbc51831f9ba775d6405812bfdd32c7.

2 years ago[mlir][linalg] Add tile-and-fuse with transform dialect example
Matthias Springer [Fri, 22 Jul 2022 11:27:02 +0000 (13:27 +0200)]
[mlir][linalg] Add tile-and-fuse with transform dialect example

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

2 years ago[mlir][linalg] Add attribute matcher to structured.match transform op
Matthias Springer [Fri, 22 Jul 2022 11:26:48 +0000 (13:26 +0200)]
[mlir][linalg] Add attribute matcher to structured.match transform op

This is useful for building small test cases and will be utilized in a subsequent commit that adds a fusion example.

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

2 years ago[mlir][linalg][transform] Add fuse_into_containing op
Matthias Springer [Fri, 22 Jul 2022 11:26:34 +0000 (13:26 +0200)]
[mlir][linalg][transform] Add fuse_into_containing op

This op fuses a given payload op into a given container op. Inside the container, all uses of the producer are replaced (fused) with the newly inserted op. If the producer is tileable and accessed via a tensor.extract_slice, the new op computes only the requested slice ("tile and fuse"). Otherwise, the entire tensor value is computed inside the container ("clone and fuse").

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

2 years ago[clang-tidy][NFC] Add preposition "of" to code annotation of ElseAfterReturnCheck
Zhouyi Zhou [Fri, 22 Jul 2022 11:37:50 +0000 (12:37 +0100)]
[clang-tidy][NFC] Add preposition "of" to code annotation of ElseAfterReturnCheck

Reviewed By: njames93

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

2 years ago[AMDGPU] Add a test where regClassPriorityTrumpsGlobalness uses more vgprs
Jay Foad [Fri, 22 Jul 2022 11:08:14 +0000 (12:08 +0100)]
[AMDGPU] Add a test where regClassPriorityTrumpsGlobalness uses more vgprs

2 years ago[mlir][arith] cmpi: move constant to the right side
Ivan Butygin [Sat, 16 Jul 2022 10:05:03 +0000 (12:05 +0200)]
[mlir][arith] cmpi: move constant to the right side

Convert arith.cmpi to the canonical form with constants on the right side
to simplify further optimizations and open more opportunities for CSE.

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

2 years ago[AMDGPU] gfx11 Fix VOP3 dot instructions
Petar Avramovic [Fri, 22 Jul 2022 09:43:09 +0000 (11:43 +0200)]
[AMDGPU] gfx11 Fix VOP3 dot instructions

Fix src modifiers for operands with bf16 type.
op_sel[0:1] are ignored.

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

2 years ago[mlir][linalg] Fix FoldTensorCastConsumerOp invalid folding
Ivan Butygin [Thu, 21 Jul 2022 23:09:22 +0000 (01:09 +0200)]
[mlir][linalg] Fix FoldTensorCastConsumerOp invalid folding

CastOp can be in conditionally reachable region, in which case this folding will be invalid.
Only conservatively fold ops in same block for now.

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

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

2 years ago[lldb][ARM] Invert emulation test assert message
David Spickett [Fri, 22 Jul 2022 09:33:43 +0000 (09:33 +0000)]
[lldb][ARM] Invert emulation test assert message

Previously you got:
AssertionError: False is not True : Emulation test succeeded.

Which is a bit of a head scratcher. The message is used when
the test fails, not when it succeeds.

2 years ago[ASTMatchers] Fix standalone build
Nathan James [Fri, 22 Jul 2022 09:32:27 +0000 (10:32 +0100)]
[ASTMatchers] Fix standalone build

Disable the tests and remove private include introduced in d89f9e963e4979466193dc6a15fe091bf7ca5c47.

2 years ago[libc++][ranges] implement `std::ranges::includes`
Hui Xie [Tue, 19 Jul 2022 19:54:35 +0000 (20:54 +0100)]
[libc++][ranges] implement `std::ranges::includes`

implement `std::ranges::includes` and delegate to `std::includes`

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

2 years ago[libc++][ranges] implement `std::ranges::equal_range`
Hui Xie [Thu, 14 Jul 2022 19:35:15 +0000 (20:35 +0100)]
[libc++][ranges] implement `std::ranges::equal_range`

implement `std::ranges::equal_range` which delegates to
`std::equal_range`

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

2 years ago[lldb] Handle jumping to the end in DW_OP_skip/DW_OP_bra
Andy Yankovsky [Thu, 21 Jul 2022 16:41:32 +0000 (16:41 +0000)]
[lldb] Handle jumping to the end in DW_OP_skip/DW_OP_bra

DW_OP_skip/DW_OP_bra can move offset to the end of the data, which means that this was the last instruction to execute and the interpreter should terminate.

Reviewed By: labath

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

2 years agoDon't write to source directory in test
Benjamin Kramer [Fri, 22 Jul 2022 09:14:26 +0000 (11:14 +0200)]
Don't write to source directory in test

2 years ago[C++20] [Modules] Handle reachability for partial specialization
Chuanqi Xu [Fri, 22 Jul 2022 09:03:38 +0000 (17:03 +0800)]
[C++20] [Modules] Handle reachability for partial specialization

Previously we don't catch the reachability for partial specialization.
Handle them in this patch.

2 years ago[CMake][Clang] Copy folder without permissions
Sebastian Neubauer [Thu, 21 Jul 2022 12:06:42 +0000 (14:06 +0200)]
[CMake][Clang] Copy folder without permissions

Copying the folder keeps the original permissions by default. This
creates problems when the source folder is read-only, e.g. in a
packaging environment.
Then, the copied folder in the build directory is read-only as well.
Later on, with configure_file, ClangConfig.cmake is copied into that
directory (in the build tree), failing when the directory is read-only.

Fix that problem by copying the folder without keeping the original
permissions.

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

2 years ago[pseudo] Add ambiguity & unparseability metrics to -print-statistics
Sam McCall [Fri, 22 Jul 2022 08:25:16 +0000 (10:25 +0200)]
[pseudo] Add ambiguity & unparseability metrics to -print-statistics

These can be used to quantify parsing improvements from a change.

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

2 years ago[Symbolizer] Fix use-after-free
Benjamin Kramer [Fri, 22 Jul 2022 08:28:25 +0000 (10:28 +0200)]
[Symbolizer] Fix use-after-free

MarkupFilter keeps a reference to the last filtered StringRef. Just keep
it alive a bit longer. Found by asan.

2 years ago[ELF] Simplify createObjectFile/createLazyFile. NFC
Fangrui Song [Fri, 22 Jul 2022 08:26:11 +0000 (01:26 -0700)]
[ELF] Simplify createObjectFile/createLazyFile. NFC

And avoid redundant identify_magic test.

2 years agoUse any_of (NFC)
Kazu Hirata [Fri, 22 Jul 2022 08:05:17 +0000 (01:05 -0700)]
Use any_of (NFC)

2 years ago[AArch64] Emit vector FP cmp when LE is used with fast-math
Cullen Rhodes [Fri, 22 Jul 2022 07:27:12 +0000 (07:27 +0000)]
[AArch64] Emit vector FP cmp when LE is used with fast-math

Reviewed By: paulwalker-arm

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

2 years ago[AArch64] Add fcmp fast math tests
Cullen Rhodes [Fri, 22 Jul 2022 07:26:54 +0000 (07:26 +0000)]
[AArch64] Add fcmp fast math tests

Reviewed By: paulwalker-arm

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

2 years ago[InstCombine] Slightly extend alloc optimization test (NFC)
Nikita Popov [Fri, 22 Jul 2022 07:42:26 +0000 (09:42 +0200)]
[InstCombine] Slightly extend alloc optimization test (NFC)

Also test realloc, and dead writes to the allocation.

2 years agore-land [C++20][Modules] Build module static initializers per P1874R1.
Iain Sandoe [Sun, 15 May 2022 13:47:54 +0000 (14:47 +0100)]
re-land [C++20][Modules] Build module static initializers per P1874R1.

The re-land fixes module map module dependencies seen on Greendragon, but
not in the clang test suite.

---

Currently we only implement this for the Itanium ABI since the correct
mangling for the initializers in other ABIs is not yet known.

Intended result:

For a module interface [which includes partition interface and implementation
units] (instead of the generic CXX initializer) we emit a module init that:

 - wraps the contained initializations in a control variable to ensure that
   the inits only happen once, even if a module is imported many times by
   imports of the main unit.

 - calls module initializers for imported modules first.  Note that the
   order of module import is not significant, and therefore neither is the
   order of imported module initializers.

 - We then call initializers for the Global Module Fragment (if present)
 - We then call initializers for the current module.
 - We then call initializers for the Private Module Fragment (if present)

For a module implementation unit, or a non-module TU that imports at least one
module we emit a regular CXX init that:

 - Calls the initializers for any imported modules first.
 - Then proceeds as normal with remaining inits.

For all module unit kinds we include a global constructor entry, this allows
for the (in most cases unusual) possibility that a module object could be
included in a final binary without a specific call to its initializer.

Implementation:

 - We provide the module pointer in the AST Context so that CodeGen can act
   on it and its sub-modules.

 - We need to account for module build lines like this:
  ` clang -cc1 -std=c++20 Foo.pcm -emit-obj -o Foo.o` or
  ` clang -cc1 -std=c++20 -xc++-module Foo.cpp -emit-obj -o Foo.o`

 - in order to do this, we add to ParseAST to set the module pointer in
   the ASTContext, once we establish that this is a module build and we
   know the module pointer. To be able to do this, we make the query for
   current module public in Sema.

 - In CodeGen, we determine if the current build requires a CXX20-style module
   init and, if so, we defer any module initializers during the "Eagerly
   Emitted" phase.

 - We then walk the module initializers at the end of the TU but before
   emitting deferred inits (which adds any hidden and static ones, fixing
   https://github.com/llvm/llvm-project/issues/51873 ).

 - We then proceed to emit the deferred inits and continue to emit the CXX
   init function.

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

2 years ago[pseudo] Eliminate the dangling-else syntax ambiguity.
Haojian Wu [Thu, 21 Jul 2022 08:18:33 +0000 (10:18 +0200)]
[pseudo] Eliminate the dangling-else syntax ambiguity.

- the grammar ambiguity is eliminated by a guard;
- modify the guard function signatures, now all parameters are folded in
  to a single object, avoid a long parameter list (as we will add more
  parameters in the near future);

Reviewed By: sammccall

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

2 years ago[gn build] Port 8184b252cdab
LLVM GN Syncbot [Fri, 22 Jul 2022 07:02:59 +0000 (07:02 +0000)]
[gn build] Port 8184b252cdab

2 years ago[LLDB][ClangExpression] Allow expression evaluation from within C++ Lambdas
Michael Buch [Tue, 12 Jul 2022 08:40:12 +0000 (09:40 +0100)]
[LLDB][ClangExpression] Allow expression evaluation from within C++ Lambdas

This patch adds support for evaluating expressions which reference
a captured `this` from within the context of a C++ lambda expression.
Currently LLDB doesn't provide Clang with enough information to
determine that we're inside a lambda expression and are allowed to
access variables on a captured `this`; instead Clang simply fails
to parse the expression.

There are two problems to solve here:
1. Make sure `clang::Sema` doesn't reject the expression due to an
illegal member access.
2. Materialize all the captured variables/member variables required
to evaluate the expression.

To address (1), we currently import the outer structure's AST context
onto `$__lldb_class`, making the `contextClass` and the `NamingClass`
match, a requirement by `clang::Sema::BuildPossibleImplicitMemberExpr`.

To address (2), we inject all captured variables as locals into the
expression source code.

**Testing**

* Added API test

2 years ago[LLDB][Expression] Allow instantiation of IR Entity from ValueObject
Michael Buch [Thu, 7 Jul 2022 14:58:42 +0000 (15:58 +0100)]
[LLDB][Expression] Allow instantiation of IR Entity from ValueObject

This is required in preparation for the follow-up patch which adds
support for evaluating expressions from within C++ lambdas. In such
cases we need to materialize variables which are not part of the
current frame but instead are ivars on a 'this' pointer of the current
frame.

2 years ago[LLDB][NFC] Create variable for hardcoded alignment/size constants in materializer
Michael Buch [Thu, 7 Jul 2022 14:53:30 +0000 (15:53 +0100)]
[LLDB][NFC] Create variable for hardcoded alignment/size constants in materializer

2 years ago[pseudo] Tweak the cli option messages, NFC.
Haojian Wu [Thu, 21 Jul 2022 12:04:44 +0000 (14:04 +0200)]
[pseudo] Tweak the cli option messages, NFC.

2 years ago[pseudo] Fix link error after 3132e9cd7c9fda63
Sam McCall [Fri, 22 Jul 2022 06:43:17 +0000 (08:43 +0200)]
[pseudo] Fix link error after 3132e9cd7c9fda63

2 years ago[Attributor][FIX] Also update the unit test to match expectations
Johannes Doerfert [Fri, 22 Jul 2022 06:23:55 +0000 (01:23 -0500)]
[Attributor][FIX] Also update the unit test to match expectations

2 years ago[Attributor][FIX] Update unit test after API change
Johannes Doerfert [Fri, 22 Jul 2022 06:04:53 +0000 (01:04 -0500)]
[Attributor][FIX] Update unit test after API change

2 years ago[flang] Lower F08 mask intrinsics
Tarun Prabhu [Fri, 22 Jul 2022 06:03:09 +0000 (00:03 -0600)]
[flang] Lower F08 mask intrinsics

Lower F08 maskl and maskr intrinsics.

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

2 years ago[flang] Lower F08 shift intrinsics
Tarun Prabhu [Fri, 22 Jul 2022 05:36:08 +0000 (23:36 -0600)]
[flang] Lower F08 shift intrinsics

Lower F08 shift (shiftl, shiftr, shifta) and combined shift (dshiftl, dshiftr)
intrinsics. The combined shift intrinsics are implemented using the
definitions of shiftl and shiftr as described by the standard.

For non-conformant arguments to the shift intrinsics, the implementation tries
to replicate the behavior of other compilers if most of the other behave
consistently.

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

2 years ago[flang][NFC] Test folding F08 mask intrinsics
Tarun Prabhu [Fri, 22 Jul 2022 05:30:38 +0000 (23:30 -0600)]
[flang][NFC] Test folding F08 mask intrinsics

Test compile-time folding of F08 maskl and maskr intrinsics.

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

2 years ago[flang][NFC] Test folding of F08 shift intrinsics
Tarun Prabhu [Fri, 22 Jul 2022 05:25:45 +0000 (23:25 -0600)]
[flang][NFC] Test folding of F08 shift intrinsics

Test compile-time folding of F08 shift (shiftl, shiftr, shifta) and combined shift (dshiftl, dshiftr) intrinsics.

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

2 years ago[flang] Lower F08 bit population count intrinsics
Tarun Prabhu [Fri, 22 Jul 2022 05:05:33 +0000 (23:05 -0600)]
[flang] Lower F08 bit population count intrinsics

Lower F08 bit population count intrinsics popcnt, poppar, leadz and trailz. popcnt, leadz and trailz are implemented using the corresponding MLIR math intrinsics. poppar is implemented in terms of popcnt.

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

2 years ago[Attributor][FIX] Handle non-recursive but re-entrant functions properly
Johannes Doerfert [Tue, 12 Jul 2022 05:38:32 +0000 (00:38 -0500)]
[Attributor][FIX] Handle non-recursive but re-entrant functions properly

If a function is non-recursive we only performed intra-procedural
reasoning for reachability (via AA::isPotentiallyReachable). However,
if it is re-entrant that doesn't mean we can't reach. Instead of this
problematic logic in the reachability reasoning we utilize logic in
AAPointerInfo. If a location is for sure written by a function it can
be re-entrant or recursive we know only intra-procedural reasoning is
sufficient.

2 years ago[RS4GC] Handle special cases in unreachable code for memcpy/memmov
Max Kazantsev [Fri, 22 Jul 2022 04:29:29 +0000 (11:29 +0700)]
[RS4GC] Handle special cases in unreachable code for memcpy/memmov

The existing code doesn't expect dummy values (undef, poison, null-derived
constants etc) as arguments of these intrinsics. However, they can be there
in unreached code. Currently we fail trying to find base for them.

Handle these cases separately. Return null as base for them to be consistent
with the handling in the main algorithm in findBaseDefiningValue.

Differential Revision: https://reviews.llvm.org/D129561
Reviewed By: apilipenko

2 years ago[MLIR] Add affine.if canonicalization to compose in affine.apply ops
Uday Bondhugula [Tue, 19 Jul 2022 05:49:55 +0000 (11:19 +0530)]
[MLIR] Add affine.if canonicalization to compose in affine.apply ops

Add affine.if canonicalization to compose affine.apply ops into its set
and operands. This eliminates affine.apply ops feeding into affine.if
ops.

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

2 years ago[Attributor] Dominating must-write accesses allow unknown initial values
Johannes Doerfert [Thu, 19 May 2022 22:20:48 +0000 (17:20 -0500)]
[Attributor] Dominating must-write accesses allow unknown initial values

If we have a dominating must-write access we do not need to know the
initial value of some object to perform reasoning about the potential
values. The dominating must-write has overwritten the initial value.

2 years ago[Intrinsics] Add `nocallback` to the memset/cpy/move intrinsics
Johannes Doerfert [Sun, 10 Jul 2022 20:01:38 +0000 (15:01 -0500)]
[Intrinsics] Add `nocallback` to the memset/cpy/move intrinsics

These were forgotten when D118680 was applied. Similar to D125937.

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