runmat-mir 0.5.2

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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

use crate::{MirCallArg, MirIndexing, MirOperand, MirStmt};
use runmat_hir::{
    CallSyntax, FunctionId, MemberName, OperatorKind, QualifiedName, RequestedOutputCount,
    SymbolName,
};
use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub enum MirRvalue {
    Use(MirOperand),
    Unary(OperatorKind, MirOperand),
    Binary(MirOperand, OperatorKind, MirOperand),
    ShortCircuit {
        left: MirOperand,
        op: MirShortCircuitOp,
        right_temps: Vec<MirStmt>,
        right: MirOperand,
    },
    Range {
        start: MirOperand,
        step: Option<MirOperand>,
        end: MirOperand,
    },
    Call(crate::MirCall),
    Aggregate {
        kind: MirAggregateKind,
        rows: usize,
        cols: usize,
        elements: Vec<MirOperand>,
    },
    StructLiteral {
        fields: Vec<(MemberName, MirOperand)>,
    },
    ObjectLiteral {
        class_name: QualifiedName,
        fields: Vec<(MemberName, MirOperand)>,
    },
    Index {
        base: MirOperand,
        indexing: MirIndexing,
    },
    Member {
        base: MirOperand,
        member: MemberName,
    },
    DynamicMember {
        base: MirOperand,
        member: MirOperand,
    },
    WorkspaceFirstStaticProperty {
        workspace_name: SymbolName,
        class_name: String,
        property: MemberName,
    },
    MetaClass(QualifiedName),
    Colon,
    End,
    Future {
        function: FunctionId,
        args: Vec<MirCallArg>,
        syntax: CallSyntax,
        requested_outputs: RequestedOutputCount,
    },
    Spawn(MirOperand),
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
pub enum MirShortCircuitOp {
    And,
    Or,
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub enum MirAggregateKind {
    Tensor,
    Cell,
}