SuccessChanges

Summary

  1. Update branch names from master -> main (details)
Commit f8837bec132947731bb9d2c87316e598d825396d by Adrian Prantl
Update branch names from master -> main
The file was modifiedzorg/jenkins/jobs/jobs/lldb-cmake-standalone (diff)
The file was modifiedzorg/jenkins/jobs/jobs/lldb-cmake-matrix (diff)
The file was modifiedzorg/jenkins/jobs/jobs/lldb-cmake-sanitized (diff)
The file was modifiedzorg/jenkins/jobs/jobs/lldb-cmake (diff)
The file was modifiedzorg/jenkins/jobs/jobs/lldb-cmake-reproducers (diff)

Summary

  1. [NFC][SimplifyCFG] PerformBranchToCommonDestFolding(): fix instruction name preservation (details)
  2. [NFC][SimplifyCFG] fold-branch-to-common-dest.ll: reduce complexity of @pr48450* test (details)
  3. [NFC][SimplifyCFG] PerformBranchToCommonDestFolding(): move instruction cloning to after CFG update (details)
  4. [SimplifyCFG] FoldBranchToCommonDest(): re-lift restrictions on liveout uses of bonus instructions (details)
  5. Revert "[GlobalISel] LegalizerHelper - Extract widenScalarAddoSubo method" (details)
  6. Revert "[AArch64][GlobalISel] Implement widenScalar for signed overflow" (details)
  7. Revert "[AArch64][GlobalISel] Make G_USUBO legal and select it." (details)
  8. [Matrix] Propagate shape information through fneg (details)
  9. [mlir][Linalg] Make Fill operation work on tensors. (details)
  10. [RISCV] Add more cmov isel patterns to handle seteq/ne with a small non-zero immediate. (details)
  11. [RGT][ADT] Remove test assertion that will not be executed (details)
  12. [lldb] FixFileSystem::GetExternalPath for VFS API change (details)
  13. [RGT] Don't use EXPECT* macros in a subprocess that exits by signalling (details)
  14. [RGT][TextAPI] Remove a zero-trip loop and the assertions within it (details)
Commit 9bd8bcf993f6e829b2417deefbab78c610436a11 by lebedev.ri
[NFC][SimplifyCFG] PerformBranchToCommonDestFolding(): fix instruction name preservation

NewBonusInst just took name from BonusInst, so BonusInst has no name,
so BonusInst.getName() makes no sense.
So we need to ask NewBonusInst for the name.
The file was modifiedllvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest.ll (diff)
The file was modifiedllvm/lib/Transforms/Utils/SimplifyCFG.cpp (diff)
Commit e8387500059e7f3c261b2127a241b2c4c81ab36b by lebedev.ri
[NFC][SimplifyCFG] fold-branch-to-common-dest.ll: reduce complexity of @pr48450* test

We don't need that many iterations there,
having less iterations helps alive2 verify it.
The file was modifiedllvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest.ll (diff)
Commit eae1cc0de5b9c3b97ce1b6f4275b474ab10b83d0 by lebedev.ri
[NFC][SimplifyCFG] PerformBranchToCommonDestFolding(): move instruction cloning to after CFG update

This simplifies follow-up patch, and is NFC otherwise.
The file was modifiedllvm/lib/Transforms/Utils/SimplifyCFG.cpp (diff)
Commit 17422038442c9e2b572c7324b5a22d32e7fd9b83 by lebedev.ri
[SimplifyCFG] FoldBranchToCommonDest(): re-lift restrictions on liveout uses of bonus instructions

I have previously tried doing that in
b33fbbaa34f0fe9fb16789afc72ae424c1825b69 / d38205144febf4dc42c9270c6aa3d978f1ef65e1,
but eventually it was pointed out that the approach taken there
was just broken wrt how the uses of bonus instructions are updated
to account for the fact that they should now use either bonus instruction
or the cloned bonus instruction. In particluar, all that manual handling
of PHI nodes in successors was just wrong.

But, the fix is actually much much simpler than my initial approach:
just tell SSAUpdate about both instances of bonus instruction,
and let it deal with all the PHI handling.

Alive2 confirms that the reproducers from the original bugs (@pr48450*)
are now handled correctly.

This effectively reverts commit 59560e85897afc50090b6c3d920bacfd28b49d06,
effectively relanding b33fbbaa34f0fe9fb16789afc72ae424c1825b69.
The file was modifiedllvm/test/CodeGen/Thumb2/mve-float16regloops.ll (diff)
The file was modifiedllvm/test/CodeGen/Thumb2/mve-float32regloops.ll (diff)
The file was modifiedllvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest.ll (diff)
The file was modifiedllvm/test/CodeGen/Thumb2/mve-postinc-lsr.ll (diff)
The file was modifiedllvm/lib/Transforms/Utils/SimplifyCFG.cpp (diff)
The file was modifiedllvm/test/Transforms/LoopUnroll/peel-loop-inner.ll (diff)
Commit 554b3211fefd09b56b64357b9edd66c78ae200b5 by 31459023+hctim
Revert "[GlobalISel] LegalizerHelper - Extract widenScalarAddoSubo method"

This reverts commit 2bb92bf451d7eb2c817f3e5403353e7c0c14d350.

