FailedChanges

Summary

  1. [ORC][examples] Remove ThinLtoJIT example after LLJITWithThinLTOSummaries landed in OrcV2Examples (details)
  2. [ORC][examples] Temporarily remove LLJITWithChildProcess until ORC TPC lands (details)
  3. [ARM][LowOverheadLoops] Start insertion point (details)
  4. [ARM][LowOverheadLoops] Iteration count liveness (details)
  5. [NFC] Iterate across an explicit list of scalable MVTs when driving setOperationAction. (details)
  6. [SVE][CodeGen] Legalisation of integer -> floating point conversions (details)
  7. [ARM][LowOverheadLoops] Adjust Start insertion. (details)
  8. [SCEV] Prove implicaitons via AddRec start (details)
  9. [mlir][Linalg] Fix ASAN bug (details)
  10. [SVE][CodeGen] Lower scalable fp_extend & fp_round operations (details)
  11. [CFGuard] Add address-taken IAT tables and delay-load support (details)
  12. [InstCombine] collectBitParts - use APInt directly to check for out of range bit shifts. NFCI. (details)
  13. [lldb] Skip the flakey part of TestStopHookScripted on Linux (details)
  14. [libc++] Simplify how we re-export symbols from libc++abi (details)
  15. [lldb] Add missing import for LLDB test decorators to TestStopHookScripted (details)
  16. [NFC][ARM] LowOverheadLoop DEBUG statements (details)
  17. [LoopFlatten] Add a loop-flattening pass (details)
  18. [gn build] Port d53b4bee0cc (details)
  19. [Archive] Don't throw away errors for malformed archive members (details)
  20. [SVE][CodeGen] Replace use of TypeSize operator< in GlobalMerge::doMerge (details)
Commit e5795a1b364d6d19cd557a3a6d38759eb9d8631f by Stefan Gränitz
[ORC][examples] Remove ThinLtoJIT example after LLJITWithThinLTOSummaries landed in OrcV2Examples

The ThinLtoJIT example was aiming to utilize ThinLTO summaries and concurrency in ORC for speculative compilation. The latter is heavily dependent on asynchronous task scheduling which is probably done better out-of-tree with a mature library like Boost-ASIO. The pure utilization of ThinLTO summaries in ORC is demonstrated in OrcV2Examples/LLJITWithThinLTOSummaries.
The file was removedllvm/examples/ThinLtoJIT/ThinLtoJIT.cpp
The file was removedllvm/examples/ThinLtoJIT/bench
The file was removedllvm/examples/ThinLtoJIT/main.cpp
The file was removedllvm/examples/ThinLtoJIT/ThinLtoDiscoveryThread.cpp
The file was removedllvm/examples/ThinLtoJIT/ThinLtoInstrumentationLayer.h
The file was modifiedllvm/examples/CMakeLists.txt
The file was removedllvm/examples/ThinLtoJIT/ThinLtoJIT.h
The file was removedllvm/examples/ThinLtoJIT/ThinLtoModuleIndex.cpp
The file was removedllvm/examples/ThinLtoJIT/ThinLtoInstrumentationLayer.cpp
The file was removedllvm/examples/ThinLtoJIT/ThinLtoModuleIndex.h
The file was removedllvm/examples/ThinLtoJIT/CMakeLists.txt
The file was removedllvm/examples/ThinLtoJIT/ThinLtoDiscoveryThread.h
Commit 306571cc4642c4e443c8cb0593a2b595ef96580e by Stefan Gränitz
[ORC][examples] Temporarily remove LLJITWithChildProcess until ORC TPC lands

This solves a phase ordering problem: OrcV2 remote process support depends on OrcV2 removable code, OrcV2 removable code depends on OrcV1 removal, OrcV1 removal depends on LLJITWithChildProcess migration, and LLJITWithChildProcess migration depends on OrcV2 TargetProcessControl support.
The file was removedllvm/examples/OrcV2Examples/LLJITWithChildProcess/CMakeLists.txt
The file was removedllvm/examples/OrcV2Examples/LLJITWithChildProcess/RemoteJITUtils.h
The file was removedllvm/examples/OrcV2Examples/LLJITWithChildProcess/LLJITWithChildProcess.cpp
The file was modifiedllvm/examples/OrcV2Examples/CMakeLists.txt
Commit 7b90516d479ca6aadf4e261747d62c854d6f5463 by sam.parker
[ARM][LowOverheadLoops] Start insertion point

If possible, try not to move the start position earlier than it
already is.

