FailedChanges

Summary

  1. [LV] Update CFG before adding runtime checks. (details)
  2. Fix gcc warning by explicitly initializing the base class copy ctor (NFC) (details)
  3. [FileCheck] Add precision to format specifier (details)
  4. [llvm-reduce] Add test for BB reduction with non-void ret type. (details)
  5. [X86] Pre-commit the test-shrink.ll changes from D86578. (details)
Commit eb35ebb3a2c6db62ec54efdaff23e4f31d118c85 by flo
[LV] Update CFG before adding runtime checks.

addRuntimeChecks uses SCEVExpander, which relies on the DT/LoopInfo to
be up-to-date. Changing the CFG afterwards may invalidate some inserted
instructions, especially LCSSA phis.

Reorder the code to first update the CFG and then create the runtime
checks. This should not have any impact on the generated code, as we
adjust the CFG and generate runtime checks together.

Fixes PR47343.
The file was addedllvm/test/Transforms/LoopVectorize/pr47343-expander-lcssa-after-cfg-update.ll
The file was modifiedllvm/lib/Transforms/Vectorize/LoopVectorize.cpp
Commit 719548d63d9f906b3b0e0e7d7681a9bfa1d3d8cf by joker.eph
Fix gcc warning by explicitly initializing the base class copy ctor (NFC)

Full diagnostic was:

warning: base class ‘class mlir::OptReductionBase<mlir::OptReductionPass>’ should be explicitly initialized in the copy constructor [-Wextra]
The file was modifiedmlir/tools/mlir-reduce/OptReductionPass.cpp
Commit 998709b7d553e89c4ff89725d3fa646468b7b437 by thomasp
[FileCheck] Add precision to format specifier

Add printf-style precision specifier to pad numbers to a given number of
digits when matching them if the value is smaller than the given
precision. This works on both empty numeric expression (e.g. variable
definition from input) and when matching a numeric expression. The
syntax is as follows:

[[#%.<precision><format specifier>, ...]

where <format specifier> is optional and ... can be a variable
definition or not with an empty expression or not. In the absence of a
precision specifier, a variable definition will accept leading zeros.

Reviewed By: jhenderson, grimar

Differential Revision: https://reviews.llvm.org/D81667
The file was modifiedllvm/lib/Support/FileCheck.cpp
The file was modifiedllvm/test/FileCheck/numeric-expression.txt
The file was modifiedllvm/unittests/Support/FileCheckTest.cpp
The file was modifiedllvm/lib/Support/FileCheckImpl.h
The file was modifiedllvm/docs/CommandGuide/FileCheck.rst
Commit c01a4adf9966aba9bf5acbf6ea07241f6604681e by flo
[llvm-reduce] Add test for BB reduction with non-void ret type.

Precommit test for D86849.
The file was addedllvm/test/Reduce/remove-bbs-ret-nonvoid.ll
Commit 81733fd2765792b3d9dac40847a7c3c1eed9a836 by craig.topper
[X86] Pre-commit the test-shrink.ll changes from D86578.

The conditions in these tests are guaranteed to always
go one direction. InstCombine would have folded them away.
The file was modifiedllvm/test/CodeGen/X86/test-shrink.ll