[all-commits] [llvm/llvm-project] 4bcd08: [mlir] Add for loop specialization

[Stephan Herhut via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 4bcd08eb1c3bcd6ce580cc21b4e6d9f10286b9e6
      https://github.com/llvm/llvm-project/commit/4bcd08eb1c3bcd6ce580cc21b4e6d9f10286b9e6
  Author: Stephan Herhut <herhut at google.com>
  Date:   2020-06-22 (Mon, 22 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/SCF/Passes.h
    M mlir/include/mlir/Dialect/SCF/Passes.td
    M mlir/lib/Dialect/SCF/Transforms/CMakeLists.txt
    A mlir/lib/Dialect/SCF/Transforms/LoopSpecialization.cpp
    M mlir/lib/Dialect/SCF/Transforms/ParallelLoopFusion.cpp
    R mlir/lib/Dialect/SCF/Transforms/ParallelLoopSpecialization.cpp
    M mlir/lib/Dialect/SCF/Transforms/ParallelLoopTiling.cpp
    A mlir/test/Dialect/SCF/for-loop-specialization.mlir

  Log Message:
  -----------
  [mlir] Add for loop specialization

Summary:
We already had a parallel loop specialization pass that is used to
enable unrolling and consecutive vectorization by rewriting loops
whose bound is defined as a min of a constant and a dynamic value
into a loop with static bound (the constant) and the minimum as
bound, wrapped into a conditional to dispatch between the two.
This adds the same rewriting for for loops.

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