Dependent patch broke UBSan on Android:
3dedad475da45c05bc4f66cd14e9f44581edf0bc
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-usubo.mir (diff)
The file was modifiedllvm/unittests/CodeGen/GlobalISel/LegalizerHelperTest.cpp (diff)
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalize-add.mir (diff)
The file was modifiedllvm/include/llvm/CodeGen/GlobalISel/LegalizerHelper.h (diff)
The file was modifiedllvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp (diff)
The file was modifiedllvm/test/CodeGen/AArch64/legalize-uaddo.mir (diff)
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-uaddo.mir (diff)
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalize-sub.mir (diff)
Commit e3a7532cc95ea0b7f748793db44caa95a92ad6d8 by 31459023+hctim
Revert "[AArch64][GlobalISel] Implement widenScalar for signed overflow"

This reverts commit 541d98efa222b00e16c67348810898c2fa11f398.

Reason: Dependent patch 3dedad475da45c05bc4f66cd14e9f44581edf0bc broke
UBSan on Android: http://lab.llvm.org:8011/#/builders/77/builds/3082
The file was modifiedllvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp (diff)
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalize-sub.mir (diff)
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalize-add.mir (diff)
Commit 19ec559c665e6490480cfdff9982b2c32a432b78 by 31459023+hctim
Revert "[AArch64][GlobalISel] Make G_USUBO legal and select it."

This reverts commit 3dedad475da45c05bc4f66cd14e9f44581edf0bc.

Broke UBSan on Android:
http://lab.llvm.org:8011/#/builders/77/builds/3082

More details at: https://reviews.llvm.org/D95032
The file was modifiedllvm/lib/Target/AArch64/GISel/AArch64InstructionSelector.cpp (diff)
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir (diff)
The file was removedllvm/test/CodeGen/AArch64/GlobalISel/select-saddo.mir
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalize-add.mir (diff)
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalize-sub.mir (diff)
The file was modifiedllvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp (diff)
The file was removedllvm/test/CodeGen/AArch64/GlobalISel/select-usubo.mir
The file was removedllvm/test/CodeGen/AArch64/GlobalISel/select-ssubo.mir
Commit 0cc38acfc4e1dcdc2a9b6287bc93eef57acfd105 by francisvm
[Matrix] Propagate shape information through fneg

Similar to binary operators like fadd/fmul/fsub, propagate shape info
through unary operators (fneg is the only one?).

Differential Revision: https://reviews.llvm.org/D95252
The file was modifiedllvm/lib/Transforms/Scalar/LowerMatrixIntrinsics.cpp (diff)
The file was modifiedllvm/test/Transforms/LowerMatrixIntrinsics/propagate-forward.ll (diff)
The file was modifiedllvm/test/Transforms/LowerMatrixIntrinsics/propagate-backward.ll (diff)
Commit 6e8ef3b76ab65960edd6ee99f387e75564d8d9db by ravishankarm
[mlir][Linalg] Make Fill operation work on tensors.

Depends on D95109
The file was modifiedmlir/test/Dialect/Linalg/roundtrip.mlir (diff)
The file was modifiedmlir/include/mlir/Dialect/Linalg/IR/LinalgStructuredOps.td (diff)
The file was modifiedmlir/test/Dialect/Linalg/tile-tensors.mlir (diff)
The file was modifiedmlir/lib/Dialect/Linalg/IR/LinalgOps.cpp (diff)
The file was modifiedmlir/test/Dialect/Linalg/invalid.mlir (diff)
Commit d65e8ee507f82ddca018267d0ce627518dd07337 by craig.topper
[RISCV] Add more cmov isel patterns to handle seteq/ne with a small non-zero immediate.

Similar to our free standing setcc patterns, we can use ADDI to
subtract the immediate from the other operand. Then the cmov
can check if the result is zero or non-zero.

Reviewed By: mundaym

Differential Revision: https://reviews.llvm.org/D95169
The file was modifiedllvm/test/CodeGen/RISCV/select-optimize-multiple.ll (diff)
The file was modifiedllvm/lib/Target/RISCV/RISCVInstrInfoB.td (diff)
Commit 6ef95056b9dce1aa64d975b70f059673484bed87 by paul.robinson
[RGT][ADT] Remove test assertion that will not be executed

Found by the Rotten Green Tests project.

Differential Revision: https://reviews.llvm.org/D95255
The file was modifiedllvm/unittests/ADT/ImmutableSetTest.cpp (diff)
Commit 3a50ed84f4823fb0e7b385cc22fef12435dfd376 by Jonas Devlieghere
[lldb] FixFileSystem::GetExternalPath for VFS API change
The file was modifiedlldb/source/Host/common/FileSystem.cpp (diff)
Commit 6ea7ecbb72aa139ebb1a343a6d544b84b99f1f3a by paul.robinson
[RGT] Don't use EXPECT* macros in a subprocess that exits by signalling

Found by the Rotten Green Tests project.

Differential Revision: https://reviews.llvm.org/D95256
The file was modifiedllvm/unittests/Support/CrashRecoveryTest.cpp (diff)
Commit 25fefa5a098e958888496735f793fd01f3e82874 by paul.robinson
[RGT][TextAPI] Remove a zero-trip loop and the assertions within it

Found by the Rotten Green Tests project.

Differential Revision: https://reviews.llvm.org/D95259
The file was modifiedllvm/unittests/TextAPI/TextStubV4Tests.cpp (diff)