midenc-hir 0.8.1

High-level Intermediate Representation for Miden Assembly
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

/// Represents the types of regions that can be represented in the IR
#[derive(Default, Debug, Copy, Clone, PartialEq, Eq)]
pub enum RegionKind {
    /// A graph region is one without control-flow semantics, i.e. dataflow between operations is
    /// the only thing that dictates order, and operations can be conceptually executed in parallel
    /// if the runtime supports it.
    ///
    /// As there is no control-flow in these regions, graph regions may only contain a single block.
    Graph,
    /// An SSA region is one where the strict control-flow semantics and properties of SSA (static
    /// single assignment) form must be upheld.
    ///
    /// SSA regions must adhere to:
    ///
    /// * Values can only be defined once
    /// * Definitions must dominate uses
    /// * Ordering of operations in a block corresponds to execution order, i.e. operations earlier
    ///   in a block dominate those later in the block.
    /// * Blocks must end with a terminator.
    #[default]
    SSA,
}