llvm-project.git/mlir/lib/Transforms/Utils/ControlFlowSinkUtils.cpp, branch main

[MLIR] Adopt LDBG() macro in ControlFlowSinkUtils.cpp (NFC)

2025-08-23T19:49:31+00:00

[ADT][mlir][NFCI] Do not use non-const lvalue-refs with enumerate

2023-03-15T14:43:56+00:00

Replace references to enumerate results with either result_pairs
(reference wrapper type) or structured bindings. I did not use
structured bindings everywhere as it wasn't clear to me it would
improve readability.

This is in preparation to the switch to zip semantics which won't
support non-const lvalue reference to elements:
https://reviews.llvm.org/D144503.

I chose to use values instead of const lvalue-refs because MLIR is
biased towards avoiding `const` local variables. This won't degrade
performance because currently `result_pair` is cheap to copy (size_t
+ iterator), and in the future, the enumerator iterator dereference
will return temporaries anyway.

Reviewed By: dblaikie

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

[mlir] Refactor LICM into a utility

2022-04-16T00:37:07+00:00

LICM is refactored into a utility that is application on any region. The implementation is moved to Transform/Utils.

Revert "[mlir] Refactor LICM into a utility"

2022-04-16T00:09:16+00:00

This reverts commit 3131f808243abe3746280e016ab9459c14d9e53b.

This commit broke the Windows mlir bot:
https://lab.llvm.org/buildbot/#/builders/13/builds/19745

[mlir] Refactor LICM into a utility

2022-04-15T22:07:01+00:00

LICM is refactored into a utility that is application on any region. The implementation is moved to Transform/Utils.

Apply clang-tidy fixes for modernize-use-default-member-init in ControlFlowSinkUtils.cpp (NFC)

2022-04-15T08:01:04+00:00

[mlir][cf-sink] Accept a callback for sinking operations

2022-03-28T19:31:23+00:00

(This was a TODO from the initial patch).

The control-flow sink utility accepts a callback that is used to sink an operation into a region.
The `moveIntoRegion` is called on the same operation and region that return true for `shouldMoveIntoRegion`.
The callback must preserve the dominance of the operation within the region. In the default control-flow
sink implementation, this is moving the operation to the start of the entry block.

Reviewed By: mehdi_amini

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

Apply clang-tidy fixes for modernize-use-default-member-init to MLIR (NFC)

2022-03-07T10:41:44+00:00

[mlir:Transforms] Move out the remaining non-dialect independent transforms and utilities

2022-01-25T03:25:53+00:00

This has been a major TODO for a very long time, and is necessary for establishing a proper
dialect-free dependency layering for the Transforms library. Code was moved to effectively
two main locations:

* Affine/
There was quite a bit of affine dialect related code in Transforms/ do to historical reasons
(of a time way into MLIR's past). The following headers were moved to:
Transforms/LoopFusionUtils.h -> Dialect/Affine/LoopFusionUtils.h
Transforms/LoopUtils.h -> Dialect/Affine/LoopUtils.h
Transforms/Utils.h -> Dialect/Affine/Utils.h

The following transforms were also moved:
AffineLoopFusion, AffinePipelineDataTransfer, LoopCoalescing

* SCF/
Only one SCF pass was in Transforms/ (likely accidentally placed here): ParallelLoopCollapsing
The SCF specific utilities in LoopUtils have been moved to SCF/Utils.h

* Misc:
mlir::moveLoopInvariantCode was also moved to LoopLikeInterface.h given
that it is a simple utility defined in terms of LoopLikeOpInterface.

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

[mlir] NFC control-flow sink cleanup

2022-01-24T23:34:42+00:00