[all-commits] [llvm/llvm-project] 0f3544: [mlir][scf] Loop peeling: Use scf.for for partial ...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0f3544d1856dee83d6e18187098531d79e7f200e
      https://github.com/llvm/llvm-project/commit/0f3544d1856dee83d6e18187098531d79e7f200e
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-09-10 (Fri, 10 Sep 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/SCF/Transforms.h
    M mlir/lib/Dialect/SCF/Transforms/LoopSpecialization.cpp
    M mlir/test/Dialect/SCF/for-loop-peeling.mlir
    M mlir/test/Dialect/SparseTensor/sparse_vector_peeled.mlir

  Log Message:
  -----------
  [mlir][scf] Loop peeling: Use scf.for for partial iteration

Generate an scf.for instead of an scf.if for the partial iteration. This is for consistency reasons: The peeling of linalg.tiled_loop also uses another loop for the partial iteration.

Note: Canonicalizations patterns may rewrite partial iterations to scf.if afterwards.

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