[PATCH] D79184: [MLIR][LoopOps] Adds the loop unroll transformation for loop::ForOp.

[Andy Davis via Phabricator via llvm-commits]

andydavis1 created this revision.
andydavis1 added a reviewer: ftynse.
Herald added subscribers: llvm-commits, Kayjukh, frgossen, grosul1, Joonsoo, liufengdb, aartbik, lucyrfox, mgester, arpith-jacob, nicolasvasilache, antiagainst, shauheen, jpienaar, rriddle, mehdi_amini, zzheng, mgorny.
Herald added a reviewer: nicolasvasilache.
Herald added a project: LLVM.

Adds the loop unroll transformation for loop::ForOp.
Adds support for promoting the body of single-iteration loop::ForOps into its containing block.
Adds check tests for loop::ForOps with dynamic and static lower/upper bounds and step.
Care was taken to share code (where possible) with the AffineForOp unroll transformation to ease maintenance and potential future transition to a LoopLike construct on which loop transformations for different loop types can implemented.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D79184

Files:
  mlir/include/mlir/Transforms/LoopUtils.h
  mlir/lib/Transforms/Utils/LoopUtils.cpp
  mlir/test/Dialect/Loops/loop-unroll.mlir
  mlir/test/lib/Transforms/CMakeLists.txt
  mlir/test/lib/Transforms/TestLoopUnrolling.cpp
  mlir/tools/mlir-opt/mlir-opt.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D79184.261280.patch
Type: text/x-patch
Size: 31351 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200430/4011a663/attachment.bin>