Lines Matching refs:flow

232 [SSA control flow semantics](#control-flow-and-ssacfg-regions) is constrained
364 [SSACFG regions](#control-flow-and-ssacfg-regions), each block represents a
367 implement control flow branches between basic blocks.
370 [terminator operation](#control-flow-and-ssacfg-regions). A region with a single
382 [control flow](#control-flow-and-ssacfg-regions), MLIR leverages this structure
383 to implicitly represent the passage of control-flow dependent values without the
385 values which are not control-flow dependent can be referenced directly and do
433 regions: [SSACFG regions](#control-flow-and-ssacfg-regions), which describe
434 control flow between blocks, and [Graph regions](#graph-regions), which do not
435 require control flow between block. The kinds of regions within an operation are
496 In MLIR, control flow semantics of a region is indicated by
504 next instruction to execute is the 'passing of control flow'.
506 In general, when control flow is passed to an operation, MLIR does not restrict
507 when control flow enters or exits the regions contained in that operation.
508 However, when control flow enters a region, it always begins in the first block
510 represent control flow by explicitly specifying the successor blocks of the
511 block. Control flow can only pass to one of the specified successor blocks as in
520 Although control flow always enters a region through the entry block, control
521 flow may exit a region through any block with an appropriate terminator. The
526 languages. In addition, control flow may also not reach the end of a block or
558 semantics of those regions. In particular, when control flow is passed to an
559 operation, it may transfer control flow to any contained region. When control
560 flow exits a region and is returned to the containing operation, the containing
561 operation may pass control flow to any region in the same operation. An
562 operation may also pass control flow to multiple contained regions concurrently.
563 An operation may also pass control flow into regions that were specified in
566 generally independent of passage of control flow through the basic blocks of the
582 appropriate for concurrent semantics without control flow, or for modeling