zhc_ir 0.1.4

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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

use super::signature::Signature;
use std::fmt::{Debug, Display};
use std::hash::Hash;

/// The type system of a dialect.
///
/// Implementors are typically enums whose variants represent the individual
/// types available in the dialect.
pub trait DialectTypeSystem: Clone + Debug + Display + PartialEq + Eq + Hash + 'static {}

/// The instruction set of a dialect.
///
/// Implementors are typically enums whose variants represent the individual
/// instructions available in the dialect.
pub trait DialectInstructionSet: Clone + Debug + Display + PartialEq + Eq + Hash + 'static {
    /// The type system associated with this instruction set.
    type TypeSystem: DialectTypeSystem;

    /// Returns the signature of this instruction.
    ///
    /// The signature specifies the argument types this instruction accepts
    /// and the result types it produces.
    fn get_signature(&self) -> Signature<Self::TypeSystem>;
}

/// A dialect combining a type system and an instruction set.
///
/// Implementors are typically unit structs that bind together a [`DialectTypeSystem`]
/// and a [`DialectInstructionSet`].
pub trait Dialect: Clone + Debug + PartialEq + Eq + Hash + 'static {
    /// The type system for this dialect.
    type TypeSystem: DialectTypeSystem;

    /// The instruction set for this dialect.
    type InstructionSet: DialectInstructionSet<TypeSystem = Self::TypeSystem>;
}