runmat-mir 0.5.0

Mid-level IR and analysis scaffolding for RunMat
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
37
38
39
40
41
42

use crate::{BasicBlockId, MirLocalId, MirOperand, MirPlace, MirRvalue};
use runmat_hir::Span;
use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct MirTerminator {
    pub kind: MirTerminatorKind,
    pub span: Span,
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub enum MirTerminatorKind {
    Goto(BasicBlockId),
    Branch {
        cond: MirOperand,
        then_block: BasicBlockId,
        else_block: BasicBlockId,
    },
    Switch {
        discr: MirOperand,
        cases: Vec<(MirOperand, BasicBlockId)>,
        otherwise: BasicBlockId,
    },
    For {
        binding: MirLocalId,
        iterable: MirRvalue,
        body_block: BasicBlockId,
        exit_block: BasicBlockId,
    },
    TryCatch {
        try_block: BasicBlockId,
        catch_block: BasicBlockId,
        catch_binding: Option<MirLocalId>,
    },
    Return(Vec<MirOperand>),
    Await {
        future: MirOperand,
        result: Option<MirPlace>,
        resume: BasicBlockId,
    },
    Unreachable,
}