Differential Revision: https://reviews.llvm.org/D88542
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/mov-operand.ll
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/it-block-mov.mir
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/loop-dec-copy-prev-iteration.mir
The file was modifiedllvm/lib/Target/ARM/ARMLowOverheadLoops.cpp
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/mov-after-dlstp.mir
The file was modifiedllvm/test/CodeGen/Thumb2/mve-float32regloops.ll
Commit 6ec5f324973dfbe7b4a489593dde5073ff63ff64 by sam.parker
[ARM][LowOverheadLoops] Iteration count liveness

Before deciding to insert a [W|D]LSTP, check that defining LR with
the element count won't affect any other instructions that should be
taking the iteration count.

Differential Revision: https://reviews.llvm.org/D88549
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/mov-operand.ll
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/it-block-chain-store.mir
The file was modifiedllvm/lib/Target/ARM/ARMLowOverheadLoops.cpp
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/mov-after-dlstp.mir
Commit 8931c3d682763e6129f8d05ebe4e3b8dcc3e08e2 by paul.walker
[NFC] Iterate across an explicit list of scalable MVTs when driving setOperationAction.

Iterating across all of integer_scalable_vector_valuetypes seems
wasteful when there's only a handful we care about.

Also removes some rouge whitespace.

Differential Revision: https://reviews.llvm.org/D88552
The file was modifiedllvm/lib/Target/AArch64/AArch64ISelLowering.cpp
Commit 75db7cf78ad5138e767b8d04c9a758009191ee0c by kerry.mclaughlin
[SVE][CodeGen] Legalisation of integer -> floating point conversions

Splitting the operand of a scalable [S|U]INT_TO_FP results in a
concat_vectors operation where the operands are unpacked FP
scalable vectors (e.g. nxv2f32).
This patch adds custom lowering of concat_vectors which
checks that the number of operands is 2, and isel patterns
to match concat_vectors of scalable FP types with uzp1.

Reviewed By: efriedma, paulwalker-arm

Differential Revision: https://reviews.llvm.org/D88033
The file was modifiedllvm/test/CodeGen/AArch64/sve-split-fcvt.ll
The file was modifiedllvm/lib/Target/AArch64/AArch64SVEInstrInfo.td
The file was modifiedllvm/lib/Target/AArch64/AArch64ISelLowering.cpp
Commit 38f625d0d1360b035271422bab922d22ed04d79a by sam.parker
[ARM][LowOverheadLoops] Adjust Start insertion.

Try to move the insertion point to become the terminator of the
block, usually the preheader.

Differential Revision: https://reviews.llvm.org/D88638
The file was modifiedllvm/test/CodeGen/Thumb2/mve-fma-loops.ll
The file was modifiedllvm/test/CodeGen/Thumb2/mve-gather-scatter-tailpred.ll
The file was modifiedllvm/test/CodeGen/Thumb2/mve-float16regloops.ll
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/move-start-after-def.mir
The file was modifiedllvm/test/CodeGen/Thumb2/mve-gather-scatter-ptr-address.ll
The file was modifiedllvm/test/CodeGen/Thumb2/mve-postinc-lsr.ll
The file was modifiedllvm/test/CodeGen/Thumb2/mve-pred-threshold.ll
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/mov-operand.ll
The file was modifiedllvm/test/CodeGen/Thumb2/mve-gather-scatter-optimisation.ll
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/lstp-insertion-position.mir
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/mov-after-dlstp.mir
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/reductions.ll
The file was modifiedllvm/test/CodeGen/Thumb2/mve-float32regloops.ll
The file was modifiedllvm/lib/Target/ARM/ARMLowOverheadLoops.cpp
The file was modifiedllvm/test/CodeGen/Thumb2/LowOverheadLoops/move-def-before-start.mir
The file was modifiedllvm/test/CodeGen/Thumb2/mve-satmul-loops.ll
Commit 69acdfe075fa8eb18781f88f4d0cd1ea40fa6e48 by mkazantsev
[SCEV] Prove implicaitons via AddRec start

