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
|
//@ revisions: NONE TINY ALL
//@[NONE] compile-flags: -Zmir_strip_debuginfo=none
//@[TINY] compile-flags: -Zmir_strip_debuginfo=locals-in-tiny-functions
//@[ALL] compile-flags: -Zmir_strip_debuginfo=all-locals
// CHECK: fn tiny_function
fn tiny_function(end: u32) -> u32 {
// CHECK: debug end => _1;
// NONE: debug a =>
// NONE: debug b =>
// TINY-NOT: debug a =>
// TINY-NOT: debug b =>
// ALL-NOT: debug a =>
// ALL-NOT: debug b =>
let a = !end;
let b = a ^ 1;
b
}
#[inline(never)]
fn opaque(_: u32) {}
// CHECK: fn looping_function
fn looping_function(end: u32) {
// CHECK: debug end => _1;
// NONE: debug i =>
// NONE: debug x =>
// TINY: debug i =>
// TINY: debug x =>
// ALL-NOT: debug i =>
// ALL-NOT: debug x =>
let mut i = 0;
while i < end {
let x = i ^ 1;
opaque(x);
}
}
fn main() {}
|
