[Mlir-commits] [mlir] [mlir][scf] Add high-level documentation (PR #72313)

[Mehdi Amini]

================
@@ -26,6 +26,20 @@ include "mlir/Interfaces/ViewLikeInterface.td"
 def SCF_Dialect : Dialect {
   let name = "scf";
   let cppNamespace = "::mlir::scf";
+
+  let description = [{
+    The `scf` (structured control flow) dialect contains operations that
+    represent control flow constructs such as `if` and `for`. Being
+    _structured_ means that the control flow has a structure unlike, for
+    example, `goto`s or `assert`s. Unstructured control flow operations are
+    located in the `cf` (control flow) dialect.
+
+    Originally, this dialect was developed as a common lowering stage for the
+    `affine` and `linalg` dialects. Both convert to SCF loops instead of
+    targeting branch-based CFGs directly. Typically, `scf` is lowered to `sc`
----------------
joker-eph wrote:

```suggestion
    targeting branch-based CFGs directly. Typically, `scf` is lowered to `cf`
```

https://github.com/llvm/llvm-project/pull/72313