I was reading MLIR Language Reference - MLIR.
I don’t know how to understand this sentence. " Whether a value can be used by another operation in the same region is defined by the kind of region."
MLIR currently defines two kinds of regions: "SSACFG regions"and “Graph regions”.
In “Graph regions”, a value can be used by another operation in the same region.
So, Is this meaning, a value can’t be used by another operation in the same region while in a “SSACFG regions”?
In an SSACFG region a value may only be used by operations that are dominated (Dominator (graph theory) - Wikipedia) by this value or, equivalently, by the operation that defines the value. There is no such restriction in graph regions, so a value may be used by any operation.