mir-rs 0.3.0

FFI bindings to MIR Project (https://github.com/vnmakarov/mir)
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138

//! Tests about lifetimes. Because compile_fail doctests can only exist in unit tests.
//! IR construction and codegen tests live in integration tests `../tests/smoke.rs`.
use std::mem::forget;

use rstest::rstest;

use crate::{InsnBuilder, MirContext};

/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let mb = ctx.enter_new_module(c"m");
/// drop(ctx);
/// drop(mb);
/// ```
///
/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let m = ctx.enter_new_module(c"m").finish();
/// drop(ctx);
/// drop(m);
/// ```
///
/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let mb = ctx.enter_new_module(c"m");
/// let f = mb.enter_new_function(c"f", &[], &[]).finish();
/// mb.finish();
/// drop(ctx);
/// drop(f);
/// ```
///
/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let mb = ctx.enter_new_module(c"m");
/// let f = mb.enter_new_function(c"f", &[], &[]).finish();
/// mb.finish();
/// drop(ctx);
/// drop(f);
/// ```
///
/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let mb = ctx.enter_new_module(c"m");
/// let f = mb.enter_new_function(c"f", &[], &[]).finish();
/// let lbl = f.new_label();
/// mb.finish();
/// drop(ctx);
/// drop(lbl);
/// ```
///
fn _ctx_outlives() {}

/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let mb = ctx.enter_new_module(c"m");
/// let fb = mb.enter_new_function(c"f", &[], &[]);
/// mb.finish();
/// drop(fb);
/// ```
///
/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let mb = ctx.enter_new_module(c"m");
/// let fb = mb.enter_new_function(c"f", &[], &[]);
/// let lbl = fb.new_label();
/// fb.finish();
/// mb.finish();
/// drop(lbl);
/// ```
///
/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let mb = ctx.enter_new_module(c"m");
/// let fb = mb.enter_new_function(c"f", &[], &[]);
/// let lbl = fb.ins().new_label();
/// fb.finish();
/// mb.finish();
/// drop(lbl);
/// ```
///
/// ```compile_fail
/// let ctx = mir::MirContext::new();
/// let mb = ctx.enter_new_module(c"m");
/// let bss = ctx.new_bss(c"bss", 4);
/// mb.finish();
/// drop(bss);
/// ```
fn _module_outlives() {}

#[rstest]
#[case(false)]
#[case(true)]
#[should_panic = "already inside a module"]
fn double_enter_module(#[case] do_forget: bool) {
    let ctx = MirContext::new();
    let mb1 = ctx.enter_new_module(c"m1");
    if do_forget {
        forget(mb1);
    }
    let _mb2 = ctx.enter_new_module(c"m2");
}

#[rstest]
#[case(false)]
#[case(true)]
#[should_panic = "already inside a function"]
fn double_enter_func(#[case] do_forget: bool) {
    let ctx = MirContext::new();
    let mb = ctx.enter_new_module(c"m");
    let fb1 = mb.enter_new_function(c"f1", &[], &[]);
    if do_forget {
        forget(fb1);
    }
    let _fb2 = mb.enter_new_function(c"f1", &[], &[]);
}

#[test]
fn forget_cleanup() {
    let ctx = MirContext::new();
    let mb = ctx.enter_new_module(c"m");
    let fb = mb.enter_new_function(c"f", &[], &[]);
    forget(fb);
    forget(mb);
}

#[test]
fn label_is_module_global() {
    let ctx = MirContext::new();
    let mb = ctx.enter_new_module(c"m");
    let fb = mb.enter_new_function(c"f", &[], &[]);
    let lbl1 = fb.new_label();
    let lbl2 = fb.ins().new_label();
    fb.finish();
    let _ref = mb.add_label_ref_data(c"lref", lbl1, Some(lbl2), 0);
    let _ = lbl1;
    let _ = lbl2;
    mb.finish();
}