zhc_ir 0.3.0

Graph-based intermediate representation framework with dialect support
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use crate::{ValOrigin, val_use::ValUse};
use zhc_utils::small::SmallVec;

use super::{Dialect, State};

/// Represents a value within the intermediate representation.
///
/// A value is produced by one operation and can be consumed by multiple operations.
/// Values carry type information from their originating dialect and maintain
/// references to all operations that use them for dependency tracking.
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct Val<D: Dialect> {
    /// Operations that consume this value as an argument.
    pub users: SmallVec<ValUse>,
    /// Operation that produced this value.
    pub origin: ValOrigin,
    /// Type of this value within the dialect's type system.
    pub typ: D::TypeSystem,
    /// Current state of the value.
    pub state: State,
}