SuccessChanges

Summary

  1. [mlir][linalg] Fix signed/unsigned comparison warnings (NFC). (details)
  2. [mlir] Use interfaces in MathToLibm (details)
  3. [SDAG] add helper function for sext-of-setcc folds; NFC (details)
  4. [LoopDeletion] Consider infinite loops alive, unless mustprogress. (details)
Commit 07576cc4dc891294e31a8ff10ff08c662042c572 by gysit
[mlir][linalg] Fix signed/unsigned comparison warnings (NFC).

Fix signedness warnings in Utils.cpp and LinalgInterfaces.cpp.
The file was modifiedmlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp
The file was modifiedmlir/lib/Dialect/Linalg/Utils/Utils.cpp
Commit 1ebf7ce950bb72599055d2f2789fd604a02b6d15 by tpopp
[mlir] Use interfaces in MathToLibm

Previously, this assumed use of ModuleOp and FuncOp. There is no need to
restrict this, and using interfaces allows these patterns to be used
during dialect conversion to LLVM.

Some assertions were removed due to inconsistent implementation of
FunctionLikeOps.

Differential Revision: https://reviews.llvm.org/D103447
The file was modifiedmlir/lib/Conversion/MathToLibm/MathToLibm.cpp
Commit 1b14f3951a205536d95ce7fab5b9f57f9ffa2ee0 by spatel
[SDAG] add helper function for sext-of-setcc folds; NFC

Try to make this easier to read as noted in D103280
The file was modifiedllvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
Commit 1b84acb23acac2fbb450312049495164a16ee715 by flo
[LoopDeletion] Consider infinite loops alive, unless mustprogress.

The current loop or any of its sub-loops may be infinite. Unless the
function or the loops are marked as mustprogress, this in itself makes
the loop *not* dead.

This patch moves the logic to check whether the current loop is finite
or mustprogress to `isLoopDead` and also extends it to check the
sub-loops. This should fix PR50511.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D103382
The file was modifiedllvm/test/Transforms/LoopDeletion/unreachable-loops.ll
The file was modifiedllvm/lib/Transforms/Scalar/LoopDeletion.cpp
The file was modifiedllvm/test/Transforms/LoopDeletion/noop-loops-with-subloops.ll