[all-commits] [llvm/llvm-project] ef1128: [MLIR][SCF] Add support for pipelining dynamic loo...

[Thomas Raoux via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ef112833e11e94ea049f98bec4a29b4fe96a25dd
      https://github.com/llvm/llvm-project/commit/ef112833e11e94ea049f98bec4a29b4fe96a25dd
  Author: Thomas Raoux <thomas.raoux at openai.com>
  Date:   2023-12-10 (Sun, 10 Dec 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/SCF/Transforms/Transforms.h
    M mlir/lib/Dialect/SCF/Transforms/LoopPipelining.cpp
    M mlir/test/Dialect/NVGPU/transform-pipeline-shared.mlir
    M mlir/test/Dialect/SCF/loop-pipelining.mlir
    M mlir/test/lib/Dialect/SCF/TestSCFUtils.cpp

  Log Message:
  -----------
  [MLIR][SCF] Add support for pipelining dynamic loops (#74350)

Support loops without static boundaries. Since the number of iteration
is not known we need to predicate prologue and epilogue in case the
number of iterations is smaller than the number of stages.

This patch includes work from @chengjunlu