[all-commits] [llvm/llvm-project] 4fdc01: [mlir][SCF] Add `SingleBlock` op trait to "scf.while"

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4fdc019a89105c956d4c79fb79ca1b416eaa72f2
      https://github.com/llvm/llvm-project/commit/4fdc019a89105c956d4c79fb79ca1b416eaa72f2
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-08-31 (Thu, 31 Aug 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/SCF/IR/SCFOps.td
    M mlir/test/Dialect/SCF/invalid.mlir
    M mlir/test/Transforms/inlining.mlir

  Log Message:
  -----------
  [mlir][SCF] Add `SingleBlock` op trait to "scf.while"

This trait is needed so that unstructured control flow is not inlined into "scf.while" ops.

Note: The two regions of "scf.while" are already defined as `SizedRegion<1>`. `SingleBlock` can be queried from C++, `SizedRegion<n>` not.

Fixes #64976.

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