If we know that some predicate is true for AddRec and an invariant
(w.r.t. this AddRec's loop), this fact is, in particular, true on the first
iteration. We can try to prove the facts we need using the start value.

The motivating example is proving things like
```
  isImpliedCondOperands(>=, X, 0, {X,+,-1}, 0}
```

Differential Revision: https://reviews.llvm.org/D88208
Reviewed By: reames
The file was modifiedllvm/unittests/Analysis/ScalarEvolutionTest.cpp
The file was modifiedllvm/lib/Analysis/ScalarEvolution.cpp
The file was modifiedllvm/include/llvm/Analysis/ScalarEvolution.h
Commit a81b938b6dee0e1ed4dd44e7d59325d0aa4774cc by ntv
[mlir][Linalg] Fix ASAN bug

```
LinalgTilingOptions &setTileSizes(ValueRange ts)
```
makes it all too easy to create stack-use-after-return errors.

In particular, c694588fc52a8845174fee06ad0bcfa338e87816 introduced one such issue.

Instead just take a copy in the lambda and be done with it.
The file was modifiedmlir/include/mlir/Dialect/Linalg/Transforms/Transforms.h
Commit fcf70e1e3b1d57d5fde6b99d0188d1b1774429af by kerry.mclaughlin
[SVE][CodeGen] Lower scalable fp_extend & fp_round operations

This patch adds FP_EXTEND_MERGE_PASSTHRU & FP_ROUND_MERGE_PASSTHRU
ISD nodes, used to lower scalable vector fp_extend/fp_round operations.
fp_round has an additional argument, the 'trunc' flag, which is an integer of zero or one.

This also fixes a warning introduced by the new tests added to sve-split-fcvt.ll,
resulting from an implicit TypeSize -> uint64_t cast in SplitVecOp_FP_ROUND.

Reviewed By: sdesmalen, paulwalker-arm

Differential Revision: https://reviews.llvm.org/D88321
The file was modifiedllvm/lib/Target/AArch64/AArch64SVEInstrInfo.td
The file was modifiedllvm/lib/Target/AArch64/AArch64InstrFormats.td
The file was modifiedllvm/lib/Target/AArch64/AArch64ISelLowering.h
The file was modifiedllvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp
The file was modifiedllvm/lib/Target/AArch64/AArch64ISelLowering.cpp
The file was modifiedllvm/lib/Target/AArch64/SVEInstrFormats.td
The file was modifiedllvm/test/CodeGen/AArch64/sve-split-fcvt.ll
The file was modifiedllvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
The file was modifiedllvm/test/CodeGen/AArch64/sve-fcvt.ll
Commit ef4e971e5e18ae796466623df8f26265ba6bdfb5 by David.Chisnall
[CFGuard] Add address-taken IAT tables and delay-load support

This patch adds support for creating Guard Address-Taken IAT Entry Tables (.giats$y sections) in object files, matching the behavior of MSVC. These contain lists of address-taken imported functions, which are used by the linker to create the final GIATS table.
Additionally, if any DLLs are delay-loaded, the linker must look through the .giats tables and add the respective load thunks of address-taken imports to the GFIDS table, as these are also valid call targets.

Reviewed By: rnk

Differential Revision: https://reviews.llvm.org/D87544
The file was modifiedlld/COFF/DLL.cpp
The file was modifiedlld/COFF/InputFiles.cpp
The file was modifiedllvm/lib/CodeGen/AsmPrinter/WinCFGuard.cpp
The file was modifiedllvm/lib/MC/MCObjectFileInfo.cpp
The file was addedllvm/test/CodeGen/WinCFGuard/cfguard-giats.ll
The file was modifiedllvm/include/llvm/MC/MCObjectFileInfo.h
The file was modifiedlld/COFF/InputFiles.h
The file was modifiedlld/COFF/ICF.cpp
The file was modifiedlld/COFF/Symbols.h
The file was modifiedlld/COFF/Writer.cpp
The file was modifiedllvm/tools/llvm-readobj/COFFDumper.cpp
The file was addedlld/test/COFF/giats.s
Commit bc730b5e43ad4b7efeca977359271fa0eaa7ed45 by llvm-dev
[InstCombine] collectBitParts - use APInt directly to check for out of range bit shifts. NFCI.
The file was modifiedllvm/lib/Transforms/Utils/Local.cpp
Commit b272250221595b14c32db6721a0ae4e5f17ea4d2 by Raphael Isemann
[lldb] Skip the flakey part of TestStopHookScripted on Linux

This test seems to randomly fail on Linux machines. It's only one part of the
test failing randomly, so let's just skip it instead of reverting the whole
patch (again).
The file was modifiedlldb/test/API/commands/target/stop-hooks/TestStopHookScripted.py
Commit 4f13b999297140486b2faa1b5d8d7c768fb40dfb by Louis Dionne
[libc++] Simplify how we re-export symbols from libc++abi

Instead of managing two copies of the symbol lists, reuse the same list
in libc++abi and libc++.

Differential Revision: https://reviews.llvm.org/D88623
The file was modifiedlibcxx/lib/abi/CHANGELOG.TXT
The file was modifiedlibcxx/lib/abi/x86_64-apple-darwin.v1.abilist
The file was removedlibcxx/lib/libc++abi-exceptions.exp
The file was modifiedlibcxx/src/CMakeLists.txt
The file was modifiedlibcxxabi/src/CMakeLists.txt
The file was removedlibcxx/lib/libc++abi-new-delete.exp
The file was removedlibcxx/lib/libc++abi-exceptions.sjlj.exp
Commit cccb7cf1a52f38182f56d947bd609027726c778b by Raphael Isemann
[lldb] Add missing import for LLDB test decorators to TestStopHookScripted

This test wasn't using decorators before and was missing the import, so my
previous commit broke the test.
The file was modifiedlldb/test/API/commands/target/stop-hooks/TestStopHookScripted.py
Commit 7e02bc81c6dad90b0f98f74152f4b0991087d78d by sam.parker
[NFC][ARM] LowOverheadLoop DEBUG statements
The file was modifiedllvm/lib/Target/ARM/ARMLowOverheadLoops.cpp
Commit d53b4bee0ccd408cfe6e592540858046244e74ce by sjoerd.meijer
[LoopFlatten] Add a loop-flattening pass

This is a simple pass that flattens nested loops.  The intention is to optimise
loop nests like this, which together access an array linearly:

  for (int i = 0; i < N; ++i)
    for (int j = 0; j < M; ++j)
      f(A[i*M+j]);

into one loop:

  for (int i = 0; i < (N*M); ++i)
    f(A[i]);

It can also flatten loops where the induction variables are not used in the
loop. This can help with codesize and runtime, especially on simple cpus
without advanced branch prediction.

This is only worth flattening if the induction variables are only used in an
expression like i*M+j. If they had any other uses, we would have to insert a
div/mod to reconstruct the original values, so this wouldn't be profitable.

This partially fixes PR40581 as this pass triggers on one of the two cases. I
will follow up on this to learn LoopFlatten a few more (small) tricks. Please
note that LoopFlatten is not yet enabled by default.

Patch by Oliver Stannard, with minor tweaks from Dave Green and myself.

Differential Revision: https://reviews.llvm.org/D42365
The file was modifiedllvm/lib/Passes/PassRegistry.def
The file was addedllvm/test/Transforms/LoopFlatten/loop-flatten.ll
The file was addedllvm/include/llvm/Transforms/Scalar/LoopFlatten.h
The file was modifiedllvm/include/llvm/Transforms/Scalar.h
The file was modifiedllvm/lib/Transforms/Scalar/CMakeLists.txt
The file was addedllvm/test/Transforms/LoopFlatten/pr40581.ll
The file was addedllvm/lib/Transforms/Scalar/LoopFlatten.cpp
The file was modifiedllvm/include/llvm/LinkAllPasses.h
The file was modifiedllvm/lib/Passes/PassBuilder.cpp
The file was modifiedllvm/lib/Transforms/IPO/PassManagerBuilder.cpp
The file was modifiedllvm/lib/Transforms/Scalar/Scalar.cpp
The file was addedllvm/test/Transforms/LoopFlatten/loop-flatten-negative.ll
The file was modifiedllvm/include/llvm/InitializePasses.h
Commit 5101e7e8dd01719f9161e01e2f053c9797c247a8 by llvmgnsyncbot
[gn build] Port d53b4bee0cc
The file was modifiedllvm/utils/gn/secondary/llvm/lib/Transforms/Scalar/BUILD.gn
Commit a20168d0307860047ad7c8a2074f98fc25b057c2 by james.henderson
[Archive] Don't throw away errors for malformed archive members

When adding an archive member with a problem, e.g. a new bitcode with an
old archiver, containing an unsupported attribute, or an ELF file with a
malformed symbol table, the archiver would throw away the error and
simply add the member to the archive without any symbol entries. This
meant that the resultant archive could be silently unusable when not
using --whole-archive, and result in unexpected undefined symbols.

This change fixes this issue by addressing two FIXMEs and only throwing
away not-an-object errors. However, this meant that some LLD tests which
didn't need symbol tables and were using invalid members deliberately to
test the linker's malformed input handling no longer worked, so this
patch also stops the archiver from looking for symbols in an object if
it doesn't require a symbol table, and updates the tests accordingly.

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

Reviewed by: grimar, rupprecht, MaskRay
The file was modifiedlld/test/ELF/invalid/data-encoding.test
The file was addedllvm/test/Object/archive-unknown-filetype.test
The file was modifiedllvm/lib/Object/ArchiveWriter.cpp
The file was modifiedlld/test/ELF/invalid/invalid-file-class.test
The file was addedllvm/test/Object/archive-malformed-object.test
The file was modifiedllvm/include/llvm/Object/SymbolicFile.h
The file was modifiedllvm/lib/Object/SymbolicFile.cpp
Commit 15474d769110139f9cc96d42434988d7aaa77634 by david.sherwood
[SVE][CodeGen] Replace use of TypeSize operator< in GlobalMerge::doMerge

We don't support global variables with scalable vector types so I've
changed the code to compare the fixed sizes instead.

Differential Revision: https://reviews.llvm.org/D88564
The file was modifiedllvm/lib/CodeGen/GlobalMerge.cpp