[all-commits] [llvm/llvm-project] 87568f: [mlir][SCF] convert-scf-to-cf: Lower scf.forall to...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 87568ff3efb216e35161bf201897b2c587ffc1c4
      https://github.com/llvm/llvm-project/commit/87568ff3efb216e35161bf201897b2c587ffc1c4
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-09-06 (Wed, 06 Sep 2023)

  Changed paths:
    M mlir/lib/Conversion/SCFToControlFlow/SCFToControlFlow.cpp
    M mlir/test/Conversion/SCFToControlFlow/convert-to-cfg.mlir

  Log Message:
  -----------
  [mlir][SCF] convert-scf-to-cf: Lower scf.forall to scf.parallel (#65449)

scf.forall ops without shared outputs (i.e., fully bufferized ops) are
lowered to scf.parallel. scf.forall ops are typically lowered by an
earlier pass depending on the execution target. E.g., there are
optimized lowerings for GPU execution. This new lowering is for
completeness (convert-scf-to-cf can now lower all SCF loop constructs)
and provides a simple CPU lowering strategy for testing purposes.

scf.parallel is currently lowered to scf.for, which executes
sequentially. The scf.parallel lowering could be improved in the future
to run on multiple threads.