[Mlir-commits] [mlir] ad4152d - [MLIR] Update description of SCF.execute_region op
William S. Moses
llvmlistbot at llvm.org
Wed Jun 30 07:17:14 PDT 2021
Author: William S. Moses
Date: 2021-06-30T10:09:42-04:00
New Revision: ad4152d1b833f4696d6f9deccc021f240bab3d9d
URL: https://github.com/llvm/llvm-project/commit/ad4152d1b833f4696d6f9deccc021f240bab3d9d
DIFF: https://github.com/llvm/llvm-project/commit/ad4152d1b833f4696d6f9deccc021f240bab3d9d.diff
LOG: [MLIR] Update description of SCF.execute_region op
See https://reviews.llvm.org/D104865
Added:
Modified:
mlir/include/mlir/Dialect/SCF/SCFOps.td
Removed:
################################################################################
diff --git a/mlir/include/mlir/Dialect/SCF/SCFOps.td b/mlir/include/mlir/Dialect/SCF/SCFOps.td
index 9f039b6fcda68..feb862d31ae04 100644
--- a/mlir/include/mlir/Dialect/SCF/SCFOps.td
+++ b/mlir/include/mlir/Dialect/SCF/SCFOps.td
@@ -62,16 +62,13 @@ def ConditionOp : SCF_Op<"condition",
def ExecuteRegionOp : SCF_Op<"execute_region"> {
let summary = "operation that executes its region exactly once";
let description = [{
- The `execute_region` operation executes the region held exactly once. The op
- cannot have any operands, nor does its region have any arguments. All SSA
- values that dominate the op can be accessed inside. The op's region can have
- multiple blocks and the blocks can have terminators the same way as FuncOp.
- The values returned from this op's region define the op's results. The op
- primarily provides control flow encapsulation and isolation from a parent
- op's control flow restrictions if any; for example, it allows representation
- of inlined calls in the inside of structured control flow ops with
- restrictions like affine.for/if, scf.for/if ops, and thus the optimization
- of IR in such a mixed form.
+ The `execute_region` operation is used to allow multiple blocks within SCF
+ and other operations which can hold only one block. The `execute_region`
+ operation executes the region held exactly once and cannot have any operands.
+ As such, its region has no arguments. All SSA values that dominate the op can
+ be accessed inside the op. The op's region can have multiple blocks and the
+ blocks can have multiple distinct terminators. Values returned from this op's
+ region define the op's results.
Example:
More information about the Mlir-commits
mailing list