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
|
#[derive(Clone, Debug)]
pub struct Body {
pub blocks: Vec<BasicBlock>,
}
#[derive(Clone, Debug)]
pub struct BasicBlock {
pub statements: Vec<Statement>,
pub terminator: Terminator,
}
#[derive(Clone, Debug)]
pub enum Terminator {
Goto {
target: usize,
},
SwitchInt {
discr: Operand,
targets: Vec<SwitchTarget>,
otherwise: usize,
},
Resume,
Abort,
Return,
Unreachable,
Drop {
place: Place,
target: usize,
unwind: Option<usize>,
},
Call {
func: Operand,
args: Vec<Operand>,
destination: Place,
target: Option<usize>,
cleanup: Option<usize>,
},
Assert {
cond: Operand,
expected: bool,
msg: String,
target: usize,
cleanup: Option<usize>,
},
}
#[derive(Clone, Debug)]
pub enum Statement {
Assign(Place, Operand),
Nop,
}
#[derive(Clone, Debug)]
pub enum Operand {
Copy(Place),
Move(Place),
Constant(String),
}
#[derive(Clone, Debug)]
pub struct Place {
pub local: usize,
}
#[derive(Clone, Debug)]
pub struct SwitchTarget {
pub value: u128,
pub target: usize,
}
|